# isabelle_session_info

session_name: HOL-Number_Theory
sources: c96f39893258ee3436f7d3457f9464c8ca49aa74
output_heap: b80e0f5492be485f3992eeb66bb934204d435b34
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
25b90743d1281bfd1bba7e3f4d92443f81c8b32c
3f4049acc186e4dbef3ade96d1d0c7419f33935c


