# isabelle_session_info

session_name: Algebraic_Numbers
sources:
22b4231248c922e1a7f19238b345e6d516735177
31b1fcf2e5a4129df687d11856061b643477bce2
383ab9730da6c5eca5e5487c38f825413c87d0bc
46ba29199509120e40cfffe15a1c2133f80f4b7e
59a6c6315ecea97726cb2f763fdd27a20a3f3647
5c040994a82e22cf8f1592a56de189ffbf621715
7b70d59199a421cdba266fcc87f9692a440156fa
854a4d70175c7246f630742daf6cf3972d8e4871
8fb146b83f54cd613750769d47d89ff7467d1002
93e0042b7b1fbecfc15f02000c3cb3b143438581
a45400bdc308912d0472b87096d09df71023501d
a4f90a37f71dbdbafc42ac09ddcf79ef911631c8
b28396d1143ec1bb5ee6a4651f9b8be5e36b6244
c026bd7d3ffa4b6e5f5a73eeaf19699fabb45630
d5aaa64d29d73caeb0b1d62f639a0adfef78433a
ee07a956a5d4e1deb2088bb2f7927f7ded92d28a

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
c13e3de1e0be8d1f8e22817e408018c478eff10c
1491f51320f29cd36500f37d0b40b7bc52a5d191
5374f72e4d493485bf3d00ad3b0c3d62397ef50b
21506343d557e6ed9100027bc7b830f98b854782
374dc379513d29f0323d568ca03f8e8faa57860a
b1ddd911ca05c55ea1cc182901b5cfa2a1a31859
7b7f4b32c82c290e2bcaed12a73806a0468c2fdb
8fff788b3393fa0bfc97ce1a0700fbe5876626f9


