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   K1#z#_EuW>$.6jn0c*a=Wb_ #tBSakJ̡YG[@~{bY'8& gg}3E3o.1OIg4huq9) r)*BVg>ADƐ9LMbQIr UJTbUQ[x յ150 &B!t f]қYrBA߯AY#]OРJ6w9 ~L`t<^QӝT%uEm|m!xǿэY'L[}_qNĮ@x%PG 5{$f{0@RJr7=g~;E;h gh㹒_kiTh0ӝb&%-(tiv[?1a1rS k.°/4YE]%s߮qe6#1¹q$j.˘_x9!>؍zӴ2Q@ h 1Q_ rx|D+fyҍ6md8,a=N ĉN 4θ~.~4uޮ;E +(PtSWt?<2㶨A@}8Ygp _pcNU>))%RX1CQ]PTJUPEizP"zh!^Gf۽= G r+}*~D:>c=yԈ7JQ׳#j{]vh]%\v֡k2p7sãtj=|rJV{Ԯ/ ԭJef|e#r^$ٮWq#d<,9h$1ce* xU.<-Nj#p9 CՐ ^IjmXnUj@ځGX+ Us7&q~A{IetY3x;ŋF9}Ob")/dIV_N+ i%~'0+^Cתw2Z?Mq9n Q6<]Q(`("ao;vVvyo${]ViF1vR#\P2ChN;IЀD#4_eNcK']M2s}J/ùtVA!IjLI, k(KF[a}K!h/o5 Ȼf$-'!N{ ,sXLӘ+Gm\O J hmKN_yBzD: \iJ?'> >tNq5,':'HkvR !-eypUS0JFP'm2&[ zp j%` RNwL?3idM6l+d|~\)1UsȲ$6?#\c7#巓.Ou";ld] 9>м tY5ã 2 ezIp[Zgu'^/qhb3">k ];8u#~5eW‡#5Tn4Hb(}*ggS-Fpbcs+yUeM6=~4S=G58#⿼v|S* ^Y4uH7- Hg Y-L/i-*If4\i-;*& IX6F !\?[7\a΃Zcuw;5LH 0{6ލ˫ʌx.Iw$bc ћZXek&0 .Xюs!НEV^DŋTPW`oH#\36U /"8?' fКZgRL(^lR\XUŞBI|RjA#R}x\~^V;egw9r3l" }2a1كث Sb L3!a;$8HItQzth;#~(}wnb Y2/3i8m3{X{L!pCP3@އV˨9~;Nr^r*c^)ү.l=#2fm96:$Sjr3}0,Zmo$Γ^ mX6JL]BeއA26#U^\) 1 HOL-Decision_Procs  B3gQ8[\ʈܩlUpߴ9?GBhu6h(b+m#"e?  eJz25-[V)cTNI|E )%vY֝Ly>DcUd:LOggR%H.Taabud}a-_̭M '9yuedFXQ:ܱɠȇdBbsu87vx,@ %SDa:K(|j&W*]P~a2?Z4tQ@U頟aŜ{ ^c(!W+sBa.K 4uG:AL: 4W,K̦kC L=ihJٽrUs@gqǷWȇyx]!oyhJfZJ4;P8rj2]iHV)M(s,Aw԰[5Lژf"ar{)J]lWo72ITfI OB'8dI.#M^b3ަjMŔiN@z?9MWpϚt>E/9uZd,󟶗L"#ٷ0|%0.:;9geOTs@cԅ`4Ewݳ$d)e1=9dԔaXY/gj&y7.}=Mt pC.f¼ũ@#<}ќz'朶0JKY#ыy1c"QDF=go}_#B8lFAcvnB1$5CCbmTDFRaS ZcW)e3W\XoE;!qRGa8B2GƝFXҬf0(fo}2xJ֟LDAV8kutx 9jxVqu-!Ř>_;eѮ\]:8 bJ/[?PHgDP;+婳W[g|=^vK7qxs؛1W4cv/~UA{&X96j:lI=Z>v7r7 \D'dt>Jƒn)ֻF'gw TQnTO a;ڍ93랑/?ϱnaL`8b9dpdL NqŸ5:O]F][R-"՘kݎ\)L%+O^ 23%k) WœvV]ڈIs}1B$$= g̴;YA$(m(~_-E_ݔfqCn1=?RRFը5qMa P q灪%S 3(^JgYZ7zXZִF! R!]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-dv,piu1 E38ܝε RE{)TOmBǘ1(xMq2f(J4 {0bۣXިQ&Y,c4,3ѷo!3NĤ^Z?6<aMv VEZV_\3RMAZt#jn>M'Xkǭ\YtXzdt>zʽ2ہ:#a$s_.W~mUB!:4ZY~9؆>/Y 38|?'K>`wR,y"}E7b>9uM؞Tܑąd#EfEn? tIgYZ7zXZִF! ut4]ŗXi%;Pv>RU1mcwP$KUeר+|tLK4 EcT;T>@A1@;:SȇP==%@ My ބ`i)<Үɠ͎s ,G,kzNԳW]#G*{oXI7TU'܆㵘o syb@>(r#UƯ V\'++9 pGѢ GWi3)a=e8VyZ' UA3*ɗdh!I/kbJ٤*Kgi;Uċ^p Y55Y8ֲdEvmQ 7E [#mY48^a"7=۬o8G{̅*P-^D$ژz$)ؐέҢq,R{xmC|"u(HY?D CGpAndT5!ձN.ܴȕG@id -95l =8?o&B'Q ް` a;bQ~7.FDO[(E6i6+ 26P8+sd?e\A$viCYܐINVU[6cyL>8Sz.D+}OQX3׍ᔃ?͡@rIj+R&qH?c%ŏG m{` rh%q]Λ|A6sISw55bKwnbk܎ljjcvaܴ9L*6JժGy8rO/(!b yl:FVc|K{i$';pX}7_(% =Nн@4K"y`)NIX}d?E#0KALe9Bw\)Nz1$zIDž =eF MCrU8IK]{j ĝȏNkysfhŒ/=z>1'O0 uc<Ԋ8 Ȇ_h)@ozH*_f#5 ڋ۾d\QL ,As/9/A-qТišaW#P2K#J Wg<9$ݬ)&s bsĸ\ y ?`Dǣ*5I9j},=ZVm磴FYn_`^%ټkyO[X5e6虋F;IbV@X1q6It-LxI{a h_?i F5[]h!꣬ZO#;s}98+vH|WsaIWG"kVQ|ts]?2?I(ȳfxڲ8 Ih\,I )F8c.xhD֬ՓdMh>_U&(<$qପ`m|6zcu y5֘:Ta %-w+38*C A?0jn'OZ9 "j{t|^=K} }[(xDžM(hCC v9b44 _>H;fO̩TFe\M-+h|X|XYӨ0+qYŗt1إ<h'tLQx< ՋmM{:[R0A_\?25%E$}[]3 LÅBxrD8(ț"]Oz-jbrȠC715iZnAyJts5eb?'{-V HkȤFf9=$>k8g!c+ q& ]~>$fxYsױ[ΚHOSӮ&:pc+k%81]I wh)`tE(rEOW/ A>VJjrc2E@Ge:j}P}t7 G1|KLV.~,+!n0=')3ZޝؿB}3XnfpMMP~Awv){5DUҵzխoQbzi87вT&IWmVVwZ{)Z`0|{tl-},xgM} 01g.YH(NB.m"*ft^04Mi#ar+;П!r;UmQĸ>6E4N' EEy7P J5,a8j[]1w聜щ?/m[ _۸f s&)r*D/Ӻ:'0LĞG2g M/hòb5iݵhY1e@|:"JzŔrw+Uu‰}&:Qչ-|'KKO2gU ౖI xC9r_ߊ,h0/=d7?8n4}Bd~B`p@jBϚF1WFtW}!_( ::B'}aoT(۰1 6ƍ^6}8?T6g^zTSTc钐&>g2hVjˊW|fJI(1zGP=a9 a?}2E 3k =Rδ!"'s 7JEA9#Oe+5%6=u |h8ŲUq2"!Z2uXW} Jzif?b*Ca&P X, !""[Jhm^k&L]V. 3i+RlǬ#5`εh,-Bzweyyw`:S0>J9qj$lǫϯq\?Qo̝2Ķ/s~0YԪ]z ЂAj!2-bj){mp5%BCxY'0M`>ۺ4FJF'"R8URĈ$!ud9{q aԜnJi&&A=fPnͷ=CiSvJu|3G|őqܸj[`=⃠A<-UKzQhKƔe y4dy eAa*\Y:$6TPB(7mZgyO:8.^3#K;*\*ȜqWGpjb/ѵ],=s}5nP6ی-z#[wmQ ͰToVE 5ڴl_$~5A,LeQr{Dqt$G }X[W@Нʣȃ4KQNn38?G 2m5J KګuVb7#9t0 4Ak/|5}b~t|ti꡻pI.6DB;Ijrqt:bJ]9rsO"v}zO|@*V6P'xm|} XSG«*?%M6XI_΄ kstѰ#܁V,Љ5Ai#d~YЪ=.AdWvh5a,wMNbGy)ڿlv^"TԺh!>[TՎGv'$NDpmTw&F%mIV/`q)mau0;_xL0Uh拧+Y{= &NG@eUd?Ù `.H{Ģe%GFgf[P|O?LRb>.ҳ0)41-~D9_ܞ53#,K𠂙I-bqjѲT}VGD y_"$=V}j}uf4۔|S%)@_h݌% a[uRipI@Qo;c;;Hv1e>82ս>w]AhG_wrZ`:NE1}B)jg-*)vp%-tgv4p9/ ;;3k?c͜"0<! CH'pڼ8(Jója4T G߃M؟}d We?awDS=z^v6*ypfzz:Ӳn+|bYp9~Z?߳!r"i4!Q:{T`'yAa%CQsI=f>OA2۱^/oe,NzQ2ip&8GafT)-G1EMHr`rG{Ho%)]Vvzl Q3u:/2q8QuՃt#F;̬ŹaB8Sxw9XR!j~PjU sW-փqxҕ6 1=U >gB=iŸ#tO9ON`T|O,>` *Ѧz3; x=D_ #OWmixB]o%L\l*ɒ(0^B2m.޵t~&~Inw5E<$򄁪JPI;#YrzUKBHu`OnaM㩯iRyr~Gf [*ș>m;wɉT%ނ=C,uƺ0sxt86fbzsA)^K@'B O&ԋ3i;,wP+DB֬< X \LG`͂QY0r] fR!E*|K! G֓J =fͲ(FWݓ \Z 1CjxIHEHZTv )js`y\ x_3]^M8r &Œ5e!/ 5Xp [g=m`\o0 Ԏ FAd|yЈÐu#&)T87;\rt|Z/ƐԅjTssEb'՜%ɖ&A|+Չaa[+`Di ג=wh ]|\ [6P9G>jV߭HpWMK@tXGjIF\=jJSv~{)FG}԰\Z'?qܤXڔkFv^#- UR\#i [Áed"cVQIY@+@X@/YV* 9gZo|H5&a"ׅ }k*'vKFѣ6}*۳#حi`;)}(lBmxni)y1N&ACVĈY<ܫ֎STƈYoL!O~Vc{|JSqWaO}wY1W$8G9`&O7)Pen];2(ur|*{R5\Rj:ŌX#B'7I3$ 8c{}&ƹ[96! sЃI@Ub S7&8g6ɜآJB2i 4RL Mu\6hÇo smfׇE`-84CGlI;¸56Y' .=z\3t棗!E@ؾ`xĘ(߁JvƢ[[C[啓 7 m7kJTn:Cvd)sPlz>ʹqRf m7~%FWlcACT2CA+iCD4V<)zh{Of,'[ =YJjpN1 z:!j/"*lb Ghs3)//@=XVP mh*W(.ʢNh'=w=!;\ Rfhmg #6CBؒg0pq5 s튼=VXcx7s/LnUf<-bȵZR NKc2\kP֌as$S>Mf@XmO&"*B_Hw*fXqPn%zCDQgQXKEĎY#΋]eCB'6;͂F2q5^(DO,dO;{*ޜX|6射A@Ywqiٛi;X),5|ol2=5to^Iir{ ̹.+`*mjQI$-"AlAk٠ @@^Vᯃr86m|—`$} D2jIB7tGέY<)HȀq&Y-tPbbj5eRnAYu1ѧq=YJ@<uo$׍]Ka!A5l6cSxqS{ PGMofO25z1 <#~)l`*lBOG"+@֧m\,fz.TTFb+' 5$PXhD&b|vշ,?ʣoR(\q %9!)$apīM8$V(NF>ܢ>f/s:vWn]=n#\Σ}%^ʜ{eINQl:g]ɹpI}}pIe1QH#E%~]Ɓ(vQ3Լ/AsD>jHLQlX,j e! 4eY 8-{,Q{IRBܔ$F/ IU[=X!/hР\FIaӿ Y =iB T9صNcPiLit Rj2cdD } 6h8k`$cۖsbdx) ,5T Z/ y?szI_|ӭb{z"hlxy7Q]dkPakZ\ uHc62TPðNe|NOCf՗4? aw. s:-rضE%pu6]RSfd[r}*Lxk MrL9rz řS&iv'$3B u._,IgPV[[;];eiiKWu.kH{, \G~(r1D< (\̫O]5t ڔDB^S׎839M-7v%GxU k9GYqlz]v=`yJ@kv&d(beɐ{m$? D/Tľt0{X*dش`nR}v|̒uor;Ml_r/5;Pu[dZĂx3CQ0s؄D&sdPæw>}Tv,VkV-0Q(9 qӀL2#Bl5@1 yS͋=+7-Ub``#,lk`|lwR똀gA],V+.u#&ٖc #rv2}ŧ(^J7t0}RQIQ(FQF'n۬ˮ6RLRLz˔ ɉЫPW (yXĉ)T||9՗Їj刳zYcܩ\9UMkWLlխzpG0xU_/'Mw/-=? [@ЁK@-TsܐE 0GDS/ w 4X[ ̝I[#m*mmuWY أT{hrIus*e3o`5 o%ś݉ P S ug@NԗCFhB.-t㻾.h^Ֆ͊H&HdnW`]^ p8 19g+;vri\=*` #smEc"֟8]z%wQc05iߜÄ0$ `;d'㫊1:v$xhܨb/ꆮ e,f>5u*{vJ9&4&0B܏:MXOIٕ ̑A0U⫮)~{c|d׌[sJ"z0 F -:-3Vd%QY{R:;t9dOgip\ @4Pw&cHGDUPxŹwb45Ƚ#8}<)Xȍ3Ayw=o3!cyRy0ynb -{+"4qyM 3|0p7}KkY/՛kF၎ަJ=qsYk/:(U8<",`()ͅr V%jJ}h 1rG@ g˄ݧlZ*&w X?O%tՋPQ%JP>cU-̷UXxQciO*p٩ 蓼OČ֣pNS|V~ !|XU,V\a ɧ@dZ(?ҷᐽZVyټa.ɑă5лNR롘\S@r(' [<"ԉx~ t4GM**S(N0y7";DX_"1G_?udd8kfdBlW0W*u7=$bWL`}_]ʳLƹc謢K\\Pq}izBe%$&ɶUAh5FMJ+Z*j!vZݼ0{-͑0Ur˗pj A͒dz Gf rϤ̠Zt3m ¸1gC`6OP)JJ-IAgj[ ?`f'Bl#LfI7׹獍kl _ Yz["tMdlۤ޴fRXu-*@m7 /Lwag2pH"/U^ a|Xt;cBB,SޡX*caӬWWd^("p|[kįQm4N-åqxH/T_Y;42<`?JIc1w9~g¹S}_1SGaPi݌sߣ[|+iN)d{tF1x:46˲tő=42.Oe?xG^@O:V"aq*;Xƣޚtq1'*Tt5Q.&h$UC+bvUe;*Pl>g٢'1\`䒆iip7NY``蔳YףaQ qPH YS`8ff@ `, Uŋzٵ:vrA[o~U = ׵vrkm %T , 'ivTm9񪻡t 4xCm~%' |ZI7M١X2;`KZTQ)q #3(2@= +|>b־PmEũaw(UUR~][G'y`#LH->Θ_k GWOOfob0P/29,:/dW nCY<h׼u h^>l˂݉qC.\\K{ ܼ]68 ?L νb74SO2L=a&0>z089b7dRrf؊"bʽna1@He\5ANrvF39>n#壳ra|wExe (([K$J:}'|k2{T9X[;]I{pl$18_}6ЎG%队n|) Zz0cA'|LtX&6)"Oŧ60YP&W&<*PUCOlt2L\"Cy;ÖbȵC> w~X+X+?C^8Bȿ⿆}A#Cyb'gh DCR;P(QC]|GaՇ$Y7[e6pv\qM(tO)| _Oz sGp ^>#Dex>\𬴖ЛVtVCѺxU F O o)[~\MZ*ʽ@T>fE/s.ytZ%գ \l~~{糧2' y Tf]լ"#s# G<yLHZ`2۟o#pm!CI$LJrV a!5^B%NTe xbum\3y#49։ثaŇn4S ~Ogr9ց7bԔlĉ[- 1n,Iv"C}1 H~ &M*DT}䙗W,hY`_.gf"$ `1Rn*GvS9f L%N~juhBBGIԑ-A@q%_?Cg TEWS:$;)#+ sbA[vj09VM `~5o<<zK+꼎 ګl'uC0+h$:/ KyCcv6-Un36u;6^ 3zfRѕߎ+~ŏA81@~\1hBUꀲ?!PRAQBW_?<))>ҫWcR;*fNs'CUl.ǔGP"&#yKܮcI -^EwJTE69r .eGx)14ʥc3fa7[++Kڔ2WVO⏰ A\1u#Z"[ pBY @m f8SEcLF\7iآa`5z{/U x]{`h\̠sOUKl =8T2t澟A{"-S$ȻKHshF'faDW.\V*R7yuÉt.0o!] Ly)/fS]_eGK*޶4mW^X" x\ꧥG2v"ⰿ.4R*=ҁ~@Lh PŮLC h`"*\PӺz;c8I z(!=.kӕWyr"’[XV|5%{g+h/)+iTsvډɪHrůKlTdJ)L̋ ^'z spCc>DC/Cïp( xN@n24mfj`x*HRGfeq%DxoWV[*suaRTخ wp,La"ZFZԶKzXvT|8Y++OoTK_'vn Z)n}DKQN'AkҸnVc:&$>֡_oF_H[-XI;-W[~'TflwOyUcn tO|8|$BnP n2d!<6%p][!Mo|̀xOD !rU hoĦT(gH]!~ڑ"S^_뾶F,qm7.RmFw7ẍלf`ڕ׽S2%(N/Љ8s"!MF܊}􎐱 Qħߙ6~awzP]kt-=Oh `?w#e՜Z]O3%ZdSx1諕ehIr"`b97|ɥtZVo"t _Vdnl|;~>0;ܞ#+1 J_!ϼB%YZ1wuQ)wk4S_ 3Vm-Q]5!= "o/* S"|VJLmsoZ 2;R 2'i:[Eݥ Y<j0}~tϛ@ΛP9u/:Ƨ~ZA7=c1DULF2^ e y4,L>0+ة%m ]нL>e3>Fjk~s6mwE i&9k-v+ [>L;U]- 2k(Ms|{a=0^M~KҀ^릆Ep‘C9x<≴tB'9v8RxΠC\ 랊?sq; uWOo4m4Gia-|?HI8ڷf!35()}#թdZZkAޙR{M/?N SC#vHH)zK=Q^riuʺ@z-޵FO ,jC"߉OIªy`T'u$ƨN>@PA0CQer)?+< XWw`pւv VUI1]}D@ա{.v#)ovn[+z3wU?%WK+rjƲ,JC ^Jb+9%oJ8~8D-x_鰵fVKi(j*==+daYgg*^qz]=D* ϱ5Xw]M2P5^J阡D]]oһ'f WTPM23i2l*  oޏ!L(Ii ,)b1~DN='˘mI'!>C9ʏ_3c2˒1Z!I'duʳT ;J8ksLݹ> JL!b|n$w76<[W1"eީf$,~6o,uS-Bp^;{PB&ipvXy.FP'ob6е~C;D9v4$ 2.w[ޚi[FUmY_wkͶ=ATmUÉv)IA3 #5=~){B:djX-;Di%0!_Oqr!p^ȸaD0ZIH(&GpVxy@*uqcJ@k4q!etv?G&:gq0icpvq 91pIְ3տRaK'`%V9BC 40@Ya$L8фtV!49,]CϰögxSKqJ:j1N+fWCdĶ 9.`hMͬTNbB hlp=f=ͨoO_TO޷=s$./T}I=w,Kj"F^ۺZUum+|֤2a|~ Bno6i]U&eA.gNvx\`[Vq2~Xyɍ4v\gnZJf.:Зi}}u\BB״gvx/}Q'a/}ک:*bEtdh `͒Lk7u aԀ:Q]É%4v+ ɟ>D/HQ`b0_(>⶙-m:3oeۊ1z%-;5ŭ;a&Y̒,@(F`>z9(62SDcpO|-JmϯW2EpYFMOݴ蛠IEdd ]d[XBg{瀫\Wm3(w,+*C]M$0GrU[ҕOTK52d@DڟelP"DtqGũoIn(_)ضeB@#ְi*m4D*^Qo)GVw[;0=*il6yM;j[L'0wtXa K GZ*ՔÎc0Ӕ{'ozRd2׉cHQF a3aƜm>ģo'ɤ2se5m6$U44E٘;:9䜌FMN<%Ɓ1~pBl±.nY&LFV/np:27 QLCû9 noE̢7Gѧ.Z\- Zr?]~>+(.  I9W]E@-׷tYxBN&R?b;zJJ<'E?r.;x ͮ%yF&x=X jYFř*46 ly+C#%IkhȈmnM@jD=v:.B %N*my;Eg |q+Ovpᦾ`qu`s;6^/`׽%!-q=" GU2KM͔eJ.HaьWm#b4ʲ }JW^.E!4TҩVUe 'ge+ o9I4䊋_,^vI_F$HG GEyn|K'v ?g>Hp6xXΟB$_56W.@@V()˒`Z? 7ᦠPAךd,#?Eu’;(!s!x:pu£e֕Ϛ|߾G x=X}lj*;T C@Tەծ63 @mR&8ki{r -bWw(7gH–57]Sxw튯[Mp )@/X_^DЯݮZp`M[^HB 7EFFd~3/T7}?'q0$aX':BRL DEQՃt9E5SRw2嫭̀O2ۻe:(4\(# cܟM"UOj:FB|_hF+U%1#Up>(xSTȓ->AiM/ޖԫJ`'K\e ޹rlɿWn'h/ T/Fk_i.R='#f>sqKAu rgU0o)-ƁY驻bC7aر6؇݄iu=T>"&ۄ"^$ГQ~;c>e_V+zSa88:^~֕T@PxSH*RSM.xj)@\2ec1>Z>sp*Ԅ44[OGEK[I%W^ӆoZat\~R3r i5LӫF {5㐌 %7yΎ 솊V6.9n<ȋ\z-P]1s_& z"W'aL;㔕߉f5F&ãऽCǕq+i>w~Bu-R[+UyqrO[,B㸹13'7sh*i̯q]Thck9pdhs_vl=lg9$ \ߐpȌkFͱl O;uX@o~4;jKojl` cƇy<8—ˁhk!E9O[@ShrDDV$:3`"+mP<"v!'G:A*b%p01 |(30,j "%;Og СhJKۿI}0cֆhmZGz󵠌H2֢ar ,^ҍC/Of#_d;ʉd,P5خe>BzN>ZQ9(-ët㹓F6Yغ`R5=܎B<"GH|F\jSS2x2}Y9*ʂne@/&١o3 hwbܠ6)f 4_[D^uY<=/}fUROPC|$vcmD]uߚ{^=d O> B϶^.dݥx&+!+(OfuM1jȉ"Hi*V}^] yFUIR_ ;j\*5%6_+.(=cj)W6uPb{ܹ}U~( aPcQ]rv\K)e@ q[@ /Hqk P[}'zIv3@NF!٪w']w:́O/)"$Gό=u㕯SߴѩR˳;O=xiH7xC>Ƶ Ǝ 1!pfწyWN[cT$x(`U0p,H~6vVU q3tkRLj1f1"H&D ~ FL-N$ q[|т0ϰ52ՄpB|IxBvƃN18>Hzad<0@ƞ}ڿso@2*X{o&*^Ʊ"^q#'sn83IP!-*zQJ_ g^t^&ȉKXC&#|wTcbF6y%-Ijv_ Wrȶ0fgeTerI6v>_t{#ڞ>P2(Fo3ۚm qC-{S\P'qqby:Yѫ wa)λ|$GOq6𢇓 &6:=*Ra`,Bd; QֱsQ AJB1/lc M&*RxCjke?ܰ\0x]F?^O4Pj=ƹP2!$(8L.;n##;!1ͣa %AMe'[Bo>~I*{+I0(!!g\j\D`E,msit"G:֘hy`OY8grY!eI10AĘtI|]VȝĜC|$?n7ְNc3 *@ &(vU׿,w9}[Sv4,%U~H\W9@~FS>4 箝a`&:k2̑<6m^QgKު,dFrx+ؾ try+0`Af!\! S9Qq7+H7fkv^ܒ)˿1 <|y '^ ',T ?" 0|$a8>Ffݾn=!g5<Ñ,[-S8;kc"XX9廆Qb}iْ¨ڜLLZZ>T|V.-zi] 2Fwu6(G'@?AjCFIJ 6 !C0Jy]ykLZ Q d#fLmO*)Xs͗$0W <.C9s`eSP=TP7'gә%=k~!> 8OlZ[h(W@3eginN{e|‹_x# 7}aO,*iy!u2B{1N1p ?z*bFC|<\є .q͑aAX݂g‘2YAj}+_y9Lt젨Y=`R,@ K=Ĥ瓀ѩ*m:V72_j ti?y'j!}vQD09zyVmsH6, 1ePVa0oH/l0"I/|A./VmٳIx<T$nlǵfxP9=pMzH>klz'ڷL7b}[O V /[t0X{Oq8 얤Dn$]1vIi}ZkeاƹmVZ/}Fʥ~`que@9DC&`o(N U .>}GW !QM^h=k\{Ftf>(o2>oK_g6/zɯfWa] UAu Qwk!g,vIpW9tPĤ5ĹY˾,ttMhrwXvsW?0\kDʹ@ƒ 14YWOx2PhW[C@K2M 3,Bl1p7*a%;8$6 4n pLh?½sMNO"XF@ۚ =Y& !19pR΢."q -i$f(*R0ڞ05fӄw^Xh !BhrRKn{X(DpEz.K.hw]W^|7ÑĢj-@$(t.(mk+徜 ex%1~v1ʉeXSE-: <-U Bn^!-cV7v|ݪ}bR0`k E`iQ`+ep%M< ^ il&giVnsJX=xA TP:QģWBs9 hpCrxw>Z?}e(UlfLa9*;\;6_QphZtX=TGIIzĝG=ƴ`@+}61ycyN+3qT0= Nr3fp;J=AKu"JK{!G,\ Sôs(DdpccVٚf#$3u ~ƹ٫yוӌBYzib2编jC [w#xNRX#P ⓃƵϳ,{$[A9imbkjb56v*rG ˩#4ք\hsL@ \05܏4?βY€-aq$bT>5 <2]jP4͛W3K1 \^'R ;Sq_:d{XM2]:@u煣^Qv `!Dh9D+X2%9 άêdiFؾHB8oMfNPŖʿ rp"ZPUSOT\ ժb sjnvv\=,Z$/N_&30̣!Kի0rDFgp Q9; t`1$eՕ 6IDQ܌}6FDGK9='e@~×ToB=$sw3W 'jBH\ StĖ4=H_'`lh Qtiy sglv 6M)jz 2BkTIޙ?:NrtSD ̀IO}SN-%c|)u&#@l* ~E.ˈvq%!{b}6=i+e 9AMu2MA~b7 {F0տKiS=!UOjGʨۄ:ڲl=]vT}"#Ck>-yk߉4-dóh"'&Dm!Ͼ'}m#-R,aN v)93Q ?M)8?F1`$&!htS9I*"zPtZ*mobg7h!I)n;Ѿ#AzL†@tobOL%p;86œv!G3gu<5Dwc7Յs^ĤZ\) C/F&(gYZ55e7da017dc10c255250f0abd04500916629a022c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 017c098a5e275924ef1840cb6ffd1dae2054de14 f82e8b1cf217cc4d90e862d94329bc0728ee93d3 d654bac4f72968feec3130ffabebd98de940c95d