# isabelle_session_info

session_name: Group-Ring-Module
sources: 128f941422e330ab08df3af9f6055f78ae431eb0
output_heap: e04b7c8a652d2b61df25b0c38c0b2e0832aaf509
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039


