# isabelle_session_info

session_name: Affine_Arithmetic
sources: 10c535ed92db9638600f1ca75a8439d598b3dcbb
output_heap: db9338251d649c9a67f25a56b1b7b6c2ffdc1d20
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
82553a243b75b17982a7629e2aa4ca5b186893ad


