# isabelle_session_info

session_name: IOA
sources: f47bd79e1050ca2ceae4e873c00bff7706ed3e21
input_heaps:
849a93819fa451203d0122b4dd3db0edd4c708a5
e5ff3eb8497e8e1ce5e269fbb4d27f07bc3d35a1
2ac03355cec1f490dbd784e3d5ab6a671d24f2c9


