# isabelle_session_info

session_name: Hermite
sources: a5db6b7cbe1a46399a4a7dfa010ebca8355a4f57
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
50d7567ba5f079e933f9c40588fc7548716f71d9
d3efbb127b1060ead05a1e4536c566ab7cff4e1a


