# isabelle_session_info

session_name: HOL-Computational_Algebra
output_heap: 10cae7858f6298753bffb93deb42b58c91c816c8
sources:
1841b643c8fe73fc079ef1109b42fa17d7529dec
20a172d562b70a0893fe85b0441f1489ee04873e
36b8584ec82c8afdc1589603fca2b91a2eac3bb7
3ae02176469709ed2060702228dd1fe1cc8dc10b
46a5d2244ad2a4a1b0a4ee74a6fd6733850144c2
5c3300ba89e2dd37d13620d2265485f4ad5f4892
7364e9ccf7ab42c119771af0b30c338443b40c92
74c7b3b9fc805b37404841e74148b8988e671d65
8c9504a479a5a4046082d82961946640d41562f0
9b9e177591d02c11b520dec097a77fabd4864729
b13dd8b0a61ff4eeb472eb64955354eb9fe30f3b
ba3b3a5730257d7f4916bd70913829a914ccdf7a
e944656d6494c49c755c3d6622e773ca290be068

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31


