# isabelle_session_info

session_name: HOL-Number_Theory
sources: e25aca31506d584a0e2fe00d496fea5b8d0d933c
output_heap: 183c5efad15083c9e4567c7ef19031110cb90793
input_heaps:
6d2b45655ce44081c131f14d4fedd2d1bdfeb50f
e788a9cf233d6b653b58bf56bdf77b51f02134a5
78e8c89924afabb8b9dcfc2cf4b30fa9d4506678
83f7253d5c4ddc2ff397a190d0410ef377f4efdd


