# isabelle_session_info

session_name: Pre_Algebraic_Numbers
output_heap: 9ebbc6b6bf7d1aea6a49f7e41999d523e8584464
sources:
0a98ca4762fedc10538e49be97c2df0289c90116
0f88369cc7bb8db9fb816bc7f432bb63c4759322
19c8dbad5648050597dee363f077c3ef6069ec4f
268e812fffa5c2fd46f0296a94e824c975fbcdaf
3bb07f8e7368b3a16cb24f337bf4d2dd1fb431fd
407edce55bc78b9aac458ee75faca6679202c9b0
c9385cc853612c59a697ade4bb07314f1f2a52e4
d576543e393bb727a76518a74a7611b656b88e98

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
cf1f16d97467793acddbdfea0d823a4bab350303
cf54b34e30444469b3afc37db385a08e9ab8df9e
1979b7147b60d8a8a345788288fd71ff9d2c5dff
7ccb858227f90e4d653d6eb7b12e84c8598b5f10
6a191c9efdcaff28958ebae9950474eaca9059ce
d32b4328cd1d6223e6fd94bee66fd151355733ec
57f1765bff463bfafa79079069abd4cee8ee281b
24a3cc3dc63c8e96b1dc3a8594707b3d03b63c4e
748441125d30a5bb24dc955dac48d2fce3fe5812


