# isabelle_session_info

session_name: Algebraic_Numbers
sources: 22544a68e8f6c9ae7835353c9c7e89afc9ff4a0b
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
8e20ce849646d33245e5b8e0a39681f1fa96c617
049e3f297970e19a2899b66fcc4d730c439cc23c
14bb9e5b85043fa2f03a48cb85e2c99023444615
14d29310339ac05a7f7de2d4f91fe4d91dd8e346
8f71db52e1f5e0d11c262bca0886eb35a6c52101
07f8528a8a263fe948d53cc20c32f8f29e414a78
807b89ed29f1fb0a155eac5e8eb823eb0901932d
b22c91de68ec2dd6d0b1fce586861d77854a6a62
ae377e0d4c3af41e87ef4240aad378db3b61101e
dbc9ccc85e1202c13f7092327ecc6100085a8484


