# isabelle_session_info

session_name: FOL_Harrison
input_heaps: c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3
sources:
2416511848c69b845f7c8a4ec82eefea0fd138c9
31755525071793d62f6b61cf93fb27d5793a7c4e
ba2574c6493c1ac6fb82c6ddf82a2e881a7827c8
daafd816af788235165bdb8cfd09c393597c7cd6
f0fce7eeae1ffa41a6f0691e21062958b47031cc


