# isabelle_session_info

session_name: HOL-Number_Theory
sources: f26778470cf4478d686d2a6a649d5383110eae8e
output_heap: d880cbd7f2ccccf4a5c2c825703de23325ff91a3
input_heaps:
a28a6255246f7ec3c5cd9330da6d3544dfc26850
8ecdc4166284eb6c1c9af75e52995b5452e4ba9f
5155941f44c3899c09b9f0c26be9b6ddf8fd1e84
073c24f64f15315980a9506eac20632da70f64d8


