# isabelle_session_info

session_name: Jordan_Normal_Form
sources: ad6c9b3c0340d93fb9ff85caa9d9aa7883e8d885
output_heap: 05552397f6c71f11300ce8aeee1603ba21330985
input_heaps:
fa7050467ef8f63fd56cd5cc004bca4176bf5785
29f89a8c8c3de749e3d8f52dbed7d75c52623d3a
7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740
70f4b946e63625a4e15d03cb5d11a4e6c8108b42
44b0cfc5db7f19bdb69739da20a64401a5e77014
8491750690a8d11e9e3b02951edf53ea46b1b345
da130666eeb4c61a1fa18c0c29d6d9f0db422dbd


