# isabelle_session_info

session_name: Discrete_Summation
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
output_heap: fed03e46477421bd781b2601ea881a3918f7dff0
sources:
43cae1be099d1c213eaacc3f2b98abb9cac22882
5a69c90228932d66a2b10333aea5f1364eedb41b
5ed3c1fcc261a5e3750c43a5f4cdd67f333ab74f
7ed62bc2552e06c4cc7af31812f96e0c25c73884
9e4b941fa669b53d7abdfefbe3ddbee02f40ff52
ec2e32f7118a1d1dc54d9c254cd254eb1ddca842
eed3763e145c3217bd1006079917bcf0c4820987


