# isabelle_session_info

session_name: Matrix_Tensor
output_heap: 49cc39433dedf0a326292314ca1a41369e708041
sources:
2276b88f150f7d9c14acd069393d309edba4b2a2
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
c69a34fab516059a32912c463ad3b69d83660a12

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146
7a21c80d3cb9f4fec6066cfeb29821ec2be1b923
5499bf9b7a4f87c5cb7e8c6ae62dca9e6a6ebd70


