# isabelle_session_info

session_name: Jordan_Normal_Form
sources: 77799d0dbfe87b7b56b5f8013be09e0990bd46cb
output_heap: d784b212bcf075662793a5ff0742f54bcc1cfc95
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
5144ebd7f8a7159ba53f7601bdcfe133b83a40ee
86aea4174b1d0393ca3ab4a58bbf0589befc3a01
c255daca4cd67e985074c64b73359417396792c8
2c14b850dbaddb3cbcd9316fdf1c82c4311ef3cc
1a171b05fb8b50afacd29c067dba05d842c71534
7096e1244b9940843f1a0bb0bb590fc802030a25


