# isabelle_session_info

session_name: HOL-Number_Theory
sources: 1ccc8043cf637f425f1a71da9c20f06bd144da89
output_heap: 8e27baca90881847df66b1c766f57de6f2d1fbb4
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa
3b04ca43da1e5aaaf875b679703967747f534b02


