# isabelle_session_info

session_name: Hermite
sources: a73938f0b1b7bfb94c135c98aa196ca37fc20313
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
bdcf3dfcb2269f6f70b340c38a29b59b8f66cb61
a52e98f1a084d33a81fdc978da70738a2953cd30


