# isabelle_session_info

session_name: HOL-Number_Theory
sources: e04f18f91205bb4d24b1a5328b33442874db83c0
output_heap: 3a1b9f96bcceba65c1e630e699f293956ed17396
input_heaps:
a46db31bb55395b3dbdfc848f24a96e1b1255d76
d3c5454b647092bc2e8b3ae36c1c54bfb48075f5
2e8decf43b35cf896067cfed44596733da0cc7d3
19fb8a0d94e271c2f8cc4aa7930236860449dd89


