# isabelle_session_info

session_name: HOLCF-ex
sources:
01ad330ba00b3975919c3a49fbb7a2fd1f1fcda7
08579f6b90caa4ecef3dc4866fc245fd84f7c1d1
10fd440961a468374c626744451888997f31c65b
122f8e6d09550bea029ccb1b6e839f533d6f19c6
12ab84792dbcf7b8644626c3c47bede01772a1ab
3c54ad37ad617dc2d861de2dab681f402c864327
68bd26874ba31f2499644d55df21046545285291
6b60fa0f5810516fe9e99e420243a974afaba0fd
80dcfca725ace97cead5e39d08245c26e7ed5a75
852c4b663a8d439dbafab771fff6222b134f0cbe
861b5b0630fc19dfc3f05345c4c7df6022f02538
8e7a31346380d165363a6100f12d0ca8189408bf
b93df0a10ead4c342235da5986353a7d12307920
c110105a951c4b5024941ec2a936350c947ebaca
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
e16dd81c25115952353dc50e98ef8842c8109688
ea07fbeffcb1368ab04358e4a6792a15022e958f
f7d7695b21718df39e8a80a5c0e149dd8fdcff3e

input_heaps:
7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd
67de1e4faa6c594cac8f83698b542c3bbb933a16
938d638758d7574cadc87f2c58296f82c16554f9


