# isabelle_session_info

session_name: HOL-Computational_Algebra
output_heap: db0744869ba666865b0656c326c10747574494af
sources:
15ef148210b86cdf647e94d83b17a757e522eb1c
1841b643c8fe73fc079ef1109b42fa17d7529dec
20a172d562b70a0893fe85b0441f1489ee04873e
25429be490195efa63dab649cabdfe7e073414b1
36b8584ec82c8afdc1589603fca2b91a2eac3bb7
7364e9ccf7ab42c119771af0b30c338443b40c92
8b48747e6674abdc4e2841cd3d9ed677b51136e4
9b9e177591d02c11b520dec097a77fabd4864729
aa9dbc1d2b68c2aef92871faedec6c0c0d75df07
ba3b3a5730257d7f4916bd70913829a914ccdf7a
c18c7c979cf98e514657390c6aa582a0982bd8fc
c3d33250becfd164e282a97fb11e01e7e5e51f7e
cd1459806cc3932b31a055615923cd979412bf6a
e938de90145410fa9a5b0afec8a7862144709df2
f7174a3f8f9173e6213fb49c739b97de30843a73

input_heaps:
7407bc5e422d8a419d0b388063e4c67f943c36ff
2953192c9b84ec69949efc0b47b4467e087e5b06
238bc295d892ecd6acd00b8405a302c69f482fc4


