# isabelle_session_info

session_name: HOL-Number_Theory
sources: cfde5b3be6dd74e3f6319a38bc13d56eb5c1d9de
output_heap: 9cf1f9521f1c75aa5d9229e231792a83555a4da0
input_heaps:
ebd4c166384c9b3764e108666d8a86269fed7180
8c5d996e1630770374c897d3c4187798a2df046c
fc01839d7c6ea1864dbb5286dd46c09654254b52
0c0ec661209997d17d4fae7b48bb6dbd488a160e


