# isabelle_session_info

session_name: Perron_Frobenius
sources:
01b0dae6b43453d4cb5fc048050e634b609d4510
06f3f60604adc9905d63154259b7bb096f66bc3e
34464ab2f12a41fc3135639fc645add3d98ecee7
3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663
44dd1385be58743e0b72211bfc6b10bf9e611ce1
4aae1c3bbc783c25be3e7e59fd95e82d957a03e9
695ae18c2be53b68fe90bbcfa47de24574d800e9
8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905
d8c2d77e93e37814425dce22021c1a77c806e839
da39beeaf4e18086bd6147822c4b1dc702c169ba

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
c13e3de1e0be8d1f8e22817e408018c478eff10c
1491f51320f29cd36500f37d0b40b7bc52a5d191
5374f72e4d493485bf3d00ad3b0c3d62397ef50b
49d36d3878300b9a18494cc47afe71a20b2175ba
5e2e611e087e9b0e955ee6b47f434aeaf7cdcb62


