# isabelle_session_info

session_name: HOL-Number_Theory
sources: e634b3c01a163c9e4866926375d892c900d98738
output_heap: 2fb6ff6055901b5fd8af446302d4da770e78e58d
input_heaps:
1667ce1fcb30adc5ce6fcdb5feb10204550c27ec
e9aae1d42c4adf660df67523aa6bdbf83e56d019
f1d068c99c2f76c530db5071deed5b4eaab1d8f0
3986d1ab32630c2a041f5b03a505055cb1563f32


