# isabelle_session_info

session_name: Knuth_Morris_Pratt
sources: f4962f1c680fb429a2c6f8d8b80a53a0ba3ff5b6
input_heaps:
c58d21ba3dc8b698b4c6d36f436849048b45c256
c642f89151926be6cc7824e0701f1f7d684cfe9b
847552051a3a4a92063e64d41cec45217a8db3bd
929720e61c0f9cad99adbcdb1afb5a95adb9a1f6
1edfcab2115ef70ef89b87b72282ad56d18972e3
451952693d5cda3e3c1635a8e9458e265f7285af
1a32261bc0c3a16a92aeb57581caab4cf70b2fa7
b5f56ceb5ec9b2984d3cc69397643217e8ea2bf8


