# isabelle_session_info

session_name: Discrete_Summation
input_heaps: 7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56
output_heap: bb14ee82ea39c4259697f185086264045fa1e0bf
sources:
43cae1be099d1c213eaacc3f2b98abb9cac22882
5a69c90228932d66a2b10333aea5f1364eedb41b
5ed3c1fcc261a5e3750c43a5f4cdd67f333ab74f
7ed62bc2552e06c4cc7af31812f96e0c25c73884
a465491e1fb9567b1e040a05edaac21b0111a507
ec2e32f7118a1d1dc54d9c254cd254eb1ddca842
eed3763e145c3217bd1006079917bcf0c4820987


