# isabelle_session_info

session_name: SM
sources: cdf78f3950b63983d48a549848b5c5aa671cedab
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
71e5beeb8f5af9f9767829e5e97a177e2fb327d6
cc02c8e5740488ca29ef97a9c679aa176647b950
75b79d24f01f8d7c497f083ef664c5768760a36a
0b489a99edd4ca6af57c7ed7bbbbe5afcd862b23
5dc88d6565a8a427656c74a76fbb4a2f1a3280f1
fc2a1bf42254a8ec388d25f833c16ed88d0cdff5


