# isabelle_session_info

session_name: Hermite
sources: c8dbcd71adc85fa32a02dbfe6dc81b251e057f9f
output_heap: 532bb1c9d5b9603e6fae927c7b3e908bdbd33437
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
41c0d8f90ea7be40f59b426bbfc21697230ea515
fa35587e4455b4a2588e4d6f1e0ca95870ad6499


