# isabelle_session_info

session_name: Algebraic_Numbers
sources: 9d0e8b75700d2963618592f57c76e1cd3bf0fc89
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
6bc7163ce4d3b4f24ad4dafbbce0bcad4ed1ed32
d2068ccbf34abcae187720d402926b26de3cff8c
dde18666d78d047b5e12edab26648c189653c7ef
8d7b77a0e11358c26f656f0790f9f93486ae8f93
bb79cfe545bcc08c928574b2fbd2b00edcb64e30
6974141c7e98483f4b40047f182fe5acfda93d1e
2121ca2ad2b41af0652b9e290efed24e11164a37
74189a82e48cf1b86e81480985cd30313cbea2c7
ba311e62db29ec28837ba104e846fa6651503c6b
0bb8a12d051c4df33b0fcaace8fbd51a819d302e


