# isabelle_session_info

session_name: PSemigroupsConvolution
input_heaps: 554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1
sources:
30231e377e175dafe1ac69cc60aa1af532596d55
3c9d198e5507f38679a5ca3242ae54ae561125fd
3ca9fbb90d335a4c7ba484e480aa6728eb0d92ac
6b318b9b47fc519c66e5348e2be97a9041ded992
82a5382b7215ea24887d8b9871f73191f8605095
b8f6f67b6d8fcc36514a70b455a09c340aebfbf9
de4d0574a219ea1041a374d568b9adf2ebdf10a6
eab7b337634cbf1638a425bb812ac973b9502482
fe6bcb898bc42a500501cc050fc44e82fb39b395


