# isabelle_session_info

session_name: MiniML
input_heaps: db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259
sources:
1856039393c833331a63c06a22cd63386dc43afd
2966703151fa939b415652f68e324f575557fede
5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d
62c3b3e1142af452f60b859b3cce934c6b76f32b
6ede36b043e0116e99f50e18e2ee24c7a66b06d6
9727fb980bfd781671f1e21217327461b29c9c26
defc942b0aaab881d2c132747e38e140d9852c9a
eae754a10a58624abffa70fb29e1e142f00b1ad9
f4cf19222283aedb83233c990c85eeb4dc2b38a0


