# isabelle_session_info

session_name: Algebraic_Numbers
sources: 91f04e08e8f5db95e28229cb2f427241da28bb52
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
a5aabe3b6786583f5f5b4593bdf823251b9a1bb2
4be53cb318387eb763efd17db778c28cbb7b8bd2
785b636dc5f7965bc9f072d33272231a302d5e6f
0d30231a572c678a1c957a34421df5e6db092982
1b7157c7bc0fc63079da4f993cdad950dcfa5b13
db64db1d711569cd6e3a7e1b1aac8631f9442f5b
4c7bdda77cb8aed9114abf92b17c64d630ed8f55
6042ac6a311746aff91fb457d3a8b75dade9ac60
51322e8d2b6c5ee23ed5deed1e5a2e682b5bd760


