# isabelle_session_info

session_name: Group-Ring-Module
sources: 735e90671e19951a390a86027751193f6a11abc9
output_heap: e163129d3a2a3e912d73ce9034426fad2b35c60c
input_heaps:
adf620958a483c5d99eb8b585d74e10e62aa36e9
592c3e8fc1a619dd78c917b8e580c01545553e05
7f7a591899a16f1d5cfcf0a06257c984af4b4605


