# isabelle_session_info

session_name: HOLCF
input_heaps: 680aafe9229ef73c81f6b008c602c3fae9c15e45 03b53026763bfa23a5632c7d7b11d90f7afd0248
output_heap: 1a543ba05cbe2c319ed08d1d157a73013ab20119
sources:
01a75197fcf3d3798dbe0f33bd5d6f31ca42503b
031e5ffbd064699a2e315cde866c64e6acae0627
075532c43f43f3627ddb756a0e9fb51b6058e83a
098734b397848ba480dc1961fbb079e221de67bc
0a1ae5ba50f8e5f534f66600ea155806ee881a3d
153c0beb6d800e79a3239e27b6773e79ffa882db
16ffff736a4727eafdb3983954ead38b19ea6333
20817ff2d7df6c7166c409fabb3e6ba6954e7051
27063cf3784f8cf0350e709e53153d4e8637c3cf
32bd998163f509f3602e3e88ceec26b18e90d051
33e320f3fc6c6ac201bea738f3824e04beee89fe
34dfaa09e8ecb562c20c7a2065c56bc796c8ec79
39781989021b703a084a80f363131d7903cb5cb6
3af34c100d8a11ab79f83fc28bf411b05e1ac83f
40d726bd44399f73642908975fa51781371d083b
42aa643ea1c6d900e610c82e48221e4e68ffde2c
454800c2e9f7db530bc5427acbb9dda39c0cf237
4e69575b4434e610609be127b4e26cb9f74d1410
5117119a178eac69d137fb85243808da2d667eaf
5538e3d994d2f4aa3aaf60b61e2a65372d60b5a3
5bdb540d5d2df48575e3f652e12ed3f3c44ff99a
6224872242b9dc5cacbebcc96ccdffb64fd07503
62ec696a8c8e21dbad375e5219bc8d7aa5190d17
6a5bd38e9d676eed2d03abf15ed9a70f9accc3c7
789561f6596ec556708185b9bf2908bef5d46d48
78a6d0fc42e9cf7a4ca3608fe13869572951ee14
7f391892b8dc4a01f5efc56984e082b9bc47fcf7
82a7ecb22c0aec27f18162591c121ec98462dda7
82c74dc2af62177dc9184e6a5f11b1dd3a83cd46
84af88226694a58dbe3cc02e1250e24e6b739672
85630a6e18b403828d0961aa537175e3c376a6f0
85f0de1ed78ef2ecc678f1d10b806a8f2f7c5a05
8924ea820b2232810054b3889321889673b9f46d
8983b274ca224430b729c36804a982dba8c23ce7
8b332f9ae24135827e5069ff5bff0f6b090962b6
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
a7e900c10e84bc3ab8b1a8ca767395c19c267481
aaafbe24d066b3ff043a7a062150a4b01d31235a
b40564e6a77b282e48cb32d6da3935dcc3e71536
bb6a42f4dad701e00342994a2799072758ad334d
be9d18cc685fd93cbc63cce31e45af575b6a555d
bfced50876940f33416335317bf7b090c274ec29
d04ca371ce8d509aee21162aad23cff2a8525d75
d351440fb00ac4f6c41a85b5ff375b3bdc868280
da6efeefd64188cafbb1384095170ecb83777e48
de210329e1710a12fb5561410b827e6692894a54
defd403bbcf97022e9b72d9b5050e6afbcb548f6
e896343606b87c150c2cb7b1db2552d58b1d07cf
e98d989b0d56b347c6ee1a9d61645ae944ef72e3
edee0d6a41826c1ce75723afbd681c4c7c3ede82
f477140e58716424ec0d03573df937e9621f2187
f5f511bc496bcdb423db473baf6a80447676521e
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90
fb04d12e7610a770eb11d250535cafd48b89b313
fb7766184e19b656ef7044477fa61d33cbe4b607
fc1f0fbfb8f07abf3f0b5a8b8197063970b1550e
fd7d3eb4f3c41566ff0820e2fca7e75017d38f14


