# isabelle_session_info

session_name: IOA
sources: bb039214632dfee10f79326d49935f4380a9af98
input_heaps:
ad4db87444247cacaf5ca4f67b9564767bfbfbb9
71edd8e772543d5a1e662373cc1cfda52a924ab2
7228fb09e2d25a5fcd3e3d2e6c939bcc44ac5da3


