# isabelle_session_info

session_name: Affine_Arithmetic
sources: 3f1cfdadf15e66d121d49e985eb1a99cc4b12433
output_heap: 87c6b50894f168ff91cd30e7a68ee943af411e2c
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
f2aa8062235ab9b94abd77b45dd8ef43dcd424db


