# isabelle_session_info

session_name: HOLCF-Nominal2
output_heap: 8b5d6fcf4b438d2daab6287abf8baa6e2015dd74
sources:
00373f1096635d47f99703056d4932b2c263cfc2
0738907043d9448f60212f4ef776b0ad444ac916
099379e03c73848cffd2ebcbb3dc99825b1fbed8
1150e2a28f4eb1fd6cac72c79f65460e7cb70e62
1265cfd725a7f4545a68bf17af11dbb36dbfa2b9
14c612156aed91f8e723f97d0d9caef66bb1cc1a
17d6ba1af215abfc9a7e0d72775e791f997784cc
185b62c9a47bec524007ec7a2225b16a8f4b9349
21eeae9f34bfff80103f78b84c072ac4b777eea2
2aebe1099077b35e9e774b3e59a41196f81f29e2
344ec78dcdbe4ebb7fc6e1845889a17f7ce3f03f
4cee7a4a8ff3a6a412156b24cb39563781feeea5
59e3f3187d6e1edf94ca88092c59ca9044f40ba3
859a0a8c3226ce4c9e95670976735845ca0b8d8a
89548541d85dbd39bc42c04ca2e2b06eab0af27c
8c3186780427ce1155750a6e7dadb77cfef8adf8
8cc47b744beb3fdddf2f517591082a7a94f3c23e
8d0acc8f2f6d6274886409e4fc4e27d51e792d93
98e56112c94ef1e4b2b588c91ee96072cbda4b3d
9ec116cb67265b5e4bd64c055954bf009ef001c5
a07055f2fb48bb9ed75b82681cd6701c235d6918
b27e8549c94575a704e4138ae768f609ece9a3ed
b5070ec08ee2acd5d10039e298f5e5cd8284bc62
c3e6ead939a35a30532df747de054efb084d3245
cc49f191a1330d1b26b2caf92f0c6cf8b98224cf
d051334d5bce52e784fbaf69b41b2bcfa686d54e
e06cb36c47e33f0e8b8f70518d19fba59a0e5177
e1bcdce71ab76887ff8c113a383722d2e2085fd1
e3c438bd503158372dc2be23c689a43bfe275b03
ec404475baf2e7d72f22669aacf221ea464457c0
fc8203de16c61c092238a1d5eb780b1e7d4d11d3

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
38349052e83ff33385194117f1d07efbf777c0ce
83a001434500af04bc67e1bd182fa0888c9598b9


