# isabelle_session_info

session_name: Pre_Algebraic_Numbers
output_heap: 195a3d4d84b3153428d34a0c26fa48528a8f202b
sources:
19c8dbad5648050597dee363f077c3ef6069ec4f
268e812fffa5c2fd46f0296a94e824c975fbcdaf
3bb07f8e7368b3a16cb24f337bf4d2dd1fb431fd
407edce55bc78b9aac458ee75faca6679202c9b0
7e724b95a0126ebdde350afdcb6ed34eb4645152
8577e25de3d2144ed5e515600e29877251192b04
a35582ddeb5232af0f8944b26a3c67dcd5cdaf16
c9385cc853612c59a697ade4bb07314f1f2a52e4
d576543e393bb727a76518a74a7611b656b88e98
d61ff2a207e7f8eabed36b1c29b3517efbb57644

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
c329537f2338737215b0b9c870b75eecbe1c5de3
09a084a642ea9f440c16b475debdd7dd0e298b77
42d943ef4a2d1d0413cd9c7ff4fb2bf1ce014083
9045fac0a18463afce15cd4b1cd390715d9fa55a
367ed44c8c4984180edd7facbde229fdf778a52d
cc61693b0c10b34516e0d6eb7e186848c17ada52
304fa8d0fc3624bcadbd886c9fc7566a98dab259


