# isabelle_session_info

session_name: SM_Base
sources: 25ee164508521af8a9c5142124273bbc1ad1982c
output_heap: db089538ea11ca7fd3dc08a7958380461ef1e3d7
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
858f6cd8207f79c7ac7ddb04778d17fd495914d7
9bb5f26e1f3ecd30378fd845a664d648e23e2eec
6c5a22c2e116427b9151a47a5b9dfa20fb726fba
558bfbe3dfd6a5483279ba9d247f995653fc41b3
20da52fe2db36c006bd9a38b48f95e45f493f57a


