# isabelle_session_info

session_name: HOL-Computational_Algebra
output_heap: 87d2f1daa964476eb342d0490c2ac4a8779cf188
sources:
1841b643c8fe73fc079ef1109b42fa17d7529dec
20a172d562b70a0893fe85b0441f1489ee04873e
36b8584ec82c8afdc1589603fca2b91a2eac3bb7
3ae02176469709ed2060702228dd1fe1cc8dc10b
5c3300ba89e2dd37d13620d2265485f4ad5f4892
7364e9ccf7ab42c119771af0b30c338443b40c92
8c9504a479a5a4046082d82961946640d41562f0
9b9e177591d02c11b520dec097a77fabd4864729
b13dd8b0a61ff4eeb472eb64955354eb9fe30f3b
ba3b3a5730257d7f4916bd70913829a914ccdf7a
e053e55773fcbae22457c442e9cf8006dd836ff1
e944656d6494c49c755c3d6622e773ca290be068
fb4ac87c1f226e57b51cd98aed45cad7a48f7853

input_heaps:
3fe70f5117b8eca926e46990b6f607629bd9c167
40f00e8f8b9fedc403f57c4c6c050c0a45b02699
3c7415b32f9516b3b0a56c0029f9f2db9e2f4bb3


