# isabelle_session_info

session_name: HOL-Number_Theory
sources: fe526403c12ccc8f4b6fb1276fc0e338513229a5
output_heap: e794d8d7c809abbf00affa764ce113692a22b56b
input_heaps:
33566f3cddb263229cca6b46057522afa84933ef
bb7ec89f1f64990bcc746653a2c829e6a81d9bf2
9f96cfea966aa19fa07f5a219d81239473d5d2f3
ba31a12f9c64226a89fb472bf575d556a312e021


