# isabelle_session_info

session_name: Matrix
sources: ac3c19d73e606507f4d1a8d606a2a6032927488e
output_heap: 20e179df95a435cc273a1c0225e985df4f87ea3a
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
1cfcafd7304d5a5e1a18a6227905b0aeb379bad3
50cbd62b6cd1752dd5a269fe724c3aa9c7ec177c


