# isabelle_session_info

session_name: MiniML
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
1856039393c833331a63c06a22cd63386dc43afd
2966703151fa939b415652f68e324f575557fede
361a84c3babe8d56c95f17b0f68db918080c2316
5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d
62c3b3e1142af452f60b859b3cce934c6b76f32b
6ede36b043e0116e99f50e18e2ee24c7a66b06d6
9727fb980bfd781671f1e21217327461b29c9c26
defc942b0aaab881d2c132747e38e140d9852c9a
eae754a10a58624abffa70fb29e1e142f00b1ad9


