# isabelle_session_info

session_name: IOA
sources: 702ce9bd3c2a307a88ea82c65a92ba3985a5f9b4
input_heaps:
60153fda7f67c400babeac5ff8410bde1cb89937
979fcfd417ee7f5d3ccae23097201bc6a61b502d
1d3279ac17fa26b01bf0404becaa1064e4d73999


