# isabelle_session_info

session_name: Matrix_Tensor
sources: 71674b1536d9c06135aa080005afd376c0f27313
output_heap: cf2fc88534645192c2917383f641ca68a3e16ecd
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
2d6e38d83c3e90a100dde7fed1e4308f472211d2
f430b6a2e6c572d7fb9361233911c29de140a044
b40148363d73fa94236115abcf9ed087940b17dc


