# isabelle_session_info

session_name: HOL-Number_Theory
sources: ba3ac41251ca62c8ad2c9ac5cc3f38d3dfa61683
output_heap: bdf9f82aee23cb51395e64c58b1b04876f474328
input_heaps:
a2d5ff19f237a41b43ba3fc24c0e51d3bf4451ff
46bd800d1ac554aa3326cc80d35350ac7980d5d8
2da34adfe87548dd1ef92966e296d93abe94ecad
6b96c2be9421732bd814c60c4635664015ead4d1


