# isabelle_session_info

session_name: Discrete_Summation
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
output_heap: 0c7edb2d22b117e5c82412e3846bae0092c48d65
sources:
0f9dbed5f85a5e8a5c8bbd0757a977c5e8917ab2
43cae1be099d1c213eaacc3f2b98abb9cac22882
5a69c90228932d66a2b10333aea5f1364eedb41b
5ed3c1fcc261a5e3750c43a5f4cdd67f333ab74f
7ed62bc2552e06c4cc7af31812f96e0c25c73884
ec2e32f7118a1d1dc54d9c254cd254eb1ddca842
eed3763e145c3217bd1006079917bcf0c4820987


