# isabelle_session_info

session_name: Group-Ring-Module
sources: 831ecaa1364e82c6567e70b159aa13eedb2e3223
output_heap: 282c9e73873afed3357c249fd16573d9f96e9eeb
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
1cfcafd7304d5a5e1a18a6227905b0aeb379bad3


