# isabelle_session_info

session_name: FOL_Harrison
input_heaps: 80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4
sources:
2416511848c69b845f7c8a4ec82eefea0fd138c9
31755525071793d62f6b61cf93fb27d5793a7c4e
cb72c8320c53088e3a80641bdea9438d4132586e
daafd816af788235165bdb8cfd09c393597c7cd6
f0fce7eeae1ffa41a6f0691e21062958b47031cc


