# isabelle_session_info

session_name: Pre_Algebraic_Numbers
output_heap: 329e32c8206e4ed24c213e1df52aa66c108da280
sources:
19c8dbad5648050597dee363f077c3ef6069ec4f
268e812fffa5c2fd46f0296a94e824c975fbcdaf
31daccd87cc801426117c4367aefd2b43665ed43
3bb07f8e7368b3a16cb24f337bf4d2dd1fb431fd
407edce55bc78b9aac458ee75faca6679202c9b0
a35582ddeb5232af0f8944b26a3c67dcd5cdaf16
c9385cc853612c59a697ade4bb07314f1f2a52e4
d576543e393bb727a76518a74a7611b656b88e98

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef
081e2ea43e234aae88c54c36bdea8492ada09aff
23898806584e02d8999851519f9f37f548987eb7
a6499e6c2907c8581564d0315519d1dba68c8d25
e1aaf8f4dbca40274ce496bb4d0c6d06cbb1e04e
19f803144a5ac4a21d65f587369ff48ab1705200
9e0c28d17c07618347494b08780a0d9eae17334c
5d4b300b4695f2dcf9728a6db9192302b5546bce
ac23f8eea7564c2ab28f967add1e4a07fdfea729


