# isabelle_session_info

session_name: Simplex
sources: 9966f4a8f366f603833fcff8c5512313e0c9db60
output_heap: 34a482e9dd8a2c44ea22d3309bc22481c12e4e09
input_heaps:
5a3b6f7b3e61510e7fd7048ff8c15610e20e90db
0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22
ad1ba3f00ef68917282fd2edc8c084d3c50a4da0


