# isabelle_session_info

session_name: Perron_Frobenius
sources: 91462e3021aef787c6da724b9aebfb39d7aad937
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
d60d9d5b06dcc91155fc420476e9f83938af9887
33884b86fc33b20e5d96bb9e9ee0593a5dabac87
4c4e44922ea5cfc1c828f37fe93e554b46181384
464e3b6b6b5da879c0d1f44329ed6fbf1674d01c
7b801768d214b1ab8d0ff990509ad7f14611c462
417abc038e7cdce03dedad48f9a17d717f284b5f
e8e9ff08cf87bace84143fa836dd1c6a0bfbcb34
03981de1561fefa561083355edb24355e5bb945c
25d992b961615bf4fefae3878aa1b72a707fd596
f347c6a688de31abcea9cb7f37b368e57dc91017
05f768710f61bc40dad62684395d0a551a4bcb62


