# isabelle_session_info

session_name: Hermite
sources: 27b5621220ca8c4b18c33264f36e5db462031c0b
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
f2aa8062235ab9b94abd77b45dd8ef43dcd424db
e3a86169cb6602714bdecca3b9b7304b19773765


