# isabelle_session_info

session_name: IOA
sources: 357dcd0bfce750238f4c4c67a00bc7e57a519804
input_heaps:
17875d9ab39491b14167707e21ee07d18b9ca721
c2f89e2c128cd04657db1c4a339b6fc48c5ee4ec
7912e2359b9e2e3d78858c075ff2c0505f2f821b


