# isabelle_session_info

session_name: Group-Ring-Module
sources: 74a0984f1d4aad3d8d309dbc388327ae60b16024
output_heap: ccf34629d97c8b45030025e4beb8fd747259fdd6
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
674eb2177a7a1aeb269732aebccc9887dc51fa48


