# isabelle_session_info

session_name: HOL-Number_Theory
sources: d0f2f667af16873e13a0756af62f6cbd817a4e3f
output_heap: 21e4cec870d78a8d4dec50f4c7829e67873e1550
input_heaps:
355a64804e6eca100d64dad0e9de71f136466619
88c162adb4f7b537afea371994c77b7a87e6cf98
c5910b0782fc8af219750b1b9cd02cc8ae5d98a4
7d208862d25d7da18dd32cf99b531924f615efd7


