# isabelle_session_info

session_name: HOLCF-FOCUS
sources:
7a24ac0b5dfecfd710cf976d042720a27eb8c80f
9819d8a0fa88bf71b1e89868ebfc3ba18c163ae2
bfc710210819b065ad61c33435fdafeaa5589ff2
cf1fdb239aca179843816c6e95592083f021315c
e3b6f35a7b23702f0940d11cb27f1a0c2dc25d95
f3317a6f9672d05c24aea4f8d56941943f9614ce
f66bb04f776a67c77884faa1a67dce2fd949bb5c

input_heaps:
76e60ab7be570c8f37ab4fbd0cc297599bd4212e
75f08b6f45353080735e360691a96b11d33f8575
8b3f1621ad686cf3aa842ec79ad06a6f95fde427
516a72821ed6fbb3cbf35c76e7b348aa36f84725


