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 21 lt ] Knuth_Morris_Pratt:threads=2elapsed=23.695cpu=44.928gc=1.324factor=1.907zXZִF! m]ŗXf1-q恈͐7ӺV 6 hD;V& _w^F#4ZMKDź"̍:9Xnje4_kK=?kZÇnM5 h<Te2J8Ã(E DF JWQ77g 'C/H7:\m">h\:0|9?:ԃ[EbG9IFի%nr- ˏ,jQ s 5/k\ 7hcQh-`U2{>o0*=xhh3%^وep¡w,K_"?E#nXYO}K^Xq[nM9-0h.;\c')8=*2u]7sO)K⬿Ƿ G^  ..= ,x|$ɘmOH|*jxn[>? -wa DuTp@7lDsdw<͍(6 TA ]8~d΄'wsۙO C9&UeĎZ13{Yœ~*Ӏtު2A)Q gYZ7zXZִF! t]ŗXiɟ1˦r>yǬ -O?36r"CNջbL% vehb֦ٝffacś)|:Q+HC쎙39A͊ShgYZ7zXZִF! #]ŗXi%; =q.e;̮YXߪMKYop¸Dsmq ^D oԯ,'e߮b[7Jٸтw!<&u"6rf'!$6_J+VÒlgB(+okLzGd[2/K;8VO@Ou]։dJ޾hJo7+˿+dE3⣗=HTZrlt5"Ekiro_ԁ6Z82v tV=a+\5\F]5L~._ *ͭ_{|(QԸm/MGtk20Yqx=zB^Ud+Ujr(gMwgx[*YΒJ)fNwjXY磁5z+ļGį jЁd <WB٪ PMR$FUy lYάQ7 =Aut!\Nx'MQS{0Kzi5JW@_/m;4 R]dp{ "/on;m ɶ.,Trh=FӓOʗKJІ7H^hMy*Ⴘe^g<>ǎջle%ں@/eׯlen?`mC充,g-E@16Yߺ&z+Z|(?Qf9^  eq,ti#PR39%T7dʠv5̑%93)u&Pw)BN,Aȼr*'uL:q26!kSꉍ>C~7[,T‰yn4nIޒT[:c1E^'ν99 ArZuĎ@s;*1@x?] f.^{H5,$bOZ} uePi]A`Q;G6R.Üſ~I0Cp# ľ=f|n_Y2y4@[`rV5ߑ[c |A(9\cŘ=1ޮ-BV:&dɑ̙gCdr>ȉG͎c;T,&LwlSq{Џ桉 hN+N5Z5ޠad]:8gIOBhUjB]؀vr'} =C:@8:9M7vK;;h.5QG }}{n2a`uG޷},wm!uc,- EߕrWOA&WOh]P@H3+CXʨ 1vG۠n<]b$ ҰgYZeaa8fe5d419f40fb95eefa7ff1f6e1de316cfe680a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 48f5e92669655eadf836376133942ba1735ecfbb be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f c581a6ba72ff0bf81bfdd7e69d09d8f5b5a7f35e 87bac576e771a9f5831917f2060c142dc9c6e504 b4b72f8b5bd3fe1f3d9c8a06ed37ef9997e7bc16 45098b2b6277b1d020573fedf8aca5bfd58394f4 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 )fbW$z7^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,{VzZ?AhO&JҚ;":[ޔ +ksARw^~zhshs@JEY.LPVF0!*BA12]/ft>!9 *֛0וeYh43#;nu3PI$ cU_ka|3 z$rl}XT<ݓJ#,=Bz}52|O8=0(5!U o*rDBi)9;[tF[]rlXoѳ+"^Ib/묵&SπB\vp>PB>}MbvC#XJHmfSXD5{kL9ԥxT> 4B0|[k).Q4=e9ʌSiYBg7s'Il-Vj0؂΋g+'o=Ձ=nBvYmmG"z q@λ$ ,UDK#c"نNΕ#}!gq$z8=8VIV?gFm#&wVroy"&!l'?,*:B;y k,衾xZpO %r`_ַ뽳8Tbogx9sh/IueiF%:)$x~=+#1FC)6˿&4ZNUTOn)c dh{<#d^lw+>Irb8[DJ3b$vݱ֥D:.<,O-2vU~p/nVjk1B!`ԡԼ _L@K MqzgX Ss!F͓B^/Yf-nq4kI9sڠ0Vr aԻ̳HLe!O0܋٠ kc£5W䢫7pUFb$iP@˚j,« ط+i@ suTEw?e;3.u%\U3nU;]MόsÖE%?#wC0@4?žw\..djܬѴ% +!$ ۼuFWƔ`w!FƻP^]^t5NuRñ:˱sN TTܜYwȱRIf큾ф DYi5iA$w$8-,H>d#hZLYmzrpo+~m  ؛P8_U$YU=W57]k++mlv+#qkwjoTɧ 53ΎN)u?Qe9UXnQ{{ePl)]嬇S`> m9찋0{;(A}ׁe6R=#UULmBj0YG w qoQ)RQg 2*{\U+t Ah:CKi\x!E暭U&H|,]x!1 @T9zjk::/&gCm(yuN>KբMdma67$g+0ll:|R7˶L~3{N/ITsx$&xkt-<"cE}6ki{VNa,Ҕ'O/\c3a yaLLٌO x?I)F.Ң1;sdߍ*FG-U@c0~`]M%WXj:wos`2 ۣ]=MUL !DH]%_j+ eXiES9Mz^`m^|*據I ^PckIj]v,SdZbG??sH.ZE#T3|_UdQ9}@N&+b{`׉΀d||S1( p\JgkGd eY^qk cKrMf`yjE9vJ~bܖ+u<\C0h6 7'xZ/?ANۧy0RLJKdXBhH 6LJ}uŚ{,)R\]s*@iL)6ޯ36 {TneX 2f Ѓ˦ÙrxNU]Dd FדX]pZbi6DKfNjNp>MF<.a8HD>/b`̏6*U ?%Mtm(HhP:1Dޟps%D)nn  :ϱ"1!Y)ޯjcqNv{Y޷䁖7L]ImHֈUcgЪ^j$eиMTgp%Dnk|A.hi_ת,qERzO56am /(UZ?$IZEH>OA϶u?R`~Ah\KQ_NŢ?Db\#+ u!u&Tz]X1Ä̦@_<G`ԃ'OOUc%Jt5#8C<s":+H;MjX!즩$⻶A/+oԴ 1bzjYVVT} 8lofp{bI[X3XVi̧lZ=SN)XWJo# 1~@U)!v$hٚ*E@-ooU5P2B/Ig`n]޲TPwd*tH]-Q&`MjU@-'"xH.vjBGHY mR[ |ܪw/֫BTR1W-X*Jo7dٕȶ:9 l<톕S$.GX:+Up Z 31'ϝو ./kTeZgmD.k$.,fz^ך3GB5+@޾eWrm]q2\,=I4]y ${Loq}%u/UUpuo^f H8Ԙ=p)j gQ:g*x\Ψ0CIX)~-mm_R8h.(a/..v\LV=tsqp^Ƈo|dQ iCtw7>#eTo:` ۻJ*XAiS(SxaV*ds9P*? DqC%Lb)!'!'7yL㫃L8NM ) G&Xx7&rr1Mq-O'UX+}l`\⬖HثuS kGM_i\,Y lUgv)S`Ey9+P|)) y>o%>VGtN,<,.zE,/-|o##^wBCǯ&ӇU4@Vj`#Ń½[bE~a%fq%=)(#>U+e뵁4p%-o#SJ & Nof.(,An˾Ά`(E*XgfD'2@!MI3=n.2a z fk,_@"w):`2XT%s԰d3h ϑTyqh!fD9aڿDc] ϬS $ڶUZ4\BFZbobHƉ«4-He䵴Ep?J._P9A/bDkcdc)Hl.:QE[]u($]Hݢ[AN+ʢ O2aׁЌEE M BĴ,yԜ?RN[\؛?i^BU<|%akYƪfKעꇓQ 4m!%s c䣑NOGrB5 2Ѕ'7J`X,͊FhP5<ӱk=+g3sGKcx->Z N>3$sƿ*֧bky`+,ʊ6C*:Be3LIfi#)4Rp?h A"}ƾwrd(>/-ǗkEEoEbit}i$TF)?IG9iY1T*$y ؗ;|%( g1'Vup '%nƵ x)k|FV'\D=[7}+̴hu퉹6SChd 73^ZIy0c"5\?5DB @=ZP20Q`eqPy敦QR3f@ | 90|PIyfXCtL_Ak4kp/ Joe~zI9XscyW.P.y|?iH:W@FzǽVdͧtK4,g quD#b̝s)v=#ӂI +5(IR) ʈ@;v5Z^Adu0 r#]ib;S%AYқ2/##^uR׃~:яJu0}0kg^) [Q~1NXDUMGM9[ßw&hۍ^1ьwAѾHq 2`" '`,ݑO[>&tiL:{l"V$9*v8kR]uwĪ?[Z);aϴc<.5kiį ݣFSUs) {+E][?м:o2ca^%vڲBG\9E[.ơ Oj鋪{>J_?TA`OjE`EH9+V̐{{!?-&<饀6m'=IP1*~Xw$9gN< Vh^D18icPBJs7Y4;d#6a*@6$ %L$VQ ۆ*6W$CsMs=yxQ޿t!%ZZ0mf"Zjģ|tj!S'TNueq d5Ҥ_,WՆD`9];$_#>}j=ܩHs͆7xSx m Phx@O*h(!ofrT7(%gО8xzb.) 4ڄ Sx bR}M!%@^~22\pm?\=G椄ڒbHTdj7LYD0xjl(] &0:p Ӛprvp?w:͞R>~,R`eb%۰h@$g[+aVːF|x.[n!sfaI_%ki0 eLèZnBi̻$qF0G"6AVd e`I" Z;^DXCIe+s;*]0k?0 xjE9Aj y"=ZFNC r qN!],wFnɈ:?gYKoƅn)*<<댦AGl:.x':tKFgL0׈%RO>W:ɫ_c suoeV:A̩Y-j%e[0Ozx|).*V\~8sNQm8>Cٜm.#~v>i P6w*2{Wbewj|2MY4h/d38vb p[۴|^AA>rxo'eҟI*o==;Dif)UB:-+4p9MJ>=W+4-jIno j]C'e?s*@ɨe! O bKcMOaBlC ^xDBŗ84y;8`o0JT~ayhTyzw Sf0`[;'!sš l&w3d8 o{}|AV1,>cث"NZ60~X~!"ӟHY᮰?Ŷo7թ]wGl5pz?|Ff5,Sl9woN<,ߧYSUaf((HF$`0g %ޘxv+zW1N F3\9;R'^b"_| {R(Z%Jz53cx a ^K8=%\mm{Tԟke$@3[>6(rRpqEV]ȅ}*frٓv@Ҁ, ́I7gkb b8ʝye9ǩu0aC^)H];Ţ|]dž cl 4QskS"QՌV||WӽvO%ܝk"Xu|V-Q|߳r=N"˳y>WapH`6u7x5lgr,֖Y`ȞiPd"5 =>f/ztU}./)2g 3hxVf05t-lf>]E\H}./($1dEν6qr"% ,J"6PP# tʵ&- ?fHlVeE8K+` MysBHUBFxu,PR9#Tاws?_%ڿ~o&խpP DwL6[yFC*1*(.ߍd#Jz>kKT7 xVL?P'QrI{rU!XiP7e uWɨcu/DgŐ'pՂAm< 4tezeO]!߸o^GZ#4C B:1Vv؁#9yg?Ε[}I^E)biLxPƑv|0t֤9&Pz3/GI^/",u,Ze|LYfAs]?q.oqQ~zS'& RB' avOkZ%')m5H5.UB0+PGP[I© ,]pRd,6زZWφuLD]9;]["vdPW^V񩹬$URjI4{**!Djy;SQ$SV,Q`!-;2:QbIWov K$*tROitGPtb1n<; p  /8v4۝e%E9jNÜwZը^ 2B0k}E\r*Ldž\rİdilÊ_']'q5\E*QBeDHBk`$ޞ$Έ~nAvȵ_`BoU&Z=d7؉0[Bg|j)w~f!0gBVLv8fKA-)%H+fF]RB:wƣA`dx :~gtnPV@HlJ W[ҨM`FxA@-T+ ez߽)~c*⵽'K_+txD#LBFZﰈ0U,׿ 46hXH ŏ5`6j[(6R|{ n8`). D Ox!K‘c,Og/hjg~ޕp>UmܨrMa@/R dS+Nc>Sogm\8@Җ6{f%I9L!}"!* ͳRnxĒ޵dyx2m-m+Σf"UTZ Ψ-ʖ>%LIvh̴ެTqKQPtp1˴Doےm`uOz@UQeG5Pv̾xlB_~21[;hל_3S T!3to~`xLfTy1aFp@~ՊpZy)XcmO>\%F-;BƵKwGWx 9N#+aGiv=|ҋ&Lk\s=R!&?EDya'I`ϑfQ:<̈|sm W@Qd=4lWa"^#-Oailumy*溎 S0h r\:YC2m^<2LR{GsW$p<5:sꋐϔ<4 gz,븢lby,+d ēTS63:&;x[#ͳYze~y{ѽc1״T߯nQAn-DQ讎F3e_6^E,qywh"T5!jݵWgXκ?u3*:3AVS N;T}-DGRKH)y=;)g9;C x}3R^.#q1fоn։ 3;D(9n\) ttnԬv%v#g'}4}-"!;Ԟ #SNbmP,y? v !&l|_FbGzQXVp^޹_DZ'V~b-I2 ܡj^}R#G1n\&:<[n ʉ@ʊg%~pEiIȃ#_jvK^pښ0 Fm]- (EMTA5?N;\hhBC5ᛔw5}&`ho'Z)ڿE<%ٸjxNE*j7AB#[vܵۅ#V/HO~NUM:>xaD2-Qbٍ! 5.heY kcJoGh9}e5Ҕ.`s- }ۨo0&7m4#,2R31ըsjfM$to~0E{o Ldnk؈q v̖P<YF`b;1XQg;fWL&x_Cl/!?lWaW >(۪Uj16ya.+;#$Y/|A ULhks ʏn1 qה ]r76RĊDt*(Rh~g2&ِ' ƳNN)}vςl&իphtfN roa[.W_u2lr;u?X! z=be= Bss;g՛ G>#\>9Vϙ/«Gӟ5bߟ&Tp@oZB\ߑC1_KG-VV<ؤ9`aZGΔ]+#[}%UC ٚjri<S+W4lQ+ fxb JL2 %;Q4dD|kT;9z& 3%5}|_Է|I_XQO!سk$G31ŸZd^N; 5_4ߌ!%zscCcKlV*aAM.K#gw']Њ,EUs7=ߔr&[^ 9?\z)> IңhK) DJua%I[HWY8Uz2 nxpq~4fgy07jU ;_g!Q6mҕbhW  7$MB?"Ugpfv*]/_cTJڈ3 ޣ"I#Yp?IZgzfANm.^|q2 E0%*6TCq}Q$gBItSC,3dKf AW>R{hSCϦ Xwjjn FDucosd\@ MÊZc=4_PVWT9D? Di1ـи@ӊ&DtZe ϸq0I T1+YO:8;:%3aOIԯNE(!LQz$:Fu]4T.{W/bJ_J`/J!#qɿ}]{7}G:yҺ|KXɐd뛑wc^nnsoQ1гs=990r㧶] ũ24<N]0/?{I _KN'ch#a9@. XE-^UV;?,' yV2oO ! C]X]!\l 쵉!Π_*4̑yj{+AnI+#EWb^_1lr 63Wϋ(园k!p1w蠜qHd5*"/&SBR{J aˑv+~ʡG9Vi3"1˃!weY'KU(`7&f=^@oa3 *2Z'g5RcޓlU-|'wBW-6B y3lj^γk\,ަA8QHQuc(7:sÍAZN:T{5j_pB.vz0 JFB!RܱH3dϸ 6Yx~[~Ef* bE㮣@"V95R$8ʥ'mTn?3P-?a1 J)Ӊ{>?p ~diة*I%H=wIgJq.gXpCճ8FhdyFY,; 5CgYZ 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   P19% 4Knuth_Morris_PrattKnuth_Morris_Pratt.KMPdocument.tex7zXZִF! /ER]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ì