# isabelle_session_info

session_name: HOL-Number_Theory
sources: e9ec9773dab360be71f32547c0d18f1e2aa2cf42
output_heap: ad0d40f9d927c3654d760f98711c7256f65b81b6
input_heaps:
73b97324401a390af5292cba94f0564c556fe305
6001243685746f1a1a24fa4ab39f70a8f5ce39cb
8b58379d670d6dfa674d643467997074641663ae
38d02128dfd62a5cc87aa673452e3f247fd78f31


