# isabelle_session_info

session_name: HOL-Computational_Algebra
output_heap: 5c00f52a6b692d25a3855793b567d0287220e343
sources:
19960bc7d8b92d1582c168aded65cdb6b2c70109
25429be490195efa63dab649cabdfe7e073414b1
36b8584ec82c8afdc1589603fca2b91a2eac3bb7
42343c8111ce02703531f2f5ebcc12bcbce7033d
68421a34e716954dd8a2cb5962ffe14caa5a50de
7364e9ccf7ab42c119771af0b30c338443b40c92
96dc0ff1a4cda12e5cd78e6cd384ee1a92db70ab
9b9e177591d02c11b520dec097a77fabd4864729
a0400cfeb6fc342ddb76211cca035c9b26c19998
a9ca183469737161a711478a439836586d0b0ca7
aa9dbc1d2b68c2aef92871faedec6c0c0d75df07
ba3b3a5730257d7f4916bd70913829a914ccdf7a
c3d33250becfd164e282a97fb11e01e7e5e51f7e
e938de90145410fa9a5b0afec8a7862144709df2
f7174a3f8f9173e6213fb49c739b97de30843a73

input_heaps:
a24c219d933e494e1a6d3b65fc2b3b5f617ef5dc
e0509b6b5154f01bfbf9ba0bafa70119dbc01568
ddc4e850e6d209171523f5055a5ee5c04e8ff275


