# isabelle_session_info

session_name: Jordan_Normal_Form
sources: a33664984712397f2cf1509886eaf4c6ec6473c9
output_heap: e60afda5407aa37d9cf173485fc6b87ef17c02f9
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
9dcd22a721fb4d6cb69fff249fad38e4e65ea05c
3ed685959535f1327bdf7d26aedd8065b9d7bb35
4c54cba45bbe8628a200be1c04cfaafa81edd9c5
95ab95310b6c52ae71998a3df71f322e72d4673d
d8dc87661f641fd57b43604840e3147624a4131c


