# isabelle_session_info

session_name: Discrete_Summation
input_heaps: b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
output_heap: 591bbfa93831c5978888b08dc7db54de3df3d1a2
sources:
0f9dbed5f85a5e8a5c8bbd0757a977c5e8917ab2
43cae1be099d1c213eaacc3f2b98abb9cac22882
5a69c90228932d66a2b10333aea5f1364eedb41b
5ed3c1fcc261a5e3750c43a5f4cdd67f333ab74f
7ed62bc2552e06c4cc7af31812f96e0c25c73884
ec2e32f7118a1d1dc54d9c254cd254eb1ddca842
eed3763e145c3217bd1006079917bcf0c4820987


