# isabelle_session_info

session_name: Affine_Arithmetic
sources: 09f21348640227ad49f34834402f26ec841ec4a8
output_heap: 3745a03d85684181375a90e20bc7da6c07bd9933
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
a643a21d33ebcea1725873278009917e0a504d89


