# isabelle_session_info

session_name: HOL-Number_Theory
sources: f3f55faf9ac633ed0387f11b521b586b4a70c1de
output_heap: fff85d3a130d7c0546e83697bb737bbe329b7655
input_heaps:
434d2185c8796b1b91c101ab4deb405df77e768f
e64afe6e32cef310ef78d64a8a9e9787a782d794
194ba7a53cbc2884b0c4d571a1e1d1b797ba0203
bac9a3d5f325d13cc86040623ea8b649d9fe6022


