# isabelle_session_info

session_name: Algebraic_Numbers_Lib
sources:
21dc6726278cf111961395fb87dbd55e60721425
22b4231248c922e1a7f19238b345e6d516735177
31b1fcf2e5a4129df687d11856061b643477bce2
36f422338d4cb33c7d04fd1e751d884cf9aee494
383ab9730da6c5eca5e5487c38f825413c87d0bc
46ba29199509120e40cfffe15a1c2133f80f4b7e
5c040994a82e22cf8f1592a56de189ffbf621715
7b70d59199a421cdba266fcc87f9692a440156fa
854a4d70175c7246f630742daf6cf3972d8e4871
b28396d1143ec1bb5ee6a4651f9b8be5e36b6244
c026bd7d3ffa4b6e5f5a73eeaf19699fabb45630
d5aaa64d29d73caeb0b1d62f639a0adfef78433a
ee07a956a5d4e1deb2088bb2f7927f7ded92d28a

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
f23f98568b481cf01febd03c11cd3ba915ae94de
095b0046e725b6c76e6b07dc490e96c3b0f10478
20251d361feecbad0c3a84aff16659cd938746bc
1d60cada92f9e408feb71f958d753e26e1b6ca62
7c3953af2ac711f87ac316b87c83cc1bec1c53e6
bebf7bc5af176bf4c185fcca59d7a8d5e83b462d
89ff924961a7d37fb67e3d99434feb9abdfe30d4
30ea39032ba12feb647963a637d20829e633166b


