# isabelle_session_info

session_name: Pre_Algebraic_Numbers
sources: 020e0696080d4dd11c4fada790db32c7cfafc3e7
output_heap: 4f3ba13234894e41d74cd0a3d1647b172a56f0da
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
1a298acf65fb27287d69b79e5623fc6ffe185b72
58a1d79a11e622615d10ad99cebd239721c5b867
9e47120e7eebea2a1db6fde87d33501d29281788
922fd9a38cb55b7295ad9302960bd4ac6b4717e2
312d703ca2e35c82cee8810499e3623e956812e3
d81caf5b22860605edd418634ca159d2c2a23909
1d2a19de356d16412acc58dcd493b33e9986874d
1f23791b5ba1a04701b851a042815aa62f3037fb
903153f11946178be39dc19ada39e12d07abc55b


