# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
8ad8b00859fa175a80839fc506a09472d6fb1928


