# isabelle_session_info

session_name: HOL-Number_Theory
sources: 990ff92b41680c384f04ae660a60b5f59bd8c88d
output_heap: 4e04bedd829311fd48c9735143e9a5263ed3c1c8
uuid: bedcc734-cec5-4776-9f4b-ff94a1963c69
input_heaps:
ba7702c126855af99502b531f1cc5642fad9a467
255f2c506c9d955748a5ac0e37edfa82969b4ab5
44d1d1ea000e17fdf2d7a7463ffe2e37eed0523b
4b4f2600797d40d1f06d80f5b486138480c9f9b5


