# isabelle_session_info

session_name: Group-Ring-Module
sources: 56a2159fc9f29f589cb290ff948c43992bb412e3
output_heap: 14cf1db13af4894a9d0c414d7d86bd0079e24b42
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8


