# isabelle_session_info

session_name: Pre_Perron_Frobenius
sources: b267de56eb1e7974b2a5d54f13337b152d2a2e34
output_heap: 8f388711b65c3feb922a5e2f230aa0439454564b
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
d60d9d5b06dcc91155fc420476e9f83938af9887
33884b86fc33b20e5d96bb9e9ee0593a5dabac87
4c4e44922ea5cfc1c828f37fe93e554b46181384
464e3b6b6b5da879c0d1f44329ed6fbf1674d01c
7b801768d214b1ab8d0ff990509ad7f14611c462
417abc038e7cdce03dedad48f9a17d717f284b5f
e8e9ff08cf87bace84143fa836dd1c6a0bfbcb34
2e485bd9a94eb6dfd553b02dc025b3549bf69898
fbc0413873c2fd0db1cd767deff143b7d6249983
2dda4c8f2b0ef17907160c0f069a0f78ea11995b


