# isabelle_session_info

session_name: HOL-Number_Theory
sources: 8e142e5dd146bb8c0dff63b5aa6cabc807a5812f
output_heap: 59782689f38f2a3534eda9b5e4939f3410c1122b
input_heaps:
e331a8fae316f048422d7f7fdc239a12eab41778
1cd8b7faaca8012fb544c442bba2fc3cc8a6a56e
e6b48b35ada7e06f1992b89ed16ac9e19c53d321
55a9723c2767668f86a6c877f2b81d93683aa1e7


