# 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:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
bcb2c163557370fc3c262b426278daa35f969e98
b22e4c2901a024517ac440e4fa6dd75c666e05a9
d0ac89accd1212404966abd2f815523230df7cd2
387e6ee9b0ab6cb9a2a19122a17912e4e7527f4c
c83e948a34ea5bd9fae02e2d678de0f71d87520c
c4359f0a0059f6484e97023bdbdaabfbfb24ca1e
178a24c3f8d80a5bae3dfd9cf10e15136233139f
7df9b4511e17f74702871b69e1c0413573d6bafc


