# isabelle_session_info

session_name: IOA
sources: e25dff361c957516ead73b3d947a6db942f327c3
input_heaps:
a722fcaa1e8b43a508ba50c6d40dc06804ad4aa9
0a9ce344dfac367830e992bc261ce9786406c92c
63cd543109d6a9f02df8fe8b5560725ced87c883


