# isabelle_session_info

session_name: HOLCF-ex
sources:
01ad330ba00b3975919c3a49fbb7a2fd1f1fcda7
08579f6b90caa4ecef3dc4866fc245fd84f7c1d1
10fd440961a468374c626744451888997f31c65b
122f8e6d09550bea029ccb1b6e839f533d6f19c6
3c54ad37ad617dc2d861de2dab681f402c864327
68bd26874ba31f2499644d55df21046545285291
6b60fa0f5810516fe9e99e420243a974afaba0fd
80dcfca725ace97cead5e39d08245c26e7ed5a75
8e7a31346380d165363a6100f12d0ca8189408bf
b93df0a10ead4c342235da5986353a7d12307920
bfa0d55485fcaea5815caf23e331f19508583759
c110105a951c4b5024941ec2a936350c947ebaca

input_heaps:
d2fbbb72014e26de66d280d7be7d08deaaabe52f
8cba64bc01798dbdb9969f6de108dfc3cacddc4c
344aa01d9faa7875a66779417da64d59809f65b5
b1d7002158008374b1c81b144bf4976f7960602d


