# isabelle_session_info

session_name: Matrix
sources: 4773366b35e736f012ce2f0ef040905a633d78fc
output_heap: e1152224a5431ccf0ca9cde097f356170d4bfe66
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
85abb972e33d791a56eb0ae4d28a032db01c9061
7782f7bbd62e0bdc43503d0c9631432609247be5


