# isabelle_session_info

session_name: Algebraic_Numbers
sources: 7c0ffd15bbe25625e42e756c055197bd992b4b8a
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0
8386aa35c465c1bf7e052e4c0016ed8cb4d6f45f
4125950bdf88602b91cdc82eb61b324fa9ff64d9
1eacdab45e72b77c657b29f0f896366435c2344b
5a771cee28ac5e62d5d2befc072c4f6fb4cf4dd3
8e939cae77510d2cd3e3e70f1fb907ccd74cfdca
87617417ab8ddf3e7e4aaac3e37d97628cfa8620
401632beff95bd89c07e5434758ed1869c648204
e11e092823bcc7d1ad02ab579e9892beba80b4c5
146acb376340cb1f2a442b4b19597ce1dc456ee7


