# isabelle_session_info

session_name: IOA
sources: 7c2a52014636bbefbff9c5fb10a7594c1ac39496
input_heaps:
a9b7dcae088578d8605a3e1d84e889eeccefd72f
b4ab1f59b08714a73123cd49dab856a7d2781a8e
66c198dd34d353c91e22d4f63382c3a77c466f77


