# isabelle_session_info

session_name: Algebraic_Numbers_Lib
sources:
0133cfd074e837de7834b2c68e2ef6765827b0ce
035c5826ec86ac48074165bb294178fb02ca231d
0c9a3e373933ca7d6cdfe0dfbbf24bd72afdf4a2
1007c9e544553cab3ff341b8eb08103871194acb
1305af406a5389a9b31d78dc3241801d0aae788b
1c5144cb108baba63fb12ce76f891f1b11f4f06a
1e432b7f1f239f8ab6abeabd772bc06d355df3ea
2be91c4cf563f950738df916768371b013ef04dd
461a7a741ec5f8ebce2bc4527700940145269b63
49440486672f94e68db49d0e25104022d7109998
4ebcf0ed96dc1e57de5fe2ad8bd181917f90e91a
677e07f23fcfb45d46d620c466e9e3684074ac5a
8d42542c284051f860b971b8d2c157283060e331
be385f923955b38d1c813b567ac413c3be1b8021
c026bd7d3ffa4b6e5f5a73eeaf19699fabb45630
eb2b17937e94368d214178c20e66840059135c4c
ee07a956a5d4e1deb2088bb2f7927f7ded92d28a

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074
5ad2f9166cfd8d4d2fa74648bcb36846d876bb60
f837b52ad29ce7db2a60e2328ea78022ae00f418
c365e03ffe0ac5a047d5ac7e5bdb1e9814bcc365
b9a6edaae3c46678d645b9ab69d92a1885172bcd
08b5bb21b98bc4d4b6fe622e56cebedd7ef2f4a1
4f390ab032a17635e6faf1b204071c754b94fb86
2dd7c7954b714dc9a92894e7bc5fc990a50cf4ac
7bfb6defbb892053417007b3fa8aa1d63b1d31e5


