# isabelle_session_info

session_name: Pre_Perron_Frobenius
sources: aeb8b5c180cff369a57e20eb2fad16f8c6b54a8c
output_heap: 3ea38cd780b7073fd4f5b628e417c222ec612fa3
input_heaps:
00b13affeca8329065e523557b07861f9da96370
de656be5c82664d2d06f9d4f4c7a9247323f4c02
90fdd132dc269b22477e61acedc69f01f576d41c
d0f680a53915d416d3b26c69192daf67ea9ba224
793ed307385b4ca755155c1c41c6f9a7deeebb2e
c4eb04635ff9369ad903bea182065bc6bbccf702
35cb4fc50a2bece1c25a28bab3d16d862bfede4f
88a71c1228df99782e83a369932165bbb581580c
9efebec4df183caf6bdd4f16456cd885d199e3f3
037dd2a83e2f48bb887897618c8ac4dca9902993
89ac12f771fe76d81ea4022198e66d8ba1b74463
822fd7d08b80ebb98d5f83915b0cde8bd1b09b88
1630a9fcfbe43f7dfe8a5d5dcd7005d7ae7f37ca


