# isabelle_session_info

session_name: Group-Ring-Module
sources: 32e4ecd25f79f0874e3e99fe1d21ccb232c0a574
output_heap: c3ad67d6b2b09b8419cc68302083b2dddf0615fe
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
5144ebd7f8a7159ba53f7601bdcfe133b83a40ee
86aea4174b1d0393ca3ab4a58bbf0589befc3a01


