# isabelle_session_info

session_name: HOL-Number_Theory
sources: faa5c5d8768b7d6d42113c7127b2c1c4ac9d57b5
output_heap: f266d4f7b07bf0e21f3bb7534173e07c807556d1
input_heaps:
5854d6758689c83aab18dd02aba520db4dc6bf79
c08feb1745cb050bd06411837cf1536009c8c293
7c1de0903040091d1e09c534ba1ac732accfb268
a9300c635f1af2f1a0205285ac7b88cb9a5ee35b


