# isabelle_session_info

session_name: Sepref_Basic
sources: 58f86d51120d3527d2ff7f3072836576aae9b019
output_heap: 596c5eb44b09c9d16a338e064aaa1e155012b1af
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
5325db3fa7c4c5cacc4bd4baeaa62f09ec6906d2
ec4a5409e5d335dbfbd5c358f267c13f62ad1a5a
9c98d8ec469fa30c047d304abfcb6470a56ad01c
b698e3263c6d0352d0cf4c4e12652c62d3800203


