# isabelle_session_info

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

input_heaps:
94c9a1cea78b6f4fb7f551d5d68b467bfe295c7b
813039a69e2ed3cdc91d1a0f5b931ed348d85609
acd4942fe717bea707104429aa2312ad239fdfc8


