# isabelle_session_info

session_name: PSemigroupsConvolution
input_heaps: 0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f
sources:
2ad6634a31e163df0abee1c86c764838eaab2f87
30231e377e175dafe1ac69cc60aa1af532596d55
3c9d198e5507f38679a5ca3242ae54ae561125fd
3ca9fbb90d335a4c7ba484e480aa6728eb0d92ac
6038f78e0c7845915a14be45e8bef12e0af663c7
82a5382b7215ea24887d8b9871f73191f8605095
b8f6f67b6d8fcc36514a70b455a09c340aebfbf9
de4d0574a219ea1041a374d568b9adf2ebdf10a6
eab7b337634cbf1638a425bb812ac973b9502482


