# isabelle_session_info

session_name: Algebraic_Numbers_Lib
sources:
081cd75a0eaa9855a98f885e127a76cda2a85191
0f3234cf2c715ca4e0dff22af4aa0456a9e79f9c
2a2ca7a5abf43fb6789bb1589a2ab18abf06a1e1
36e63c992fd6c6e28471d40c4fb45c0224ef303c
4065e370f03f25fefce73193ac94341c2e4c063b
48bfffe07758a8ddb5e6f18de390a719b42c20fb
48cd837f4e8312ee081d9e67cf326883a57432aa
49440486672f94e68db49d0e25104022d7109998
50db120ec4894ca04bbdd30cd40050d1596e2c63
5314516741df9ca21effacb7437ed89a84e657e6
5a1ef7cc66f3ebd98088b6468c0236297d1c166a
676a573d9e43d6842e8d3c616f0b8b4a902b3d65
6cf180b49281a7ccffc9a0a1dc7ec77f4b7b3701
7d9c495032152f99d914bbd3a0e05ed7fe163974
9ac874ecddafaf9600abecb349d2c672cc34f1e1
bc788060f4ca480ee2c4bbb3390a195b8fff91ee
c026bd7d3ffa4b6e5f5a73eeaf19699fabb45630
ee07a956a5d4e1deb2088bb2f7927f7ded92d28a

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b
86c7fd1199441702fd9498d93a1d3535f80efeef
57782fc715f7d50c43092e3b7b7b5a7461b55f1d
8006df455d4c1a86741bfeda871fe6ac5d4dd79c
651e993a549f8fd36002a740d86dcccc6d337660
408ef813f6f7a961177ddd668f5ccfb4801935c1
4757c9f78eab6869bf3ab251500fd12af1d90ab5
b78b0895c2129b0567ef135ed25d6cac001dfff7
48fe18d6cf405b0e8d75cecf5228518794eec1ce
e0f1eca296e5fd2467d89603e4b15c086bbb757a


