# isabelle_session_info

session_name: Sepref_Basic
sources: dfd6d7748305b79ecdd7dbaa607f46ff5525c64e
output_heap: d6f67ddf61b13ba8fb05f6eee55e9d9e1f678925
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
6a753f5bba36be6a9677923d7a2b6c8b29d1347e
62fb61148c54531f9a619b5fa2008b7c1facb5aa
6c27cd838d2e339c07b708d06cfae122eb50618c
8b7c983ee75b8041c8011329ffbffc4ce4814c90
615f530b0ab2d81818b740c08b64129cf099de49


