# isabelle_session_info

session_name: Pre_Algebraic_Numbers
sources: ff75104d3469b3c2cc3510770398691eb82c38e5
output_heap: 395173529d858ee7cceb1a10f256ba82956df630
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8
9fd2ba49311f544ed16d60b38e1be4fe427c2983
ec55c26018e4c429651a6156e08a95f9cb261db6
309ff910fb36eb3167c3f0afa37296880ba15753
915d1fde3a48978ae26611ffd0e906f9784dcca3
e9b268bfe060edccd4beb0ab48736c00329d90cd
957d222bc870be36c2db4b54c6c5b6e423db00b5
22c85d165476b9825df6218c4d88968cc2a6c4ce
9064733cf08be2feca31dafa58730efcb85cad7c


