# isabelle_session_info

session_name: Algebraic_Numbers_Lib
sources:
0133cfd074e837de7834b2c68e2ef6765827b0ce
035c5826ec86ac48074165bb294178fb02ca231d
0c9a3e373933ca7d6cdfe0dfbbf24bd72afdf4a2
1007c9e544553cab3ff341b8eb08103871194acb
1c5144cb108baba63fb12ce76f891f1b11f4f06a
1e432b7f1f239f8ab6abeabd772bc06d355df3ea
2be91c4cf563f950738df916768371b013ef04dd
3588c77db517a9a6008e92090d20c2917b56e4f3
49440486672f94e68db49d0e25104022d7109998
4ebcf0ed96dc1e57de5fe2ad8bd181917f90e91a
5314516741df9ca21effacb7437ed89a84e657e6
5b0a43f3f9020c1364456a2e60b8c1918c7a1ff2
7770b70484f7be7508ccb80621ea1b41b0eba7d0
b0b2a7628204f9f0710f7532cbeaad8cced45148
be385f923955b38d1c813b567ac413c3be1b8021
c026bd7d3ffa4b6e5f5a73eeaf19699fabb45630
dc9e2eb5a518d32847fec4b1928fcfc2cd5437b9
ee07a956a5d4e1deb2088bb2f7927f7ded92d28a

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
9daf9b2243525f9f5d1a1f22d380df7ef09d72de
3e315ae02238ba29ff4dfa91456277ea298bcd5c
420661ceb8b00b46fccb091902e005a3c65de64b
ad2f82efe8061edc5fffe7feb8429b70e3c27c74
73eb1292243e8f53b194f73db6d95e747a8c0424
2f2aeb3a8e81851c7f0387b42e57012ad05ee2c2
cf60caabd96230134f0efddbe5a059d02b58b198
405333650c1046c9f0c2db012fcd0c93ee42ae40
551f1cf919f527c94103e315de4d0514108d7d9a
d3022386aa0690938aab7817c9f8a6ec43d2cadd
57173ea4f40069c52fe68054f69a4733755435bf


