# isabelle_session_info

session_name: HOL-Number_Theory
sources: f1b51c6a097fb9763b211d61373bb7b7875bddb8
output_heap: 93770c2b50872112f3524ab4a84c1be985fb20e6
input_heaps:
a6fbef6a2193c181a33d1e950aa3f0abd88b68a5
3ca6854da93018cf5a079fd9b5bb5197e0340c09
43a1bf747c0627983d57abee619b169885ff240e
887ceaceb8b20e11d38af9c00a5705a924b7a121


