# isabelle_session_info

session_name: Perron_Frobenius
sources:
068ae0b6c9dcbdc05a2e8d29240ec0383665c454
29a231a92b44fdd3895ca86d43fe9477a9e77635
34464ab2f12a41fc3135639fc645add3d98ecee7
3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663
4aae1c3bbc783c25be3e7e59fd95e82d957a03e9
4b3847e34dca049394ec5712b5553b7a7fd3e2b5
4c7d9c2bd3be6d35c58164136a474aa8fcfe757f
ab1696901e1af5e8537a9898d9ab87cb9a3e7e2a
d2333ddb008a5042f7005b01cc224c6044fa91dc
d8c2d77e93e37814425dce22021c1a77c806e839

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
8604b41f1e451262fcd1286c482b758b73d1c934
239ba587503017ea0f059c92e69d255d6d8a4747
68692b2155dd6508f42972a48cfbc300b551e0ca
82c8d9a8c2040254bc29c2f111692954d485ced0
3527e0367a77dd1f48937946514b204746ca83ca
fc34e34afb0c270352214a6f8be95f09a6e2ca17


