# isabelle_session_info

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

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c
5e44082305b3e1a44d18a9327bc55a4a3ddfaf4e
cd13047892ea9788e040c328453f81a8476143ab
6bf6bdb614d854475b83a9bc7c740af23ea1b86b
28f4872452c4babcfbb04cf78b7c17f5b5d53e59
2f4363537e317d52d2f698f9494f179f9efccc76
63c8a6ee5c21dcb10471ec02cb75635c89261527


