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 lt\ ] Knuth_Morris_Pratt:threads=2elapsed=23.670cpu=45.456gc=1.196factor=1.927zXZִF! m]ŗXf1-q恈͐7ӺV 6 hD;V& _wzLC`<ޚvWBa8vsh&28~D1Edz7i3tc <^aNQYn%r7hC߻^9K<|]pBZ6PiGx> |stWh>:AG^Q45/Վ-4wEfVcf":P@zv F UZ;Iܼb܁1p1 僇+R3 2i#φ~_,: ]hio:gB*^P*R>iG7#^,$ ®)N8' 8n~tS܄;ٿa;j +ϼ/+9pċ."•߰[K޺)3gYZ7zXZִF! r]ŗXiɟ1˦r>yǬ -O?3l\ډYصS<\jCSA&> 静NZp%$"j@)&O6ΠMH܊0 dQgYZ7zXZִF! ]ŗXi%;M۞Reb|㒳%L_dMLP{gs[(~V-5LEk ß;i.WyӇ>_r~ƴؚ=O^]R,/ᗋXˈuhdQMS.beNWݩn|+-mUD?\ 2dqqM1]`xyoO v4WpO4 i4}~=YmZHw;J#hH1kB>=F_!0Dʧ79 M/vl`}}h=+ԣcډ!}qV5lv~sS /2C fV]eZczZpSGϲ[%ڢ_/ Ēym?Ezpߺ$|uo(ZýCaޗE{f =&=(1xFN3tVIeSjru{/_zKO!#ZZM s֕涮T2D!FXYCcǥ#7ϠJ+>,$Ct3:JWF*v[(w~OثENRźy<YRƒ06BuTc͈_hgϿvoYh?jC[،` [(eHI]ӳn2 $̗@m-2lY:Z5VqZ}W<Ͻ7{>(3*O2)'8r YF&d/ ̈́F*U~QZ讛f 3Lu`ovU|))|5[Scjc-is2Q$~>pfZ?uCzypqv8b#{qԐ֍i?50(o m>2W .6“uuB?5hv1symI;oZj bi0zN&`[oE;_D~mxZ_9=K2dG*ˋDhD;iAZ>-ܘSvH+ˈM!xKo<$,{(*˖Ai{ [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؛L5Bl ntuT6\L}jtBPOȭO,+_޶Ć <[E~x&/& ݭOjIY()0Ƞߑ.3wwBz*@O?<L= J'dV$eVWB `lrN4](Zj֑>{,# gP,OJ)eO{iTxZ&0*z$dpvKϞh?$ݾуXD3V!P `muҟz>n6JwҖ&'.]~`Rԅ'i D{H" $^-Oq~}nwuwjtWw=1]?k^k6x:wd3 yHt Sy&,%6QT| i;.J))JQ6 pt'^ IX%aۀ< *&$sa}*0 ']}|O!fu]4>q*`0H0嘉ߺBӆְzkmzҷDIٶNEΓWDJx$4#2 ߬̍F~C [Ɍ%iea)ByvS1W!](Wr9q)Qzǟ-LyiUa+Dظ;N@q1|~ibYqD7AiljSVO#H>?e L)"nkA#=gWE VzG/&r_ܘGgq2'(2?Hz f[|ga(=)^fYM{u,(dD/J/A~w >p㫱IðE|Kxx=[DlD?.ɓ֒2Wꊏ.,")L Zx+n}D2$Q `8!OwD䤕`v{:o@a8ZuG,\ↁMOv,CЩ|u&V 's$u;rreŠC~#S5xɇ3ہЫ (j1PWqc&p*x}dW}=Ir:¢ ͣay\R9!13e 4%K%`Py3{-V`ϛԏNUϞ@km҄'qEykRӤ4xfWs>-FB( t+p 'Hm۔` E0;h.KS+y6āab=0h ӈP(0ԡtaۧc ➹P0kR *l -TDQgӎYM"Q d ^aoɄ3aW@k-i7%n؝H[bQ52;4RDOv)W#k?zKlB?vK0:AssR1]R!c2f AbWJey4%vlE[-"V}h kYy4ʯ 8B4ՅH׉krցI=!{?grw"ձb` N\fU_`]Ob~k0Z(X hP34jPEdy :19%Knuth_Morris_PrattKnuth_Morris_Pratt.KMPdocument.tex613% Knuth_Morris_PrattHOL-Library.Sublistdocument.tex…G va1Ѐ~gahX@5T+ASF1uc~wGnV&(J_ \҃p9Ra9KQdAu>H @cUqE$vb$o0݂&to†=k,}ZHJ!hihByTV)~tsku "/OI\m}z@>&B/JnO[{O)w]ͷq?=|_e6` GR]8Gީu[08i6}FkDžU@me`C}\R =cU$]5+gOcxĴl(mfQ̝YybN4>f&\vkKr$E,]Wwѯm66K{:^SY\xz%ӭʶtLr)n<,/ޅިا-rK\q0-w!F<;ѩ^"xRb}MƲilbӅ(Fw@Ƒ5q=V-c%E1b;rskƅe|B KDeaѢBhrLWG\ 7> L4 uR:T2Ƶq;4{ 9oIuWh(y Bd:ǔP&.njc m&\rc155]U'maQ|UPӝFݺ/t@6sYO/B_l dAݽ@eYh+XTZy10qS.c_b]>ىOIzS{'bdʢbd{s||LēWae?쬟8QR)xU]GTyl* [ntԐYi1][8VQ#9ˈX"/6 fi:AzBt]2J0-Eu;*!Kz\^UC-\^߇>#x0Nwpg R]:{] v_ ؔft ssxGCYG'\[y/aSQ/-7ž(C;ztSU)U NѫY-6tAb7 r~:}q'+$MToBRQM@k 9BgS1x.wg P*ԶY.MidyVj%׳Cϕ=65}ّ& ze!$ޞ5xܝ|8m-[-4aNL;>&qq`V7h}II|^O-:2D+Bz4 c-:~|cX):A>zD ?5lH1f)USAx MCyގ~? Uܳ] ͕kX06|XF"B<gmU @47"j:om;CxQtE|QG=n+wy=q}dBwxj}Qy4 {R؃eUzGRvnS B [b\BWOu_/bꦇxs"29ihV$Chvi ojTJ.0EU4ַYBg_J>V&,(dĘxH?\IJ{C)\מ4#M"&{]?8r2ghh|.( ದt u(gMM$ؠMCƭ,P^eٛJ885yXjsϽO/)lzdwZJsRZG$ xxYK 3?/&4$^/DKt0aR9ۯ/OƎ.x dr9"- fEN#ՙ׷7=2j04ʒ:c2f'o8喒}U)|ZЋ1d.vkYO8p>{ {%tiǦC\Z:)ͫExr [L{0.(@\„csIl:9Hȁq9Rkt,#N^*gF%!٤02ă^V-\qt<{rK8=;R5u^; /,4 zB#) fqWO+WfN^9,3}.T#LWIeܭVmto5|3˶s$=vXْA˽7$wm\U$*'VS :掍1$ 5iӥVw۞2RDz҅-miBY.EB9 EfQ&sYBala{6PD\J]1lCB3axQ *A͑([QΒeIZXmo2^]E!A4 L!bW;by䣃9I`߱::7!r7p4 uV2G(;]K"wkQ4uNT C_WU \D~Yxy w[ts!2H&C ^ qaWݸ&.Ā86LTwlTQAܠoZAf &yd|4~NbG>m&4_F;GIE\EEv@ccthy@DcdM'*B5bs)H=/Yń<9Q^8FG 1™pd6`:uGmC0>Kf! A65Yo@&.DQzZ^`i$`r_A98'E4, (n3,0 rg@aR`jo0B8f(g\VI=.奌S˝tx|g&gEBX&QJxûUιCĒC+>y4qBzZv@U~r_)T?qȑ5ۣj L' !V~.ViQiӺU,Bw{O,m^$FAP )^9`rL\F4A :g?eK.D-#;}_udr ݄3fIPԘIBbU;l8fj*?nnJX4I\h^+v޴7SρGe(2D| NgfF'E!دq*>e}klwuN=@63Y0;9; >ѽD@6s?t _X>|'?6}acJqCQ[Gmΐ ʆ4uGx- ӻBlic:A?KVaʦDBr)mV| Ao8.:7N˰9VDg/w]A+tc}dZ@ZLHiYN@ a-˂V%Yk%4wsK 9:b-SlZ~xq@YB- vˬG;حS$n?Ew"B&p %]gX!968\l\T?Q2)#OXIm `X/m~ GTz E{l1PWi % wZCn&?^:]Odh;T'굔I TQW] 9.K†͕kcL j4_El/ީ78"GqwSq} (Z,8:B,0Cg'zu/aVw0X*⬹~^s<m%ӓ/wHupIH5x[U/# VDkxZ6k_d5. $z1 ^c*n AYHNlCShө pfE"F"^d)ch8.G&@SKW̦79Vuފl՝&C?h<ݷ5]삊{tKPQBb.+$IF^%TYJ}Xhڹ +M_Uu/O*%y _u޷dM #vd_"\i<ڂGqOLm^q6|p2VN~ohG"y%001t&#&T(mx"gffEޠ% ~f/L!gR9#Yt`/C.ya\zʏj8) F)DA-W'kTH?'W`(UC=aj jl]@>Sf#|Y{zQ~p/MFiCWF)˖[qs* `;l&NĠ)7 VYM]4 wP)tl ׯx\+/xXOSD9Uǿ3]p>i` IIˋ 6VO?]YyX"w.̟E{;W%W! ƈR>CmhTgl!1^4C:'Sk( TAU<*%T1*tl btk| qIg ;d[* \P:Pje:ll8o2EW']^!QPH}<بRkY7pvH J1UMdDžX=ָ? "ƪ$ƥ&L_?& ra|pYb+yYAGRRc`Ai?OWc#nd{'_xAX.E>\[bE/]<V苇՟ Al(p(6|wPf1b`Lqx%wQD4;~MfٰB*2^EN'NGL.RqR(Uӫ/ _]&Z2/@?Kaf%0W:1憍E܇u.R+xHV;v%׬G2[Ƥ`jZ0b/abAWӥRw߁LlK#\W=cOU5Qv̍傂j_XYT|݂3pzW? >REcb8 릜kZ%.=wUX g}{,B@ {MMёR`OcpL=$mqo`V+7-3Xs9TΈ䒠}+/%qK Xnף3+pMY N7"F }HZP MWP8߅+%B)(0C=[c`.7ѹxizYF=4۝'4*DQ3Tby$5'yr׈L4R(ukn P\E2aF4-Fh: A_SpL^n[!M{s!=)3=2Xί[[W8ΐ\ `2,0io]ѷ!u}zD/p"*&+: J_+w;jghGHMj0wmuzr'2B7הJ~vu~q)1o#+oϾ ශ7CP 7}yW UM^o#Wjı闦iuqIGܑ-"oQdXr0Pü_G+7Eֲ&ka漣M<|ڒaSi:n)e.ө8}r33;h\Hd眴k1D4eTjOlЃPk dA@KxU<;]z6$27!Zԛ|׈ ?zMx/n2%Dћ%ne2'ղ k83Qt^~' NiSVqpKy\֍X 7P);t$UTgl[#Nφ^R Z-#tTglލ q^C9(SݩƯhi[ҹHBzX]eTR5B@IgnZ2%Ygh[IɣƏ 8/E=fCwXS+Iӥ.8`6ל >{R܃̫Lkg!ѩ"֗ 4iç[gjGAMvgȒ6`ҹCy|&A:~ `B{n5Ѷm] ,m72m)OkB3ycG_c Z(_K([[`/1-W_ӞP4[+cfaHFz?(#p]m>ğM Xt?+D?9C'}~מ%D_VHLjGjvx6b| H}-񗍔/Wdbl6Ʒn.IICTe|'\DWd,EdT#(3?5D]Q*eMI;<%TR,3 7pBPr"u35gca]#4^Nϝ tЂWXCv2ٮ *#QSl [O%[2[@vYqd6Ω!撺h&Wb %iv@%:IIRV}QGxo^pYFBZ}䠐gA1e}^0PDYV 1LݿCE3L6,(oask>T)w^7Lqh+C7fUsjzKHbF76gTjzkE|ݧ"ۧ91j}HWuCF9+Ȗ׬sm`>"^2湑&+)k,g^4 D{uJe%uԅr'JxGc6¹r$(| 'M(W;8gGZKSyܙ"O`W5t@E+yTATԺZeFrMh΄;cČ5 m ')-;M\00C|IUoŊ"}V {|hXWhR`Lڗ6>5XʰU8{9rVd&u7nO-Upi4B4q¡zS6kWnx<߉J+KdEP0teˤ5@&IN\"D@p_1%jZi[zmze@j ɷbٔei *1=#{Yfhdd_× ռyjԽ֠/QkgBD6ڋ|EhzZP@ڧ6C'rEg-(tG5oNi2iLpCk JkHZpk8Hz M*Ɵ 2厼n Z{ ?iJKʗ*`0ОyI=d2}Nabۈ񫮻 3mu4+w)eH-H B !Eu͌~X$mN9zkʁذC`9@ϺWJAP4N9R%Z'^mrRu 9AJN+;8*sDQ|(fOlA3 nM<)+n!IBφ43%dS&Xk˗Pz452'8wm M iDȐ3`XR9]K1sOɞ5۪2gEy6妦hJJ8˯XMzeL7?L-?SJ՗L9:|1B:M56\rK!կ^=R* ي}v\O}T_!-}SV`vAcY #yaORBc 4x2T:B~Ǘzv˞~փqDkۯ--VC$\{O\tcbi~l'4 KZ8Gl03RI% S :rܘ.߆yG 6^ǢeOdȒqJĆ_ 0=;,[84&:0R ^Qh4Cl=69$6>&5 &}]t2&61۬hZ =cKcj%S%lMfgw=hCRL/LMbGɐz^ M/ a*-.`X=|)ph`x;"4dk8QXYâ۱ɚѶycQwU$!ҝ/SR`,Eg("/j>T$.SfT|(I~10wݞ'_`qvЕ~ղQUK9޼Ǖ <{9 \Xv5 qydG_|Ɛy$V: ?^ k՚KOfLܹH_d gś(&K9vя o4tTQ]bzD7Fcl9YJA d-;Y.DK7n$ n4ab X bF# y{!)pږMeAհ7w"<'XǏiQ;d 2sCR=jTdfhN^>#7/B>8)+ bvkLC6lx/CGh/RUsscw >k*y >!i,{(pwcY|z*sTC^Ѣ*|ZQtTv=jx~Ɂ@~Km,{opV&G7=_s{+ې(Re~*(päHb+ &}g+Jَ!2tCdWLPlr`5jR[[8MhJƫ;q¤_ :prJSyBkڧVĠs,Nچ>l+uCaw[۷b&_ 2+֯/o8XȐw<2߇x[ OC|M=1-hO!>:V{{,:-T^qH1A*0I wR&pLzzD (3#)B/Pe2vY+$,䨿_Ϻn.Z/V9@V} 1_=+|5SE^uWL\ +vW_6WQ]Gx-#E.G& W|~5C1PmBUt8/IߦO ۚ[3ȇP& Mmb`ݫ7" 8}O*mikZ%Y ͺ_ ,=})7Hf `Bpde^ L p1#KSσc\ SݸVR6$q$a4y(g?K֓ B! "e|ȖD.A-o*RGǚ܈`򉳬]}}HfG F1ErK"+)c\]0c͵m^†%n\(!266|Fۜн,RT44ťQc;}ZLz&V=专rY章Grǐu%efBWo*t㧪g$G}",ۏN%@UrRpKUY2xH ż䧋3$џ&J.+\B>4پ|u2g!q&}[& OљX ZC5oPlCGow@+&uX8a2:FxBwQ3 Fk%1GBBǼJb#ٜk5ll'ߍy=CB-"4Ih4R\3щٌJApKhA>LæJw@aϭP@ǂ!d `Ec(\vj4}Ӥ%Qy]EQvOPoiA:Tレȏ>=WpYur0n=ﺒ:iםsj$ [QmZ 'ҏ£ Nښa0t]*c{YU9["gxp#U`B*?$W2@~} y$\P羖nIؤJĆu,Bd5u^OTaT-C§EDkpmP<%`VakÒn) 6lНKr0K"Fإ~%k4#G6Y':7i-`A|Ta:\f ywB8bsYOH]qXngD0ux~,y+G脟%ŔP.WǖA0V҃ppN8)i3X]fQ`31p`$F}ϩ.OOv C89fHOFDqFXj;_3x+Ż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! 䲞N]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؛L5Bl ntuT6\L}jtBPOȭO,+_޶Ć <[E~x&/& ݭOjIY()0Ƞߑ.3wwBz*@O?<L= J'dV$eVWB `lrN4](Zj֑>{,# gP,OJ)eO{iTxZ&0*z$dpvKϞh?$ݾуXD3V!P `muҟz>n6JwҖ&'.]~`Rԅ'i D{H" $^-Oq~}nwuwjtWw=1]?k^k6x:wd3 yHt Sy&,%6QT| i;.J))JQ6 pt'^ IX%aۀ< *&$sa}*0 ']}|O!fu]4>q*`0H0嘉ߺBӆְzkmzҷDIٶNEΓWDJx$4#2 ߬̍F~C [Ɍ%iea)ByvS1W!](Wr9q)Qzǟ-LyiUa+Dظ;N@q1|~ibYqD7AiljSVO#H>?e L)"nkA#=gWE VzG/&r_ܘGgq2'(2?Hz f[|ga(=)^fYM{u,(dD/J/A~w >p㫱IðE|Kxx=[DlD?.ɓ֒2Wꊏ.,")L Zx+n}D2$Q `8!OwD䤕`v{:o@a8ZuG,\ↁMOv,CЩ|u&V 's$u;rreŠC~#S5xɇ3ہЫ (j1PWqc&p*x}dW}=Ir:¢ ͣay\R9!13e 4%K%`Py3{-V`ϛԏNUϞ@km҄'qEykRӤ4xfWs>-FB( t+p 'Hm۔` E0;h.KS+y6āab=0h ӈP(0ԡtaۧc ➹P0kR *l -TDQgӎYM"Q d ^aoɄ3aW@k-i7%n؝H[bQ52;4RDOv)W#k?zKlB?vK0:AssR1]R!c2f AbWJey4%vlE[-"V}h kYy4ʯ 8B4ՅH׉krցI=!{?grw"ձb` N\fU_`]Ob~k0Z(X hP34jPEdy   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ì