# isabelle_session_info

session_name: Jordan_Normal_Form
output_heap: ffdbe4eb021ba3c89403154a91bfc626346e9dc4
sources:
021492c47c2805c82a1f307aeb01fbc05bc55bc2
021d0242e1f9d989c36a030adcedb8964caa97d1
07a578ff8d49713651d8ff133d6c6a7d8028881d
2495da419ff6f424cc4d14fe818220f979f8106b
27916b62f91d87f6debc34becc5080f6280c8b96
2a69bba38277b0b0eda56574d9ef4703450623b6
2c69064e2ddbf4c950336caf4b8db7b2654a4d84
2df97aab7b3de23b5cd86d62a23c111f8c91ef28
3380e519af5a4e6cd2e4470784ced2931c3432ec
338ae254557ef910aaf93590e7a6f512124dc81c
44586087ef29fdd1e11d235ce2766622867e1e89
4720a847a94c3bb0e276d0a553e7dbdbf99525da
4d8b51e86fff933c2b5b4e4d1aaa229ee1580408
55ab5893af80f1140cfc403e6c6e254e850f0e71
5a0bf25b63719d0a9cdd38453f1ff5b2a0c5e1ba
5ab1897d477202e058ec586033602de2bf7c06f1
634f0154f3ab206e8bc316842e9e684438be1c48
6b6cbce541c32488399ff5334fb807e42c932bae
6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05
76c8a801c33448c79cfe77955a157ee8ac3e7cb9
7b289fee4d0e5a14ad7333196c4f6a130662be21
81c046f88d56537226ad99be586b5cf07edae426
884468417ea5dab260a655a70f8ccfa673636c9b
8fedae7bb64aaf5ff3e6ce403084940ce66fba74
a36101c140aa32f5598f4c9c6fa90c1ce7217806
a5b0ef7b92a846c9369821e27650635a905fc6d6
a8dac84bd2ca38fa3b576075cc8e9ac45c5e5f8d
ac78be3d849dab3a294827ead86a441dbd559fed
b03ce1b7ab0e13c8c518031988a868715a56ceca
b0da3fd976746cc8893e6e7ee4d8216169b641c6
c41c3782e752d10bff0a6177513f42c30fac7132
cc70e1fa6019143f9fb1592c37d435c4f5a68fad
d75da252ebe713c7a94bd165cd073c4be14a3b0f
f436055c8f69a72915a5c1e0dd75eab5635f576c
fadf22f90cf42868b95080dd34fe705102a2e725
fb1079b52bc1fa123b940803170a2208d07bd128
ffa1199ae2dbc2fc708a2721512374ddf2a118fc

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
502d441ff4e78612d9bfdcee6255c73d96f5757f
669f1d989ccc8432ce0207b5dfb87086e159796c
46438ae7a10ce597223550964e8f0010dbd79bc5


