# isabelle_session_info

session_name: IOA
sources: 18d6f4d795f14765d9b1e42870427ae7649d3d89
input_heaps:
19b4b25e295fa87e73b1db14b76878201d84b83c
1937eed2483e86963c5970fbbfe36381a164809c
26d2f97cc35218d467f0a8d7a0cde0c29e700623


