# isabelle_session_info

session_name: IOA
sources: c62977066bbc294a406a11d1f89e4b786f2bf242
input_heaps:
b7d1e0bcad61ff24291cc398a6e6073b9f0cbfa7
f280cf7d21e08078ebb16ca87dcdef533f95eac6
554377130b4da46098f660c7242ce088f13fcd54


