# isabelle_session_info

session_name: HOL-Number_Theory
sources: 1f9079bd965f1513eeb3c8337ba4e18e830f8fa4
output_heap: cbb06511290d0dfdc3dcef561a8a8af7850dd102
input_heaps:
6d4536567a2d054a471600bb1a15b22f2e4e18b7
17ad37aa59356dc3b6833c64a9451d5e4da1a182
6e1265463e5277ff22c4e0a02078cc60c5c0e6ef
5460eb674329ad6ab3e907df1f97ff23fd4c6887


