# isabelle_session_info

session_name: Algebraic_Numbers
sources: 27f758915919e858c713702835d2612c21c23b48
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
767fc67378b31eb70f2963c7c52b27cb412fc8af
fc0f072ef1b0fd224ef751db1a20b5fc57d028b1
eafda6d525d627a386fb36cbd66748a3d82c4480
1135fb29d462564ef618794ba2c505f4b625347a
a2fc50fe24fdaf56141f2208ca82a641ec58f97d
d3cf0163fbee706c05787c105be87f67a3ea0fc9
fa24233bb2f9437c0ca784e59b2ed9a851287881
bfcdd481f1f000a95eb44b6c266e9cd1b525a352
06914e6ddf6f531907ee81539a82e60b9b747d9c
32a53c2f8b071a63eaf604ee4e5fb6cdad040511


