# isabelle_session_info

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

input_heaps:
76e60ab7be570c8f37ab4fbd0cc297599bd4212e
75f08b6f45353080735e360691a96b11d33f8575
8b3f1621ad686cf3aa842ec79ad06a6f95fde427
516a72821ed6fbb3cbf35c76e7b348aa36f84725


