# isabelle_session_info

session_name: IOA
sources: d01e569971d50acc4814c028c0f66ecd935a9af1
input_heaps:
4c5f183ba78d63fba8f2fff83f20ad92ba3f3123
7b9d4e57c8c302939625b8327fc2f5fa1e0eeb2f
daf17ec52b1e4eadce42861242384d9e17113446


