# isabelle_session_info

session_name: Perron_Frobenius
sources: 4313e46ccdc598c4515db27884abbea112a4850c
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
a8749f911b7a86e71244743f340b7cedb910c4fc
363858bd09512bc8ba5a5986f54c4a9d2e5b42f3
a4103f34cbc6db184fe58b3d424c8f27c7c0c11e
16f2528d72804d38f14596b64bd45366b9f6bb7c
b07a9f62559804f6c3b428c19dbcdea5ef2c8bee
18e730c2afffe3cbd0f5055fe43c48fdfe459f90


