# isabelle_session_info

session_name: Group-Ring-Module
output_heap: 062139100039d2eb987dbb6da4e359b4a7dcc9fd
sources:
2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d
726c14bcebd8c9086d6ffeae50f834f88cd0b12f
7cd66ace40687de1c02a836c3d355f7cd2500c17
86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24
8964e51f080924e514a838cb18b9faa55c5b3946
915e94606ccfb7d9869acdc7496174916d1344d4
acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a
bb2e71e367f701bf235e7af64211aed91a1d3ea1
c0ca1c588c4ea8eaa2b46970ce28f410975d82da
dc3f4a9e8cb4a04350932c686d9a4257a8c62701
e3f54a6c594a12fa4d3060c52e77f45c6a52b37c

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


