# isabelle_session_info

session_name: Pre_Algebraic_Numbers
output_heap: 32effb52e5504a3a9c508b3030a857cfa38f3210
sources:
19c8dbad5648050597dee363f077c3ef6069ec4f
268e812fffa5c2fd46f0296a94e824c975fbcdaf
31daccd87cc801426117c4367aefd2b43665ed43
3bb07f8e7368b3a16cb24f337bf4d2dd1fb431fd
407edce55bc78b9aac458ee75faca6679202c9b0
463b2cf812e4beab5fee72b33f00ce4814102222
c9385cc853612c59a697ade4bb07314f1f2a52e4
d576543e393bb727a76518a74a7611b656b88e98

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
38e9905181602a320340a0cad27ea92de6285748
f7302172cbab6776a4f4ea357d315a195daebe42
d67a10205e66d01ca3a2256f96ec1a58fee34e40
210fcaa68eceb1909c0bca6b842c91dfdef9b6eb
5d83e01d4ad30dcd478eae5690303a92b3141b6b
6b73c69625f11957dac9cd0cbe217a39df6089c1
00501c61461358dd0de7b520753064e630011267
c573a1394ba971f4d912b4a96c4ba6e90fd44f7d


