# isabelle_session_info

session_name: Hermite
sources: 31a51a5a49c6655f6c64d1855a2daad184e2ad15
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
8685a4e92669fedcb554c3e1724474c49917d734
da9cbe5ec1889418792a21d54bd99b85413f3e8c


