# isabelle_session_info

session_name: Knuth_Morris_Pratt
sources: f016cef6fb5efb9a132453fd5ec77e6668155c8d
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
e41e34dd2653d34a26d51a619d5ebfce818a4545
31a3753b20b0f5487f78ecaf6a279c6859063265
7c1b0dafd4f5b403cea11b8f60a3c07a09a135de
3a292094088f469e7507f3aabfba3b8bb7dca8b1
b721b7a59f62799d31ef6d1cff7c9e2f1594ff5e
22e9a2ca2db4ce778d19cc7dba785214d31fc4c1


