# isabelle_session_info

session_name: HOL-Number_Theory
sources: 98e1dc715acc95ee7bb45decd1a2693c26fae2a3
output_heap: 65e228c57a3167572b9d76002e07033b9b8eaf1d
input_heaps:
904467ccdfc347b5bee6ef036ef0dfed0d85bd29
b0460f12284c10e5929b92b4ac141578669c1ff6
9f975acad972b699f03fe810ec4b42636972fe41
e7d2699b6a515417f8ddc758150f06626055bc7b


