# isabelle_session_info

session_name: SM
sources: b6d9f6273a68b4e1c3060928cb7299fbd2bd7a9f
input_heaps:
f4e66065a04f1e2d2dfdb251791c7f25eacff512
b7343e71809abe96ec8715dc85d1d5193e283b23
bd152c7c93878c919008fd908c28e98a83388dcd
5f6594d9d496d279a984d1cec373fd9b7a486dcd
731521c93a39ff34ecaefc775aedb2857053de40
11382a62a7388dede29e08fd3486d42e6667de62
f6faa52f1d1c9a362fbe542981c38a4d3b6ee64c
0c17fa83b4371e947784ef0c770faddf37cf6f40


