# isabelle_session_info

session_name: HOL-Number_Theory
sources: 5eb3b9fa1c24df97871c9d70c8857247a5043528
output_heap: fe61bf2e9c3c5c21695d4085151893d2036f2cf2
input_heaps:
d68c97a199327570bbbc88bf3960f7f8ddebeaef
6559143f0d47d16e6a6701e66f7790a037da1ed0
58b1d73f55934cc15c4b14db928ecdbce9963615
a2d4f012ddb90d71c1226202eb18125aa8596852


