# isabelle_session_info

session_name: IOA
sources: c0b3b6caea5d77eaa84c7a179831f1022461d1fc
input_heaps:
bd83b15e1e0e9039a1a1655585e69901cdaa3f80
e4ea8cd95193acd87d6b106879f9d68d28c8a75e
6bd9bc6bd23405c40b0368e9c532f314371e36af


