# isabelle_session_info

session_name: Perron_Frobenius
sources: f6e0bcd4822b69f35a90dad20a9ec77b06bb5621
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
6dd7123fa75097b18d3135622d27b8f5daf5537c
f3c772adc1d6e37ddc8b7b6af2e3df495f8f55ee
1135eacc3f6cc731b9bf830d7255bb687ae838a5
6c65519935fe13913cff2ca46ef82e09081cdac6
4c7f10549f8b27e90267aa02a4be3398e12f1728
df8ffe0e17ce29d9857ef17efa4f603b0e8faa36
f2ef62e6e2a3c1674d1e1e212d5f289204aac830
3c317878a49d0b653171586ad0291494520f444c
3244c47b364738635b7ea0669232cb3930f82cde
0bd4aad0028daca0eb4f93cf80d055b84c00cb0c
6898ae82782187fb135cde2e2122ce33ddcce563
81959a0595880b7e07b63427e3571ea2da8fcfb0


