# isabelle_session_info

session_name: Group-Ring-Module
output_heap: 15270af771a7b5503c409a7b80dc97b7d1d43837
sources:
138608abf9943e1a6e1765caebec65775a98bd1b
2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d
35d03a68d4f74ed1e374668ca8687f2c1d68c96e
59d11795e9d7b1324c7e54654d2428a123ed7e87
726c14bcebd8c9086d6ffeae50f834f88cd0b12f
86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24
8964e51f080924e514a838cb18b9faa55c5b3946
915e94606ccfb7d9869acdc7496174916d1344d4
acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a
bb2e71e367f701bf235e7af64211aed91a1d3ea1
e3f54a6c594a12fa4d3060c52e77f45c6a52b37c

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31


