# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: b94edf244f83b7ec99c6ece05750d60dfb792684
output_heap: 7deef06000f236c2a88881b76f85775cfb7a776f
uuid: 819cd63d-d3f6-4039-925b-17f958e6ab8e
input_heaps:
52fce7a083032aa70183a50f999e2868f79e2148
694680bfc6768bb59cd23ad51623a23d40ef82a4
7dc84cce36e99488cab9a50bde2c312f710bd06c


