# isabelle_session_info

session_name: Matrix
sources: 89aa4a6672870c77267b88fed45b42234f482cd8
output_heap: d9b5e3ab60402d3e22400c71c85241616614f3b0
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa
5af192e4c6ba5d701d4930e9c291208a91872ce0


