SQLite format 3@ .;  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  3 3D<4 ] HOL-IMP:threads=6elapsed=59.391cpu=288.720gc=17.600factor=4.867zXZִF! .]ŗXiɟd)&]hS.J}+%$ 7_F`V L2Mztt~ *B#RDk'Nv@:ҟ( -JߤAЃpYmD ofE25xn":a-/DH !kC=z6 g`;iSg|8$y]̂qi$vg'.¥Hi]͏rpk:(m1\ؔ#SkX9U7hْ2.ϸUS6&C& ^Kډws*`aBsHwmf9u-}݇H[6BhjŔJ>-勃}5V}N鄃Ȼ g?i@ݯ^R[ΕL쎷CIO)y}T$~S%9Eq)/gp==Y3#C7\JYL}^ؿUrM⑅!6WW|cedukzX?s@!~LTZ҅/՛zHU RV mP|ՙ b/U* CōUM62hUJ,4b^|?!2?FbȷL9>"}v^8>c_f$ЕtH+@I.SF(/~AP9f,Z& r&wwݮmVH+^]-ؘ1%5mFPu¾swe[Mɟpntp $_N<03'^PxL $vʪfsZ`GBQSn]\f# /@ci14b-6\'SD(]LY˵+Ie 8o/]I dM`Q(xG߳'aF,Ni0?SAvX_B['ކuul *ObNJ_ʹnI)q)i[ 4!lgQF%p}UB8ȢFh%* "sQ>^ѭ)alMOO*@܆;SVĎ&Y:1ia uYe vKJm:K+\ %WOp|J,\Gj@{)3y?f/3k O"WV^,l,Z]O\"tF*wa+9ͅ~f4.]€KWTyri`@u~6-!?Af`Rڢ75 S9iCϋQ7av̓"nsMݥ\J1^:a1sdGj F!|RO@QGp2~cSܖ6YIU-.RD2Q'|+v؉,YQblQg.iVi ǩg<ӄBUPAPJwqr:|d"Xx 'Qd_GC&kOYjo佄%R=>rf3AW&c&ԭ'%U"ਗl\dՐnX֝7f7r\\Jk S& s%ʜ控5bW&i!uL_k{40\"5Q+! ;r6}"f\*pqbQ:.Suf[R >v`q’cS\)Fr:(w90ǍzZ5as@uow,%)+w6^y+tҹ'8[El5&~2n3(+:jydzL6BrDm4;Yg,)_%s[ $5-?Mf|A [YI+Y0a7g~z J2d"9CA> >o`Dì( 9ᄧ&ν$Qp,3c[BFj":a!g򪖏?J\"qj˙Pl%Oy<$MEg(bQsMhT0aH2}K\0Hg77.om/&ݗK |L+zq{Gr{O[d#b)!.auOՀʭz0r&^FT$jB<ᄊa|L Fqj8'7|c ZqRjGq\/=O}[h ǴVBZZ +X rT[Vo} Yb,c9:J7yiW(\׀>bO; 'AG0Ɓu_79M8ֳ8)'_[Q2(]98#je)hƯ?蠽39лp2 _n̗'plQr&/i0r//-9`Ϭ<ə4`t+q{@ʄ%F{@J}ݶ2|?qVK,@qdaoINwى?=+J}zy |]Prr:ulL瀸u f- Z7(fDj•/T4S%Z8kn1"Ҫ]PҷȌ0U!al֊KC"mt hw6`%Xf6rM݌mGɞxSLY#ʊ,oNDv7 %sh&|zg #MCèuXB@ bc#|f89Rut'YC|cFwOK9]MNXeCLK %BB٭h9gCVtќFX2CB3xy"R(: 6ɳ^{@(]JnR(R`PuLYL %q z24=V%4Z6BYn@ rf>t2z^`^fQ+?g7_-3r[?/)9c (x@OrTٹ]J{ 3t m\z YKuMVv\@UHH+)4Eq9]B+o('-OMJafzZ0"P25Qj^6Od)ރ$6*AFk4m.v(39pU6 @ɲ')9q 32*;\@Qb1eKDnpqΩUPc,>P,#cNV 3KԲ4А/.wZ?o<k;c f>dAR<@zQYWNX 53kLM3!@09-L φX2{QpVaU຃^u"_v%XQ W)`" `†bܰ-Hkl2I>~F?`yЪ;,]_@܎M-iLA&\T0#M$S9áfu[?X6uO:#hHF,Ӷ<C$ۨ]u $%-P4!NͪN/P2-'xV+(`7w,9R mj[]'8N샮 g (3`=0QU{ĿD(tv-H M;F2SϝjLՑoI)8#Q/5&Mda=6 B5 G]W6;Cӷh*cP [y{&L)śY `o^A8PpTpv⋭?8%/%l=Husvm')"*(uoD\~гWyp^[%nP :Fopp`Fi:kxEzk!xTʥAY =|7@*_D=3yB%-:=X˝ڭU֌%nFm:{~նֵ4;@p2=z '4 $߯/æy8ukM :܍G鍨XuҒ`L:߭WߏŸ˄ʰB=U kt$[$T:P@tO @*m-0 "FXSSc`[~r/40_M6ѝ"#C|v_= G![|wϱlS<#8 ƴ5e ?ڼx7ƎH iF^Q!~x`s0a-.5jO!xy njWL\}mU"NuHCC0H<qIe$֟$@q%cÀqы*dK!T9q@QXd~N7ЧלPq"yIk)4yp3"bi@k幗c"߶ih3l9[ WS6|Z(1,!oָOsNk99#դ+`Lokof f-Cv"#tcb'C& :bH _2MD}gU B(oEq\[{CS+6;o%)F+CӴp %n?W< i"`uyOjkW 2vn[ G+uF,~Lէ~mboY5h"Bt1/.XpSڶMa~Y<2odѩ͙N=3: =ypE߈w[1= `ޮ,p/3,Iį2++]yCIݞ mV6u@8D£KL mu }S0kR T_ϊ1ZH^Rf3 UDD{a/]ůtUJJ+22Go2 ndW.>Lisy2j7%H=aYO@3uل"QS k ?~AyE]M R+߿T֓HeMD֐sI2xeaw17^lzopX(ppڔyO>J?ʑEy37Q%k<ض{^F8l[!ӯ% 12:4 lf(!ڂ8'4{_i_=gK'1fCf+=QKޭo ?vC+s2OȚױH!r~ Mb:݌mPjT3DCVj /""pF bk[)+vCƈnzlr4]%rsRu6[_Җu\A4'_{zÊS'ŝRѼ郲L3+yO ̆F_T:8gUzm|uexyyuUtV}r  o{Q `*r@,e/ÖPV8jVEJ}=5ۯ-ZŐ?©{F TAy[t\A-އ)Nih_\ÄBa)sk"$U+ŸG0N@u-W]< c)-r3MI#4\pmhKb=B㑿_  uހf_Iy&Nr^ctg+AU15aTG1˛Lo&!j8J/Fa[\əЧ)IGЪdfnan?GCt,a./:C>/0Wb6?3;z?hLa>c~l,;G`FDNmcG?21 ǵ'aQJ@pB)ٹQОZ9%Ot>úh<ب@0'6Z{[lbK97&ml?:Yܬ6JK \o~!V"Z>n Yz& <([TMŋo%@ʎ[cv׹Vz0Mj\s!x8d[1X#*!aInbd.7[/_Y:l\egX6* gqf:.)Yc|Ɗ[]X,#W/bi.yѿsr-$$8O1ɚ0IF̏(k.w;b;^kr^c J$SbP?X+t٢ sܳg~OD$-\HH6 }=#iAРn)3NV_Y0oX( (GrQKB)X祐x!8q{놴`b<2xz/pgL!M~/[l.Na0f]4V**FGgw@W)EC?ۮV..(?~t z}9⑨UٗBBfYApL8_O37Ch-jE4&[$)!:B9ۄ8%v[/Lۭ2G5 ڭNXo:-hw4MgSgכ$#{2^^0UaTd" }6,(CU {_о$\4W2F%V^O<"P}}v Y;D} v PK:6 Lx(]&ԓ6c_WX;UOيXBw¾vQdçYNbjYa@Ec>y՛~R+ f 7g&b^*IY|*';L{|HyBLJGOXg8\".Unqn -k%kN x.ø'4dX3FZE$pC$;]⍧>4bTe'#Ѽ>.'Aڀ ֵlъJyTa**n]zy7,TADJ_1G7@dⷮ6*K)A3WnhB8{0dE8Y@)$saJwIo_ WK':8KW4d6ލ5~An4ɾw$ ~K8nj)\>oTnDjOpך_nQB%_)V keLyJT^ޞܾh&Lžgv; R늎6þ厡:-@thC@%U.xnU԰:eo2gTGM|Wr+n%zfnrp9LͶ>CBI{n&~cI;k#ڠqYeL_ EZJ~SЩI(!b< jۜ\ q*~*KI gHĤZ=lJ7TLc9\g X}jP !>I'NȄHB7%9":u55.?Ԃt<$F0 V^_ZjrC~|o+:ZA%x$?U m _po8M~E0Yj"tVLy M4[6^״:XGݪD3⛉7 ]ZoOXk^uW^Q[|eR$ ľ¿iM5-` `>`  fآ'̩0̙\[/:ot̑TSU~%Qh>̺mY9G.cfbځmEvwxV)Rf`Ntz'B6=AeF^z$,r [O9z,͟p)lIm: iwGabð' Q]P9IPH4r7L^(ʋ8 I%VsSfAY'Gw0AkE/zqsUAtsPl_0()4]E.Du}|]񘛣a%ғv޳:V,^o@?<7Lrb4C[湳99ě'j$>0_mչ8ي"~>nms9Rn,s Qlf' ԖNܤR 傛Xı3'C)D}^hQrXEVwMӉf@uY<-.k, t1R&ְq.\a,RQpɕ}i -[g6]g&04ǁ5^yIT PkH *UrϢ5E^1o^fK_;3X?ӳxV&M΋\).y`s>x r`i@睝k)Ɓ ،R<3r[X Уl2ռ7 ]Ae$ׁ2h!6aZsBQKb13Ť`eD {lp@i!HX`I+r7ǃ4a0cߗ<@ O'+Tk`?Cf;eM_3ceꌷq!AGݑ\,)aty+@`R\grC'^|I|G_y![`tلo,f︶a\e䦑&Z%M]'65 ,< ʢyB(w*ttvH<:ܾLP5D1X+k? 2'-(Π&Mrgåi#D3?Zj[s%5k$ؑc+4 gxA졋"B3kyrl4g&8sY,ȭ6b'iL',Ø COh&Ń9 3z\!Jcj -IC?.|<\>9.c͔Jl\Cg\n3!M ʁpVP^Aͨ:/6 uWtH/{T~8a_'mRoB ,GDk[>W7 $k`5`aݻG:heMxz~,M߀r;N `a` ؀ݮG`ڧPU(^(p>b.:a> _Uap`~ P"euHR")oW(pz4+7BA< U6b91k=pC#lKi _Ȯek%%?#`H|8J6AU't B|hH`BdP_(#zX! 9:pJ-D@`{rײ^8^ ޡCjξyak.$Z03Mjzg 9'0@ҤF3lvui~hdFߐ 0̓ߞs8Wak|i.7[y2Tm @c֣OIB<=Bҿt?kZU9ʢ=ebұyEOqNYgVı+K䟲GrEx8Tګh-)4_z0~+l.;f?bBCʄ0m OPF^8I%WaE:=\@P-|~'{dAmYymZyS W^S#;a4ju8,UkF+&{8)zW6 G04>3O."^/JalXA+N ƹS 2,Oy^͒:@"x tzNLl-zc1+YRY\Szĺ|߯t+a|傦U.}8# @7δ"VM9 <Ͽp!̅?bp4<<zRxz%y_HHSGGّ2W`fL\ؒӎ-YMn:.^"̎DN:"p1rMus8k1[!a p.?1ֻKǰ]WUGN1;dc׶y0s_{xAP3/Sޑ`%^h*Mz'VV_-%=Mrѩ% H[#=xzޕFU8{=rex@;^^?YH3p)w0) OTV[J[ME,cD]$1 qkHv\^GF8v@28)+-V,e E]\i~a,q6G?!mucpvEKҘBپFL[V+N#Frvt gp=gPN#0 ׽7*w,`*TXⷰ?B4OE8dJ]*N[jy鸝UW abHOBXh0&&S\AE\)dEA$a"1 s֯{-dh7M8d`6 $$*j")", kF/D\=} 2 W=܌oS= d*kB -n5)%(ޖ=pNhȟ13vkNn;N'I5i;D6RNFL:)!îsܙт!=/Gw"xLNL^~keBЦdOJn@7 E$/XPQ;N]HL0qucI#3r=\qcBG)TpX)T밃rԺ}rufqCr|{2V]/TM4!5 F9pem%͌[he=`)VGҵ/j.KE|wAaX,eW.Zb@mо#^wi\HDd~槲#qοB]\ P[ ]1*fdoOWɯu;nGv.iejzvБTPW} 5O w"sܒZ] :XpVy^PW[l?,i4T&~pENFăOgHeoy3ŠM'C4?g )R??aBxU\K0^)߶ u9֎TEhx3ޝ[̝ݴۖkhac";&y]L(]FqCø`']f~L^!.I =_mZ6 ֬H1 B<^K>[Z!yO٤,bT=T_4PBFG6AB.NGh%cz5-$C9 (pSORr;~c?TsS%|HL2:IP8Z/ mprJF UCY?!Gv Շc@|5KA&K:hNjJN .#5.']P|, ~0t'Flb!w%j)a qy6gUm"Z_ s#v2"/m0q1`"Dkh^GM)LU/z׊^S_\3䔔Tp7m6P<wO.{" wو9N</1!{3{̫US:$qh,}%ZDey2rbE|^@ 5܁CHf_?~h/Vj/_x}G_NF]Y/iGWz4[*H:QbiЋ̘s Vc%تlo|`f/2CMf##7FMH&rLVW ^)z5$q.ׯsRyH*|$(3ývs_C.? ]G 8rFw֙o)-CK\oM-XMyo"+ I$ќ6Woc/h__{ܴB6H<{, o Pfsxʙ4) %Flv XH j3:X0 :$9e\"IIŽk~V0v.&F~.Lo·;ꭄ5\Zo噂{ uCeɱ}V1˛O!cU֝Gтh EjE (9 Ӎ+΁v;GUԚL=|oKLRԻ;[Byacc6]Z)>LAOhP?yEt}}!G%M, }9[(f<.gzM Pg qEHoV9 ȵgl1V갯xIw2 Q0om^;~vт& C[D*5l`LԚ'm)~$DTt2~L1|NwK>!W:#$g("fG"<@66f $0;t޷[k7'x_L}@O]l(k(sH $]&!-ArUKHk_[Sn $ +~wЛ_֧9^ۖ4;A"jVدh'E3a݉07JxDnJpW^KP ce@*IH09TKŃL71=#&(Zѣ M#ʋGiO ):ƟLb^֔_LPK(bxl,·%"kc $ Zohgdl5_tEx2{?nQ y}{l_u9uHA%9 *!:H P `o9h8j4>aeRRJr嫷i](3S MAv`㦚!<*j6C0;UNTEo#kj 4S>4A P.j3J:N_ ЊOg^<9*Vre *[`~bpDϊN?Ç8B>}1dH&ʠ ^xwz3:mLS*Vqh6V4Mv@ګ,S[UHuBC',n+tnAwFJmo4.z*:-'8_o#y3YwOO|<?Nj>(Q Ӆa&lʀIƵҿ~fSbvZ`:^_I 3Po%ir< $ X9ty O! ٘N"G^2Kxx,KNcm}>~gΙ,¥l<&˅-KxæӶ$sE_B&mj KGAMгBKdFU*NV}\,Rs]O?0RduÈ-*d#Q3֩}+1wcY|U ЂxNw ''UrnY=~42e4_|lr{XBI$r5pA9Dmb{Y5 d̎[xi̴4gb`"n>(UrwΫN,6lO%9Kr`,o^A1l\ 7;U?3Q]!Q 4f$62MfW1e_}J0Ӥ'.eX"6J[OFWSk62F\ey%DLJ1n[oZ[#>̗l~gK)HDŽٰ O9|̷&Oɞ `&"I7[puT/O%3A= 8DZ8> hnǭm1lS $>S>љk[p}#*6o0Xm(?$&$%|seQN1je!; Edrwn%<ڥ_ߏ!GMO <éN C)H\^;2y/T{ kwn$qbf_[Ǻ]a,CE,9JI $9hwAdd:rZv7dDsS 9d20jɄy#B(q҈M ė?/ހH 6L0"Ro_ݨHA'*flJ~#Fr\ӱ6Gz~lRȄ+3>Yi)_iDuli-nvB*/Ply[<_Ѩ+(FDB _iZmy"xPH̋{Mc0U {B뫲qS4\9ßhqA ۾Q3!@M2 ?N2G,ftW<$!w4UcJPn\Zi$j[pX䒗>[nhK;TbnAC/XtoWZG/J#RR K⿄e|d˭Ja--^\I5{)B^]:QK#aƎscUG&9Y ž#:]]19: 틈@!iu|S/v Z% ,[ ˡH=7K1#cq)mo3Xr3quj]Tcg +qZ큄pYb[,0F$M|Ã.m"ްzqZ)bnFlDU//[FC\Lr1x#ە> QhԪO_3  Q pl1RQR 79F{QZ5 T c3Ƒd7$-<"Mu 2Z`.?^oDB/_Qʴ0voRw+A}XGBWޡ٭^|{֥71FlXcF-uńqkV"cѱ7FyN~E:NH[{ %Kp3'Ö$UtG#|l&ln(|2RfRӔ6ƿQŖO!h)M \R /Xt$}"<<'R9o.Oն~{N4xD;v聛lmJ8:WC%*,kŜ Т d#`*^Xg-eJàQif ?LwSD3+| ZnxC R)phVn]+89f5xWh>zXlp\ӓ'ΔsSQ)`^A_s ]PɃ1-#4HAr8[ |=˛6P1{t,Ynմ7c_{؜p 6?w찁v<>3FÜlKlʄredzhC: j$[fKޕ~ҋH{qҤqܙ%ZL߇U1s~&v9.} gFLv^ƐǾ`9^!ٲ]Ȇrb n*v6W9ѺZݒ Yrˎ+[/Ӯn?(+)dW _Ad,rsdWi(A&lcY\? Zh^4"sʌwNM!-Di[Ueu8'η>ۥ4~4 l(;&ן[bbͰ3Mu$fab .M_Yfئ+,Jp4܈&G-|:FI&9nsU5qFZ?RlTAy'A:p ?ɣjF$FRT XԀNehb0=Gų 7P'ͩ:wa`1,\]ojg|A{I~=j68bꊥmՆc0MrLNcU,hOzq?vo/y:8Q{,gE:x2ih? )P,nc9X|G,!% VEZ5VIP Nr] ᷋CX¢cgyO M&zD )酖~] ?a.y_N8ՠ$- X9zmůH6O^BꁺWjC%" 2o4K y/nXEu1`wnRjt{)r'8ˏQ ܙSPw$U Gh0ܷ7;<{QBLP`~󿐞l3jO&rw~‘.*S ٚ}CϿ&)@ۛ6: [( 3M"W\ c(̚X>Uj`(h]upq ~䤉XK-}jeZyE|TAZcOhF]rMwN8]jrr[Sg!g.s,ʏZ3a(h[Xb X߅ӜiYjb݃}4ه Un?,t EDмnƂq;FU1OYz%\CQ3Ihb!S:K*+xv=7ԩߙtƚ 4[D<βcńy%L"NHb1̮9E .X ={c Z;j Yct`IS|*1d~=S(sȄdi`Zz<+ +-B9tH.?tvM!xUVNOxuJ:EUt™ >)t6e@{>*ثtT)H b_ /p˸~3~x3NVOGr.`Ɩ 3廼Uqrm z;ra8f eҐֺG'bb7[bj^%HTP%/A=jq* &!2NMfPzk6/] 1+` _6r/V ^CbZSDkfx͡5@w&@fӊ{D ?X $zH)ꄻXaD&- 8X' Ř(mz~~ 4 ;yR {a^zdKdvv|̷Y3)iHAKe/e]c4T%X yuMZ>`0+cS"B mJr: aGu׶s6u4Gu/܊Y,LHQXRVHQIݭ 4B ܈"{2OIƥ1"?{4%"q6bkP;ҾD_|:grҳ{[qF\zycuU}-'/XaXsNi\!r 5ྗ5k97i!u _tk^^.En#M: ӾAJ܌0m&M|Wf)ũ]2Yޗ1"0p├Mv's743ʤrEZS߻J̷u|DންnK>ra*ʄ8ѩ6Lck- hBzLAfkMEBTPs|Sbֈ2'݅Y qN eMہhjB~ uO:vmҁ%lId![~ Bԏy'5H,gЧ]׽49EIvJ'7~^aI|C蓿K>WQvva 6P=n/zpB#Cϫхf_]& !:@%*1TrXO#(`}!+.<]W `n%ftS5Eyr*LZfwǦu'Q[Nn]Y#7(xR8snd'ϭa֯n\<xU>NR=j:=2ym"3ĥ,Qaw XwFlv+jHhy`OUFWםaY_NZW AGzlF1J%E)yma NDҫ? :cՕzDzBڃeK\MzXYVtz)q\4'z^m>/DJ$|M׻NIdj{!k.VǮl@ +ZtfM9lMm|-k"hĭ| ֬oX54G5sNui/ktV>/&r2k݄Ń$ÈEL{L8ƅŏ Yzدg9Ww#\^M Om,{Mޯ!4\n`N6l6ɍ%Xko[ 67l)NDFg0g3/#!cZֱ%ύH꧀} /mG鼫}6wGNDp%X*P$gKO4);Ou7dFɬ9gbTC_/x\)b#B<ڡ44(]1ZwSui[,iXR-xl~G%鿨KHK-qԥ-Tc mCrC5('o!OeuM 4!I^+Z2=XR g !~ (&"D?Ƀ\r&0w"{Zå1nSa*HHN&0 /gn7H [Pt=+bV[P$Pů4e2Xi3(YsL_Evݞ/3" gzmAɯ^=݌)SSC:_..p0h+ ኘJݼt@@A9\fAW~9KAqr_IM:oՕ9(A%ʥNvYrlxA>Սl?"R¨[{Xc )S' ܄2]9+ZmKW 3{Y\)DIZFbMD!kH-ؙD& ɧ]vT,>M-Je2أ5ddSXpOȁD$6yQ Dd:zWRGV 1,M?껅|Ojmy Fq 'VpXK3$ޠ3GbJT*#PJuԔ%p/xnoSyvVoQzm25:ᚅ 7Osy>.S:.T>XJ*qDΈ6nӫ+xv+*'5U5Uqȳ ~FrÖ`M})?_ϫJ yo>uoZ瞛%ymI\HJfv(иDm\Eq%iFV!D909-z/SWt»7T-xFrraӺ҇䱙Wz< ?gr2ud!ʍ)7Ab,:^ ږho 0Ofr$ O]nM=PpM,:ꦝy4;xm&A?d7NfkFfOt)uAI-ug J-\e{OI$R4E:h<4CPE˲|طAv ǧȡL9$O$-`)G!> ~бlyc×0;lM;GZiȳ\Br4R_.V?Ci'{A?G<`żו'<{rhoxe hiŒʸJ!iyYᬚCU =Q{vUU«Mvh++ DZJ.B:&p`quq-8I cI5L42t IC%}}oCa 5н+(&ۥܓ Nb6(=xhyN~;Dljs|?ϖZ2L7Uen_k|+{ L1XK__oKy S+Tn]D YN}zZ52nۮu[@rơBWUD3:.}cL1YOmJ n%q >8FbvedSljÔPbRU`Q`|dY-oN^J˺,Ae}>i,*X 5),uJZޒ wNZKTw7DLz,B\]\5&^ӃhEoXVDAZF^L0/hfqebӎgqNgp?#xUcx瞴 =?~gOl5ar:~9l&T NI6Yr]oy'hxȘ=6xȲ +GIA/MI۱ ۼtOE1"8 Qg+soDדF+~nbgeKCq1UJÏl9"ѣ`'a_*rsC>0-Na:Y)؈I=d+NS޵$|mB\}(V!)vEI*#R-G[Tmi:KlxvΩ`}~~s0v$L C:Br1Hxh.IN3, WQ$feק~E%7TDj>@AwB6;#}@ vj[4*ƀnDțbP6eJ.ڝR0zI]_*ȲБX#[>DIkOެ Yx#hrő3GTSsI^s>l3Ya8хD)WF\&^7!7Lf!me [2;/V8KSmt]\j.Lk( Dh[%;6)Ћ EkhשohX[\cVGc4SRfUɰ]!.5bgFݜfRYvݻ [;ua_E 5Z7 6c-p6*ҦXY'|"MI`k A>8D0)'W\_тޜ[FZ(;(M:M0@eQ ɚ&`P*W#+6 ՘9niWZQ*9:KMtCV䋑jTC n`1p/261H52~VD\QU 41b~ vR8!%xpݗPfMSZ IKW\li HRkɡ ::xGA, i#A C+r%'fs͕b=tD|+Zj0.(. vsIi ,35;}*-%c*x3F'bl̤l*[ ^`CӌVea($@Pg9{)U#~iwh]vW܌:U2$"C˦0韺ojVD}"_<5{>!;O QNUܴ8 &=V4cfAaqMw5Yu2ޛh 1|Ψ 7)͝8[?ēv &8rOJ*]"5R/>+Ƣ=OiO|yP%gB+~aΗޢ@@|:6 Ӗ5fD=]Yfw_\xZs c*{lF(c#a:k[Hn.ǰG!ɏ`N- ܪZХ\q3W>k] kc_]xJ6 |Fя]>=`NF NߤgN3W  g*M%Xz]hY7e&,a!Oa&=PmLĮQ/A D9]G!CP( ,BK6I*KW]rb3QXv`̀z`~ޓ!Tw~oU3Ԗ'fo4+\8 3iLzh01g҄,,}JuD;:]?|mn?m4!\}Nj@a7R ݁ƮfOY/4$R$)E@U7MUT۝H*T|ŸC 1NjXI5QfDVGxqCtF%\ \[W 3١0&8KEs۔ A_@9:@=9Pf}9A:Y31.)<A0o`˛lkpʢ+}tM<̋DIy?" v5ٓu-Y_kd<{'[;pF/~xДW}Vi& rU"DG&9i"rJ!_Q yzѐE#&*(gWte`VER:Pb~޹lUN >4Ȣl/Bd;頀w@.XYz轸Ge|?tǮ[gC?=54mVuxAiFڞ4\<=T)bLBцtC7[a5}Riy6m?4p9"hCҫSM)Yx=)qE#E _Ww?uD }Z$EK*YDdaٔ ?Eْue\X3|%%B61J.yuGЯ1Dhlv<@aEܡrqvU 5`p1~' dF5(ļWyo nSY-ba ';^qiM o?|CeB֊-hq墘u;3.dGj+(W㷣}i&Ԥ)v')*WY lD/M94BKH.Y6ݖƨk-&(ǯ*+~^j'$?lLnd nvuaL ~@QqM.fԑc6A`D!NR 9%0nU˝suZc~u>r <Fάo?$AsP⭤a ?rM+5Q0bSst_D-  00NX[~L>Q/2χ9ebw?A].)L(SÀ@@.l3rX$89 lϯ'S8ԔP"\ :-Rҗpdmj[3(#_3dgƟ䁸qs`(43-&K䈝UIL[A`@Qj+^H5WoUqs%-@?UKN3gZ-"C !~\uAŷl9?LRNe{^ܲ9>KR^k@n"N/'f̂,d?}!bt=\|wݑ"^5&:}:Qsi-f#yچV &8> ~@6s &d,phdYt# !.o kH#,)y!Y%VFWBL2:1s۴%n:&EnH5ɽhv.m9O^T}ro[[C9PY`e" yNiT!Hb ڪʔPZ<= bG_]D\?7$sbPBqoⶱ0=L{ :~v= 3k:! J5!^UQŠ7tK蔠Q'_.޾XEQv~Q|Da'1C%/wsZsMmYLaq%&^rоw-~7Dˁv)@ 4"`jc'AITa.!R ` m;K`[LEBU蚕5+G&m6,kA{R3usKKL V:>6rx.Ra&׽EzcKxZ*rPp%r@yX_z(jv8=lAA}/CV'ԁ!zu3SoB[ʔnؤ=;6}<>SH_&u„<3+K Glm"Nݍ؃- j1C!2Zqg zy@ CAo1PGNMpDh}><˯P>FDȺ=|43!3S[y6{ sw(_=,#g$:h핟dH {mhq9.xqK dXyf1)J<^|,4t.ӿzoasrC[G(,jEiOQ'1!?=^/Ci[xiL:j!.Tj_gtqק}N5JY7FN :'<{Lo˛h%|qMDP#&7!~S]2y_bNs.t#^EF'}u YjxLݒ=&S`ݝs|{p*a$ȴbiNQin-}>}Ո|jvۙܺ\/4(WUZu8Bz'>՛g`ϴ'?.&A{%y ͘7Om`sݵDdp_4BN)ݝfNRCu=E5 F/0D:ަAmspek(8g՞0GlJt&p&bxRKL}'{IhihM!׉rV& >8M|:kEH4tnIlL[BжyUbNb5E*Tʉ&t jRyu"iqf7]k!,"]0/ FA½[`w6IySPwȿ&Z P-zeQ 9q2; ?`{kp283܌uY4Q2 \ڛCǨg-XKwȋ6&}nBQ|>Djz)㵕/ [- Xk-&g;$ `bejc s'Ԓiĕ7|sl@ÀZ|j{<ࢪNgInҗyc'?)&!*o_P㚿lJ񲆴dĴײ~Egu SA; rrD "t-.{] Ԥ`3EJbs4{I2c5 *J=+(8:Ok=FJq+q.S#}Cj|31n11 euf1OD\VW*f mB0[7spB^˲m(A1]{Exl4咖j.[.͖K}1D4UOnꓶxp4' E\Y_nBJX+}>&1ͬN%g"S1K_%'q0' 5o' LwZR1=v n=O.W5.: ]bIu5h;2%:#f7\R߉X? kQЍY^u.0##am#oe)tŃ_ʪUlGqx6{mO~; 0i<7s>Y`25RT0(HR݊,dg3nO6'Gy#O| $D0ᬦ[]Xd/+,Ux L|71Q,$by}nNub ?jiIsgꠁ@H>ܝ_x tXʻבɘgh4VsM]jbψGE3>> #oQ9IF7WXG&7,3 `Rߨ򇻪̀%:W`Itu':-][pX` !~.6JΎ3\p:)E?}3|5B%BM 28 `s8$e`d;+uxUSjh'G#j|:ۺs1Z(c*!R)k@&/ wZ/yRa7ԼvZWbGcKQ3cgiq4w?&ـ}#dW&,IXX2*m:6BrʤFQ^l/yDCdy℥7~Ħx& gRÅv| )qw# s1a]@^\ZAsvXyg$;g(#*QaJ4$GfIc]gI^jf=giP~cu$ŰM4|׫(ŁZ&moerB5'D vPxqbxiz"6nbbU*1_FRf ;wZD!.T_2B"<@ɢ/\M>2Nec5jǐ^:nyZ,'R_[1\ h_FAoXʘKf1itx\0)A6w@|bk녓ՠ 8}P#+GSaY~)&pYHE9. d( A'RD6~jU5a^ 8)y Mg j(۱՛y (gBG*4ytAlM,į5&*$0Imun/cVokUW1׬S&\ OY6礃Uq](_EX앗38N`)X VΔ&HJ+Db!bEO3<\D>2 ZUrɪ b9` ̏zש[df7DeR뽾ʎugK _Ve:c XS+= GȇwmSq.) ] PhIanRfܞ,Al}'.cG<-{ۗI04mp5bp>2MH(6,R#sؘrbRt3OA=6*2(؀3X]o&tE(c]K~ Rڭpf Nu SMGa0I PYO?BM!52NɇÓd<>( SYWN.*C rx#ȧ%&OC˒*nJef-\ 4[ bBhBR12v1֝p?eCbfVTy:1W6_(ʏ_r#Y-yd6 :߉̕4N%lMy4?̡v]'aKb>)|"P%X8Mdȶ]5,Np[}PrgC4q}?!M u}CGG A]}cx[µQymB|0Ig>Y8}+F۩1w\.e[gڡ1FݪYFfCF`M6 *g^e?P5cAs:|6J֏X%yF'\!R$vM3u5񬶘g P\'g_::o0.[A&3UOA+~/\zS7!E9kcd41rd(^~Ccsq(ܤGNRȅB_ Lȓ3=0p /@bd>6(# -((ww]_\ޗ)#, ZNcIdg>^n<&ACp;]"{kʉO d$ 6V^kZe6hg-$'}zQhSMdByadh:  b]a+e%QQ&7x8mL&h2d(1U!;)77Lˌ%D)SiʤuH r huusȲ 2 Lh3 R͊qP ߦE6#2OBGdDC`]{<-!ˣ]=]rQC%b27۝^ܶR/4tiCkZ^ٱFm#ʪfԭW^U ^{}]>ĄP}(@aAXJtp5 u7_5%b C H$*ny*edS˹PhCA,p?ӣ0k8cCt %+@8T(B!eQ + p]u5lxU)H9IC{ [G@ZD@' gzzzM߮>Fۣ h $>(}޶̹0nFzuŵiM8" 55F#P_nkg5_.D{G]wzpULHJpHMW`dXP3d;+|QwZ^R[Fzo^+Z4 !tZ[DB'F?^ &cqQ ]ECP?MFyqذ3YHFKgL9nv @$Zr'ZR+ZA`oUӥ0mȄd)&\Y;424U6}̡)h#/"&&;qgձY a> #fҀYOI2-p&; ґ< >s}YYs鄨 ץUaFSIjz% gG6Ϡb YGFNA޼%nDneցC U ܽ_K}w_tZaGBy?&Ebx(c( u1 0%n_E0no[nэ>~?sLSI/@_*o1y4f3NcB% aoT"з]^.D1&P𼌯C*1nt++XC4RFOil2w&;%sd𼖄gBbzi՛dXƊ!LViQ:2T3$k#T o\` .h*5'~n?Lf+s AQo=Uyh8mf 8x3k\p"^>/SuA:wh32w\ثM8}@' KZ_CM膏0TakyZopH$gh=`n>J_ u&WS2mv[9[ӡϖC&z-=(RbGB;ޥrp|V},TkOf/4B{n_MwϘj&Y@ ܋uRd,@̄8jg%ӖmՎ p8S]>EFQګHWLp{Пd\sja٧pYuI(HuvW=AZqruD=dγ)^ȩC X"@x3 Htst]]VԿK|S77("^'4eS"P%7R5wFsα^֡ew@n]Y/[/ i ؾ5"i`: ['^M^ZI|'9M=tyU*+s n;rlm =?\G%HOfw`=NW|2\N0V[0Q ff8o]l z@kŽt+Kp`FtP:2i'SD70A"aiwm :~DUo g&NdYs3<·F8W EX!c[$15ml+}~'mpe輮|^FJBd Ψ̐p #X>XGh[+h7E1mI]TF7 ̖S2pN>ݚZZtΠ qeOJ>m#P,?L Gݺƴ\4O:#%6fIOFر#5ܥr˭hv=n9.< Bj7.9՜SKr(+>nɠ߭M?(]hVo&ޱv|9n¦X=쿬/kM5t8Yq[B6Tx>|_L4`=@~=J0:4-Sz`MPkˀc;pei70s ٰeWJv)>Q[ŒZRmLS0Z:OO$zT+KԷU $c,f?񐐠LJdhP!%- {=)E?IuxyCqyh"Ai~L8!ULQI6-Vh>;t]Gٯ|]:=_zk#C u.CrHsZh&՛kxygJCHd& )vA2YnZE[PaНIfкsdvC"7&xjګbQc}ۮ2P\vp2 43hdIM sYྎK2pa-X'xGL`p=tR = tb#Z4v4K)Uk{A{{(T߂4f硍7ؔVDf6UNH7ÖH4>&DeS,ܢl @a vm1G=qe)`mP^cmVpV eamյԵI},s0Jjxޅ +VD"&< AWkQ mYڒ%ƛCF`DByP`&m$ybZ?QSCt)ɝM+_| `^x?Nh8M}%TE̢HsYm_/nɯ1f],Оi9S۞{ F#ܷԽ|a+|"[<:\]jt{8>d^3!U Z6f:ڻxYZr ]+U!" PfMRA.w$BEfW߫L4 Hث'$4XohhDX0!}7+a.feesK^1DY"Gg /@W>`br|fH,B z/Lr}w7)bMQw!) J3 H®(R=> *OjIX]2)Yfs 9L{Bhn=$MM=*> uaj `ؠ7SUZ Z"`Y] cQc_ @|}~b2 b6ڵ:纍e;95~6FLvDOc`gCbr[uE'ID`mg%&DŽ<5 ;S'p"w-zҊ0h) -<$C>JCjzc,6x~C֖~`r ukC ]j'0L O#֍Xnk!QԿ?.:7CxG_ؼ]GP.J%TOOkzk5xe2 q-q[*Fp!m {24L.s䯠hЇ'rn](vgדt<o FqʎNDڗa䈰~[4ʵ'{|-S$M]Q5p 1~h4k3$IvH Nviz{lHWg#REŚZ,# Np |9-HxU7gHRvf㉥9RΫm^Wh8!% #/X<%3qBMiqapyˬ "Q鱉+O0%SFFn~P,q"d!UЧtC:{KRjIr@ӎi6RZנE$LG\Мn*- {5OS½Ri ^^/O[?0Ym)&jm=&^!j# #% W"- cBECQT*Yi>Q3h?iJt]7eod:EQIk;h ]!|X \&*ʅ6c19~jtP!cI$@ rvX?p8DMH͹P|PWvi'ؚs4 xjq]d:#Bߗ:fH-*^ZubGLp_vT !zT:~Wrjӷk%$gjj(5RSɓ9;>bgI( B[3·{ndIWtI+vkwf[\ LG:']*՝#gJJ{qbng>SƴTQY矃įd7)X4\ x?~f{=qT| [nP\RKܰѤ#aFCxNM.oY{D#p-ȷ*S"{5 544v@{paѝqH"vmB ,9u ϰtYJ!<›Vn7ڝ Lvj|)p9տkui<;J+}a|ZYL^yFyeQzr73a͌bw/HG|%<˛[ LR¹V,7~vm[ "?о9<R{ʷ/}*H=> ٻNp Df1/6͊p1C$] seL)T%tft/$[wµ(ɿ;;ӄ'~\3T6o4|m&2;0]hZ^SH_Vc nCbȣm}Ιuq9k)?RGWz,(^~É ~Q%n[߆dVxl%i&jKE414΍D3-{oBKl SRvi~ZqAu5KެOV0hgcF8/%{ySyҝSЫJ-ZTp*fQͬ"c|?ZQ9H[Xk{Ҥcd;\kV{"QeS Q'~;BO$$:[R f,y0#K2^ }I g1y8HDUAvSC;"~Q7HЃ" NLӟi/V8uWSYvIVٔ8omKQ~]nsl#/4qD!dd IWTxt \13 #Z-B(\N6 pthBmނ;ש {*m4M0]T C2ei*C3wе?<,iNLNE9cw|TaArG.P)'cE&zM#NX)k,XMbl'!o/KXG;#I*EE=}G&1qlL-YbMz~eMοd ژ_A=H[+[VEIr+}?LP%Dm #9_3HXndkVm6z~Nҍ>HK>tIqD,ȱ_7 3Oǂ̂ ]wK.X.ZB= JE$V3)-^ؤ=P,)?plT RdUդˤwtXhG5[]xسG6'r15?#7@)3:U{?n{/^2[mpbj~Vq_)L*(^n B3:2 BoEA$M9a)HkQApbc# O ?.'mꖧ N5FYH7I`m9d~y:եOCEģfu9uhp2A2L.M]ӎsqr 1ps^( X'&.Ut DY=z=j%#Dn/ْ=C4XVh%`joacq|I3ae] gvs&%Ư?Xgk`RLyN^FfE]uZ*d̄Ӧ(aLf7;0}%T|͋?<?9BRHI3{A1vh< lv[̏i_j3zHMG}W*pgWyJJP_,c=m䎵5 ,x¸RjPMن 0IW!&EE~ =ǷRwi^?1S:0gKqsaݹF3>6AT/ YU<$*KG-Qe-2`_:Lהs$;T!21Ip?H@ '=6e^9zx,t0P]cr8d)'X20T*gΖҿ~5࿘]hHZ?<$fI}`牱3B82E&.pnUOdnS'~w]qߚMI& xc0Bhs|ٺGB:cxʳ*΄eJ71?̃{ )AZxZXmڥN=o\)wD1)*lv1~6ѺxC-Jv^d}RPpwH pSg@H8B $*.#dUpXOB}u1Z .kcL\Coҋ:J$lK:™f#/s4ϒ"RK ,~c?@<Au4p-?̖&+#N,5;?lQ{R|PTZ`7'=7IX;O@j畸-%G2DKx?G w9d yUG3R/]t w Sx? :6(zu%{^GSizGiA[|AΉĢ6]Ux7`BmB\g{F7#*a+aB\f/#gm|`ٟfG'icFJؒ!g? ,q51.kSD Ix7a{ŻnJ3(-+$4ftQI_$6w1Qv/_==],X|w6'8 g#_`#̘,ɢyTeAEMs{--oO-pȂt"zTS ӂ^qJJyXf)%bnVQt,Q$"0qL0쾎o^ \jV&ju+.@B0Iu=I雮/$mi[[VQwZHZS_]7HWMdEo}-8IMn:\`6*lI_`W}4_/އ-x$~_#Np-Wrp6B\~;\jLW&6p$GA+j~BS Hv&@4 w׏)l,ڽY,hV扗f#h 蝷VnVu:nIs,?iZrv5*w1@vKr ĢD_)Z锶kʏ4#A8[I.~u]nr#́T;A=j6;-"/BG /;j1%f"q%ne3wƻ̰K/Az"3K6%a[f_g2 <0%a Њ}o-(dcSqiˉmeR@1|Tj׺Ɩi\gGhњÙe'X3#=mGꦿ[ɊҚDzNm 0d}h$,olTr{_Tk dWi!cÐaxOYY׽zaD D OҶG{UjaGʢ rϊ>^ !s/'ߪӀiyEWeCI81ӟ8F4,^$̙/_K^nLɧ/@G6rP rh,)THQTPQ?<+ؠ 4|̼#ZCqY;N% ': uj=ÒW8|swꨐ5E]W-ʙC}y}o̓) ed.7o>5~~(хܫL矞T#'uv#0׸qt]͟髽Q^g$@bNy .j]#gu CEDאNo xxRgXb^#3ƱryE{T~}! xCdڼS’NN;€"D|Ϯf;bo ^[ mb6s0BHf.> .ѡGt gdO7!:"3RIt{vM1{X}K/ $οylXOR2 иW;qO2RYљ( 0k.c0O% "i֠R'6fq]Yo@Y L`ԓvSy@aREwlEi4eYܧٴqNkgQ0J  }RѴgYZ7zXZִF! FR]ŗXi%L#L|64F `E͖JQ#7.>s è9s,MdYyofҸC+DhE^kL6Sy ϳ܄ ]>SZF@INCoW[0K*8k4UU`$%'gu7F>@ѿK}Ni}M϶-G ZJ{rT9i:aٰv]/`?(I wћP Ls;ַ ja>؁k,dǹT౷.زDyB$UT F[Iܸv(]u0B˚=؜z~33suE02b{I{<ҺnS< O NPO P͆)":csEdO~^W邖>DOvO'ef3(l{֛s\bF Mvd?XeD9M{].+?04~9N"#?BǎA)\5-w3v5xG !&FPP((ΨJYhZ9Lop E{[& _ey5ے$ B/N 1lh5A X6lhA /R]tpT{t<5YTc=gQ;4SbyH7.!,5 h^'^i;TSm|㪅z/ݔ25L tfnu>XX'1ώ,h~j}!%gם ODJx9IMpej=:1 ɶdN 5cgMˮ9*'7UQOuH{ A/}f+Cߛc_/H8rb .AolBxva=w~Ԃ8ܸGo8"z$7Zp65nOeo|~rY[gng7/rcΌL&|z1*JO/'l/.7Tp5wHBblF't$7ymJz,t pO@7ވ@2ko-9gľƿlbUk4)uj ʼܞhΏ-c{F[EV{/`M~RM<`M@as kPy[KdʄCŁ3GՁR( 㤵&Gl]}&oAO*h`PrsS< 8x,N ) UY(/5h%۵ߪq| KYԶo&脼l񶯆v#XQ&T# 82ԝAj$C>)zueJ+@d9;;fYci0r<]]3:T:H+ƱDӗPЛP*wy ,Wwa {6GJ& y[a"%X|sTUB̓m߳j<噰D:~4YJަauC+Pff{laKL^ZwtJ((p©= 0"`竔\nk9>d\|o.݅_FƋU5$o84j!SvrOn\9d* I0yaWiCN ğAC[HE'>z#κy%Q@+Pc`o|fN_џUSZbdŎxN؝yߤo[sjihk®S"[\!fSAʕ0B8MԖlh:Ud6c+m9~6˼Ư>:蜤6VvA~aYŅUMM_$(SD75"49VOBxn=8#F~٥,W_$, nM/[~͘vn(lsR+eF?ߺB\[j n-ʑa 2:1c],65 u]\ՆҖùWj@oק'0c% Jh^hßkjAP Y!u&v;'lfVS`أf<$K0l@Y(@9oϿ\QLrM8;$_;YD6M\3ٌ&WMr n+:S3q'3#۱_D epQ@`^C!([qnݫkޏmJ삦'bzlIlaz`6I ; W&j~Mӹv6?rٯ;E1ǃpWSPH y=ljSؚ9 _yxKm U(2*7 lvd&#*2B&f6 iEgVu@ڐ$zKTWm0@fES`C@75rOUŪNƼ>igLU\zsDm1.SsgxxnZ=cva_L[8peX3j?o0xH1n7M[ Dt# aLk¢$"oIizPRylyKHuX~ T^1h*G;ٺN.`6:W <V:| 1e Mi Y|꼬(Y-꼨䆡:ņ1q?!RLt:* ^;旃lh[cs#p IJ 4NwahOH>BpO1`A&-d⮜C* #A[,4}볙 [QlqA"YGc re܁^g⍎Vݴ'`Wm_zSjNtñy6a LX$Y;w/ӫ@e1Ҽ!.a4P r@j,O]GXg78w0