# isabelle_session_info

session_name: HOL-Number_Theory
sources: d0840892215579acaf5c8c47b5a3529585e18557
output_heap: ff33e815294d26a7e933e8eb4406c5a9c45b949f
input_heaps:
cc046ae580776820f4a04105f911f868e699728a
55e7e56f5ba0698df4bb0247f9715a7a435fa5d9
7ce7dbeecf43c193549427c585a09656e9284f0a
520de50405fba34fbc0c12684623d968ba968f22


