# isabelle_session_info

session_name: IOA
sources: 2a6d2229e76012b5a46073a61a7823250331e23e
input_heaps:
904467ccdfc347b5bee6ef036ef0dfed0d85bd29
b0460f12284c10e5929b92b4ac141578669c1ff6
f2d2dd674cb83148f70134b39a7e2fdca6087a21


