# isabelle_session_info

session_name: Group-Ring-Module
output_heap: a4709847a037a952a3c84a27c3c27c4829e5c5ae
sources:
138608abf9943e1a6e1765caebec65775a98bd1b
2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d
726c14bcebd8c9086d6ffeae50f834f88cd0b12f
86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24
8964e51f080924e514a838cb18b9faa55c5b3946
915e94606ccfb7d9869acdc7496174916d1344d4
acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a
bb2e71e367f701bf235e7af64211aed91a1d3ea1
e3f54a6c594a12fa4d3060c52e77f45c6a52b37c
f65f8aa3fcf251f0b883c8a555df7639a9c194e5
fbba7b7c4b5dbc3bf765c8fcfb1e4bd61a4203d6

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12


