# isabelle_session_info

session_name: HOL-Number_Theory
sources: fcce4ed07c2ef9073e057f4c88830ea0b4f44335
output_heap: 36d4fd29316d572dbb79a28c0bc1e3ac67f5300c
input_heaps:
52d50d10ccdc465a02bf994ffa404cd98f184ab5
894864dd28b977490995f7378a440f9a7de17a67
20c038704f4f82b1d8063d9a1ac8bbdfd4a8639b
1e627b2a97e2456045b570182bfb6f24b4b9dd1e


