# isabelle_session_info

session_name: Jordan_Normal_Form
output_heap: cb36c213a004ef349f77dba14f5d112007b7b168
sources:
00a5e4a4cce8b311d4e17989d3caa87af5b575b7
1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678
1c93ec95d4fc46d544dc6a321300a35867f9006c
1cac7b79615488a2a44724e4767dcdf953528bed
22525a336f9ecce97cdb568b44379f0491541a87
26a3ead7c27418a5059a735dd6106d2fe846fd42
367744ce12067ff369d7037132c2295cf2467ca8
4226cc455fa452546f7fd4622b7c865ab8e54250
45693b357f26160d4c0b1ef1a0df39678cd98d1d
4677564267a9fbf6d09bc92db3def7deefb510b4
50b8e9f10960a26a58eb1de57d9af006d4dd71ee
54c38db887812a39b1b518723fd4468f9395eed5
59cb2b9364f29cdc52ba3398a114323af4d59f9d
5a32b2c005abcf9cf0616f9ff41ea905e0f45a78
605b2df1a2fe916474ebd532e68084c307a9494d
635f553599ea5cbe98bda10d1da23127b2865f12
6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05
754868a97fb8ecb4bd5624245676b23ddd584c4a
7e724b95a0126ebdde350afdcb6ed34eb4645152
860cfa5848d2b6ba0a0acb8ddd2dba686323d965
92a988078c37603d1a6c9e46f0f5d1d67d222e1f
93c1cda67d93bfee32ad7eef60fe00cabf29a651
a23baca027e75398a654dddf08a698721e3d379e
a5dea19b38006556a5c07ba4f7ca5d0f425984cc
a9f38a4ccecc8492d1f9ebb962024b9b83dd08bb
b27225000730ce58c79b3a9ebb8525a6b4955a5a
b702f26889736c3bd426c6e9f167fa1972379448
ba398d78d1126570b0707ee67b307e8a46f2f0a6
bf0f0506d2d2cb8d5bd820ed19f03a08e0e8041f
bf47b112034d85c95e8fbc6fc371cdf2d446386f
c7f5ddbef6f6c869aba952579fc04f1cfe2bc589
cda169c0d3fef79f8edf2ed170fa39dfcc2f5fa2
d75da252ebe713c7a94bd165cd073c4be14a3b0f
df65d216391b2cc49755f48f36aa2eddd974e734
e19d16b4954f8dbef5d0c35a34efa37f9c16cf4e
e458cdde5cbb51f0489e40722af7c9ff04391a63
e6eaed053698879e00e1e012935a36dfb142a39d

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
6a3b5f35a47c619c2090fbc84ef59d242c963bdb
f013446ba76027b3286f5b8e02f8911162859882
e10af832a830686e469df2bb65936697791c0a85
bf3c6b20e387a602f4b2ecd8078d1f88a0d5e30d
01f43a05527e8609143d50dec52738252c3da587
d471ecf33bb33d2c0c15c0b85143d74591246d1f


