# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
770b0724ec92a2fa88f83a40381de2b0000fc1ad
245d9e0cf3e52663f8e7e0b4278f8a04206d046e
b19fe4e7b59aafe3daed60d1842132c3779c40c2
73c424377879e25a23f9945d13aee3d28371f28f
75f48efe6013e327bc624ce1829e6ff7f390ab2f


