# isabelle_session_info

session_name: HOLCF-FOCUS
sources:
7a24ac0b5dfecfd710cf976d042720a27eb8c80f
852c4b663a8d439dbafab771fff6222b134f0cbe
861b5b0630fc19dfc3f05345c4c7df6022f02538
95d4d5db1917a8199915ef427b5067f3e95c40d6
9819d8a0fa88bf71b1e89868ebfc3ba18c163ae2
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
cf1fdb239aca179843816c6e95592083f021315c
e16dd81c25115952353dc50e98ef8842c8109688
e3b6f35a7b23702f0940d11cb27f1a0c2dc25d95
ea07fbeffcb1368ab04358e4a6792a15022e958f
f3317a6f9672d05c24aea4f8d56941943f9614ce
f66bb04f776a67c77884faa1a67dce2fd949bb5c
f7d7695b21718df39e8a80a5c0e149dd8fdcff3e

input_heaps:
1d303aa48c02fbfb8fe205c90ee243804756e6a6
3e7d2e5aa099435bba6e4e30f924c9df17b4a54b
418c966c45dcc7bb77effa133124dd4ac762d710


