# isabelle_session_info

session_name: IOA
sources: 0edafcf742f27daaa11de2a375273ddb42863bc3
input_heaps:
4c23dca2c69764faca7d5f4195665a237a606274
a5a70e75908aaa1084fb6ce900cda62e8b243612
29ef0dc27d7a9d971461a97821ef5cfaf1ebfc7b


