# isabelle_session_info

session_name: Group-Ring-Module
sources: ee72addc032f9d260ef4ebf65b897b7578ca0972
output_heap: 7973fe68cce008c25fc6d8bb2d5c9b97bc38055f
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
93bb26101d67863666294058bea6da4fd77251ac


