# isabelle_session_info

session_name: IOA
sources: 3238f07015a3f214600029d449ccc1fbc5d3cd3d
input_heaps:
355a64804e6eca100d64dad0e9de71f136466619
88c162adb4f7b537afea371994c77b7a87e6cf98
30d39db97666918408fb19572f86b70a713b6e20


