# isabelle_session_info

session_name: Hermite
sources: 77f1d3de4eeab7f36f4b2a328f5945338bf2b68a
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
d040bb6bb06b2ee524550897c62da689062d71c9
86e180916a085e74eaf553e5a2cf11b3099b4676


