# isabelle_session_info

session_name: Algebraic_Numbers
sources: fcd43c7f4ba3bb254e861798fe6e40399a1327e1
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039
fcda9ba59859ac808af89faf9ccf4f1165eb514c
5f80675785684d3d8499b74a4a7ad018c07d497b
41457a0c3161ef11fb1ac2b24e60aed074b12010
cfcf71b29be738d2b2f655ecc336fbfed5dbf922
f274e067bedc62308c689136d2645eddf24f15d4
064285baac154606cea89b1f01260c7eee40bda5
c33d3830816117cdcfa5961b314d2594bd41259f
206f6b254c9e58a2a59528802f631c6ddfd0a6bb
055b59cc9b98a3fe9b1133465090e8d34f0e2650


