# isabelle_session_info

session_name: IOA
sources: cd560df88dfbf5ee4660ffb509ac23d4da182fc4
input_heaps:
ee6ad39af305f89937086a6f882fd17679ba7ecb
e3caa21a0f45527522c83927bef2cff3e9ca2831
a9ea03f3ca127167be797e7cffe8ec768a480879


