# isabelle_session_info

session_name: HOL-Number_Theory
sources: 234bca0f676030d0a5aa5a33c9473d3f3b0a479c
output_heap: 07dec573d9f0c785428975386a5fb57198d5249c
input_heaps:
ad95178f9cc8aa8a55e83db54baad3cdb12343fd
1699cd031ea33bc672c8b13b97dd8c83db33689f
6f1a5e54ec9cebb88fe3f32017a0814fbca3ab55
17c53773c61163e998c5ef8f93ce5911d914bcd5


