# isabelle_session_info

session_name: HOL-Number_Theory
sources: 9c09a6fce5fd95a3efbd8fa7aed52e6a0b30380a
output_heap: 27137b91e549f3f0640be4e043b5254679e1e54c
input_heaps:
ed722b52bb85e2dc59bf911e06593f9321485465
9707b28922e9653b71e76503133d895e18154890
36600d5a291b651d32f67736bbf26f201f9fd1c6
ebd9418582e354b202c985717e3a12da59d12e79


