# isabelle_session_info

session_name: Perron_Frobenius
sources:
06f3f60604adc9905d63154259b7bb096f66bc3e
283ceea193d20b0ee67866cae9a1f5c28585c6cf
34464ab2f12a41fc3135639fc645add3d98ecee7
3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663
4aae1c3bbc783c25be3e7e59fd95e82d957a03e9
4b3847e34dca049394ec5712b5553b7a7fd3e2b5
8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905
986766e20352b63c0d44756cf619a814aef99373
9d8595e16ec72d0833e2257c40b8a8d710414047
d8c2d77e93e37814425dce22021c1a77c806e839

input_heaps:
db7c23777632c9a5808e846c4c293183c8f78938
d902304df1792a9edf11f13fc29f7daff49f3259
e239851711910a6527f92e8db31572ec8f52b3c6
db46c2d97862fb5dd860308057c1a116323a2f0d
aba51160025939bc4a5f67a8b64fb7fd85a2d2a6
ebebdd312ff374dfd4bb99c7d7af12ac1a14180c
d3b5d5857f6b3a32fb1f71b766ae638b884d2190
2015423af69662afc8b69e07a660d8a6c75566ce
3ad09a9fd4934e6f3ab27035fcc1c2968da0c4c1


