# isabelle_session_info

session_name: HOL-Number_Theory
sources: 57dbd0be0f51117b96ecc5667b0629dbcbf75a2c
output_heap: 7c6db57327d0d80c8e19160d13cf6dd2b5fb6333
uuid: a967e611-cbd7-4ab8-a233-6033fccf1596
input_heaps:
f0a12a2aec69f13fa5d0bad6bd85ace47d658fb7
79de5a894792a27db391599b9e95af83f31c70b4
ce6346b2d1a1bcbae741c9e7dd35a08e505208e0
b7ca8bfe854121dc23f2c6a6a8e98483bdb8160c


