# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074
5ad2f9166cfd8d4d2fa74648bcb36846d876bb60
f837b52ad29ce7db2a60e2328ea78022ae00f418
c365e03ffe0ac5a047d5ac7e5bdb1e9814bcc365
b9a6edaae3c46678d645b9ab69d92a1885172bcd
97fe59bf81e5328fabd974f378ce209d9cfd45c0


