# isabelle_session_info

session_name: Jordan_Normal_Form
sources: bfe9b6bf58d257fb55779f2ee73907d68789c2c2
output_heap: b1ba5d96382972b1d1b180ab17d7b933d17e38f8
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
402ad8d10c053d7ab99109311f4289da20bbcf70
26bcee65cc1ac7f404331f7de47d326b0c7fa708
6fd9215b760d38b5adb2a641cab49c3d1cbccb95
de759ad66173cb1bac772a7c240c5afe3b3295d1
5fb6e96fbb9b7854edbae1f2086ea348370afad9


