# isabelle_session_info

session_name: IOA
sources: 9923fae8deffd7b2d4c3a45435261ebd624a2f14
input_heaps:
381b0b6f5ce27306df5e53b57f6ec5e3417fdc9a
7c6d46e4371dddfd01328e9f87c81c7516f6eaf8
b4104ee71f67d1c5dc6341f502840b722ab5fcae


