# isabelle_session_info

session_name: HOL-Number_Theory
sources: 6c0dd2893067089d6d846aa7a131c631bdd888a2
output_heap: f1c89c9f109bb6f249a332581620055a229589bb
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
f9599c72045408b4573575612b1544f97d3e8615
e9df4ac96aaa27df45a4820e2370310fd3189a3e
9acdc8ae94f51e61fb886a7d4fa5f21c7bc97074


