# isabelle_session_info

session_name: Matrix_Tensor
sources: 2c4cd3da9906782062ac6b5982414af0dd835e60
output_heap: 975a2b4dc7410539d8640c1e2ce43f37ef8b90e9
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
5fc4e321a4aa446d87b59c72e26ba2102a31a053
5ce7b6d32cd41b3f7e8db164b3673b04e38491c6
d73c099dc33ef2e9cce682f67710cd8f4675808f
58e10cba1b6bc978a30026e53d3eb7bb94486085


