# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
bcb2c163557370fc3c262b426278daa35f969e98
b22e4c2901a024517ac440e4fa6dd75c666e05a9
d0ac89accd1212404966abd2f815523230df7cd2
26ab2c3c162ae5a7d1c10f5dce0a010d3e4fdcf0
7411e61cf30cc3bbbb4e89819bc58ef1a236b50f


