# isabelle_session_info

session_name: Group-Ring-Module
output_heap: bd4aaa1779c5fdf5b6791f0c825b3eafc351c105
sources:
138608abf9943e1a6e1765caebec65775a98bd1b
2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d
35ec4e2de1f71465859c6d662739cf54a8befe0d
726c14bcebd8c9086d6ffeae50f834f88cd0b12f
7cd66ace40687de1c02a836c3d355f7cd2500c17
86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24
8964e51f080924e514a838cb18b9faa55c5b3946
915e94606ccfb7d9869acdc7496174916d1344d4
acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a
bb2e71e367f701bf235e7af64211aed91a1d3ea1
e3f54a6c594a12fa4d3060c52e77f45c6a52b37c

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2


