# isabelle_session_info

session_name: Algebraic_Numbers
sources:
0133cfd074e837de7834b2c68e2ef6765827b0ce
035c5826ec86ac48074165bb294178fb02ca231d
0c9a3e373933ca7d6cdfe0dfbbf24bd72afdf4a2
1007c9e544553cab3ff341b8eb08103871194acb
18305d0dbe43c4efba1dda390f65bc830486e2bc
1c5144cb108baba63fb12ce76f891f1b11f4f06a
1e432b7f1f239f8ab6abeabd772bc06d355df3ea
2be91c4cf563f950738df916768371b013ef04dd
3588c77db517a9a6008e92090d20c2917b56e4f3
49440486672f94e68db49d0e25104022d7109998
4ebcf0ed96dc1e57de5fe2ad8bd181917f90e91a
5314516741df9ca21effacb7437ed89a84e657e6
6838fcf41df63bcdd1d5b13d6130ff3caab4f6ff
91b1169a0b12d1fd18c260da80402866d78d6acf
93e0042b7b1fbecfc15f02000c3cb3b143438581
b0b2a7628204f9f0710f7532cbeaad8cced45148
be385f923955b38d1c813b567ac413c3be1b8021
c026bd7d3ffa4b6e5f5a73eeaf19699fabb45630
dc9e2eb5a518d32847fec4b1928fcfc2cd5437b9
ee07a956a5d4e1deb2088bb2f7927f7ded92d28a
f6fecf4c6cf20a1e4d4efbea55cd1396e38be541

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567
b62b082da1d764e713f5960b70e1b522ba49b147
49864562e8e54cd291c48e947679592174f2f35d
9d7d535d3ad8d58f3f29a36c74e6e9bc8a8a1330
97fa44cf51ebf82235b09ddbfd26ecc025bcd239
ab28000270f06c6856bf561e49b9b2e847ac146b
9a0cfbf7f77e8ebbf18d8cf52f0a23ac26f57bb5
e5a977f3d1c0bab2e421b3be6d20d31bf14d49b4
0bfa2edc9975b2d940225025d52f842fd851010c
4975210cc5bf8a763842ceaf2f7e912ae17e5dc2


