# isabelle_session_info

session_name: HOL-Number_Theory
sources: fa7f0f2e87fef6f2b707901fa8b0b9c3d99293bf
output_heap: 3c96b21bdee00d10fefcc7e7f25a89f10c8107c1
uuid: e4de6fbe-b4d2-4880-b719-b2cc4a270310
input_heaps:
82ad92dc0dba9d95491b69387d189df653d2761e
1530d97ea51c361acf764a2ef5e711409abf7a87
d43081aa673ccdf53d10d7c27ed9961c48a58124
6a619aaa1be2acf7fe2db5452f4e18cbeb279303


