# isabelle_session_info

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

input_heaps:
572ffb81f80d42dc81f45d244b15c5381a012b24
e2861874690d29a1b715dff597313b9f4e7e36eb
ee5c344e484cb4571a3e30aa2acf3579a09d76f8
8b11d14c63847957f15ba20e9bf48211fb5fc1f4
7cb9db4bc8c9f2204c84d755eed2e40e24f71898
09c3c8d9732a77ed5a872e751e7145e3c130753a
c10f16c94ae6fcf57a6bdb6bd4648565a47bb2f1
d9d370805cf56d09eb6bc657327057338b1cf9c1
71f28eb379050245c38632b81af5f23b863c4aca
b5d59c675f2fe8cde1453c5e3ce3d787f353d68c
a51cf962ec80607638a1d0aa4a64bddef4e2fb6b


