# isabelle_session_info

session_name: HOL-Number_Theory
sources: 32f3d06cffa61602bcb830e5c3edf4d2396247a0
output_heap: de126fc7c6dabf8f73e0f2fae8a398e0a4c5f84a
uuid: 5225bb74-c641-4536-a873-f893c3c3b7a9
input_heaps:
79322249ab134c8554bd4221788419e922866e99
2387fc3faef59fbd5e6cfc1d5a002f4fe962a0c3
136b97fcd0c3fc5c379cdaec1d5dbc45076944b5
241b8dafd9f13f40deef419782260fabff47b550


