# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 83e850b22beca93b81df6ba646cc0560bd6899c0
output_heap: c50a307d4a2b66a693bbfbb79db2b4779d8a0e0a
uuid: a892644a-7878-45aa-9e3e-950645e94747
input_heaps:
94e2b66d00b77875014d997ac2abf11a8e903784
18be5846271af03e56b22434e2d70261152d1227
d9a46cfa24f3a848167675ad12d9530e9c5145a6


