# isabelle_session_info

session_name: Knuth_Morris_Pratt
sources: b4575bf472b7036d8039bfe265e3075ac056f323
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
87718d0c1aebf020a6cc483886932b0e8197300b
ae0c2408a41b9072c0aa6707a38ddff2733e593c
2d9a6f3b3cccde73edaa80476cba4207d9433261
58c41af98d78678701d98b926f2ac01f2f05508d
9a21ca54eaf7010ec203b321be3cd48d6993ca6c
68b129401816ec47e60440343754458c0492b0d8
ed94a1d8f57a9d675073e8fae0a257abf6db16ef


