# isabelle_session_info

session_name: HOL-Number_Theory
sources: dbc04302054296ffaef9b34bdd2af16845119176
output_heap: 870c75fe399f8db3d72bdabdbd01d68a35dcd41e
uuid: 5df5509d-d6e7-44a2-9827-813ce571e2fb
input_heaps:
a94bec1f1afbee18cdd2d9a64da35bb88b4c4cda
5ef5c38f9ed83885f23f9268d0c06906c1a7541e
9f8e2366105bb95b5c017a8941af811174b038f7
c26abad3176748a589eb84a7556bf6d6ff815f58


