# isabelle_session_info

session_name: HOL-Number_Theory
sources: 4cbcf18c85050458eccc8f889d4176b26a667a8a
output_heap: 132f58ce66404cd485af186aaa985e3317a8dc31
uuid: 4dac673d-f950-4373-9e91-14cc2fb4ae83
input_heaps:
e2de7c39f4fe13c1839505ef008d2e8cab80b2b1
a06314b2c10d1c04af4a957577328c1f98c585e1
05891fc52698f1a89b61758861ffbc8a3abc1ff6
8a1cb428a25f8f6c995f717cd96f52c36a6ce318


