SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 LtL ] Knuth_Morris_Pratt:threads=2elapsed=22.759cpu=43.900gc=1.212factor=1.937zXZִF! ^]ŗXf1-q恈͐7ӺV 6 hD;V& _w^F#4ZMKDź"̍:n[\!PDTa/B\!e/b:P7}΀ЖmTvH{,jSf5It_-0xՈe}=zKsV#OGZ慰 xi7!ěhx <ͥFRG+\[~\ie,"QoZE>Vagq=W;Vwb^yVż;s"JU˕~đq9A,uY\(j )D@TJ0[M>9(QCNL4DyVw@|Pr?b.{`q*.9ʵ5O1 k'k>sN~P2E,s`yhĦI{FyǬ -O?3l\YX/ luy]1ƍx9G]Hx7o ~-)+Z9gh@-tBFֲ( gYZ7zXZִF! }u]ŗXi%;.5 /2h* P[=UNX #@XHc|dqu9j@-7(dW1mnYWa,j?W 쑉r߷uhS1HF[ 1b0 +n #ô45D@6uSZ)w^ֲwKYe$}#`|+! =I K. 9HuH]-RFjD]ۓ]DMjuk=1w /ܢP *5R|BX |c];[4mR*<>CTjn )B6 5ݻKcs EM觝 7@\ Lq絋TrbC)P?EO)+c I>tQN_G~VjkX|TBx\̕Zx/qv\"Cs";1y7 eZ3~oU!+)G"J:-Bs% 8|lXБiVp seH8!ֿQd+,jŅᓂN@-gJ)1" k8=u(zyL#,* AHɨ&_ooC`p;ǃ_l^f 78!TtŀgyىɬP+:5/ó^sRd&C.ɘS4ɥX}%8nthaMom!Mo^'f)t$J'p\6ӂ {UἪJp^g%MhjKMZ2% =e]ٝgZt-A|HƧ(h(eV)L B$6b9n(a*H۳iSujs"BM bBfsGUs5;7))Hd?qțW\g>e7Wa1bWE~GMYQg& ϖ~ x$|\+«N7Pi7] ~ndGb@mgTG >߅x"YE] |Q>"[|ٴJR9}WI'|i}OJ}$Lzv]wΙJ$M ~%AyC$?'7]kwS'IR,4I,pŔU`#>5<Ѹߦ099ww{?Ct1N{( }midE@2y rRԷf [R%:d> VBْ* U9Gw80(V=٩;,nB_M`yV4FmǴHFC[g^TBIUDFrcyI{!5\ MQyeYSsSU!fa_+vw6S~pzH.SY(I]k/"Ȕ_)SZ#5#JWa'@¹-8O]] )ǺV.B(bxqfsNh(II]XNvIGq EgYZae4291807556c9605a877e6a7035dec279aee7b072c8d9de99c96280f85277cd3480535dfd12f3bc a3e5c8a6c901a5f1565ab53ce44c5eb1c6018ff2 cfca724af75e993955be915a4de39f143bdb6447 cc8c0213d42055125d59ed208212760c2313c07f 498cf81c0a818ecd54d46c901e5bd5e621e905da de552469d3315a7f86800a9df2cddc9232188437 72af23781a69b6f36e5f689b852a2e4c4598d71b ffd6f57adde9182e0ff8bfe1b0521f89149128cf 1 Knuth_Morris_Pratt13% Knuth_Morris_PrattHOL-Library.Sublistdocument.tex7zXZִF! 8N]A-MՋhvG"uIBm5Ȫ_O@.w:zԅ+|:KzC VS2 !Һ~DTSU8:RӸv Z3s%sܼO/jqN֍~N 3㢒*6/怋ĢqLJmK ܆2%[G<þd/-36O0X&>[4.Tn.)*j 9#6"^t^ﬔ >wc .X°jk߭t6Z^&a?mBL|W^b<ݭ>P13n8sOqHp ܬ8a/0f%N>Ե?,+}G.N;^:jM'TY KlRD'1D0jHMX9}bxrN c%yz])YYk3ҳ?iLŎItw UyR3U0 :P/rpCh~*Wf]9{hRUˮ]6X _ذWpX~H';hVxg林Z5y!ճjSJ h4wE\}Z@k~KDh5\7$ߛ3aVIϙ.1u<:@E/9 @թhLt))k] GGpʥsг-ؽQ!T /l_9$ih l'4jxC;Yk?fCM^'@-䔠lqu'$^6iW%ș,#?g'xp#t6!bb~\G?CĨp [5G&,0@@<%?OkKO48ei ᭖#$gmyCģBɮeAwZ[0E)Ƅ Q7%ĐYP5cؼ_؍j|}x0TLHDr'7\"d Z;12Tdc5zkB^ynE&e0n?F.(Okg  ae- *&ۋArX 5֝1Ϙ+_dtP@y<#(ĝ%1 ._"rl̂ޢ|{/ʠ K\K)Ϛ*zyxL z-#hw3='[ce(ƓQp`G ZzӠzp n;r靀' E9s?Z9]%)d>7sR}Ƞzk=oWq<2N5K bPF* R1JWѡXaxn3 piYf]W|qoVhz8EEQ J Ū!F u'e2;Վ6P즼uCXj4;Q!F${h!,ƟFq \%Ks%(e_K`Lvl8؛L5BPƧY60T.*g4(w<ҕe) Ci8g ῷ)E_z/ٓi ܅Qqz#ok cJ;N/]·B,EdH{'=649c&ϚS  ,TVG++#T͹ UZmY8jsx@WvtZoLŐiUEkˤ >}.՚QnI7RȅBBȝPv`KpnP'DнP|vNnN`C 5~a(؍HN[ކbjdm]ty*D 0rڈ'MopОe5+.eفk'j )c<,=/5W Ό huV%۲cnTl <˒{uo{*$u wjG*"VXw9Z)-NXEEG:\u#M?잀B+39$ f4)%hnX0e`h8ˡWX>/N.lP'䇯j7~~/$DTU5̥pfs*w;]l,4C(m`X?!, }4lƊO@xyUgPl],a4ߟMhD1]:-rhhxiS"r֞Zw>a^ eSZ+暍U#fh6/Ȩ]=sX3sK.kGZ`bv!Rsp)GF&T`- 2ts3[δXދ<~o_o2eʔ/ޕ h}M# ׻(69cG-=cqxKN!υ0=h]iG fc/c'jBkp[7\ WöO#TR;rk/E|?{&n0֛c *W a*bru.=}UFR [4y8՟9b)N1뮍=StjO\RdӠ2Ҽ cž c ]URq)NBR12p?ovMj1?s^?i! LnL猉Ƣ1B6@+Ĩ R}1 =:bg/_kY;a.7x՛ xh=K$$m#Gy+I"8]KpjtY5osݩ8wUߦAu]zFo2(d"xP۸Ү JQN6L gPjvBr`WOF Xl :19%Knuth_Morris_PrattKnuth_Morris_Pratt.KMPdocument.tex613% Knuth_Morris_PrattHOL-Library.Sublistdocument.texf/*~k8ԁ@˾+}RNKL/hXz a4 s~Zbm 6 ʎh$ELAN,A +^"t"m_`9c)g¦2>h[vyW$PQN78lE Ø\.]pF= !D" .fqV$+?ȟbAlhc9HbK48ZcKup EWA>L_%lyc?Tվ rzuM9=˹+z 6hMQAM!o<^gX3K*\oLy˚_G"dWz&+i)'aM HjF9ڌo`A3diP:vy`3ٓPȝ;wLUq6i鴀˓O0XP/Tc?JL*+_IsOO\j:]x'5i1k2^&I"!̭}!ec֤Sa =%J;L>& ˙̰#k4륥>e)eNzbT{Z]Wvb<"]3Íʑ7K0bkmc8˻0)?W>i#귔MfhXLnK1`w>S/$̚';PhJݾ_bJy~.(PuN07F/߉*?;xev۽`21`1h9f9_@ȳђN4*e~2_ W/*M~{ZAnI*Okoe(IKm^sS ѐ p.W]a{-~&(tSm(}v@.H(ociUnnq B8m:hOԸ]]Ku(ٍqNВc>>wD(dOM5,|/kh|£,FLa ukIwZJ$LC<3WەʚD@<6+9U,֡X[5DL׽z/{><֑cSfɼ56zYqj n0J/=g{:MMяe P?D2zu|OHΆmu+ iMpLLHĸYs9bOzt`ĥ8P@4tFPHV $`< &vۚZ8C/!QTc,2|=e3PjqaC` xAͽjm.[1\X2Og FЈɕ:jޠڔy0UPP}<5q8 AաЩ.$?W?7|)w;>ZpOΞ Veu1_(kV[-QV<=,TL.))Q8PE1ɐx]s ke' >! |Z `l]Hh\Kz&yu!>f }2gt>D'SLz(_] U rݼQdᢦ kͧC&22J6FҗST,۷_ge qZ&)UNd5\~x4*Pt;9Bi=(Hjx^]kÇdH@fRlDtEtGagٰ;?gnsgQuV| 7IX͵1D4z:݋} IM IR;x:7 VWH"F Db`&6DB5ṘS6Il5zttR>C(爖vxY 4>0hU]9k#cmY/1l^~hh@r0J!oxȎs\9!,  ޒ x݃'.=m`IZ8.Ɠ[eS+[.`9@UHEUO7`>u-N2 (@v0R24k>GtZ3k8:Iwq:?6TG9" z 0Ipkzb$奒iZa RY/.>{%DZ5[v:qlxo[Jk!8 A==᛫p_:i=(j:K"w*~;#YC[ضps5oSJ GH/rz'gvP{%}ivomRWvmS- Pᣖ 0:PhdLp/`?ZYR~lo3s E\_C/e H-r89%Gj)IS~[qL7xcECC;E|Yb բ=_EڑU'_Ab ?nPdq ^7cm 3Uy_Ab,u4)Ы7[2QsU-HMtk0! @ ĿC:4vHia/z]!ʇ_b[ ) JAH+F )LHAHåGV@q񎜶d$i,h-X[ )UaWsH%%Q%If]":/mR`t{Z_~SQirFf5g1o^:n ''EGL|g8"@T,cg2!*5#O82' ~1 _#'z)Bl/FYlI_D(T0Ek8Cv*٘q닥o+erYO+߸zgT"M]>ѮLXN`x[`H@ˮإ(c0I!3G  _(oB~oN*I kQܲ ;lDPP3|{7)C3Ũ#I eMp_ 3Fx14%|Z4k| dkEM9yw(9`S*z<] V/I\F`ZY5_htgsc?2EՌ!Ϊ-0g~>ﭿ`(L&U'Y Ó<0һyJ#[ޙ92lJ]'lCwA(=O?,Xf ^$4;[5,e"O Ĝ zJz95$1 vIݗi( 9I) + q] ڐ+n'JayI@ };r6z{џGt$|iмrH{E/]OY炕 8.slvT[(/_)0vuL{nL-wo%G>5>cSFw &0Q)Òfud RJ+o6=Ʈ"I/1XLln6Txo2;4xllphR2IdCFkX0C)% yuDYO+@{IyƿRac!zvc I4b|8vܨ3 ǿ!*hڐP- lA0HPF(M.?|Rk+ ? [(Zw|fGk Pb΃M0uF+M8n 9%:iSBk(kept,յOyZ8-JZs25r| kJcn3 Z{ 0ږ$3%#-V!k\~4σjhf9ꈓ{ 萵eNf7 |ɅzbeCǰD' =s3+$YR:]Ab T:q>Tؠ1:_)an&m%uSG8 +ul׊~}DFÎj>ǎgI}ovxBhsY-í*Np:)76ry%p$Sieo?JH_Ƽab,BLn0b.7DW­z+蕝:c!2w3Ѓ0lcj'&Zڑr[TZͶ>A0߿LTI=-b)"gD#`s!=sD=Ewho~ ^^xJ:?fjmC} ,[y_}^ Wg('1c|DF`HaSGJDC<hanؕ6rV2#>-} /Zr9:46ywyh3 #Sݢ~6KXZ}PݗgIV#)p EaCw̠XSGhhNv]igp0AkMa;9"%WKP] Jzg#wɻ.tD b鲫'(TV)(_"f SoUlA~xK£c zA+t|%̏~]yx 9},덺xolO`*Dg ?!lˋӊ=֙sCbbֽ@2ߓ)yC-R'?C8\LK ٝ"DL_|M"Z!|tUELԪ3+}P;aP&!pՇLK<;.ouiЀ$Td" ΋\{sFb ?!gR8NSjA~^x0}L9%ϡ<\N(o)|^ѳُM]٥ljK[vRA5M|d { &A&?W L} ,?ɢ[ݹ;>j *!.Go Æ#-,\ .Qd({V%ؠwFT6ABgEQ΃ U :U'CP+p翔93:p}7<]&r55 9+c&Ħ<“] )Anʼn9[vpp~e˻#ːj P:ĥOy\ߊ+ghX^A- ΉU-ʆ׸&C*!8fiћtDo慈3KsWKP NLF徸ɘU[4hδud<7zPLӐt25o]â~i/|FU2=z%\ `:]*\:49-D )tq*]@G%Ճ '=n??ř!xPE9“yjq_.O77SO'SXtK'Vܡ6pbdCf+$ s8nK"*\JT(7Xzmcj)6F|rf{_%Ejz8%i ⸺!Ƙo#7BNϳ%E 2ݬ;R+zFp9u+nʱ@v.ᛤ7pZ$>Icg]Z9$T|H5,cH2}1;\LR$5fukf->#p ) C10MuoQ fZ:r]0(yXsW6^O"S ԓ  ڄ}~<\SLzu)RҺ=IemRM<+2[^6DܞCC4N!t\7 `~;8<1G-|̎I>{ԩ|?"q#SWgj%< J+m WR+xұ^dd"Wx[5Z2q!:hO=_#Ek=j=k>D`W )vg^י q|) "h+^މtY &Hw8hC@S?8szE͈q3Ǭ;Q$UT:kLC!#K <Ƅ4vX1Rs(z2 yv0nX3xpMBLBmUV-Ypo?q7i X.ߪkNڡC%_0)3J|i9o'W8;>^OЍ}ѥ_/}833#ޘk؛)H A*6Z(`rhN+fEnw(fz%}?eͨ}򵌗"dSyrkHɃ580-4nK]Kj2 WZ O|T9i܎/gq~쏌Gt2!mi0}ǫ! Lq{0J۞@t>(ڔEyJ w8:uB֤^g g|T "zop=G4 zvܱ2|!yvw3|j +`E)O5ȓL)R:pБI=؞`80z?^Ԑ1B բtpƅtgP.%έoJÓ-*a}=O@gċ1Qþ}黄xtuJFE*iZ=TI* `l9S6. M> -ܩ _ YdV邟ª$F(3=|muXwh_ڢ ?Uzٺz"! 6{%.ʰM'0 :]).peE~1;v@l|T( jH$"$i-/Z !=O:ɬ~i7v05֛>G@(i5KPCa$Z}Bd)U @?$twh-2IeTC} -JeJ\ WȨ,Z~ٙ9$7iFM& vWYcRqr2꟭n1FTθ [)q\ħȞr+HWٜKA3Wt* S;C'hJeU-+ÌRH3yҀDo0'ͭEi b 2 yMAJs.ю05_%}Iˆ|2bs(ޚe#&h$ mnh[@ъMfV~U5Q GV/O/VP|z)aKj7!5 ^>;2t\"ś*T?rZ3L7<͵n_3nv`\&b0F"XBkX1Y4ҏ,XNgdsOWxmaIKJI:hr{ (_3{Jn Ԁ-9(Ͽ1H./ TRG_lpq+v!{{ghG 2Nz!.ߕfHr"fb$DƫSa7i9jVK`X#M<~JKe띍1un49M&DZ7l0jtVjWR2*GjoN״d]l[/[U7C$%M:bƇ-> ȆF.nP\ZJؽ|rħ$Cڲ\qz 2muIVh"n {5w%ާJ.F*қCB''ݛ25VU*!`>9خ])6|-vbhNT-K@*MJL9PRZt23evՃ-Y:,z`2Sbᾠ )%2.C5 -U @Uust.D \@cH"\6eR|6~Urn@dzyJN荄5E0 `VUr`q"M9 B*kl+-nj+lH} kY6x^B⳻d PdaeI9PAu%W/!n(e 4pC^rsP 6Óۍ,e:fGQN-ʾVeGGb+|,z^ޝ5 5z͙gO~p%@eWvG4L`:_R) UYB߾wMjoFhy颊J_kD, 9 pK\*xNC2V*` ~'Tm.2.<- ?u[5N[q!߬ ܺP[G;j+oxl=rP>խ(Z.0I)]ʋM !J-<<( _o'Dyr.a$£-CCv:Tj>#r.AG,ܓN54I=rن|`Ϲ|Gڕ膭ͼ݌FUJˌݠpbu%USǺ*Iy_u&U6Nkx)W1XjTK3]Sڅ )eɅN/Y9(FSV 9J/Øs, @Nf <5cU[ZȅC:jMiRu'J#*.\h7f7Ъnf}o:EۑfRplEs?B<-[J_]?M-+f<ԯ2R" kKVD΁,B!8cxS4Vj͟Yk?p. "=0^pbHBkG\ުj҉e,[/0u71' Hc?`j#/\XiP6z4G5$A"d6IS㟴ګg Z6j:utu!=Gzc e0̙zoNHywEvpO;ӞDLIэiB같* vW.^?_wYdЖTX2\MDBh 䏔"/!%Czw- LLĂP7x`8vn/wan?oֆ̯R/M#SBވ@ Y[D(οtrR}ys &W9>qU&VDABqث0toRl3j&}wq[&,yBM =>hTMDYQ}d4"77u"wHu?6~)b=P9V+wxL;kY!UHD>e_ո*h!:.:P͸̾sMNz<3֘[0GEI4C"ۺC8Vp43˴S^ߝ᎒ʶ-L'FgPxTI Vf_a(*/I?oy{hB:IZO6K"kueht@EP fBu8^xy1?0µ՗RrY%VP|O>: G|PeE7گءXq4v 2X&KPYDI)$CL ղa\D)3iYy10Ǚ=#h oq1D1SOSv[6Eb0% 4tn qsuM|v9K{H0j<w3`8bE C"+=-]L&kԿ&V&0}ex K9M̼7̵1BN-u#s&PXG,2ZC,{}v`}I iQӆ@ xۺ"ϋoD\_ٻ4VN]b0)yZJROPLR9(#7ߡE'r$ JkXGM,zCeK*ւʡ*@+t8Hi5PSMTt'7~Ɗ q3Ԋ DzbG"9݀E2 }ě۠/w 1p?{LGBt LHo: Z>W *nةvžJZxo="{(^"mCڷR*w-CƼAWnwdJvpex]h zkQqc|hYsG<((@:]֗!Ѵo fuAVpPu0pj04%z+Y8~>VS YKjcƢD{U] y^׸[`״J(\r/LwwRjv'rlG"l/al qU6'P(蟩7wd8m]E'ma} )&)~z@-9\WJlFR lZ="8o\"愤Y d55bvty;7Zh?}{%~"i&gq?q#QՊʻ֔0$8$'HXA˔]7e):L~-h۴(hb q=AJk`kPx"|#tX|$\iĤĵރrS6Ћr^ yiX_"^ xTQ X,.om08r.$$|=T()th.mJUf:A3ٸkm^(ь  1/ "f睅X}O Cȫ%>P1U"`.j]Wr#F|JU|?(8lwQ)D]k^}PGQaCSf-|k#߯{ZFp@&JfL ߃*m$OZh]ڠV,d?6UDSswHN>a+ZaqDKEY.ѱ Ubf/5[uoGEK&*ү KXin:%10)=2ы@KTRɹ_*醙#4|g!@"o(62 8Wrܽ/R+(P&Ń ?FQ^mZY:.5A ՀJRnK+"I&hYq+@!>9f.(qfKb]%E_>KfւJ63-^EJ܏Ǭ `~O4<;-0#J2mdZ]0,"%%vh!!saǘpV闪V? ;rcg!.f^tļ5NSG:FkG_e / V31fQbz/^ 7 p ֯1kJ>~<dpoڽ=?kN<;xj$le 9~CSt1']?`V_M`8 N_eOs%TQ4aVAh&"F%SRa -&%4 aY`˞W7#_b`&P*+jZ*~_vސ 3!T9r֨VӪ|$}]Zyx0N {#Bu\yu5l~6t^VϦN'+.}\FXdMK}(n4IVd<7Rc9lUxlAÏ F8ez&(d|dMKnzH=+;y0j)fۓurү;˵~W:Hm#kBO4mufαgYZ 7^g&p]ٍcUp4*^~4w9GKHiͣb1r\m[ل`9/D&%}GlBf "h|]PlԜkqG ]1Dz +XxE&g` )Yh xDn.{yLYF]4te8_UpФP5&]"q+Ւ$r > +% D&@`f{h"]A$4mGnVruz,>'{/D~[kS()39 w[-ruoˋή~s#oHFk>4 [05.w7YЍxÞ8|4ܘ*.ķф洱}zԾ*bGt!e2x BuթAR#ChQ>#} 5m}ׇG`#Z.0,#)>Q{3֔0eW{SlΉ-NJMxz8&t+Sz4 nab@K0D# }ô/sc_iZvL0QCZ{J/ΡtJm)K3Usx(L,EM@#ޤ3\m; R_7Em [*t3!^9r8^:{Q@|M~YY4:r@帓٪Qb ~ɨY|_|ŠS+SA"UXn0š*G6q%jj_ "%)q)^ 4%JͿ." R{}=>zc~& MqY WiYiCEN6HmI\IpӜ Of bPxnڼ Ñ[ۇa91&*@uEpIٴ6GhQg3T4gVoC4sU9/`GKS0$nVdkX>;# my nJ۳.d8/ۮ%*} ܧJ&@.Tݳp>D:zLјP)*Limㄛ xڝTEKԢ mR]vލ~1`H!Hr+ (5Lj"Ԕ]FcO;2.sz]" pO@\؛vs;tC.e]NIs3c눆5իļ# / 2驢!)W\djs%*ј22;.isr~/KnVSÒWAPsu4op #m+hgҶ:O3DiT#p9%)uh; N˴=ZRmg]_fuBٶ(=Юz@Kږ=>C?  Z=Q [gk8b[+!\U#L{(fiy[QutEĜe[9lb>dz [r:*b cz=dPy2-gv+8߷^pjĻl~SK#S=3NԺb`5,=dRXn͟^g"-1{q%X FWCܔrB97B)'®}y=gksyfr@JFk"hpm$V8 Qql] MGs'/|hZ++z^㪖Ę~ K? GnAe*NMQNr~I#v0.rA _K_P#&+xK{eɍIߓ)8Y4h- @w%Y"ef19%hZ܃`qkgy#CF1g B=[\?M yTp):iwޥeށ6G_cD'q8db~[4{HʊE[ ("ԑlihK+P{Mp˿?8]B|S[ lJ(4YV1K;1Dh@ wf>z+S[ FhP}*PCSt|1R(OR{cy5xklw:.[R`6:eIΐ`xQ4b,GzIysM .>x%`CFR2DD:%.?I3mH\Kx9&A"}q~p2r:m4ʝ>2<~q}9S`^hZR]e?,tIA7<s#j!LU⭗Pո]P*A|$FjݧgcQ_7ljtҥ%ArWtkj^%H- |$7[[dl'hR.r>3Ye] o_oNY5Tg*x6V{Rt\qe 8ۻ,e!\"8E!?] {_sA95w'sU iuD\ *rsAbR"zzU? r@%ID&`bM +R Ǧk>=j_҇>Pf:46AjIpSsioB/.~feb'egzbciʌJ"x}FqT>q}ll^20 8W\W@fWӻps.`U砓++?'}fWg?H}+}B@w>v<o@z̑$0$y it?7?I"כFCC61!03A^z.o'Juiglk_BikBKLɋߓcSx*/iEx~m7.\ƶq嵸߇ >~\HHXBS?^CHV3aBtqEUiȏ6񼠮a: ^_W4Z}ֽ|(MAԢ UswT|wxH0NUe-̖g(̣9!#y!HO*p4J!n5hc<┴;*1JI;%U_nO]b}}A) wKl\GƆXA/]x%"#bL>jk%6ȉayP)`t$9x{ӟv_*3i@l>3?ݻG¸3p\8 gȉ)p7$F$fڭDDavTX0Ds\5ܷ/Dar8Ldg^Zt[Z}`ז]0.cg wף($VMDb-Oa1eTЖmmC&;/=S `y;lQh/^qU;I24Ahb[p4Y*Su"Mhk`90Yb?L[խ y_ںKzTj.5ؼPyvfM5f<%ϿH񈬋8E wus;jM#fEC;Ut"t,rr]j#Os"\T T;RHX2vcr]vmt)83aͱ::ֆxRL[ 9J۲sG{0PcRAz !RT+ҭ&C}B&}Rky%wX#9vE=Y[4v4J&{hHY-'ωl+ބ zOk`K/DG]wr\+^`i,YRf@eD}Q?ƴ_mHM;r']JjAڦ%*yt=.UOBVoW2т2h@8ҥz@j4z&+^HgL e(ál=ax_\%8ZJ9"PrCN[˳eZ0YY`PAB`*kw{2dUBУkp.)3>qiN[xe@]|+&Bzѫrbŭ*}>)vKDد#5 ϫr!cE7i*b^zjr=\ l4kT FQz|#_HD[{90Sr_}U{0S Km6lIi_ o+Qgjf_{IJ!6k57.-sϵ_w `K8G..A1?h{cׁA,R-{b-RGo!fgtFdQxQcpuo\㷯*6 u\OgKioWG[@ 콻O0vo"U31Dk榙4Vg2xy lPAqR=%ykwT~"GMn"lUSeB,Xz:ԑJQj3\3// Iah$JI+&ӌg0!+)OI:٢?AAYSѫc =r8ݶ12hT~^ڲv֜<.M&nX ݏ^mK]Dc5g(HXmml i—wIZJ_S$ ENۼ{#޼s$RJkL# \TH]3<2WgsڪkmF ̏`\cDo}SrN 9=6B>;G3H9\-Dμ7IfUV*aӘ< jYK~_gZX'Lٗ7Jΰ՚YBCAߵO6qDN(>4%.>tgd ,F<@8!Sʶt؊sڿ\Lz`e_|9Ȋp =zT\d \#meI[%A֊ e}$c41GHWĵJd~>wV A>":)"j>=Z\2M+]kJ7cZhLZoceↀ }q Qg'iiFIanPw<%VEo*Fdzc !2n_k0$[3pqPyUB*AFt;ڦLrdue!T^u[B% k`|G->$5ft>qI8U2D*,#dZZ& FbU Cn@{/1#vЦ>SKx2P("pSHcV<3=¿"3h:b$$D Fuuo~4iZj%9L`̒ @:괫0ŕ>B_б a[S$1zCE)&ve.zwхuT&i &?bMO, J1ea~'"XV/gLtVdƺƘk}N~dzHΕBTltȍ\(>\u[YJgA4ګHo_WL+zILݺkQr}(C3S> l`戣o+XvOkOfV$K)#?X}TDE\N *?R^bP~r<+uw>-Ļ,WWxxvF#FԡfiB.1G`p=NlhjK > &MqIzr6'G%YA1{(D1u7I~ 6IXYm(,%<,[D@byR⾌<͐ɘ*NjWӽ2Vۢ13@DJ Wig6#EbK[nH*֌|ÝM|7D*F%:'^GƒZ72 Ģ9pՒG[}awR q?Jo2~+Ӹm=;# 5!JgA fǿ7[n"] (+ou3*!?{kU@}NQرjѧZ8xPf[cb![pr Q[],vDg t^ThYLvҢ1HprNT;z C^qu~ަP{O hwínj9䢬0` (-Jf0o>Nb}}鋩qf7a)Zr娩yR9)#E}U$xmW/JB?f/{ڵlo; NΜ]Ơtzf )ZsxG2_/?p,JVvW列^EuIgѽQ%upO9*p$YKC2BfǡBh;VSIMvide.ȾROKL4FPC`ʦ&ZiQ*J^ZbdIW΋Vu/{Յ:{rܖ-Ы_YsǃlJ F{!e_ZUCEvYд#^Q. drI{ eM8Gy5P1+G VZE-oMgcA!7#ˠ؎/V ɔS̀Ra fAaeBhsJt`/Z)kS'7ݸaP5uϻP1#N

