# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
831d14f67c3c3a84a98a77281c0c1e5b593b14fa
abeae0cfaca798724f3a1b862a46ef1f7262f8bd
74adbd4176318a2bf68284883a01d33a2306f225
a161e7b80aa1201ffd434a693038243ddac2b758
1cf99ccb2c9856dc67d98510e80e7fd9064ca533
9673675e9a4b633306e87ef4ce27a6306fb71331
f8a906e806208f370bf8c4918958133960f14be5
5ffef99974e3c0b696ea6db69f623e43918deeb5
41b9f85ea651085db6057c51cd9cb3405dde7feb


