# isabelle_session_info

session_name: Berlekamp_Zassenhaus
sources: 5852433931c0d034da274473acd5dd4a4dc523dc
output_heap: 8656fea2ffaa21ed91b69ae0bc4ef62fcf550169
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
4f0f038ecec92406e0882716c4c085a6c2f252bf
307c3e48b41d32d3a1a36b9c4d32d64c1ad79212
b5acb4761668afb844f580e3b28cdc7f47eef43b
6d1394c9dabe27a743401407b33042897849efce
222daff9ba3797d40239e8eedb9a4ffa09103037
ac7d600cb65b8580cc17817357507a9f5f383e48
7c19ba1aa1a5ff8a23d7150a9524dca757a09c64


