# isabelle_session_info

session_name: HOL-Number_Theory
sources: 28e0f36c53df1e5b31cacfddf750865ceacd2e57
output_heap: 82be608574e9954fb5c1c27ee12a751b42759194
input_heaps:
c6b09fa39df949bd17c25111c7a89bcc62196e4a
9487e61ad16d751721567ee8d71a9f38dd441909
b965099cf658afd2ab696965102a0f3ec15ea6e7
07cce9a6fb318c1c67b0612761e2a29e260c31dc


