# isabelle_session_info

session_name: Affine_Arithmetic
sources: 040f5819823379cadb14e7388c9f908b57cf52c9
output_heap: b1f63f7b7d3b83b65c85bdc4ae30a509f6275c54
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
362bcb4c52fd53d399ef9d2a29a45dd20027970d


