# isabelle_session_info

session_name: IOA
sources: 7f0af52faf30b858a160e1f4750f4cbbea73d024
input_heaps:
3ec2aed6e56052c24ce5cac914b0579704df917b
463e1b5d04f25a3da6ccab4b394f1a960d47251b
d66200641115f3229a1297a99d87e494f4f317e0


