# isabelle_session_info

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

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
c13e3de1e0be8d1f8e22817e408018c478eff10c
1491f51320f29cd36500f37d0b40b7bc52a5d191
5374f72e4d493485bf3d00ad3b0c3d62397ef50b
21506343d557e6ed9100027bc7b830f98b854782
374dc379513d29f0323d568ca03f8e8faa57860a
b1ddd911ca05c55ea1cc182901b5cfa2a1a31859
7b7f4b32c82c290e2bcaed12a73806a0468c2fdb


