# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: f85829af5e4ccf19b1d10b69ed3c1f1a562fa3c5
output_heap: df6e26d76e3eec4055d8c33984982228526f4cbe
uuid: fc6d1f1b-7a01-4357-bbfa-0e1bdfd05610
input_heaps:
9f1ff5333dab6ca9f4b94cb84f910098ee70abfd
d29381ace5f57e0cc9393a9203c0ee853d6e55f5
45fb46239bed9edfa44deefd0331bb6c9b29cb46


