# isabelle_session_info

session_name: Affine_Arithmetic
sources: 7febce9de18c4289ab80b2ccb9cbfdb6694c61ca
output_heap: 3caadf6e1bdddac7eff943415558982666b64fcf
input_heaps:
0779f416e0333e930b31960d36caa48e35918b68
b6896307526a9838816e0ef6f162a79ce98e509f
f046ef9a589d206031d12698d33d4ab88465db77


