# isabelle_session_info

session_name: HOL-IOA
input_heaps: 8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed
sources:
17d4bdcbc3732afba946b9e132a42f895e626d76
4bf14543e74625e7d98554527128b5fcd79c1e54
c8e73ee5d5c4fb9b5942e9943404da1fa557276a
e201918a65f6bf556c21c846b06edd560f25ed4f


