# isabelle_session_info

session_name: IOA
sources: 0b664e5b8a68855cf1f34ef4d149cd9195e4465a
input_heaps:
825f157ccf104eaf68947b05559181bff314ebf0
eebbbcd2c7cfd818a2e0e43209fadb4a2d9bab0f
bf8cb3b8fe23ca233e2c09d85005fab8cec4e462


