# isabelle_session_info

session_name: Pre_Algebraic_Numbers
sources: e65e6cfd120606b4dcc71e1bf14965ba07676da7
output_heap: fefc7c8e956c61bbe34102bb56e2057ea953333a
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c476bdebca2f60c33824d5374c70fabe6f4ba221
50a806e8d89fb16262a8cafc0254e03764090dd5
70ec1ccb2a7157010a02b5e042066e560a6878ce
8f7ba74c6a1db99ff23aab828c8eaa9e0494d00c
623e2c91af4778d04003ddce50477c7fbf0c8dad
54cb71b090ff5339ff0d95bbaf65e1be0abd72ab
9dd0ed6d50b02fa28cefe5f4042776ba845394b0
87acac1fb5b22197fdc9a70bcc6afc4d438b3de9
f82b862667dbeb0745e165ad1119edeaa913547b


