SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 1 $tt ] Knuth_Morris_Pratt:threads=4elapsed=17.093cpu=50.984gc=0.984factor=2.987zXZִF! U]ŗXf1-q恈͐7ӺV 6 hD;V& _w^F#4ZMKDź"̍K-WĊXu/_?Ko mmըLI:DVkNM"Ϧv5sv5MޓTރ`kuv*m|ǐBFPqjjY*LMXiaSM#׭<V.ːbatW:2}14O nnT.7g(\:YV^R@P!m P8c"Hd}7t>x&!doIx&Dzc^ľ}Uú'նpK;?c+.E X J_~4\Ȗ2;s,6!=nwK{U|8j2=)ӫBSQJτOW`m2sˌfk^017O1X';!g. c݅*I}联_t2"HhL\Ȫt^|Puy.K9̗#u +1Jvy-15H@pb_@qI?c幣-k:)oqQ1] Z*tgYZ7zXZִF! t]ŗXiɟ1˦r>yǬ -O?3l\kie$m̤)8=¸3 ?i%]7bWJ>/mEo0~DH'ȴS@'bIhgYZ7zXZִF! uq]ŗXi%GfN B!;$~1 ٫Pхt IDb2QXn(yBV=**דw?JLqPuLm$b- !bNѻ+ؕ@.wdlٕMu<_Y'NG/H_re U4P AZMta/5ZK vF3vs2Nz>[*CuS\7 ~CIQ\0}S&2-hz0=@hkPsu{]@f*y61:-nSӯ5!϶qfQcQѭ-BS+aYU׉7cQb@R]Z,g0M A;EU3bY;J@s69{`zoq˫O| l`LϬ[O_̀qRs:cT%?1V*Xٺ{3A"lyt,ݎԈ+G#Zg5^KMu@{H&b?X]Yh/V́6'd/֏)4+ b{[mU{rk d(9 oq^ z%(c2q5,sPHo:']U/`:} NpUms%l.fq*.X&]̫$t+=`(3k'5՘fT *fp=>Ψ%jۅN=+,aA.]1$dE=n=p[xpg'QX"Q{#FjjBKeK]5l&_wYlwQ EA򈻠ni6dG>{D#UfPKUDW7cU qIl:a7'akL O2K1nA8u͆8#kJ-^W7xURDه*hbyZL41|[pgrj 3-L[N?4 T_QN: d2*y-V =Z ḒJkN bݳ s+du;qۦf ~ǭCão!W:I5}!Ua6j5$OPRNBvʃ&cVQd%[Ƶ5Ǩ< 4 &'p0e }#J|F~Tb gYZ3969ee3453fe54dc714ab4eee3ed55cc470ca3ca1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 6cefcd2ed218490289d26dfce1aa65d5a321aed8 d1548ed7c6f6deaffb05a61a9153cc2ec17b6c7e de6b082129334e5da25887c2d89ea6b01096e3fa 41af64fc21ebb5bfbf35b671947db0ed3e9df828 d5f191664a65b32db37c29225f3ef9b1968ce697 aabec8f4f4b6ddd4d84c460ce59f5c326517db8d 1 Knuth_Morris_Pratt ^^19+ LKnuth_Morris_PrattKnuth_Morris_Pratt.KMPcode/export1.ML7zXZִF! &) ] %H  xzQ,O찺& эS-5[I3-:1c虼p)K܈>()OdgC9^y'6o&H2ZGgSچ:R͛1k HЁ~K$v;KV_%eIWnJ 1EvA6dVJtሼZU/*jr471+qݻ6$$#qN4Ϸ4S_1piؓ'pߒ&>fmGu)IUqO[-Wf;\⋅>@|- N(ٵY| g}6̇NJGYշ8USX$^tv~nͯA5ωW/MًO>gnBfN<\byn-& ̔%Y س_b EQQ|D>?N~$DRR7%N%hgE}ac-^Anx ԥ'3jS,׾m=Hf,]5Sɾ/ĥOWgC*!.d[HBo!ۍ聘 gDT_lj{^$} 2\ Ɩm,]0r<{1@?<.x܅\7n}+Xg^3awP$췜bu X YTl_0M#7)KJC^La ěڊ4w;z"7` 4aIў*weB D~y)qB :oۉN^ep KrƲ ʠ9kF'q,|Dnu^gB(Yi&ԉGU/>V~]$v䃘 tC8nZx ϟ,֛<|s`4:)Y*vDJGU5H<L'"![S_BMhs.=Ao" iDJ\=!Jak^JaN_eSK %~yv޵Mͫv02ksxb\!HWu~b*0 T[~Ⱥf"tB4 Ҳ>MUcލ =w3~Fua&:p=h cf\WV5Zz=phOjn#OP D5MCBBH!:u+7:1P K'^,*erdtjI5U_I_FXʂD(Z&Q*p;}qC.:}'8a#)WŖ^t{m¾9O~mZtoȟFg(RxDj3j7}:3Os+?\-`"Utc#:9jk*vvP7{%k__xf>QXAfkp (!pN e1qI/ݎxBȎNMNWxJ ׃l7@|@F P]cunꋵG9a cB~|R.*Qby='Lr9gYZ <19+ Knuth_Morris_PrattKnuth_Morris_Pratt.KMPcode/export1.ML