# isabelle_session_info

session_name: HOL-Number_Theory
sources: 201290277ab43b315bc843f984b625acf9d3959c
output_heap: 52aa622da6833cab0d84a22a8c9ea2109c10b2b8
input_heaps:
ac9d0f03b401bcb9118f647e2b13c9614a77477f
ec03fea6e4cca0df6230df865e1726404604ac8c
8e71f09dba1cf772fcc34127855ca3df38f65207
766d82c7507b919248fc149b92e132d3eff56b64


