# isabelle_session_info

session_name: Affine_Arithmetic
sources: 3496932a896066142a86eba2d47ead1a7057f98f
output_heap: 01f14a56e15b5880e0d3b1e02fcb61a163cb4c56
input_heaps:
e9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9
dc09a39d76722c2f6a77403e12e7aac18c8f9fa4
1339eb1ca36123670b55199a5d487b279070cb0a


