# isabelle_session_info

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

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
c329537f2338737215b0b9c870b75eecbe1c5de3
09a084a642ea9f440c16b475debdd7dd0e298b77
42d943ef4a2d1d0413cd9c7ff4fb2bf1ce014083
9045fac0a18463afce15cd4b1cd390715d9fa55a
367ed44c8c4984180edd7facbde229fdf778a52d
cc61693b0c10b34516e0d6eb7e186848c17ada52
304fa8d0fc3624bcadbd886c9fc7566a98dab259
195a3d4d84b3153428d34a0c26fa48528a8f202b


