# isabelle_session_info

session_name: SM
sources: f25b6116c8359bb219b68147dbe11f8056d82557
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
2f484737f9e309b1dda4db1db62345fe202c4f91
14de8d5ef97011d1aab90fe1ee9e6a72e94b032d
20ce141ce56eee59065d2403cf726ecb8d9be303
4a0f3700ec32a11ffbd799c70a3b3c9d1f81ea83
8be76fbaa8ff782a6a4da53fd4beb23233c9d4b1
5fe4f57d8b773311dbb1225735b8ee1820b1b609


