# isabelle_session_info

session_name: Group-Ring-Module
sources: 44e9ea7293057542e651038523824f9bea795af5
output_heap: 6f0c5823ab6bc03c330c103141112324b0611111
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
a8749f911b7a86e71244743f340b7cedb910c4fc
363858bd09512bc8ba5a5986f54c4a9d2e5b42f3


