# isabelle_session_info

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

input_heaps:
19db22422d072d942dca4f79a146f700713ec562
0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b
5ea6d4c9a179122eae31fc1e8edfaccb5e6cc241
6a327321e0b399ce697ece376e10d51a4594dd86
a76e3bcd4518bf7e3c8ddeef87826a97bd9e5ac6
2f7ba57d2fbf05e33d73dde495204251f3b75d4b
c9553ebd89801408328941e56048012124a58b7a
4825d04b7c4980f5edb360e568947a7359cc5ef6
5485b5461cbd50bebeae194048ea53a7fbab0d54


