# isabelle_session_info

session_name: IOA
sources: 37d85b23095ff24434447f48fe92d7f20bf5c306
input_heaps:
a4c5d301a507f7945f83c5170a983e051beeb81d
4a642d629266e43cd6125d2662e20da56947e7e5
73732f016de10d21203a880b85e765a5d91917dd


