# isabelle_session_info

session_name: Sepref_Basic
sources: 360417d557ed9c91709ded11d4e4ff06d66d61a6
output_heap: 11737de5d01fe69434f6a51eae2bb71375e28aa8
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
a00db45f922c076f84c700721fff4242e157db35
9474c800230505bbe6b4f1d92cad99819f4bdb3b
e3deeb94af35788086634df4a15cb8079d8a5030
6540487da404e08dbc3f4b9e694b3cfe0c9be24f


