# isabelle_session_info

session_name: Eisbach
sources: 07b692d18219c5cf1354b3e15adaf7f52c68d4a3
input_heaps:
1770e7d42e284900cf7be1fa0dd3341bffb6e5a0
3748dad1f2adf6ae24eb2a2d4ccd1ef4791b4c46
0aca4ce540eb728b7c04825179e3bff721b441ae


