# isabelle_session_info

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

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2
2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89
628f88d13b21360fc0948bfd7de8b3d5d6795cbe
45158e4270f7ae228b10ce8aff427c8b8a3f4c75
84d0b438ac5fd09c3a248924091dbda1aa26fabd
5cf71ff7f0e4322b66b62c02ade8793df5e0b8f4
ddc83fac698fe448ea62a82836988d808e9ff194
cf4cb44b65c429e43947d1138fd02acd8e23d079
ff0030b596eb415a27ff6e1043fc58219d76975f


