# isabelle_session_info

session_name: JNF-AFP-Lib
sources: 32495211fdd4a1f8202252839c15c8b62f89246a
output_heap: da130666eeb4c61a1fa18c0c29d6d9f0db422dbd
input_heaps:
fa7050467ef8f63fd56cd5cc004bca4176bf5785
29f89a8c8c3de749e3d8f52dbed7d75c52623d3a
7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740
70f4b946e63625a4e15d03cb5d11a4e6c8108b42
44b0cfc5db7f19bdb69739da20a64401a5e77014
8491750690a8d11e9e3b02951edf53ea46b1b345


