# isabelle_session_info

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

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
c329537f2338737215b0b9c870b75eecbe1c5de3
09a084a642ea9f440c16b475debdd7dd0e298b77
42d943ef4a2d1d0413cd9c7ff4fb2bf1ce014083
d8c7dbf611481ca73cb08349995734da5a032747
d2aa28785867b042610f1e9e48ec405b314befba


