# isabelle_session_info

session_name: HOL-Number_Theory
sources: d397076f0eb1e0e783535f5a096a68308f7e9c36
output_heap: 3ec88fe4c6d0b3d3546d4fdbabbf71dc5f115899
input_heaps:
a1ab0b5963a050516afd0da6290c5af30d29094c
8d50800a87c7552ca35d4acbf7891b84dbeedad1
e337f16da0d03647151f69fe1667927ec26a965c
570785aa06940ab2765bba97596bcb51f3054c5e


