# isabelle_session_info

session_name: HOL-Number_Theory
sources: 48620457f054b3e0f4f6a3e4b6d12bafc04841bd
output_heap: 8106f4a877df1f05113bd28b8b40e32e6e452229
input_heaps:
0467f1d8ff3c017e43c2ce0ceec1428401ab88c6
d4fa2d7e0077185d6383cc33ee482f2682000ad9
d5b0e9001b6e9bcaf640973530a495b67983c158
501c93d10447e274c571081c9c488245ccc00f98


