# isabelle_session_info

session_name: HOL-Algebra
sources: bad49a6bc1982b1d950bf99a1d5ed29716310792
output_heap: e962a5062b6541f6992c5207c2184c45113604d1
input_heaps:
71273f2b5a292ddaf873133309c34b5758374be3
b75fa78fe7c55a0d5d72a19c39ec72148e2d4f8a
d6667ded7f382587b967ec7ac2e26bdf06a195f6
9bf8c9ad681d1841f108bc96edcec8821ac705d0


