# isabelle_session_info

session_name: Algebraic_Numbers
sources: 641ec48b091fab3b31045f7fb727f0e78973d565
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28
799e17e0602b8a57e51c22711081aa85bbe0ad29
26957b508b4baf71538764af93c1fb38ff3317af
7c22faebada35d3a30326ebf1ac4f0645c9eccb3
664bcbc41c74cfc9a951a973d3663c03b3bfe04e
8536b5f1106f93370fd5cd2855665e00eb152c4c
19947cb304f0116076da36e539a7364e150892ba
e95eec1d7084600e3a9d0a4e3e69e073ec6f0caa
30c9a8d6944acb4d91b33c0f4a553a0a836e73ab
77b0e8b46bfe2047a8c14e1c9bf83fdb2bcb7619


