# isabelle_session_info

session_name: Affine_Arithmetic
sources: fca07796316152d26f546e1fe8e36556cc29b71c
output_heap: 1cc8497c30973191a6f39a8a75b7c9eb068db7c6
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
46924ae7fdf2d3b6dfe0db46173b9c412365c8f6


