# isabelle_session_info

session_name: Sepref_Basic
sources: dabcb55295764aa84d811592520384e43d60cc02
output_heap: 748580965337f16af598c55c2d75a6e609259f08
input_heaps:
eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0
584f21f404c2863325b05768822512e8f27326d9
7246ea39aa0f864f94c91a98f2aa32ae5acca72f
5f240b2f610d154e345395fa9219bc53ed7a31ba
9ab9e0fcdd1a962bb5d5eba08772a895e03113ac
81241bad60cac8e8950444fa1a9b7df3d74a6d6c


