# isabelle_session_info

session_name: HOLCF-Prelude
sources:
0d91922bb68a6d6c09420fea15278ce255e67dbf
0f83e9379368d232af1423c3a9685e6e1cf74f88
119d44278270db17b2743c3a9e79a787bc295e46
15ef148210b86cdf647e94d83b17a757e522eb1c
262dd36fa34004f950a43f36b8edceded7c2f685
2fdbe80acdb7bfa6f406f3044d266a65e3001a32
3997ad1247c599ff5ca5a09326a165d755ba9b8b
3db8317c5f591a75cc6914ba310706a7f93be268
42949db6ca1e816bbd53202dcffa7c9052e84a7a
44827c5ca90cfda525cad03afdfcc56dd98d9a2d
5a724ae8bb1980883f164d369354140f29606848
639d7cc3abbd5de4eedf5f879ad4f2b7309816ef
67c293a654d1e0fd1030b5d6de2ca82d6cabdcb8
69914580fe53f1120177379cd0cb2442fc3fd349
69b4d87e9cab0b856337e17afce32c08395ac7ff
6bd33b55cd1e51614d6fe6236264bbb32cefd535
71131d61502d42b94e07b527e360da5ce247f8e5
767b848e899bf51172cfcafea6b2fd397e8b0312
78759369f7db0a7b2e1ca4cd148107e261ab15f1
824c903cf32025264f54c80d54e2b4afd6102b49
82fce86746f9061205d625fb926c1da3b71e3bc1
95d36f5b95ae9531d0ee54478b2e4d81622003b3
972b4e038b27247f2b214b26b99c621937af586e
9dfad18df92030df23d8063c4c861125f8969a1f
a6d881014016ac510413e96c94577bf126ea335f
a939026b44134729988af1c996021ed8144c201d
ba3b3a5730257d7f4916bd70913829a914ccdf7a
be86f3c4c6e462285ba944f4b6d596de1fb5b400
c18c7c979cf98e514657390c6aa582a0982bd8fc
cb4b834530d752d4e7cb361183c450ea29c0ec95
dc9e9c5d8d5235a621106a3a732c508aac4588bf
f8ae127f1e65910d619470e583fa5f2a53ca6f25

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
9933f881dfdff901bfda5d37e9e94680bd990f78


