# isabelle_session_info

session_name: HOL-Number_Theory
sources: f14daeaf93cd30e8289c9d8cb8370adeb4bb5bb3
output_heap: ede69c2374ab6a0663a62b9269dcd880a0b223cb
input_heaps:
48ef87dd09ab8fc29a0988e0025104c249fa2e36
35bb85abbd94b011d8114c0880ef20a2961ecc7f
2dfb5262788728a96f0e81ce58f0dddb076d0e65
5fc34b539e4dea7b4b4cf08168f4eb69b0fc5afd


