# isabelle_session_info

session_name: Matrix_Tensor
output_heap: 2867da03c80ed0a9e76cabf86a4b8fe02cc7ae7a
sources:
496e51d31d5d8a99950529d8ec8ca9f35ce03ee0
918eda23a59dc008e33f1007c416e95253fa3cb7
ca717aa18172bb3b83c6869b84847a36359f645b

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a
bc0749a4f96de53e4d56260de41318a1871837d0
577ad8b48586af5246303fa664d45985bb4169f0


