# isabelle_session_info

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

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
f43caa9e5e417d16de9ac31da220529d0a28b7a7
c0de3a72380c3ab1b14c971396752f50c590bc0d
04a809032088b666714457672077332531c4075e
fd525ace5d6c3f4379a77edcc47116d403538dca
49eaff697af85ac5260c32f8c296021867391a04
36356dd5894b452887b3f17922be41069985a8c3
2192b45185f127af5ea47f1cc3a2700ed6526118
c8f51fd6d577899dda853e3e78658294f4dcefd4


