# isabelle_session_info

session_name: Perron_Frobenius
sources:
068ae0b6c9dcbdc05a2e8d29240ec0383665c454
28aa785ee3550a7a2245384ccbef42aeed706179
34464ab2f12a41fc3135639fc645add3d98ecee7
3bd6cef377d5ddd3db101b937bdf0c8237e66c44
3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663
4aae1c3bbc783c25be3e7e59fd95e82d957a03e9
4b3847e34dca049394ec5712b5553b7a7fd3e2b5
8fc4c7c914b49a02862e1e9c180c6afca17d420c
cbc6dc3ffcb11fb92bacf9ddd7368f32aa123845
d2333ddb008a5042f7005b01cc224c6044fa91dc

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
502d441ff4e78612d9bfdcee6255c73d96f5757f
669f1d989ccc8432ce0207b5dfb87086e159796c
46438ae7a10ce597223550964e8f0010dbd79bc5
ffdbe4eb021ba3c89403154a91bfc626346e9dc4
a33eeca6bac16630f32367afe4da358911c37ebd


