# isabelle_session_info

session_name: Algebraic_Numbers_Lib
sources:
060363376e92e5e4dcfaa75e7bb4244f753155bb
11a4c0cc122d9ab0dd1a24909f9cb1f6f92f9f36
1e1910e7ca7c0df42769f370c8a06d9a105fb5a8
2bae2561ba68fba76122c597737156fad3ab6ebc
2d4ff5f81fa4a64a45de5eb7f2b0f57bde53edc8
3085822f89ff16100922f760e524b1c3fd820405
323700bba7035fa6b425b7652296d2f745a40e8c
4065e370f03f25fefce73193ac94341c2e4c063b
5314516741df9ca21effacb7437ed89a84e657e6
5378b997d7938808c2a295d546403c878d6c4c91
5fb24efb27650f57cec4b87750e77594fc07e983
6fa88c2fec46edef41fa24b99c2b5e6f2b26ba9f
71a16ca7bff17265ef236e2fae9d717983edfc5f
8f6c9b8bba36e7c99b23acc3ff980f65dde5b07e
9395e3b78658ccbd3674fca1316a240372797f7e
9eacaa7ed9f1ea6d7e5d349212850231a793561f
a465ae2355c8e08911254d14edd6091a419a746b
f35dbf34344838b1e4dd7e058fdeef6eaf6e5d2a

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
8604b41f1e451262fcd1286c482b758b73d1c934
239ba587503017ea0f059c92e69d255d6d8a4747
68692b2155dd6508f42972a48cfbc300b551e0ca
82c8d9a8c2040254bc29c2f111692954d485ced0
3527e0367a77dd1f48937946514b204746ca83ca
71d666440e94e0cf7384a8a367a255b245e64aa0
5018d0a3d94a29e49ac713626ee748a30c563e32
3ea0153bfa0fa3abc1c29ababab4b12c706e7f33
5e416faed5b993d46b06bb94da3b643a55382755


