# isabelle_session_info

session_name: HOL-Number_Theory
sources: 7db696bb3ff2c1e7ac689b898de82fad491d1f55
output_heap: 4ca37551eb8a59f2e1c308cabe2e827eb45fc0c2
input_heaps:
4a3ec06d143a958477ede62e0e3a4a01d28a75e5
6f99533b4b7a9b07a909e0609b4856bd99ad10d1
a5817eacd2035add3eb339afe11e502184aa8343
bf00a6fbec8b4ae4e5b2043955a41d3c8271c47d


