# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
770b0724ec92a2fa88f83a40381de2b0000fc1ad
245d9e0cf3e52663f8e7e0b4278f8a04206d046e
b19fe4e7b59aafe3daed60d1842132c3779c40c2
00bdeeb14ec4a182e2843666a2f3c6cef959611c
c192589c0c2ff2be3e16aec0570364412a137b08
a6c299e7fc2a72e224124a392c5732d3ff2c9d1d
774d901217dea9dab34c082b48556b5c4c6412ad
ebb7dd43ee6e70196e84dea4b6167dea741de3bc


