# isabelle_session_info

session_name: HOL-Number_Theory
sources: 97ec86601d4bce3fb6308b958fc20f086c64ceca
output_heap: a6fe9bddedaf83e3d8c2dcf9d518eeaf22167781
input_heaps:
be278b232693c4457b48f35ed313988dcb46ad67
c4435670593a15f412caccdb28e899584112224b
748f13571b33d18c0ef1a656265cc827cd376819
87704d4ce770327c044654d98465516f09115050


