# isabelle_session_info

session_name: Knuth_Morris_Pratt
sources: 735692cac233d7f9480a32d29cfc4089ae55a9ac
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
e650868a8fec8e0f04be9c5397bdd9d9f03125ed
27471260a385ade7428ca088e4bb6e156c7ace1a
4ab85b266e4e9756142129cf2f6637814181d291
02394165d07076b93f9332fcc8867be1c226c7be
8c3b31d661b0d156cd2d8bb3637d74d2581974e8
9b4596ce36003dd6d45da54c07354f2ad93c1c87


