# isabelle_session_info

session_name: Matrix_Tensor
sources: 4635786e8f9710eb516908f96ee9572de2382d28
output_heap: cb7279a74b73016665abfe4480ebe1a0991c44db
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c476bdebca2f60c33824d5374c70fabe6f4ba221
0852a1c8b29fe718adfa421682c666979ab87c42
e49ba7e971b6329996d5d505d5540cf0a98c2bbf


