# isabelle_session_info

session_name: Jordan_Normal_Form
output_heap: 9582bd6837b5f360806979a4132eff8156e271a6
sources:
0f6b5bd89b0325a8030cbfc328dd3951b860804b
1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678
1c93ec95d4fc46d544dc6a321300a35867f9006c
1cac7b79615488a2a44724e4767dcdf953528bed
265c67cd0948d58b821e278c41686dee973b7ad0
26a3ead7c27418a5059a735dd6106d2fe846fd42
367744ce12067ff369d7037132c2295cf2467ca8
4226cc455fa452546f7fd4622b7c865ab8e54250
45693b357f26160d4c0b1ef1a0df39678cd98d1d
4677564267a9fbf6d09bc92db3def7deefb510b4
54c38db887812a39b1b518723fd4468f9395eed5
5a32b2c005abcf9cf0616f9ff41ea905e0f45a78
605b2df1a2fe916474ebd532e68084c307a9494d
635f553599ea5cbe98bda10d1da23127b2865f12
689d052a2694dbd26535b4fcd206bf6128f0007e
6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05
7724a4cb3aec5426075f389960f076b460776887
7e724b95a0126ebdde350afdcb6ed34eb4645152
860cfa5848d2b6ba0a0acb8ddd2dba686323d965
93c1cda67d93bfee32ad7eef60fe00cabf29a651
a23baca027e75398a654dddf08a698721e3d379e
a2ecc67ad979c76d202eccef2c6dccb0f9071de1
a2f58ef541eca0a2ef9845d87e63c1afab0b2b6c
a5dea19b38006556a5c07ba4f7ca5d0f425984cc
a79d7f49a4aecff6119f22cbeac5838382913c9e
a9f38a4ccecc8492d1f9ebb962024b9b83dd08bb
b27225000730ce58c79b3a9ebb8525a6b4955a5a
b39a23d84f971b58dd7363385f5c43ff4ca15efa
ba398d78d1126570b0707ee67b307e8a46f2f0a6
bdd62e49fc35afa2685c626d86ef4351907936ba
bf0f0506d2d2cb8d5bd820ed19f03a08e0e8041f
bf47b112034d85c95e8fbc6fc371cdf2d446386f
c7f5ddbef6f6c869aba952579fc04f1cfe2bc589
ce0cb9b856a209d55f128657f2b8bafefbabb206
d61ff2a207e7f8eabed36b1c29b3517efbb57644
d75da252ebe713c7a94bd165cd073c4be14a3b0f
ed038b3fcd801bb6050003f4364df32661a90cfb

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
f23f98568b481cf01febd03c11cd3ba915ae94de
095b0046e725b6c76e6b07dc490e96c3b0f10478
20251d361feecbad0c3a84aff16659cd938746bc


