# isabelle_session_info

session_name: Pre_Algebraic_Numbers
output_heap: 7bfb6defbb892053417007b3fa8aa1d63b1d31e5
sources:
0f88369cc7bb8db9fb816bc7f432bb63c4759322
19c8dbad5648050597dee363f077c3ef6069ec4f
268e812fffa5c2fd46f0296a94e824c975fbcdaf
3bb07f8e7368b3a16cb24f337bf4d2dd1fb431fd
407edce55bc78b9aac458ee75faca6679202c9b0
a35582ddeb5232af0f8944b26a3c67dcd5cdaf16
c9385cc853612c59a697ade4bb07314f1f2a52e4
d576543e393bb727a76518a74a7611b656b88e98

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074
5ad2f9166cfd8d4d2fa74648bcb36846d876bb60
f837b52ad29ce7db2a60e2328ea78022ae00f418
c365e03ffe0ac5a047d5ac7e5bdb1e9814bcc365
b9a6edaae3c46678d645b9ab69d92a1885172bcd
08b5bb21b98bc4d4b6fe622e56cebedd7ef2f4a1
4f390ab032a17635e6faf1b204071c754b94fb86
2dd7c7954b714dc9a92894e7bc5fc990a50cf4ac


