# isabelle_session_info

session_name: Pre_Perron_Frobenius
sources: fedb246a6416ab477a7393cf36b1acaa1d3576f0
output_heap: 0d2a4a7b7d55639d92150b0f7ea6e47a11697e5e
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
51bca5798766ae8b6082d8e3253d02652fec4031
a719a564881bc4392379bb5b59a6eabc6cfcf740
0a0b61ef0e5c87ddf273fcbd9d26a78087d4bda7
d2273ceb5daa9739a128b84a0614616d06e62542
cb53f41bc52f83113bc0f58ab1b0508c7e71e022
6640c80159a8c6d71abc3d9c812d70a3249c74fc


