# isabelle_session_info

session_name: IOA
sources: ba3b763ce351df7b4fd2341428e70159e3b35ead
input_heaps:
bae0b426f6b4d4eeda0a51832f133b997c1cf639
7dda90dd71cc7c967ad3e608f75d449b48b28159
d8be1a7912ab8b92327de664e306363ed62d5e3e


