# isabelle_session_info

session_name: Perron_Frobenius
sources:
01b0dae6b43453d4cb5fc048050e634b609d4510
06f3f60604adc9905d63154259b7bb096f66bc3e
34464ab2f12a41fc3135639fc645add3d98ecee7
3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663
4aae1c3bbc783c25be3e7e59fd95e82d957a03e9
695ae18c2be53b68fe90bbcfa47de24574d800e9
8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905
cc28967525b1a31629677a4a4de1a86962dabee5
d8c2d77e93e37814425dce22021c1a77c806e839
da39beeaf4e18086bd6147822c4b1dc702c169ba

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
f23f98568b481cf01febd03c11cd3ba915ae94de
095b0046e725b6c76e6b07dc490e96c3b0f10478
20251d361feecbad0c3a84aff16659cd938746bc
9582bd6837b5f360806979a4132eff8156e271a6
86acad12979b3324d8602279b626240de3ed3e5c


