# isabelle_session_info

session_name: Sepref_Basic
sources: 3f5759d7e27f7f48ade20908e1c9bae1f2b457c3
output_heap: 11a8a3e7da6a4a6f1e1696a12696930be5c29640
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
2e84d911773b45115574460d9a7678fc50fa624e
2d229ad41197eea502123907e8523b4eb5743075
9e58376ac3b5dfd91c3fa512171b7a935622ff6c
80998c34abd785ae29ed1b69beffcbbed56e0624


