# isabelle_session_info

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

input_heaps:
c27a9b4598ca656eb9c36aba33ff1f22941d7b72
64354e2142aad138813a04882ec6c2904dd4a4d3
5fbcbaaf68b0c1820418d8e5aa590f673eaf3f2b
52b30b1067ff94cff438506afc587a98293f08ea
4a2535ed484984d80582ffee888d70ceaba30f82
fd813b99e3faf2873e0b144de2095bf8087da28c
9e092c40cea2a6e0ffe49b8e1e095553f4770cea
0d1fe991f8264fdf5c6aad5d043e0371c656d807
c5e96b83c1fe9ef9c8621227781b71009f77c37f
2f6deab4d069c514a2381cc342111beea947aa3c


