# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: a8802c8ce5bc1156a04f5be9590f7b19af8a6eea
output_heap: 239bd0d538a9cf9b1f92607249a02049d4e6b443
uuid: c83fff48-e6fb-41fe-a3fd-d069b989520e
input_heaps:
77299dddcb29b78175e82c70524d32bf9d698d4a
bd3bb075592b20659918170e65cd26a662a77f21
f73af0d5d0c2570b2a3edee067d504b616e059ee


