# isabelle_session_info

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

input_heaps:
3269756b47a6a9653987fc2e45e2efe5ac3c9347
235bf9bd90cd9323492bca5d081941b77446f18b
8e257241ac01f8b9869c189815968e93197fa288


