# isabelle_session_info

session_name: IOA
sources: f2c3730ccfb70460f8cc4d40e00f9f2d6017f3da
input_heaps:
2c79d3d54810032b527670dc13f3e7c0919e7d5a
0a6bc08b09ab01ef5fadd0d577b4644a4a0ca9cf
2171bbb2d441c83d7776abadb87377233ce2217f


