# isabelle_session_info

session_name: Pre_Algebraic_Numbers
sources: fc516a4dc0f880e10d710050218c3a13624b393b
output_heap: b04a6394175f0ef76f8bc07a4e0ebfa6f4632f44
input_heaps:
f1a2b38b64adb546976b5cf1a12055f01ac375b5
e580f017d8332f824d90eddab03af0f478aad50c
7a23dfd6f539430454a0d6c41544e6838d821b7e
c6c0f569f867cbc15c63f387d9eb8a79a008b495
494c3273b23ad8768feb5ca101f75e14b9475640
ac927d505a92ca24ec0e391c2e795a0e1e12ee5d
6053e1961fc3dfb768e9694956f7a3f0a933e886
79150948774dc2e77c410090edf2ba98153529c4
53d2e20d45f8ab43435a6b44b6cdb5a84d0fec6e
f1fbbb10b960e220929cad165ad2acc9402dc094
c6c5b6f1656d1408913750053b9e2aa9d50aa9a9


