# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 17d75316313df0ab614124513f66ec2e73108178
output_heap: 082363f40ced7abb9763bebc6a8e1983bb54fe25
uuid: 472f91bb-aff4-4060-8e5c-a251ca028444
input_heaps:
56c0177230dc66ddc7d6302fbef34f62e09451a8
843e8f73aff032c37e1b1ade7b8fb3a2dbe74cf5
d245a36e09f03531eb97ce9a3761aef2650c474a


