# isabelle_session_info

session_name: Sepref_Prereq
sources: bf73bb1d0c092cde6bc7ca9c1af37d15701f613e
output_heap: 81241bad60cac8e8950444fa1a9b7df3d74a6d6c
input_heaps:
eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0
584f21f404c2863325b05768822512e8f27326d9
7246ea39aa0f864f94c91a98f2aa32ae5acca72f
5f240b2f610d154e345395fa9219bc53ed7a31ba
9ab9e0fcdd1a962bb5d5eba08772a895e03113ac


