# isabelle_session_info

session_name: HOL-Number_Theory
sources: 714e88cd36f2397543fdd90822f4134e9cad5fda
output_heap: 940cc386cf3e765e7a5daa8bcc92d0ee094d3820
uuid: cce6ef2b-b4b1-45f8-bb77-0a39131daebd
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
1bc30bca71fe536514610f66fe7694e103782a66
a3e00a75176ffb3a4926f71b13743c4095a76aed


