# isabelle_session_info

session_name: HOL-Number_Theory
sources: ee2f744d0551093a4e3eda6bb464671054f169b5
output_heap: ec57bb3b6868c01458d4d3c4842291c1db48ea94
input_heaps:
8a6a1967a85148d05149fc8f258f22e5ae5ca538
5117ce8f6723f2ccc7d4abf78308ec3ff8c833f8
fd08f13db768b398fd5377aed413b6cd35c94895
86d4ae0a634c366ac10e90fbd5d777e67e0a8655


