# isabelle_session_info

session_name: Affine_Arithmetic
sources: 6ae4e375383eafbda713df0c449ae116cb068e83
output_heap: f52a79620ed412d675bb22aa1f7f11cfcf96cb6e
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
197ef942efe1b520e57810c9e607ada8b7573cc3


