# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
bcb2c163557370fc3c262b426278daa35f969e98
b22e4c2901a024517ac440e4fa6dd75c666e05a9
d0ac89accd1212404966abd2f815523230df7cd2
387e6ee9b0ab6cb9a2a19122a17912e4e7527f4c
c83e948a34ea5bd9fae02e2d678de0f71d87520c
c4359f0a0059f6484e97023bdbdaabfbfb24ca1e
178a24c3f8d80a5bae3dfd9cf10e15136233139f


