# isabelle_session_info

session_name: Group-Ring-Module
sources: 87729fe09c34db9efa13f3dd2d55348c45db4b3b
output_heap: 9d79e85cb5acd9ca3599c491e2e33e4e91814980
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
1a298acf65fb27287d69b79e5623fc6ffe185b72


