# isabelle_session_info

session_name: IOA
sources: 52d59adf802f29d36c2e20a632213436acb764ee
input_heaps:
8fad6a4949c9835d07cc1dcd7a18516b5d86c9a3
26287f7258648103b1684486e4620d0d4bfc2934
0d12dd4bcd7112a64b8daaa5223058781fd88d59


