# isabelle_session_info

session_name: Knuth_Morris_Pratt
sources: 2d38e7ccb781863dbec5a5542e71412bd92dd3f7
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
c53ea5a4b383bbef8b1798e086f5d679eecf4005
323b7c43cd77e027111c072504fd6f99b6ec1d12
b9e0f1f77514d328a62359fa47201af1a4e6cdb5
3d7ae90955f700acee40ae0424d86c556d4d79d7
95a7056334b1fc1e7c78708921d985b0ad9bbefd
3c363da36dfae0d7f4fbda49ee86169fa7bdb151


