# isabelle_session_info

session_name: Group-Ring-Module
sources: 9ce2acf6530c083b1fdf090d69f64f8e3f8fd4e0
output_heap: 1cfa2ac9432cdf2d7e5439bbca59d3c7c0c861ef
input_heaps:
eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0
584f21f404c2863325b05768822512e8f27326d9
e34bb98bff6ec3e8abd20ac3252ecaa43e76eb12


