# isabelle_session_info

session_name: Matrix_Tensor
sources: f54d53e31abc8757666f528f750b1a31e62bbf38
output_heap: caa3091148430b6f12c0dab7fcb4b16ab2e408b5
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28
4b092d27fd7ac3624e46d7013158836b2bf0e13b
bf0780e843b58af026e239701497758b0da2d47b


