# isabelle_session_info

session_name: Algebraic_Numbers
sources: 4b543be94c1d16704d70bc32ef1c34507de43a6b
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
d7fecabe4edd87a062c1bb81fd5b9b2fdb73dcb6
73983a953f8295fa9aa9b24b5b13d28be3aaf401
337392e9684f73cf4490292104bd1f45914c529f
e0473168ba37b4fc5cdde5f0b6a443ba41c3eb61
92ea39ce0c9e3769ba9f47a721e353e862e1385c
09960152f17243ffdd4303d0c8fbb2ee96848391
a0d57064bc812cd102461c71d6b2d43c7b4fa9e1
b827643f7f5f894076f3c8950c0a6ba3af9ba7b1
f5dfccb53855acf6dbf55efe6cc846191d92c190


