# isabelle_session_info

session_name: Matrix_Tensor
output_heap: 783a71e312d5c4aee2f4cb89b6c0475d52cdc21e
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
918eda23a59dc008e33f1007c416e95253fa3cb7
ca717aa18172bb3b83c6869b84847a36359f645b

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796
a62a25aea2b8c7686c40e385a93c207c9154d370
7bbd611f2341d2f56dd4205fe87faaacb3c9b0fd


