# isabelle_session_info

session_name: HOL-Number_Theory
sources: 0382fe4cfd0c1912c8cb70ad301c94e23d9f7879
output_heap: 33ff34856f0d5608f09f0b895b2bfcc369345226
input_heaps:
99005465b294440907f056706dc01a7cdcbed98f
e401debe3cd3d8202814086cb5f8caa834df63ef
1a57a2e84004c3da646336c45678f6b06cb6bad2
d29bad988f0b7d936279e6adafa0a1a70fc94073


