# isabelle_session_info

session_name: Matrix_Tensor
sources: 0c4bd7b6f14c448f0f3eb1f280f37958d12d5a27
output_heap: 2fb6367f2fb1921a99de8126c0a93ede9b717375
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
e18eab774fca0e276fd5ccc2347f5041793d975b
f13e4d3ce7806cc97ba468bfa6c03fd0157b5405
5c4690894c8042ad51f34ecdea4fb5e130653c52


