# isabelle_session_info

session_name: HOL-Number_Theory
sources: f28ea9f4c8e342f6d7d4342229e33a5f7081decb
output_heap: e3c63fb3bcee4d74185e0c8d0dce1439cd23d5cb
input_heaps:
29da2f23179d57a846638571d6a47f5129270b51
1af047ad3a6300d370f1c24ae4b47a646085a2da
853634a9e790502c1e5be3a593c83c75706dc51f
5bd1c759140066250e16ee3ceacdbe48c6c7ed04


