# isabelle_session_info

session_name: IOA
sources: e963388747acdfdd3903730418ceac9c836e2a57
input_heaps:
244fff9626586a47cf219a42d65621cd04b99d5d
ffc040b6ffcc8a36a19cb39cf7a22fb8637d0a4c
519b380b748b59574582f5aa941ee595079bd9c8


