# isabelle_session_info

session_name: IOA
sources: ede35a4c0555adf1043bf29986bb22c3aec08b50
input_heaps:
00879685c0cae8162cb30e087be0ad1474557204
1ad79679c1848be8b6071b23aced2c52a17aca74
324d9f7e33a1258e390605bd0fe044637425e195


