# isabelle_session_info

session_name: Jordan_Normal_Form
sources: 14d05fe171a4de5c171c270646aed024fc8431f2
output_heap: 10441a46497101d42b3e3120d3d9d7272e385861
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
b00b49c8ed70ed453ef127711e671cb988aa3069
8d5164e5d73c9776ac23d9ac7921c2466aa7b653
c0d2212167485df5638311f4a52e87880eda6ca7
2ed94f38f6edbff858d02a41897f21dea6478977
da170be48fcb6d75689bdb460445aecd154adc68


