# isabelle_session_info

session_name: HOL-Number_Theory
sources: b88d1e9984a5d6abf3375edb71b8bfec59f44f31
output_heap: 474cd97eb2ed45e197254d4f9f9072e13146fcba
input_heaps:
408130f68e215ede7936ca4ab0eafec3d85e645c
f28cf806c632fbc2897c47bd2481cf58fa5266f7
86e38d3b5c0be1586f867242f20f2d734f9551b8
6971783d77f46709907f4445fbaf6bba35de75d8


