# isabelle_session_info

session_name: IOA
sources: a26eef402980ca95cfb7f00fad801bd599dfb459
input_heaps:
6e17447a00107a84a0d911955493ae00a345bd11
8f7c907bd2182684f053246d01bc6ec83b1af4f8
a5ae92c298b1a783c1ea941a3f0ce69d254bfd78


