# isabelle_session_info

session_name: IOA-ex
sources:
0a3b8cd38944bdab984be3653875710900390a44
600351b420a2a1e509c529a1cdc650c3f43945ab
64f13f5ead5c299fc21eafd0f4eb3419e8a3b86d

input_heaps:
014fdf73a0b928fde39c061b3b448884e65fa152
f4f811683dcda440eaf96bee8739ce28e3523afa
5a5946a58e624c203389a73d2634854bdec986bf
cae1dfef5272e341c8c2a3afe5b6526151a1ace8


