# isabelle_session_info

session_name: Knuth_Morris_Pratt
sources: 680dadbac45c3f987b9e7143d57429c5d25714a7
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
330be591a57e96401a40b8a7be307432b86be4fd
4d1acf8b3ad69235746b2df772213e4af4344ed4
8b69c101272299c6d81be147b8d5405de3b3507d
f17077f4e6452dd9923a69a8cc10d4331db6b6cc
adc35e4839565a6f997096a58d33a258390e790b
cb8e8cf2f31b361bd08f83ec5effde61b117a8d9
1ea8126dccb099db101006c262c19aa1d242391e


