# isabelle_session_info

session_name: HOL-Number_Theory
sources: ec0bc583bb603be3d6a64fa3b43154d191dcece6
output_heap: a263de9b79fb140f9acef59e80ff65c5b31a2ba4
input_heaps:
c76929b29fb501c0707c014cb283a2ded47b4e36
17c70744705ab67f304331b243d3ae7a45b8980f
1cf5c2fb1f5fb56ccdb24b8e1264e6abc91736e5
dc12e28bdf559eec0f2a3e592fc2c712d772a9b9


