# isabelle_session_info

session_name: HOL-Number_Theory
sources: 27dd4415bfada475eab67b96d57ef935c97236c5
output_heap: edd7b416aa8f0f2cfbacac06b5526f1c76680741
input_heaps:
266222d5d4fd615b66222b5c76e21b7ffca335d8
e3f2349d70353a17cdf47ae04ea2d2766e07c9b0
6d94daffd5ba40562150265e594ec713fe72320b
033cfbf18d11440c2f96fc87a725d6de7d3bde47


