# isabelle_session_info

session_name: PseudoHoops
sources: 68a6728bba6886d33bbf5bf2de2c43d0a627feba
input_heaps:
e3d3de0c105787f07c71be3f3e76dafbe7c86cef
26af89b7d57c7a15a989446f8ee1ff99d4928d87
f589a899ab465f72735ea903ba2160004bbcfcce


