# isabelle_session_info

session_name: Algebraic_Numbers
sources: c4d8d8fe437935be4ba5708a01dc55f84c985a99
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
f68a72c977425ca249c872eac11835e5323c220c
005cb0de6b39b5f1f9153f1dd6a340ee1f098f94
f152cd8f3dff3df54a1211d24cc89c0cea6580ad
7aa459d24cd50fe3839bd6e248776a1772730c20
bbd0d58cc7099c325de6abcd12b0710a67e392c5
c29427fe5ffc8dc5be42962f2df1b1d7a2b03313
cc2260f4e7d82bf6eee60fd2e7ef562271b2d863
62a7f69d36fb18d80ff146b2c776063f21700952
a9f18e5402d521deb9cbc95ee27ecfed6ee3e7e6


