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 \| ] Knuth_Morris_Pratt:threads=4elapsed=18.385cpu=53.968gc=1.084factor=2.947zXZִF! ]ŗXf1-q恈͐7ӺV 6 hD;V& _wC`1tpmr|ctt(9%'Sߨ-ӓk cÎVu?\8OWsh!yg?7I龸moCzFlpА\yǃm̊RqfԞX( ԦX[f"BkDaDa1CwE~py*%PTo@̕ 0=thRK̐ew}uڶAܸOAIFA >{(m93'3krM\QlLZXf)u;w{G7Rem)^!Q)p$(a i;pPd4^Wy Fe|)HIܟf,N:_ޚ9Ѣ<6mL$jI"|< p CE`KgHH-IRٱgYZ7zXZִF! u]ŗXiɟ1˦r>yǬ -O?36r7'A5Ҭpwзm=63Se^Jʺ,&FlLU. r M8uMʕ*CSgYZ7zXZִF! {]ŗXi%G̉SJW^5`cC*!X2H#<5KKa%9wm[z{9\|YjZ myYVz3vϫΤ?#t3\ x#sM fPDx( 5KECў/+Bc-8u"w)N&14]{~XbI%m'qpW<9\a"k$sUAffTԒcfJE 'ڡNaD+W7VФ,2jȀ-7P%#IZV[*unvBLlr DjJhM%R2И̑)}F&:pxU2PbT; 5'&7gξ< K2֊[ߌl|@zx+YCzYLАtSBRbeFTqC/PXQ)9*ߕ"Hmrv d ZW}I\VEPc&KI,ߔA8gޜ,w­SջȞv~"'(Zbw#hҎSw|/ E#ۢnazx^+ǔ i*#gRpK~Z|hppexg,:2{Ffj-!x5K7:o݅\'KTpԆXygrӃDTN4s爻;EIwL gB+1u@@lSK+h NYBQInq@Re =q*(w*ETA!IWܦ&Z<8te*P.9 *+T_56T?5T_IJ֨L N}[daa V^faTXJEO~GD=8Gh,jIB#^"¶#:~Rֱ>H &D(${e(*p6DZJvywfrbwhYRw8Px?/n?Y}H } B d=%cQC<&ØuZ6ebdq 1 S9G̡7KbfókќUӢ?َ , SbN)vkkn(bL _xY RE O" Ё\O@Hوf<B8.Hb2]n6Ab  +})gU˴#%Gdხ\NG¾Ƀ*GYlSh23Jsq^bGs%~JtD3Op_F :^z?f 39*FΫ[Z|n*AHv[:f8X0mC`8 {äH}U~J` Z"SijaHK6o讴.=| ?Q OpeOU!/21D[R̢J #۷H00P~J)Yf:Hc´0{f YYC=?9x`|HI4ԁ4ۮFkՖb;wٛ)kϏfLYvGnlP=\;mj'l?y`Atp}g{5[J}.d|9>gYZ1e90ca874ab0cc5855f4503d0feb321dfead19f678a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 388404ca9f9d9a44acefae5395149c5a7edcde3c 4774b27fc112db14dc00cdcbabe06f2ea3ebcd2c 749960aee6aa2f60467f1ed97969bc17fb49410d 9569bc99a5c2fddaad5a172299b0fcbbeec42b86 7e417dcbfdec70aed7be782bda8d26b3644e9545 5bc2f85f9c4b142c07171dcefe8fce7c76791ac5 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