# isabelle_session_info

session_name: Pre_Perron_Frobenius
sources: 52705d57555edaf9d0e12c7d0f89899393f33903
output_heap: ec5a4bf7fb7b3a82d6a359d967460f12b01b139a
input_heaps:
fa7050467ef8f63fd56cd5cc004bca4176bf5785
29f89a8c8c3de749e3d8f52dbed7d75c52623d3a
7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740
70f4b946e63625a4e15d03cb5d11a4e6c8108b42
44b0cfc5db7f19bdb69739da20a64401a5e77014
8491750690a8d11e9e3b02951edf53ea46b1b345
da130666eeb4c61a1fa18c0c29d6d9f0db422dbd
05552397f6c71f11300ce8aeee1603ba21330985
53a6f4b588135593d98b5310d1121f60da5a7082
31a8140433866b31cfc24cdee3c3e55c9870b9e1
2bcffbcbdd7e68e777d1eb18424a9f20f0461652
71decd6f3db4f4c89bcc8a8b701665d19009c50b
5e5d417d2fcde74ac015447e3b83c7be3548a60b


