# isabelle_session_info

session_name: Pre_Algebraic_Numbers
output_heap: ebb7dd43ee6e70196e84dea4b6167dea741de3bc
sources:
0f9f6dcecfd652f6e82f63f4f083097a34c11a09
19c8dbad5648050597dee363f077c3ef6069ec4f
268e812fffa5c2fd46f0296a94e824c975fbcdaf
39d9e82ef716144030313c5a225e18e02baeb79e
3bb07f8e7368b3a16cb24f337bf4d2dd1fb431fd
407edce55bc78b9aac458ee75faca6679202c9b0
7e724b95a0126ebdde350afdcb6ed34eb4645152
a2a1e350bc8038acc88d686cbcf4d49f2acb200f
d576543e393bb727a76518a74a7611b656b88e98
d61ff2a207e7f8eabed36b1c29b3517efbb57644

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
770b0724ec92a2fa88f83a40381de2b0000fc1ad
245d9e0cf3e52663f8e7e0b4278f8a04206d046e
b19fe4e7b59aafe3daed60d1842132c3779c40c2
00bdeeb14ec4a182e2843666a2f3c6cef959611c
c192589c0c2ff2be3e16aec0570364412a137b08
a6c299e7fc2a72e224124a392c5732d3ff2c9d1d
774d901217dea9dab34c082b48556b5c4c6412ad


