# isabelle_session_info

session_name: JNF-AFP-Lib
sources: da1ef184beef195331ab7581e560a549fdd7bbca
output_heap: cfcf71b29be738d2b2f655ecc336fbfed5dbf922
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039
fcda9ba59859ac808af89faf9ccf4f1165eb514c
5f80675785684d3d8499b74a4a7ad018c07d497b
41457a0c3161ef11fb1ac2b24e60aed074b12010


