# isabelle_session_info

session_name: HOL-Computational_Algebra
output_heap: 1c55aa7eb3ddbeb25e6afefced9d454118cbe3d5
sources:
15ef148210b86cdf647e94d83b17a757e522eb1c
1841b643c8fe73fc079ef1109b42fa17d7529dec
20a172d562b70a0893fe85b0441f1489ee04873e
36b8584ec82c8afdc1589603fca2b91a2eac3bb7
5c3300ba89e2dd37d13620d2265485f4ad5f4892
7364e9ccf7ab42c119771af0b30c338443b40c92
8b48747e6674abdc4e2841cd3d9ed677b51136e4
9b9e177591d02c11b520dec097a77fabd4864729
ba3b3a5730257d7f4916bd70913829a914ccdf7a
bb34666265fd41f944bfeb72fa279f7607b6479b
e944656d6494c49c755c3d6622e773ca290be068
f7174a3f8f9173e6213fb49c739b97de30843a73
fb4ac87c1f226e57b51cd98aed45cad7a48f7853

input_heaps:
91f5305fb3fe14e7ef2e6985f51b5dad5849bc83
9286910ee9ea881ca140c8da2edc28a01ffef3b9
6a36819e870333ca5f06f3e010584711322bd129


