SQLite format 3@ *- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 d7 ]MSO_Regex_Equivalence:threads=2elapsed=612.297cpu=1195.740gc=45.872factor=1.95 7 MSO_Regex_Equivalence7zXZִF! #]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)D;I_\0x{q2UX@<;T{ j/+Sή)4RfI^aTC!oqn wtDbWѺgpУ K;8OfOo@ BBb K#*V,P&е"Ja_",fE]+j ;X@\6oF.VzG5mQFeެTEy~4pJJx@>ʙm^gMk Z5Y gyHEi` Rv"(@VFvALOmtl]xuq&}6UG%L.r_NEWE7vq1FR'ғ5iJQPbW_ÅpލyؒF xKZr #BvVog`?,!$uLwvᒃ+rWs:K?jsqY2;^v*Ljb;rʌ_4o Qo繗D8&2TWau=zE^yy 7?΀{TtvщAަI1: ( 91q,U9t+ќY7@eD9LuAB3Km6݆t08=FHC=Ż L' BxG8 l4R.՟^>Xձŋ~Pɽ^`}5_Fzx:Vq0d[›-7yN9`JIF,Ϛ#oHm{#Tv*\T,I>:'W"{5{-N81I2XՏ` E@=/cvVYӾge&y$!T}?E^ ; vCTAc>GuE/`\Aup|.-錁G܁IF>-4_)j ad\PKT{}; G DqtߟXIlfI !l %ek r"g%T]/lHԡ҆ Մ-Ԝ.{RXm+EDgAoSz<wO)6Pȴۈ>SsRmT lzf8v=Y|OۦW}[\|+=F$BDպ}Tx$sYOs8@de94'rS{Rjj">rYXQSwH"Qvb}OX#+cb8$s7昺P17 OؗC&#ѡna`嫇.Pj<=Yp<ֻ/*iC J)9mR+ d0p(2y־n@GMk, 9llO##}7>LwjD 2SEoF }p4hM({]x }Qզ;b#E*sW?mqKi@#@"$~5aXf\#Cl9q.5ې<%PN降HQLyɜvH+( puMt.k'/^=0DN)3Y[.ȝ׶伙9Dͱw o AzCuuOL0K&" eDBð~t֨?̣yo@LV9Qeo*7Lܠo騳ךj C -2RrЌ M7IW47pvn^L@ilrO d5[Fa?HhUBwuqḨ8K( w J.6@uӈzGmhٞrwJdjU?i Vfe+.-n=m+ɹ܄)[C]cA51wL#5=Ի 6R6BXەi⌹&VZрdvZmP)Wu9`lHxn=8$tkBj, {9?(Rhrڬ(ї/ϭsH6!MM2l`;6Mym1o+{#VV,/Ow5ՎϑQVsΏ:}PeI/Zc$\pFC40w<+W.3[bܟ;TPc˂d1T7)9LMȌ8-I~s2~&esh>{A3+Qpc&Ta2*#ݗKJ0ϲѸ3[h}Vq.'D2Ts噱,׳*}.ċ;TT؋yZ#u5`S"ZB>CȑCS>cjZ'iǂ+Eݶg~#i-6s'Vj%ۓ) LU} K ڈȇYg'EalN ?L)MQ 726Ͻ38oZNFz >|؏%{چ(!aחK>D\~ͭJjhr >v.BrzdmCrWJ~&HҦE&1h+mx ߎ{ȶ;Gs9y )ǁ5&i4H["}{w$ RŕUĻzG;AX#cbwR IU W6F6Ta"fԉٗZϼ~ndXpGֲ̐x&_l{p:ӹ_ #)Y^FC/TKӬ Ԃ[fܳNKAoFL`P]k3dP4R)TX.)@oZo+y"%:Ş >Xs{ZsWw3Q 8'E6BJk9EY磁a!.Rx@oCg ^J%ԉkT6Qt#*Z>hiZtKG':hsouUA,4M-zaEDP /dbtRXqŸ0o=iq;֔wan4Df!E0AP8 O"]5awSu)a)z q;(gQ1I'9oiq[5si@2c en%q]嵝*` ~3#"$f)a02FJ)G c9v%42Fb#ٱ\p;%(җ`/Jx=U{j)gxu]rơf+1zOn@Ϝ Tʅ j*25)_0wr|xW~S|~ _ ~ >^+ 9Gi!5VQRw`7?ΒQ~aQ@M)$ \'8~d:WƟ:ί?F|K^@np¯l?7MW^ Lh0e+Zcԇ\&cCJd$[4-G5*~.0 siΧi(Hm=+(^@]Pܨp$W,R;k! bQϼVd#ӗ{'O%ɪAcf_Z2෷_'{^i]F[ڡvO[6Gr+ D|VԡIa𣩖f E4 dZh::q=+DWn iъyC}XP)7`Γ7e PBq`To.0h"cg-x̟$x_"Kg{?3j;ID#%,Y]\ɗq$K$+! L3\-,i_=3Z.Z0A7޷EUï6~uFACS l7AG4V_yt[`YjxbxBz[Ϳ1I i֟IotcD%$-~P%,[Ⱦ׏~orA琰72u]| HvRxeݠ{{HdjؘW@ %Ĭ:uBeI˹*:ZMU9QCZf]8AՠLFF%H%;h>N I%+( 6UԮ0NŽbf:jZ{`N*/`RjW-n/&s,..jJ98dDpQ{sO??q< ^[?l5Lk!@ǭ[.x-]X4h+EX5tHɕD fD #Bv!>)9toL*_1 .eA 1qW䟼D> \4/_ JvzJd )o1:4>zj_P9ӵ)cܞ K6I;,lYH8*C2fb_=zեϘR8'_n0+g## @ DAp@->x|23xU7W07ф1@#$7 0f1"YH(0y"Z,vR43%5N1^nrG1~X*P텵B߭DViY<~ &>4LuUꗲ]f~s<@]Zݘot1;ףey1ezi̺-]GF*[E60|mclwAnzwly0HF3eſG|1 b!T̍}${2%Mb7PSכ ֓v/D I qʻJ|tǣ N0i$ݼC9H4pşb&2?7 )Є֨Ⱦb\S~@:{*wkھZmC{ݗʨǨ wI!b $ lf}N/7nȆTe@fz~]ED>M;Ȋh'5H n;X\?Ҏd]ȦkSXjn aO Rb4fŨ0(a7O~@8:_--oPZv#%%-w&QR9 e%N )T,˼ ֋֧EԢ j13[`ڄ qQP9.^SȄsAs˜4LD-*P.\9 ?Fv5Mx&gp5Ö'OZ_Jp#_3@2+ƪYqGG^"'tw+(*XXƞb8nD/Ȥ$&~)M/#P] AP4 8>v1vpYZn0_20[g,l1[E ` q %hQ۳xK|bEA&o2%`!`1-4`uYs̽Rt q̕9s< _:a}q>\:iMVbOntoOwnA`ZV6(*vA;3)*"${$ i"zpR8FWQxƺ% V1!(V1F}¡  O"+%=Ww`γЃYӨ(>Y3Yl.v]SSn$SѯfC-x3He3m uX!(! NFP }+}DæưDY]y}i]T:;=XV<)^[D>jdk٨l2TOt=u A\n P؛ pֺxܗ>Dj܄aFč[)gYZ7zXZִF! ;q]ŗXi% ~NxU_^2H?<ݽuWůq~?\£hyh5@P0@n!Ar *FZ@`Y;QvU7iz1 ;"U" ikȃ5A}^^={4]] ʼ.7뢩m>e:L@f`0+0Wb]恾1(6_%&p^qo]n˰w%n)C$u}bJhn=AL%4ɴR#TC-󀎅O!D<9QWƻ86~F ŋM`,xA9QH+売/*k],A1JAAr6HVӍs^h *~˦6i:= XqJEDΑatnZNa<粠=QK |,49kM6>5jϛGeP94c'"1}jpi/Gw?9SQx&_Hc>zcc:RGQ:$T- $R`*09>\֣$9 $G-sĐI[A0:|Őo3[vr4Ձ@IZ"n>wE.IKNV%6K^St8R 1ա_ǃ4Դuc)tOd/dNnO#xJEʷ&=pXЋ[l d D0&t|T7>nuE;hU N;cAp@Vc.1K POlDx<# \MRСYkg-87SpW9PLTBOum~<+[`dŗ.R'3|#|sLAw06WZghmg=U qSUAdbUk_ķRҠz~]Nu2Åj?Gf!;Ȫ,jSO"`ޠf)cq}/kN E%ayG/طwpϟوml_A`ʶI ^$T& ާw\ӅL6Ӱom@ݱ 6Q"]?*9OMNP9g额aRؿY`o [0g4F#8X$'ˉ=е%$c1+˫Oc^2I(rl8V^X,B\F؞$ 9 wL%idg*@,bEzk7zhvtnR'/Ģr[:ő{8\ҋLiZ%োlβ_%^2a68%ig*/svMui2j@LWgþW;=^BXwGmQWC:ɾ}qO]B&a=N%"xLRDž_&ל| *35>٣m.l, /"|T{i07BFB,ZQD/@BݛE(*J@b_ʂVRVShAEH \8`\Zz],#iex8B2 DB>-nF n? O16n` Ƭ a).č V--Ƈ pp"x|@H~'Q \N&o Ƃ}Pw磩ɒ e3<e}4%XSOsdNJV>q1E9ٱ_Kv,B߿J~w1żJ"W"ϳ}\jIeCGи`h.hqv|g\7F<#QN:$ 4@tc D&l#MA#W.i"Z!%=qU\j̷B( #ՆWO!%&92(Xj9g0Cw?NB<5\{Yvn4!RAa{qJŸuKS 助ԃ E %w7?%,rĠpf2?_[),rD'WtZxj_,uBq{4dZ+@oOsZ-i%}V!K$-fY< .aqM*їFNk-8ĬW6}%FJ[fz {}i(͉V4͏T2jw&[8'aG>^k/271:3_9ÑQ'jZ␭/RX@#K I4-lq6΁% @І@M ̩I;$l+a;>/ЦPKdŨu#vt@ee"=΢[/:?a >]h%dv A>#< PJ` h2t_lHH͑; I/n4.bV0-44ݕ6aly1_c`*A`2_A+*De_l.ۺ9iۄP2ΔG&]y*Imz1C6rBנ;FVҦ{)ZȢQd TK,E^ɂΨNKf.^FE"ʓ3~Ϻ3g%o2 3yWgt6fVV. syf翭lw~)X@X |JHe5u ZV@#QVl#9d,67\=~NzOt$tݐ)opuMR&來?Ӏ-xĉxBSV؁2tIz1)u͟&1YE!g{ ̯QnЫ =MH!M.@оÁWF cs*fBSL*+Ku+3)Ɩb%>`cV"0u%)ߠ܏ $:=H'oxuEļ"EƟX#vbUO:0]_3L$& ߋ5z3 bAq.~̶1LVVKyZAjs:`S '!acڴHQm.+1W%֒6``iu+ZW_D+`̧UKپw"42/.X9#~:L%U8$X4A{Tq`Sv$h{Hu \Y6ƣM!NW\Eh4'xtBः}s L1bBQc'kaԕgiw;A,DR/G>*r&b?$s-ubE:i&;O!У=VG/Zް?ERs9o53OD.T?`HOjwe=C 4k&ONb?:,LȾ 'vz{׾ajKNjۄI3)o#t7b s %j~bRYJ0id:nJYmMڻh). vbw, ̃zNP&6I+u۹]\r'u}cOX4D1ݱra_qs_ RL@ tugy+z)u'9Jr`VUl4-QP&K[2 !i2s1-Tzʝ1|6ET?"iZ2usՃl8 {.յ3N2[z[3 A`;D4JJs`%<VCsvgcܗcH23 #=0G"N^GS 𴠣1Z%f |"4={ Z8$IjL飂o+>92=g(u  J:5O"9/ ;0DХi,Šv$^PP؞5#17Qzt"#掯t$ wƼ5o~qNْ|tl[G8zvKle F06En$Ԍ );.`dSALeha辉jf6Upjj{ l6S{7]\1D9wsS01W:: 2$ f\ .ʅf0(e&ૻrmd'THu0RǨL*Gtf!]357t~3#'NTSUM]@[wۿ%O^bcM(2h9tӴְ$ h壏.`(x Hw]^GY_;M7WXr'jMl+Q+11S6gSZ4à+;9jUL/?D(Îw/ҔEzN۷gM0=EB%g8)YH:%z(YIá<XB@y6~~\Ņod#p?7(3:y|WKe.HS=R[3!T.f2IñB` 6Xr㽗YҭhĠZ`oE&*Yc~f[V` H;<y^+6 r PF^p7z|@~I o.q VN?j1xY@'iqǑOjG  YG:ȉxv*)ӧZm4|[T'? ˞=4kQ-Y`! TM"A=i XoE1Q0^NCtƅgb/+ vȠR;+tAG-sAeuY8(ecB;4ǣR wSF=+mwD{~̅/Һe\cGB3wVHm:^a(D[W߼NY$*)gjOE4W0y4]'k]Ącd]"Hm836|S$)E,hz] ʹB1V1S&B* 9iCPC(/IӴ-ԂBXɨ:#.b-o! &tV}hJԽIӱbdzMF]#g)k{Xʽ `]e,&ۤ1.bFlǪ1E+*DAtR'd ~PO@Z=SM[;Py\]<&a:nI0\oTxanN%m_Z<o1k0Ԗ59(wzGJtI'N@?MO@S%SV\xJYV-kDҸ 8<)`*XŽڡ.VaшUBq㠥&S4cι2Ƨإ6eEsnZBgE[s5פk֗lX}f1H +6G!k{74`O-P fĖs%fPCVſsewR1;.-mS6Jő$Hު}v3!>ugp˽`\t>a{g"iѰ$YF`$V昂n'qŖÉM.l=޹׹#ɼ`֜qP mƿ c硾B u[GlyQ怗n*E]නN74 yؽt *vyx+7GvC\{h*xΠ~'k|>,d~O~]Uk^?ӷ oKH]3 IAI4#O}O&Cf)g:H {$W"FضVx-M *c:LfA*;]e:,H֍:CKhg kM \CI >]54\A)\w0"B|,.Kd2l< DZd>X⫵e#DRGυi> $! ^?;Q6DG6g?87*gQ];v+!rBLp ܦUT&0w._2jj&lP|<%IFAE wۨ3 i`UH2ֹ;Hי:NY{mfF3 ĔEKݵ&ڭ8>wbYBlUwRҡT^a<8@K$p69(@fg*ZelN3?PJ$>{]$hA ]N۷͊ KQ_} H (e&xȰm][ 9E|,nީoSi)^|7Li8PƱmݑ8לDRvNk*`p2'R.+<_4 BeE2'WrG  whd̞>"ܧE~2 fr_q :w x`\^BN›?y nr7}862E.g$eeElf 3hDF&@8Hr/ڇ>y/~,FR:l7<0Y|Z?G:ܟ@{T(@K$ltU1n&r3M?}pn,hI(6 #7'cm9k mzhP?I1+fKغ"#H5G,耥 <ڏUʼড়.P1J193k%&NR vwO7 la"ǀ8 l.́JՋ#| mD7Ϗ.-UtpceIIc`[ ?VR=Ʒ>A!a᰸J,j%(MSAVC$_elw+,aF;Ʒ{[':r pkoViFõk.^5s"l{<$z-aun1h6x-$(ĕ_Mlf*"u2T_\`bx\=.j[3ZUx^Kvl7媞6QFؐL1`Js7v!a3!W; +Q\(D /ŵٴ9n3K5U%5mDrxhh\7ݲ'.XC.`;R4]pp5xvlK5b5)Ģ^ af) m!i?a1lt+6̖a0GF'A72zJ S/!C1ZSd<x|7Vẅ1Oj3}u}|(؏}Tj+xi;\o;DXgDO!&fVÝsbXi(_/ӡKhj?9+zZ8b/dDS],r*6~[y, 7,#(Ef9?AZn[h3Zt$ ^Hv DzˑombuHhE5\| e—;Lav3\l)E*+J2{x#!~ߏvRh4X5QaO$w%T:ե0`ӛ?WPȚxJZFc\ *wU*)Ij,$ F Y.la;(+;E ۤKn6'8՘DpI |ۀgTLP{d2߷cдZR/kFg =dVm^F,H T%H Wk w4GW=!JX f(p~DHO\@7W;ߎ "1镭=ǿԃL#re8j&@>n eůtpZ4X δ6L˖[yNeO(8]i ILYf /ȡ?%Nz5 q0DB,DD9g0ϗ>=xLfCwdpe|Vk((pf*in)0 lAX%K*#\" HJRހ`|ע~ O Ul'XZ-EU ~Gi L윚3ȹXfo5:4;J9Q ];9!V81Sf+]T73_aH+6ڍ}sgjeT]ͪFuZv);C^_FN..u u=Z qdy|!F夲gߦe;N!AI)]]U'\?'۬@dk%55ȓqQ8Ha'pyw+1 AvGcp]b& c/x+ 7c`jJX k9 1z>DpYxpFxe ނ6%Eȶ@4,WyD✰nq'p01/ ;{n'/$&o0$a9 h׺ipbrUe8b?*O% :߇ÑGayDL/<\]aoUwu/pd"t$"r;هY,ى,k(Cih;iWMە^M-:'WK01֬a"i]+hZ{ 妟V̕h<6\<E慱"gYZ,T#b._-WQ^üx.*l:A]o _Mj ǪF6Tm'֒SG=G-V,7E D; 98ҐĉOR,np^"7[ !HzCPю4ּJ \'aǙ[Esް9." htė4_P77/"q@oG_4kG͕5bt"]S8ȏ!A>Q! j 8*M+C$ʍų$g%F6uz9 Oug*GBkb&;{ŀ&&6>ԍyRmyj\9 EcR(~O+[G ca iwT!@i .R[iٱ+: thȞ{ 0 OOcx#˱J 0c ,8#B" ]Wm ^*3,,ZQ)hfQJ{mXU@)t*re3[ 3Hu)r*]@x@TEMEeZND{MmOh|]|Wpz(L9` w jv Er@Ч+W&kaTON{y%P5]YRgܑ}rGDV!4ُ9!z~5Hহv ,BLW$MG<b|=7TEF:l{'\M3r/p5ōAC֯?J*B} 053%9M5a $+fF5?:Tl7HҦR38h6\e{̀//&m'`aDH|C/S$b%#'ew(.^ˊD _NG"}|RQ\ߎ n,rGVmmvTh2Q\p_3}n7RƩv6KoYsTu-(I³:S-*4"6F]aYxy,x='9>g 5H":aҝ1I dͿ$m+ahU'hE]*3fhO!'*F]ef&RK33FfO,BΨ2fR@{p rB4I Qgn:gZ,{"2=wFD Ne`Fm$4_ Q Rn_lIk_iM%/|n| ݰ ';ƭJ?K"?|oI` ܨnmgv[L9TiNE6c*$`w-*7 SbÒ=&nS}z,WѾ]iq{63]B,b5w~uox4;0Jcl 4SL%n'9wW+IɶH/ J sLM-`!6 ϵC&-U}?+,0Ƀ2m71 8>'9 śvkRg1=sKw &,ò)HzNZ@Kb&l.ҙ*8ŬMaT :.x RbI i L@.kwZŝJBćٙps@'%}USm|K)^v߾3ZE22Ơ.HCHrzrS4>ٙBJh%6fS4w۽nRXq.!H,E]:ވ\xu ""4E&YyR FxD Y㴣Z^ 6XUz^[DGN*6RlzAs , VQ@ZaZ4u[>`fz")U=ϫV^mDc]s/0z'5$ʘrM",V>n <Yx:r!OS:`r]?)9yTC a/e7!$P;q1d Z(am5B C4eYHD ,QGɧY*Al?V;PxϑAE =GֽeDT0 =f!D|j{HӁ5]Ta޷+T"|T]'ԩJ+-&y>Z^h[HC},ӻ &*R!FZ*,!m hhii*KAB] xU, ^K_E7⚔ce KUJQ: w'#!Xƚ^H@#F5)8;?ڨ>K;WӮ'1lGG~ǜ Ndwj[; ;j\SdAń [ \ޒš:DSu()ugpbwR(s.P$!fu)$G Rj״G((C3=*؀-pIXpJ8PE҆ʶhM-\~z Tߎ/zq(jNᅯ*@zVJ+]_x71  B%vp+𴋬+?#~vE3R~P~raabGVm),G֛3Ը'I1.0{~r ج .LBUWW֣+q<[-^g* (Bt]#Wq^KWFa75 ܣ4$% 7 4tkLfbGJ_e)UPyS㇊Dt0VӾiOPlG~؃#m$ʋn]d žϼn)KCk.)/c~EXdf"ÊQ=!'J+fNr?}!/]w\ aH Ī9c:ϥ+}*ij :n˙R0%+/\DG}o u>kr Q+ҫ #VfL9֭UcAӫL( (&|uGH⚢|dwo$ 3.4/ʽ {. JiӠ/) &QS EX86 2t:V?*=0ZS 2ikLޔ9wX/ݳ,bʛ0| Aʙ+fs/ܚ;>a[kbanma﫹0!/7M2)`Gɟ`TVlUJc)@=4ndf+E= R(&eΖLƢLmΧUXu@!"OI)t5PKx x.nB=#P,n 0a8U|%s%EȒz7vdc;0D t)U&g~eTZ{%h&8i)7sR+\>WBa!r >B5Iٛzwtbْ7泬Y||ԳZ"<v9q8(zV~ t=zt@ZY\0!9}8:aH#1Cօ?W—lc͟"/ߞǚ!؟oCƐ_lgdꚷ0+gFM3pZ`vqn1dwA8cgvrs?7HAhyV2CM)ZaӮB,ۂ AC 9w q0ØX wrE, 5%GQ#BP2´l76m{ LK&H1e493}:5s :+h#pax9F~_ר⇔íP1ܾTjG]IySׁKx"L*Gå1t,BUJRU! 4f*zԵRD(I0̀TtꙘ6@BZS,N; iKP(R෎L C,(iJ%2Ot֠]`И3k Rd.φfh%uέ@6pySiN;XztW&4UsA!  Yi}Ë 8+ 1"!k%5N D2sRq>/zh6l %,E)Շ+&/ƒW׀,$[qcFHqw hTͨ6TDËS,o9~w?CJ*9I";ǁrtmiUd@TeG&QaמC;UBdDyG51R,s dq%*eWc2 |vILq@J˜8>Fx!~iu296 weuAaV%g].-̞bܺ SYiةJZ[_URD ;zx-AYjBɟ۲0%~ܮ8`D2,eȆ@-yjr͜9,_ K !9r]NʄL ؂:*4~>Fk#VEzPK;72F,\ǛvQ2ϔ$B7=KX7[adI\7\h $h@[iX5DՔS])&2䕄qJ6'kon#̲6DJ vCH۶8kg(~fhi{0]B)ǐO"xBAN`i5*`%P8\br{?w,ٱ)&`p_١}2PyvKO%_tou"b#V'^GF G Y6qŻW 99G1ZvN!Eh$&'͊C\7*x\sAQ8etK+a'P~A߮`?a^ U|xYdDr-GCvϘřJ[ﺦ$t|Nop;T`/p"ip 5hۤpzAq|Q}`fSvrGCENјQ 3/N4_L3^&Jy 6bq ![94,S[ĿV,đn@I' b; Fc7w'])wnuHvc&9{ĕZrh}H= {Oʼ{j^zb6 c$_ǸТ`1YGf ~̋&AJËc 4 _- :=p dDx}B-DE8f2Y*[>g3z W12qKun8O3ˋVK2d6+wI凗!]= 4tS>ؚ$ j L~ձIg책n؟W\C"Ny2iJb> M=0D {nպ,~e7ZT~GZah q34B:^hkc%KIq =+›w[E\aA+FՀMhRH9rU|#Et|&pPbb57_R•T-S]EFB\Bw%y*;zZ7+`֡o["$@pCBx (-E;KH=|D. j()M!p"`dƮs&;}qb=u7 JrS8LžT*G~4 $ d }D|`[<wY($I VclwD^Z`ѽA=ť31v%Aa[[w$GutDvK}G4=Q6=Y)8F'sM˟9f,l]t0lPfJ٣9'.P:s"pK%Dĝ٦T7Xx1>0$,ѣqz s@ ZӡӎkgzdC7ۺrĒX@[O#'%H q7[>l@2iܼm6Kb`Fmgq;p Qr [Xs7k'l :~FfgE tzx /Fu-JM\fV#a GQ#[\ ^T>F~^mүfܐI;A\k_!8ޭąf?VnX<`Ym}Y+S 3n;0>O6)_{i_6w1[zsG@/9G '* zWQɐ8ɀ-_?}LPGV5ilP-&Z9b7y`ssyʃ=E|9őhc?NGz } "%`8-Yrh*u.h+AF͵}^4j0,.w*Q$R$ qb+ejP*{A}Th ʃ[8 ) ^!`|uR$Cz1gݩ]F4myՇiy:uȡ#F}-n JE{9 &PP{CQv3N0_ I}0iY}'s@5>^۠TUv0JSۍ~R/3 Ugp^ &X^<ԳӐ}6׼E8p-{S1yCYRs1X Nd;We ' 6R?WqLZYEᏛwjX©3z݊9q7b0ʺV͓lʷxw 0wMVdan`zM^JIH7&ƹ~2)uO14W|le z_Μ+< -{hف;[\0?r|N?dK ]ѳOq͊]؎fV"YYԢ+ݨv|9 ϯ`2,Ƭx2C⒜ =%t*lǫa'*sx)AV3>t+yOQ!o.2zF Kv ¥)h_]?e 78xL{g5}*g@S Gx=&jx潵eƒU 1Q]@6!Vk# M s;[iM2fA|Ys)"-䄴폵&4j"6lP3V sש]x2ZHRg8vR"7`,2*"]d{PnjpHPl&81SOZ, m^Sw,RL.\L֑Dejee)tsl1OјCNR܋%5Ѯ]«;`c}Njx`8w #B|XKWH.xDb1с3*?Yۄ%"UgTfz[9ؘNpD&s aU,3@Cr} |Y[xu) 'iWMOL1ynE> K Xƶ+`u֚91RX rbmjibwvﳅO]s3v.=I^hYpnE8ſpP`ոh%!2}j;7x"͙w|,$]֤UV nU>ܤj5{BVRAwB#kOߍ&J=`}V9D2 3ӭgfPm7wr) $vhAE;U 3SƮy-ڠBYP1ض+Iph.bsQbEL"l!d9þbHI9}qԺ#^+ąw?F#  w#ék6U&oK1&afB_1R)CkMh^¨1h,̓ˠ7l'ASDI[!#(ynHWgfeH w'<;EѩϢ!r$PL@ui߈WB&} *: b0؈gotYr>K&6ӲqL%'WeC|X @SH*.讪&_>i5J[!oEwUٝVlpI,RE8q23,4_|?S`P8ʉ9+hB&=n*U~z~ @OЀc+krt6!dm lJDKd&-s{b+N >Tp[E 20y3 L2S2ff OM0U+A&,^rXm rlT+PO2ʾ+\ѴYIГkVT6GCZ /ANA߷u7K4n _/+;;M4dOPТm-;c qU&["],u|QhwmSZ8f9"!د!w0ϕl]՘ /O>ti0y"5+r1" @?oe!"++~*Vdx d3~O5£ݦ; l*!O;|Oxz?l\a3bR.OYLϖkC$KVȵ@mh]DF&_'E<>Is_Fsh?2"wr^@O٭If(?q;VvӇAM ζ3W 3haaxM [`AЙۻ?( pyZ*ie:g8$(=-*qK4%hD2v]{;BNkПhqbQx_%j+ϚbQ'l5,xD&xHNrU . Ml2NgXzcϺ}& Aʣt_eQtX j*>b@=y?A<2"ӗlP˺ :#}HH5Y*/1){RhlvIhm\rbX86ew.VaZ_/̌UAJٟLi- T?_77\ˠ ?טA_Qz>$$'&<rT=7f,l gYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 37e048eca1afc2c069cebaffb562a02b039bb22c 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a e4e06934653818985a7ce91b98ef63f6fe3b6a97 e568d88b6d74be27f17e0458076fda5c5a80e25a f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386d70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff918477c9cb3c7f7ea04222f5d8c51a622ad501e6de