# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 63c4d7a03e5e5723aba6eeedb6caf43e4e4ca727
output_heap: 4886027a65183daad83b345861db0251302fbacb
uuid: 42775cb2-5ba4-4530-a84f-342f3daaf649
input_heaps:
46471e6616f7726ee6f7c4484f2c5ad2c2f77c52
61821a842a958a016e9d5f60f90d2a4ad88e0a58
7b5807c80798cb26b480179bd3770c527e2bcb2a


