# isabelle_session_info

session_name: Jordan_Normal_Form
output_heap: 7b25b26ffe522e8d2aa2ae0575cc66c2865bb62b
sources:
00a5e4a4cce8b311d4e17989d3caa87af5b575b7
04838ebc096a0f58c270cb43e5687be4afad0744
07a578ff8d49713651d8ff133d6c6a7d8028881d
1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678
1c93ec95d4fc46d544dc6a321300a35867f9006c
22525a336f9ecce97cdb568b44379f0491541a87
26a3ead7c27418a5059a735dd6106d2fe846fd42
2c3e480de7d0907848a1519cdd85a3213e0d892e
4226cc455fa452546f7fd4622b7c865ab8e54250
45693b357f26160d4c0b1ef1a0df39678cd98d1d
45749f72e4d55c2fbf3219928ecf2f0b8d23dda7
4677564267a9fbf6d09bc92db3def7deefb510b4
4c267769d2ce2866f82eb5938b0314f9a97f375a
50b8e9f10960a26a58eb1de57d9af006d4dd71ee
54c38db887812a39b1b518723fd4468f9395eed5
59cb2b9364f29cdc52ba3398a114323af4d59f9d
605b2df1a2fe916474ebd532e68084c307a9494d
635f553599ea5cbe98bda10d1da23127b2865f12
6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05
7e724b95a0126ebdde350afdcb6ed34eb4645152
860cfa5848d2b6ba0a0acb8ddd2dba686323d965
8e33ec703d1d9ed7de1f6fa54d06b99257ce1b61
93c1cda67d93bfee32ad7eef60fe00cabf29a651
a23baca027e75398a654dddf08a698721e3d379e
a5dea19b38006556a5c07ba4f7ca5d0f425984cc
a678b853ec4bb4657ca0c5d68cfafb497eadc305
a9f38a4ccecc8492d1f9ebb962024b9b83dd08bb
aa54cd237205284e0431bc94a8f83d36b27f106c
b27225000730ce58c79b3a9ebb8525a6b4955a5a
b702f26889736c3bd426c6e9f167fa1972379448
ba398d78d1126570b0707ee67b307e8a46f2f0a6
bf0f0506d2d2cb8d5bd820ed19f03a08e0e8041f
bf47b112034d85c95e8fbc6fc371cdf2d446386f
d75da252ebe713c7a94bd165cd073c4be14a3b0f
df65d216391b2cc49755f48f36aa2eddd974e734
f34925d9ed8e5cba7cc0d04c00d75f60970694f5
fbbe12ab816df5eb451bed37dfbf1e3f53917107

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796
544d5273f63ab8306b7ba89b4cf320cc64739cc9
88c76860c70d62e9b5858e317f9274aecbdc5061
8267c4822eca905e851c9e6a9473f1de0a1294ab
336cbf3e23213615ea54f5b4e025d206c872e1d7


