# isabelle_session_info

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

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
c792037e3d0f7486f079b5d2eeeeb761cbe56f95
0051ea09776582b9410b18e4da0feb402522d186
6e328d578e457acf2dd63c4257c2eef6bc6e8798
1dd730c738b19ba45224824a62d018e9ed3eadc1
69fa277fbf1f2821b3dadfec0ce2fdc8065732c7
68b693387f8f50cff6cff2e9b0f95cd1fc49c86f


