# isabelle_session_info

session_name: IOA
sources: 1045e939a341c48649945164129c3ffc55967014
input_heaps:
19435e7761b5bfa7535ecc583694b3b77ac13312
d3b6a50d191a438eef0407441b81032b5f20e8d6
bf32ac17a88f18fac9761f4cc2b6b707052addea


