# isabelle_session_info

session_name: IOA
sources: 7f0af52faf30b858a160e1f4750f4cbbea73d024
input_heaps:
a2d5ff19f237a41b43ba3fc24c0e51d3bf4451ff
46bd800d1ac554aa3326cc80d35350ac7980d5d8
fa087bca16ed3cee950468d8ba58694d25cdf736


