# isabelle_session_info

session_name: IOA
sources: f9488a90f67b6a30f011392595c6c1927c516e0d
input_heaps:
5ffc74a6fdec7bdb71855f3f0a0d77854f9c3951
a259c391382cf082c923600c014b6cb41321a7a9
d27969b75be73dcedc438a27faecf3aee1f333e8