m^A/^H:ctژpMB֙k9G櫽wyaMnb=Թga?#9vˡjY4+THu0;Y zmAXM~ ZeܜCϻ/_>H" '*!,:'V3^>ͬmiX>r:Kcq,zb8%X ;+Ab4k؆o8O.b}!A\>U ) e|M}[Wq&Ki+tgZ:Sl {{zN}(͹wiI0ꆼ=xaԪcHI~w1K^h 8ܝ ջ? @5Grvkp2Fʫ5ɲYްX/EtKh褁kCܛ)> k\_As_vCvz]Q"M孒'⺿N$^ ¨Sб @Dj{֐0{6sk+ͽqx iդ~ ,^f[Қ^2bW6!AWj(H+jOcUN-"Le aM׼N6o/xWҚ 5Un?ai]pGiQF IđMq֬txR:R\~V@#}2bFSTK}Lj, QEfٖR._0^͝)b򆳴D@^-8f7% Y'9qVTCeOkYT3pɵ!$&:hh ʋbhA_%x"NfЄQyq_7=X gXL-c8rWZTlYϙsFѢ%>]㑉"#T /t'tw0.R 3vj3~2uϗy_ݿ6+~ΨR! uӲ5t-vwF^Uq-ɴ7G } -ףt/篛 Q/1"{1 ݅Zoq,l\`twy7sI8-/ A$4-/9$PUT: At1}q?3~{mOuG|6xf9%!/MK9'qC'1ZhqWx?%~9?_0=GTVb塾6wj9!ruͼeZdKF|H7HQz5%5A偾G _R4"2-6|RQ!F}V^:N_F@4)D;(|-W;X62e8A⍄u'Tm[p,\D&ďoņBJ)Ўh 6mlWa'Q{ *"Hvl9P!Mð <^qZ݆47|o6֓i^HWyzsKNϭ37ӣgi]H!Bb('bhPQmo*3IPBjGts=@R(z7JZb}J,i-&K88-}Oʄ:+fL^yP;[Rng=N%qJ 5Ѣ\L;Hb=NCB0~S|}=OA:/]ΥY t3X1x"OKVHwB}QM']}`Yo(jP[ $ I#t_9Nc'COJ>fOy@ 0^ފNJ ´gU(+26۞\K˞Pr Gێm,-f;r +6gym:"reK5%E-]ÐYݧ*jշL !wJ&w%bKBpiҜ@rGIF fIĞ]ȚHU`ht9A tW{NElFڍowNcHȞv[>^GZgŇ ;Fۖ{[YOCW,/ķ`h9WL$ [NnKs9O%ZWM ̵ByO%5-41MtlM&gQ*v̌~u;i&o8L0]Ӥ,˛UG?wf#9P.'/BDZDW d ~מlNe[fpfC¿ 5}с]K"z\hh?s"9$]Iwu~-z[#_h2| YZ߯;#؉JPj4)dy {Sq:Z.;2w|FD%vuM`֯ 1%Mu予C{VL`lXm>qDм%Q+bLK8.]R*WSA.WYXB^soLV>ȯ +,9y$\ΗH_(98?oqIr KmSjZeRm}fXtH1Bkt8Paf- q&gTiϦn/|J弎ep(ziFVBgi GsWNR6z<'ID4c?I*^o܀=[tyۍa*nڛ(܇F\e&I㊻{,wXJ[>EM[|"6)H[{Ew Omq}!+{nd1x5Yi".lq?ź?ڽǓ.Ax-jB:$ѾC4tEQd t_ λt'>C# ~ eD.Vӝi[+a(KD̗~[es f?mv|@P QEݔ#]@a$~zL%!ZKo'=v :z+q֠gG/M븸_h^zV7F0z(އ1(bpUY gse?yd֠2LiN95XλԁI? ;iP 6ϸ?;sd֖/M=(6$#48/7ڢ !2αgYZ 13% Knuth_Morris_PrattHOL-Library.Sublistdocument.tex7zXZִF! 8N]A-MՋhvG"uIBm5Ȫ_O@.w:zԅ+|:KzC VS2 !Һ~DTSU8:RӸv Z3s%sܼO/jqN֍~N 3㢒*6/怋ĢqLJmK ܆2%[G<þd/-36O0X&>[4.Tn.)*j 9#6"^t^ﬔ >wc .X°jk߭t6Z^&a?mBL|W^b<ݭ>P13n8sOqHp ܬ8a/0f%N>Ե?,+}G.N;^:jM'TY KlRD'1D0jHMX9}bxrN c%yz])YYk3ҳ?iLŎItw UyR3U0 :P/rpCh~*Wf]9{hRUˮ]6X _ذWpX~H';hVxg林Z5y!ճjSJ h4wE\}Z@k~KDh5\7$ߛ3aVIϙ.1u<:@E/9 @թhLt))k] GGpʥsг-ؽQ!T /l_9$ih l'4jxC;Yk?fCM^'@-䔠lqu'$^6iW%ș,#?g'xp#t6!bb~\G?CĨp [5G&,0@@<%?OkKO48ei ᭖#$gmyCģBɮeAwZ[0E)Ƅ Q7%ĐYP5cؼ_؍j|}x0TLHDr'7\"d Z;12Tdc5zkB^ynE&e0n?F.(Okg  ae- *&ۋArX 5֝1Ϙ+_dtP@y<#(ĝ%1 ._"rl̂ޢ|{/ʠ K\K)Ϛ*zyxL z-#hw3='[ce(ƓQp`G ZzӠzp n;r靀' E9s?Z9]%)d>7sR}Ƞzk=oWq<2N5K bPF* R1JWѡXaxn3 piYf]W|qoVhz8EEQ J Ū!F u'e2;Վ6P즼uCXj4;Q!F${h!,ƟFq \%Ks%(e_K`Lvl8؛L5BPƧY60T.*g4(w<ҕe) Ci8g ῷ)E_z/ٓi ܅Qqz#ok cJ;N/]·B,EdH{'=649c&ϚS  ,TVG++#T͹ UZmY8jsx@WvtZoLŐiUEkˤ >}.՚QnI7RȅBBȝPv`KpnP'DнP|vNnN`C 5~a(؍HN[ކbjdm]ty*D 0rڈ'MopОe5+.eفk'j )c<,=/5W Ό huV%۲cnTl <˒{uo{*$u wjG*"VXw9Z)-NXEEG:\u#M?잀B+39$ f4)%hnX0e`h8ˡWX>/N.lP'䇯j7~~/$DTU5̥pfs*w;]l,4C(m`X?!, }4lƊO@xyUgPl],a4ߟMhD1]:-rhhxiS"r֞Zw>a^ eSZ+暍U#fh6/Ȩ]=sX3sK.kGZ`bv!Rsp)GF&T`- 2ts3[δXދ<~o_o2eʔ/ޕ h}M# ׻(69cG-=cqxKN!υ0=h]iG fc/c'jBkp[7\ WöO#TR;rk/E|?{&n0֛c *W a*bru.=}UFR [4y8՟9b)N1뮍=StjO\RdӠ2Ҽ cž c ]URq)NBR12p?ovMj1?s^?i! LnL猉Ƣ1B6@+Ĩ R}1 =:bg/_kY;a.7x՛ xh=K$$m#Gy+I"8]KpjtY5osݩ8wUߦAu]zFo2(d"xP۸Ү JQN6L gPjvBr`WOF Xl  \19% LKnuth_Morris_PrattKnuth_Morris_Pratt.KMPdocument.tex7zXZִF! 0eE^]A-MՋhvG"uIBm5KFFg+&z=kOB(XNNƷU1cQIkxy5b(_R_f d u'fW*qw3t; "Č{)hzJٯe()t#E&PPEi ODK/H&ya$&Tep *I$Rbu.qmRuH}NzF!쀭#'M#*QXZS6=> +K;,Ǧbp UZ:H֏]CV&OlV[["s>,Gg.]K.ܜ l=EeΔ?k&JlWɷeYm.opd%דzNr!r)Db20eۿoOaUG17v_8{ n\VG$UhQElu?UxA#K9Dr+>,H4\yQ魄9;1򳸂י$mʗQ΃]ޡ-O:?rfc_(ML#[vGH\nBTLv.v 81AT2Rؼuԣ[On*y.f8#U CILٔd TL1@a\q}3z~sT3Wdj/ IPXbA(DDɢ6h"? u]K(1yPDQ.[ds40Gc]sV4"He0ir#o-.*&ABȦ喽K LZ_Bv ›lWdE4@Ktgge@g]>{#ٺ<]~ 2<یIi0L?_8-,4?ikr`S8ESEk:p UtLf; _o\ Ӂb$d(GB 7)@ jN{\Q Jz5(0>uz^7HMN؎g.h>t-&^>UB+K~Tswj" ZB+d l7*'>|K]A8}1 m51a{+^::m cw5Lٌp'Znu8OBF4k,ՁͣgHfӌvKw.eI۠Ű LM ͜35 VW\S<;X~-]Xì