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  $|D ]]IOA:threads=4elapsed=11.342cpu=38.748gc=1.384factor=3.427zXZִF! uL]ŗXiɟDYK<;>Fb4d~w6nE]4Pt-^G7*W(IpMoa^c֠ Y*(EU{Ԁl6 ZW8d4$Ps] #rw{r)kޕqݰTJ59` 1wkMi{Us U q> LHq>BAqJDFҽ5ٗ<\n 48$w(J~ @:xzM3I@!cm!a`8`(gؠ\l>F:LPSADS܊ >/8|[1!)[Ҧ39 ̩}Ԛz,g 7篮Ddڌ^42e#gvDEg\|wՌu,v fVʓZ/_9\*I,%\OXK+?]5 ň%gRocJ𤣺mM}na7czeMmLFr ʘ]ңAppDRT %GL 8)GdJ/o;kTo@d=Ȋ_@R} eI~ , 7klBh)ȁ,[5\̭ϳZe%S9-eLYJWP!%6#8l7oVwsϡ*1`mvi'I9@wsд%k[*9Är 6{.R4yHLCW򰏪(D:R'0#0CU-/j`t80e/#Qf=౼8 ,̞7؈>L&-C.ʏɆ|MZm%Ùܠj_ԱT2H^#D4۝7jXzF l}fBmֹoc{T7Gxn% ٥:CW. [Y=QaS܀x>fua:~o??Br%&cp7trsQplj_,(oF5$5q_H:G'zCq dfIxsB$-havڟNrs1, v$ ~ӲR(ZAE@kŁ<enEs7"3A ^C)\ yaXׇQ{WWʭ BJXkk.땡b1JЏmDX$̴ Yfðޫes"$,jK%6%,'_@EJ>KڊxO:2X!L@/*-jxϖu"W' W6 I}AW{ܲQyJ#Dm;̈ʨ}X}e^\\'Ā87B osk ?X'J׎Ğ1m M= ?[;zbET{_ߪZC#"󋿇xjIqX![59Ҡ%פ78UYqOYpa]sΒas^  䤳f z`QOZ [,&!qF1W^; lA#t0•v]Ըn {R^!%9dl(?`f\Z&'seTzӪiOuL.@k(GZ_Fn>ê\gj!^Ȝ+yK*XH{Fr,+53!㋗%*BLdx$g P]UCy=$W28\J/R nD9յ)R.EkQ wP>4kgl\7Bh>f!($}qޭXGИ*&Ie2 imVc[TZs=AZcGcʤDM}ć v],/~0| .)`1B^y+ָx9\Q0OS0|BaJK'7C{h0FZ'>GPj* <,6Pn(sGe%!*տ+^fN)Tf,7K=0c I#]˗w&8⭂-/`w/> 0 N^9@Csj@Q'Z揨u0-7RP1 aj;2"* UӦ-1ig(-.ϭO],g4pDT ?O{uPܶH3wpoOǰvIM>۫E5+ G bߙ܋ݼtCm"=q]?D~gkض4~)fc ͉2ki\]ү݋Tl U#Q~y gʚ53/^ݮNH\F@/%P %#Tܤ6h+pرMѶ ǨaƤ܇QW*"=Ic;~H8 ! [ɋ<9ǸDX{2jbdk5$rݓ%E฿ؙ,|7āaPw\F)C8]FvhKd&,u@i.1٠i"hM[8ɉTϏ/{cDk]?3h{-7xouFYbkkOA"gJPf)!KD{9;D6l|6NpVUU%u9%~[ʉT"RC Sh&DnMJKopgjl'{`8^vzb<58,a6K6]o%XQ~:h{+a[L8 c =MfkN_N~`]qd.ĐCPmwU`Bv\:cP kw {=l 5Ñ bk'Θs  IOA  /JOzK2,;R}9W4܂bo,_! ȿT2a ͺhs:T_eG!|oh)]&g =1F@[V{y%0J<SXa}svTC ҩ[B!s\l>8Y%^s3@ 4d!E= 'tq]@rS+0FrݙxB/}ا4Z WF(J4+ ޢab\r9k 5 6QIxh} Ps9WLcV#ƠqnAܝnHRCgz٪{zuKcߴQ%"UoKr1 e31@Vkomp*}g8tQUmn^f|X|Y2;#NŹ}3aD}+Ӊ(7,\b?yWlLi-i͆*b}gvcdX:Eϕ 3F kj;* N9mcz5HBnj bG䍿xd2EvscG3&3S8vqzKY5\vģy(,LYYL,9槜 rNNK.OΝ0g"9:|qqy' TJg5ErF"~?Sf{й9y<XXNIqn3AC D?rټPbX 03kv ,PXBㄽ̴SzRC&7 e!ЋTɗ*+xӸrp'u3[ szn_ٲ\$J:Pp3{3vPRδ\G,|Rw8)~}Z7M&} )ԃb? -OwnGt7$q #܁_yжIwA $o4%>4fSmqVWЦy=(13Aw6pc{`kZIyѯ/mM !qe%hExJ ?<l3 zk$9pu491b6nˮ ;b)s| sX >ZlݿeCFṼY>wݲXG.Bǜ"NӾ$w[LJ*]!cSǁ;ݛ0v[B+JVMtkXh@9*gn% 1)ljq9x$6{QLlE@>}W6N/C "5PO߶qIÎ? E&/o>| i$|o9r mNV(8l=|6F!è}GBJE֚/V!9Y)Үp=Em]',I6(b(b%NƸ=ec#.dDmpAu¯ qN9v&܃>OfX B145{H *DC  9TuU,cG5bZU7AI( pVѕ$WIInu@JLeEŭ> GqZeZP/J2p^ ܩVŭT+b1 <?e _ZAmH_i0֬V#ֶmfU5&ĬjlN~7b m?f"Λ &RCy0 =Eٿ\ >]95}Q X+v0_灥&E[T:0ΰC1=}2+.Of|}adCxgnVITL zNI&)ezn'-!=''rWt>A;|!}`cܹG3^ 郱)-w^Ƈ.%2fPUp2O.! "o/ɾF`4jàC1aP r\[rd_5QMuJ3[p$1 /OňԘaS2gC9d/&'˜uZ ]a&IvAd ھWƑT ;v\3  wwFYh)e6W?d;`gkUދ<B`LL$$'Dog*4-(T@ K)9LL />& p^o93dM>Y:xj]v¦7$MJ v&sx7aSsg~Ƞ%O+zc P uIȗ} Ԝ-rqMy82΃ m=ˬ_L{u^. 7oA]z:פ@~5vĻi3(SpJ:/LY|ך; ,^5yV}o g9HR?3̑CI%&P`̻BpmnV2 е g|Ciq~,5lR!R AϖȒtz8¹ ~ځ34͚P ɎW_XW[]V9fn}t0)k,ex;ǵ蔸>*\P : B4x:a?#OmPiG7lM@\jSKZb$e'@9Rd6/4M" %q^gتi6(j.=wNoo;l<jp ,w(m-=v8XOXZhvbT7\ bI{uO]\u ^wxֵ6X2;(i)qMIϙ(nƤf >/[3Ժh)Ȅg>|Q l=fVydO-w:0xZFxٝ^4IX۔L8uDFU^G-(ѮݷϛCܛP\K@["aś+GV%(cia%:&Sl~z!ﰄ)yN\$>:{*OWAVP48`=؏R7(FVO&K+"?`j ߃  -=Qҷ/ࣽr[:fCـW ur4;v >߄Ǘ[1ϝ} ;{'Et^5qL0dLe>0>~*U}si]K_-k%8CUaD !8mRw3_oe3.V+XS<Y#4gks}? mɚOiTfbE(0/Vm\O`FyU&yl @)wI,vMbMɠW_Il8\Um=H}s 7%[@N/ 23OI!)IMA)q1xZD"dq IwȀݞ4ALx=&;<&\ nx4 GŏrIyyCtY\L\%5r)i }`WlLxzBVet+Sث xõѽ!TXl/$+?2~w/Žu4[BS C`فO^=%Zh.Rf Hoʾ[$[f%B^vc3Mss]l9;#zgbeN}X c>;;n%!UZꀮ|=zo '}Pfm9{cyc(ɱI:Pӏ87ĖI-ds&FklCCU8Eb7 %i:rՠ3pC>Zt1#ۀY"y`$dww\2G|[;]-a@_ !vqYdˋxJ>ޤX5c2jA4Ƌꡲuyzޣ{;dECqcXord+KYa70њ ҺF-h }rWR7(^}bf_mEݜ)8סȩO~m /\c+K}7ۡӿ/x*t#NF #&~VlnHrJ.`DJ$-smH`-8z36D!l7P/E"4itLJ>)<}[`P0O7vPVV!)'canXxĐ`T$."hUT|y};^:(w"h?ݡ伓1 xLx6$Eߍ^jT9ΒRK)듶?ڇۂ!@?C%=B ͚FS_GbB;.fB!o+" (kq"B 9 gxo2Zv^#iP0d Σ^2*á 醈mLi:[JD_ 1~:UR7:W1GJ0ׅ( Z4Nq%o±hS4OEyx1>Rt2 kɁFQ& ;g:〺L<ԭý\|4 4ڭ*/STq&G;);cyZ*_a`w~Q%v5\~SEN} _3m #`,z5_BS;.`:r+ <̽J )SAqp=+MI mgcpu |{}!!#?vdAa^;\wꋏTWO׀\61^G2'GHEg2OahP4d֦J-.1sdpׂQnsuxt Ѽ a#sЖng1ۊ..["9W|؅]jYcqґJF>AQ\ŷv TNWrgp#+Գ;a$IM ľDTA2>݈Fv%o{˪*;SLHst:*Q`-d+A%Z@oBeև''}'nU|_^ΜuĜ1@,ƂBzxѰ)'D` DK9 [$+ᴟ]M'WbGEn?x=T7eTApG^W'3C{FLSd(Xo HJ fg X:qNAg] :6cHJRnd7A8Lz$ TW;n{OAJGFRg[Vj.!_TUISOQ)jҵ@D[a82Wpæ8dz6\[M)Lov|~6(gÁI$s77bx:L|UH'q!@\"nS/"fCs]\'S$A(2UW+wa?0l}Ѡju(Z$ >QþXIJMnÏhP{6I1E#fs41pP QT-7/ѥEZB_yyۨtӍ#Μ-~[k48[ >wY%[z5ÖI!P u8I_J;a]{^߰Czzt7ϓX\\= l'e_Z;媔,Mys>}be ."Oi! ɓ?PD]@Y{yihl ,ͳ4{ I&tTQqi+9r>,v$z~k~5l O0-Pʈvٖ `c2zM]{IwO#RbI5(N $\Ck]f(Ʈȓ2NtrE{|:m_ǰWxhgpVOɡ=phcZ"®Xs(,!cۊ~t? mPNKe}BwŐg6yEI| XGcdBCڄv)r!7{5wlkS}MU.^&#VXJ0zذn|o7i!7VMS_r?C-1I9F7 ?Jaѯ$OIܟ~'ܻ+NP2Xq/:bzpL#<aLzA2I%h0ڲ5 ʥDRDqڐLD/yT ,rKܤتiRnd6WMZæ鋜7Ci$}e='EըioluZ,h~ywksT#)~Ww4R1T*Kҍ+[͛=$I) }6EW„r>JEX'æ nHg0Q0-td?C1(dlu`c>$@@!,Q ck׌#;!H{~QwtO& Csic{KcixR5;ӈ]$ԕwpTƘ9j _;PlFp,D(4ReY ;vJ^Ì)=w*>~Q@ q60s4霞Gm0l0- :dk|GsiLHȣ H̑:U;8ԥ~ z~aY z+T-zum}U\d :B=t΢t)025wX}?zŝ0SYƙH/b|tFHU*&-7YkJ&p`Zj.ZZ4旌D*NE6ڄe7j)"PPC쵯:fpJH3]Iu\hsur:9\:\f7! 5 2@_TAzy½ݟk|};4V[akbu6z3@.`/NeլZg0Yt5PṘbɜ98yXF[8A XI{9=0f)Trh[/l} &R&KxM=O;fq>gԮؾ8f,h,P%]IGXyP]_T+ te:G}gjpKpN"^Di?Ư}hna;'"ndgmȟv_NJWl^Wsk ~߬כ(;,WH STgw?kGGӅܨy}*'pu oS*Y1h<7!r0Kc< t zeي+0g&VÜn5gƧW^&ZQuߑ PM\r/huNGxrP1[bL/5Z"kp4Ev < hK!9[yִ* (A,VCc,̊YvrᜟbFiFC"@ªm+SReQ%9^ |07ʛoکn z!ULfv2U\Z/UG+Fn1G+ya "]}58zЮRY Ȼim^0]S5фq!ba{y&[fܡ \g.7ϟ|t'"[̻J.Bf`Đb+䨒}P1GC6d?7MT𩊶[KڻC*P?_e- p iꅭUmup7D! l%9JVTD'oMtW5fQUu#SɃX%P X+,k:S+N. 77(i@?S% A& 1E9c֎ Oz>vjdOtqɀ95(8sb~I~{Md\h;h25(Y$3d$/J\S9*Bf(PO%EcƼ+~&ˍ<&mJZ]nR9k@7O-ڧ*)WY Jg=2}b=Y#/9Aգf#f:I2 <&:Jt2J@: (?M%I+cDr1A&Vd!mHUhc~[Zy Y>P^8DrA7?Jϝ_<X覑~%\/=k:&kW3vG6w, }_]U(ПRí쑙ۜ)*50;O[t sPbBhڸzY&LtR2hp:tCd.yc+|җs1Eƣf(k0|WW0֓ jFid8OceūzF *zz*d!T׈ +ءq Hv5bQI2x5ijC{ċa0y\](4EEzFrp3K*r1S!׶5xѓ7 `$Χ`@.s9U|j+Z"ȍ ~iT2ط$򤞭_͢H(D ꤟ>wŀ z>YW5\F4Ff`LH2\^g ڿ<(rNV/ZԎ& IoL&K/I3eoSg>m;;;=4ci*yb༠h]V_w-]>4]Ɓ78GLxML*kͻ'E9fJZ6v6K[*soJ`F?c W߻fpl@~2b#Xh,o>ޠ0W!t]b~+8E2m~-Q%&H؀4 oR瓠OЗGUUv)CNrEaFp陞Ru<ߓip:u[D=P~{xS@@(ŮGkkk\<#89NWYvu9!d-mSX+u[lkn~[] 7A?A ڴTN Ͽ lcgCtQky $T_L0qb :5vQWg7`,isK#?r`K.[b{OLLyzy;EvɃ ~1JW$*hHG5V$ e44`_*xEe5|ʑn(8T7ՔisZ/2TM ۜy[ZԹDy|/u.O"$dE{\XYQe#,"v;JشsF7P#{Z#q^9Փr=pEj>KٹQ3 =S^B ̘|j-Y}C"R_< ; i)qI@ 3>%O@p}c7r#)k?ML!oÖHm$(E%tm0RF(Y?V %(z:6V}||v CYEA+ݒ\VOhlqЅ,5if|tU7MWlw˄vhrO,8(,.{:sBgvպX2:]הxPDbKP5U J腒4Ҷ0^PI|m\[ :cYM SZs@rvn!`CG[rJsF+dB nqFrD{ {@]״`i+ оMֻA`TV̔KI 43Qk;2EݻŁ'}"pG1Ϥ3_]մ ;n7B!F墹YαEhO]eC~ϮMiܞþ;cV7H|Y F=([+q"IkjN}ERL‰]l̷r5)u:4F?z|?rGb=)1+L0^=*-FC0=۬"+5EE"t3qj! 80Qg| cbA^+ۉv\86|7B]yET!oARF)%6't3k#>l* ZB_ώcY#)cUS[Yv?&)%Uٻ(%$m&"@e Fk-j _*¡^"ɳ{WB 観bꝗ[sQH&%+-p)۠SZzí "1HPFjOR% "T1:,=OD S09[3C3L'H TF}CċW4VG-Y.P}x83I9&NIPAc ۞xa^NJr(/*7a*AW;biR!OP{w)@5E$ <ʔ5՗fK *adᢻ7~H[/43&FE9saD2%AGȯVإb"+)M}bsMROи R>+tC<'#,?n 0DQ{0A}݂3B%3[R/$hMʌ+5!{1>XR.X;nkD7^ C -W Ѥڴ3eoJU\ K hz ʊaiM E~%E5 n^"v|XlJzg[87i9^TNz1$ qm|SaN`EZ@+OJ7h - :)Ǝ`~LnPL/jԛEC*vG!T4sa<.Q8𗺳RRdgU>vɜP G@2 m?Z̾(lW3_P(LW3ݝƽUHsDYn5'v$Qt+ \.axd J%;̤Hڅ7c*µI==EJ~s(`)fZW} vѧRi]G3Ez'/BKAUsCΰMwӣpnZS䛃}:?ojrimSx>C ljKK"?6133ho.Q ̆?Dng[;5M&"̯BfVH)pܝo~wf4Z|sФ|U[俊 ٍul= TUs.70oSjQ ;[M}҃,)u.rH$̋uB݆y-Oe\ewPlC˿䄉ye)63UQ|բNڑnNts42y鑮!SuץuP7-t&}U}{XJY6P9 Vcֱ 1qx? -I/C= X %ۊzt*Yb/p AYҬJOtv:j~1{eѮ{ qXob [q4+ q%n-~x,7fg_ݻC=XEBF3(]qnON=$͕j6F}ӁodS6*|.y(DO2y @xK ú\Q$ JGZsz; g @+جs@FI&"ўʺMKFVi*N7X$q{B#nt=E]oȄQ&@ L.wOH\Hb*#O5wKyJ[}݆#ďѮBѰ8;> IQkx@Wy7D2R }x˙^}.7/wоm{I7tPHI#T|B~Fw:{spmC3w`WQ()Ҳ؀ت\ТN Y8Ojв})> HtӉKNJ7:P("pa$S*U$m~yo5S AUcVҀM׏{1Y%C5nNu!-}QeT5E%|:R FߚoI7"A !nQ۱UPg9i_!L?fvR3VK %x%$=֘WbC}P:{m+:CD4ͭ'nIY[$aKm}t}V&6,:x޺mm`#c1lp%]‰&8!]&ԛ87.I߳CyKhm>.>AKѯ0<󰵊#G"|^fmR |كI9H0,~)_ Y2Oʜ*8̶"6"I )ςgCj"/=I( Ius %kI(NY*Y^/'#uj[EP^ST  d1p# /i48cVti-~g2;\l=k7-[X>ɊX7OݚUӝ˃ΐW PY}oE{ޞ5.kB>4`٘KYM@{ܕ4aNEHs5Q84D^]`ߏqgSr~YkW Ay سjefk㰱uf6sΊ+B}ΐq v#l[v,/ֈpaL{kOh`jETGnm-'/PQj7M+{4A%O.ѿg\gg\Q~ ojxLc9# - R)1'x>=Go&}Lu֩]=M{p)\;u٬8&1[B#B<&ͤu>JŬT(`I5#C/6f Sȅ;?[?DgZ]KmJp!`IxίEp|ph3%-abCt͵dHC&-G-?գۭ]eۋyԊP"^ҚO_w3V .R]T<Np$ K8 Q.Rɷ`$Ok ]+1xS) ?ӥK"WO#}vb< # s 7m(Aؖ9 W*.AOR4Vy}H i3T_S`Ѽ&$oIR皸Bpc@y}z6 ޮߤx`؏s;"f5\)Ttۏ W+,cmH9T_)wlX|}Ϡ ^SnE_Kʞo;}9gBs5|LjO*Ogە:GxU2eq}.. .]mEwI{ ^Q5.eRXlu!8,+SU˙{2Lavȥ8)v,Y((Ĺ8U#+}BHi))-2@Vrހ1&͍@3eϑcU '>wԃ0k"2xC/Xh?+٘qjfIfo 5 tC&~ ̓gn{x͔謓xL](i@k̄[1^E/)*wTJy;uҁ@F;yA5,oo6-+/sq)Muα\%BM1amo!2O*8\i>JA8ڈD_aQs.>b 8`T)[(xMO3=ԺQ*DuϾkaΨ40>,nr\ ZQie8)Ÿ_闢l2ۯi D.dS"A=Q/ =ܹQ8]H_\S%ef7*Ix]ޱh+'C[EW(;zb GrX79P˛-'[Sa\TCɻrݒ@UYPرMa+jq U]ɿA'+z4i9>|`Ąʗteol$v1o@Р?}m `2Git{A=V*s\%AX=Rnmn%BNܓ 6>h7ܿR!p1$Ϧ!] S@t)W폎?q6 FS1&"b'u՛T+5/̕[F!=\YbM,LN>MFۘ']HN`#Cb@/m4uӪD_7mD&{$AY)r-yk^jV ~l/jk $7/͟8,kRDBeᴺ~ߎTQ.[$fpŹ"[yX="т+G1°ו/C+g}CTlLFrc8vH[0V9B2T=/\š7F"Kp^%gI\W*hh&AqdzU6w=*XaZnZL')^!wH֣/V鱲(4rbis|CP t*U*C&11+CuyۻBSQ`QxHԣMlBng&^iM@7TGŅu'1ʹ#6s ÚccE\5$a?⏭l8sՋRAׇA8tQtj'F?t=_j8b#MfGN̳ثQ+Rvo#ZU(`BJ!/ՏuX ڔ'Vj5 HnO>\ =k?R'uGyMkv]k{xCiݖ?ƗJdY^£֠ VUDve[TmJ`Q-i4oT|r 'iwӂ=52-!>& "k?w>H2xgؤ N_lTG%MD:^Sm92,MO\f /#zGpl?K_/=VRRtH&52?m'fT.ϙ 8qw>-$攵Q# Ms'cs@1lVAmVb]]4|х~'-EI߹&EF;t=@fς$:7n:|I\!9pul3)GSu1X|elmZ}߹X38EQ dJ2 {ytfu׽y#SƖFpm7ΨTL$z^ޢEQ!#4nezH>~+ sLـjAe27wiGVwG%7zD.S3E-VȺ灼zXSfɥZ[xrIYPYt7{0s34KyOV$b yTj2+6(W(t3#:\jn}x\ɍ%],0'?x Ywgyzğ^fN%|L-HT ^U\*4:*pVŎ+ȸ^b "RUSm=RKj8?9 ܌3\20`p Z!aWYE#IZ ljMwWLmX=arj=/7g6aNil2X샺h*#@6O[/P43IMEqPp l8Tc}ȻeGtTO>y H+kG"M#\ XT [xs7wu o-T ꤲQQ=TrhbKyGIҤhMi!}I PoO͆-$-@кYUMFg΢nNvkX1rqyGŊsM1eI9.V'QhBmxtcaTTF3 ؏f:4nUcIHpܜz /ݥdgS,)NaDHR߆ vz,+B}V)k~1;-)#Vg6 xqƉQk#[%,u7$H! @/afPx]6=O{C_D"+[\N4g@)u1vNԄh<9?|/{-qfj^R%( Ŭj0o+Zȣj|~򳷅?Z,SEs񔌣xW.[2~PXuACOS̽H|cҝ|(^y{vRG֫C&w=6^Gybed4?g7ܨ U A O_f.>SX{05^Mݡ*vz=Fe9d<\ﱰĜ)ah9j\RVȜ$&Su]@p.1ܑ  ˮx}93K>8ETiOBc.,j"=#=LcSE$ֲ U(ۃ$HeDCcrh:9Dr鵟3xFgQ^~> gخl`*89 G|*Pyo._,}ď$اA!RR\%l܈ŧ_=ȐiFv=stYL*t۰ʡ00>x?QNb5Dԑ9޻gwTWobʄ=Y*>Hh6)+Z^$G& Ē Qرý8DI?A.fdib4ݐ:Sȉ1gwge&rlomT0p^YDjcG}Cnm{ЪY펱6V/w*zy/'7g4R vPpW)*g85W,ƿ%Y:: R\,x xJRZAU_=߹< GRtquCE]}w?KU@0X7:7p:bq\l^~\~d6}A}!OPI2ϜK %U9%V0)_GFJP)aZ,A? Fh74D0C 3 m~! :þ{px:AeqmZȑm% `)~1 = pPBw 8As8j )VZi;[Kh,7^}p+hEG,ODXNܫﺖX{C5 y H8 j-2˪ʇ7S/E HDEvPձgYZ7zXZִF! `x]ŗXiɟdN'LvH۹!J5`#| *^@6(0}D5| byRmJ)^tyM?ր@xwf;k.TKNjJ\mZ${ѝ" Q< >1#bmRMIMRԹo/Z2 1J<ҁ juynS1+ֿ]h)pwpLj$ϱ瘗 N;/HNm"pwG}zZqN#q8y%9Hmw3A#,5b[@/hxK+%3Y5p){M߄~%-:f{sjobDgAu a܂c YVagYZ7zXZִF! @\]ŗXi%L!l2 f7֧nB%t\ 4 Sβ4wF @vS ݟ$bsÜڤ ;  Q !Qv,F[@Ͳr9B"f*D _ƆƯZCO]6Oncy=3e​q4ƌ@qRƘk͝u0/v+% zǰ gd#k7< l[6. ? ܳ,t ڹ4HRfy':lPMKQ"I.{Gr9|9}\>o,{I3NϐSLނ 4,$(%ҁ%akCLm^Vg[$qi2ӽ#@*h(O+̲6&JY]$$(9v#6JE  CňrF,Gz\n<*6i0h='rA9]^I GJ@ Z Mi%.*<6& ޤbpO]+m|3UjoA.Dopo~ ~M} 1u0oN*25Y-A Y{lzI.rok\ ~Q͖ V_G|FG|Kp8߭CW75&JA$"qdb A4\ݬz98{=tK"va{}pulmy)hpѕ<9࠽(rU*OyjX?ڌZjA~^@V* TR.d٦@VH{yc!4" ꋓ1,@RDKDA$.ѓ+%>X봢'$Z=:fnHNF0 ٛdz)b7dfz(y/LP~>Z0O^׳Ҟ%)bbF'Ζ?L{%0R"xj >qP|.a'[9  ř#~I*EĞB HϞO*IC%RQ?oQh\(\YI?JOɚ]VĒŕd[jhn0oN5F 020,,E2CJw5 ~ѽݧjs:^A^[wҝ8)z$Tղoƾ>2r At&62NS[_"AXHM̞7"Ƣ6PfqAh^Ai&Q#g!эdࣣ>ډ-OrjrVyU` TCgYZdc8eb2c93b782dcf399a4dd129c01b6db7e3c5238215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 9917c2bc07c4d4ecbb979dab9a399298f58532463f6b92c3f5f3dae94c0f1ba92fe5a09b68c3b086