# isabelle_session_info

session_name: Pre_Perron_Frobenius
sources: 5594843b678265609f7cf43c58c56e145b5bbf9b
output_heap: b027be929bcc98cb59af53407ed47faaed8ef425
input_heaps:
69402e3b6e12db68130cd5e3e1f9a8a63b026de7
f77778084d2b7bec57323b8df01d5c0123e4cf32
1da74c38d0d6758408f96f635ec4d167a06d69e4
3e85ccdfc55367deb4c509c438b7e6888887ab85
fb5299e36876ff3e8582608e9beed9b706a03e47
4d36f763c512afd9e4a975eb13e01a82f4f552a1
aa017f6b44b42d981d54fe5fc9bcee29e78a7712
d952d11f8738c9419a6c97826c1a4eb3ae93fd06
f1fda322954e78cc80bd64f4fd1a38823acf30ed
1001f2b5b6d604e85d55160b85df18562631963b
96f1a2b57c87af52f7ccdea80ec70849b47cb45f
749c5af9e3bf5f3c297eebbe780d62de3d630ef2
03dd38a718ad4561e8c055dd4a3f64b8ed2c7b0b


