# isabelle_session_info

session_name: Affine_Arithmetic
sources: 81f1404137ff4552e80820e95b2e045c0c147d2a
output_heap: abc93d848a9bce13749989e164497ffc62edada4
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
ec674435ecaa12dcee5b74ea1d46af0a9fb15bf9


