# isabelle_session_info

session_name: Pre_Algebraic_Numbers
sources: 79e102d5c3453a4699794931ca58541460b85002
output_heap: 9524f15f7a535e9b8d01b504f2a11740eff77f88
input_heaps:
eb12e489d906bdeed8d7e579ac51cdf3b0d8bb63
cc25fe720af5a07cd7c28aee834febe95aba683c
93f91d18bbab28119a8ce855ae66909bf8a5f31e
8569a785ad1ae479c3ecf5c56354a0a653cf0d6d
09233f9cc66906a0badbcb1fa254c6f398aafd20
a759d0dcd2f64890ebb6f6ffe1d237dee0a1d0e4
daec5e9ac7f28ca910280f637a0cc99deb6515df
bd1b414ba57a40f692ad1b84876a6911d3f90aaf
dcbb52b5410b33d418240b46667ea023db816b8e
3030f138dd4dcbbfd5299a4f66e9b220c77d36c5
e0950cda255c9df52fdd19227f4621ed6032eca3


