# isabelle_session_info

session_name: HOL-Number_Theory
sources: c192866e0d54d2610b08ef0448840c1c1d1b75f3
output_heap: 18c6bd45e348ac7a02030f5439fa3fa90987806e
input_heaps:
e732dd65e5ab0cbf3bf6f7494d4fbe0f1d593e8b
395c83d74852f525c9e02bd59cb442d01191d328
55873986695bfc225a8e468ea950bea87a6c9bf0
e4c40c43c5655abeb07f5f064799dd26032499d6


