# isabelle_session_info

session_name: Matrix_Tensor
sources: 797b79cb399812878673d42e0408d8272c0421bd
output_heap: 00800991c607e3a275c5d985721791ee7979e44e
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
a9fdffd633f8437f7cc705ac0a290ba020d4f213
9950629d502e66b635bc93d4d2d35d9841d01163
1d6293186eaed78073959873f67077d1e84dc290


