# isabelle_session_info

session_name: Group-Ring-Module
sources: 8ce3c736a9b9bf49b8360c529b89a1fe53974ff9
output_heap: 1130727aa0269db6a15e1ee02a4c40d7dc4e08e0
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
19cc2c37b59cd619e8d5c50b1c9e3eeada232480


