SQLite format 3@ .0:  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  L!|l$ ]]]HOL-Proofs:threads=6elapsed=547.650cpu=1345.232gc=146.108factor=2.467zXZִF! ף]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟu1B.!3} y:|C,og:, d|eE z%EHCɤ2+h-=MwcwQR,ۧ-rC)~JpUEotupVYT^<@|'X?P7ã^( GXBВtֻ%:vTsֽ:a=2G0eq>i%J@3DjFrd/o1RKRz2e+cn+Yf+r sRjfi)N!ntjK |{e,e.vRqE%'9+UٽM q3xX#\iE)jDc #n|cwdt7ATAyBv.+WyGˆzSDTn=nH6p4c2l]vD`m%ӚyKqDǠ:F+69_uq},y &0VOdTPjb:&O)'1[4I6K,m3+=yw)M"J²D˾"n5EæU)P?dO(J^d\K |KN97jnS~M^suz:|] \`z]`/ OU:` [,&^76e'"տ0%|1!Y޽ 4XM0 F@ص*Q`M;9/h]hӓ1X{FtD .l)r*D+/liVEuE1*LK!P5CA+3Eж]S-G}ee`RKEX_/  ߯,P!ܞ$ӷ1j"RE}$|۽L?}WbB=uj+&,FGޘ*77>]KוE9uPFlǨϼ;;{:+My9]6 3רwo_՟lM"璽k9\-&D t YXm -uDYGWV1h5.ƶ/Muv"oATlɉ@tzt楸U5c:XK#=x @)Xsێ^#'n)ITj:<`oF\¦y&Q1̖IKš:QXbV+k)'̉ Ոk1546~-‚ yAE\"5E]8$7vPO }D䏏N%VȼW'P۾Af3w51g߳ #C}Oq1 >r5\J$y,Xw|VXf7\P lXckmDl-EƎynMNt(=P*Dڔ``S eND9W*CK5sfm%֒lZR]? ɬ/_ hZq>Nh0o:MG"NHj9wD=dA.6"!_ϋegj`+2J`V&c5fYރXv9^)evڌю`nuf{N_OIU_V%[E'@&WE+D$祀jXsJ1?Q9Ϸ( N]4!|*3[>et(gTbK,+auܱSaOd]Ch+LЀNKn!b*_V6'su%=R-j\o\ 7g+5S_~XpJgY%vԳP[#vCa"wbb"\k6}3&zn; Սc#I \R6$#q'1cZ,AJ e{`,F(,rH^٪DCȞRS]4WzBuUWY Z*y dm{G-4$yFxEU~S> kX+gK>]: o-r:gӎ*$0ה3ggJC1c`}% $S/…Ej4x_y{NRC;pEQu\%n?1(kсn¡]S6PrʀP "|EUUAur DWd2p+O\$t:]X@ɀmluޯXMTH1"1,r`r%9L oX"fosL&k7pb\鶼O_/Eלh-tꩀt\H!Зpl{vqx}dW,rr&";}]"v@\sɿyثbP>1Eag`Pj ).=ߎJѿA~}5r΂0]n_I0{qޢIA"(\Dʷ;lh Ȕ n)82+Ӳ3O*=LbS򟵉i/R#n(C~['>w 6{ʇsl 2uGMREOl *C005=Ur"wo`vj)etBE%J.}Y^c[_G{AP5 UH **kx3*' (:z+x@F)v(>'N~=Rd.:WIY@}.T7!maX,-nsD'poބhFՕƙPhS-լV4ԫ&@B&8OgTGu9䶏bBSgOQ (6ԝ2^ەo,Nom Ā`9.p,.8}#}b;Z/-/{v\6Fi0sCR2WĴ|C^bzě-_%;_ r4! kl] Psߓl1W`EDX]5!jz n@hb* 1m=z ّ@PMi ]L`SlMđjQ;1uA7?wNxO+|`>Уڛ[ 7K@c/.۫*0u !}-bS6cm |t#`F6/b>,\Ϳ0'~Y ,+pMxxoiybݟ=D;v1* çfx[2Ӕ9[άƓI@oԛ|,u ɘnwl˄Xwe ZrWf E~ji麪ru^ߋ.P~sbҪڏ>A =.[? -ձǵn&xc/k2gYZ7zXZִF! a]ŗXiɟ29aoʼz[%U>EM!!*X04SڑkJ 3%>$_;f ga} ^/["r;i`ȊBM'n.ZݛSߚs(]uh4tۤ _&`fx+>rB-iyOfxmo K-d5hs;ltwrTd%Vݱr}6[rѓ(#KBa(@Vn@*58#kn?`䌧Z/yRKU3G;UA)AUH#<&TsgO ݟ9A[pfmiH: ~ۨ;ҋ7U Ün83 yum^wY/T64zkX`v{&38'?>ͯed -@iA *0'_%n[=a_KA" hfҝrc ;-M?}!01Ji(J32/ٿ,u),r!q LsoV+tENdz/biڏv`9'lQn:3fUv-DS, `ֵvrroc8ӱ[O38Ryve\cg uS/P̌#Kfdbpx׵JᚧSIha< q^<<P pYȣB++€7DbNU 4]N\y3̧٣bȟ^§aI 郩6/*55f X 0 fIG%jQD 5ٽnI6W>HA!O,źآqC,>NÎؿ2jXq0hL&͔̗͌x ɝ75sqt]#b{{OqT`2uBy6A[<[˽t >(|i2M`*q[%W:A:7~Y gݞ1ԹaE"0M[>++5 2VFsgYZ7zXZִF! jJ]ŗXi%B"֕NbsNIxlS%*#jmAf&K"7&Ⱦ-Ԁs\#a@OS8/r ]5 m_E:Я=gG̨Ta! `%%)sMJ"jsʝ" CgXɑVؾ:yޟ&ڼkH{FIqdj9,Hn}V.=U3j<#|Y(F+@T;nQ\'7JrlL81?'dP yCg!'-ңDžhrʊKN_;Ն;\@pBB0% "X;&>|֝ ?`G٤Y@z /#/#@xOT Z{g'9%QH~g1VûRa$J;\=R22Nx&]Z{&oʡR ᨷLylVq_ CZ饀-8Tه>6.5oэU.ڼ2>z[,4.`|*g<-}z%b-kI{u*9Ia&g'8R|Nkg.}`ݹżh )EȴSVrPCdţ]Bf,;oh?; RC3Q3fG̛7\NVcs@YnsCC~6{y,}($x#K^!=AǴ$&1[3"P-ӮصdۧO].yy(,㳫nnYUPx vd[3=oJ~ځ,(jS,PE?P)o D8vm~2m8Kx`1F:[XEY PyȽ*O N~ԙt‡VP/fHd]A7+f[ȳρ#b {~m9"c+# g(U=pP-r EY :uoOr)ǯ;ھ,}z&'kUW]^a ,% D7o )<7R0[mѸ>-at +XfиB螼 xJ{EʳVĄabw B7̸!9 ȵpDv.7%PeG<c #f/aC4_ܧ5Rzb^qtܧ"+"D!`jlX;]Tcܱ dBe٢$KMe - RNC{"fy^1z[mY=٨'B*u;2yzsC2o}!@L8N+6 k1(i^Hq ۑ'WϙB[=F-˛@,1oB'. ŠYٕ-4zLY .r6F7pc˜i!0q0QdT%9(7qfZ=y#_bDޔ9f|7|9_XvCzp_P<>9܆5jPgbأGl+&`~ZHìZ݆N[*ĊG4Hp>ڏ&vX28Phbϒ6+ά갅B L~hҕ6.b3,[(*HѕgIl(c){d4pa=e-LF`z 6)BXK\zxFl)b -;6#,^nC0m} ǙaNEJ f;bx3=S0!D8!52Z\cAHy=JzA/M6-sYf4vAS;aUБ!ՒHIJ(>&pih!^H҆緜C,lhWLjA )v rO!b"[X{@ۺk =bwRg?Fr->Wy^ ؍^R&VuHT];O2oLtj\1J ix}~[- pV.|DWa!04:TT$ ѿ2%s{z[=qǕw䎖8p^Crt#o158UZc,PӛeZO&ۆ6f ·i{Fd7>\'$ vӢE{\I~aI?Cvb9G#@;\4oКB0}کsJs @%c]0^DRe-tB*ǟ,XR^?>g[:`qɝ@| %Ct-!N^ ޛG~s\ր1'vYCy/6e@>c^|1>(*{S 1fefwCx_$avI4ݐ2-.D,+곊Lo2$g7;UˋTn]E#ͰeFOMuXbom)#^ZJPUOE)|"W6go>#dx|!P Z)aϾdpnDDqkAs7=R:\L;VCo鋧ٰMSJfaG*G}Dxsw/f1i>G7|Oc6OVQ7TY@K*%0obm(Vdqs i%4]*H? 2#UrD5#_$k#Icו |ك܂ Xi־ǠΡEסh|f'ӽӝY,opԖfpDz$M]n- T۩9d&[{qs9sI/sv#/ 纤LlR>TB-\,i7ŮC WO I .MJchsC0:>*V(„$pts]ܦrKp1[ofGK tF1մ@M|Dw.|&Ńna/9CH4Twnr8dap#JXwu6ݏWp5.xn."},1[ٷ:o pR7X iyX?!ػf/} SIEF%G\jyTNL7(;Z, JEToSy{]S;ۚ(6" Z@cUT6"8s}iPg@rI R M˄ B7owDh=({;yC˵_S$OPvheMbwڶKlyR\SH.1 q74ˊӅ  Lا 75Y=Å+9aV_`i-{Dty <;ǁd; @ ]?>rԿW|;`TdHj%F0N;].'p %vKnˀp׵& bp޽?^h9<$GPH&k{d43_C[})(˭YGK k <>/|ٔ,ďt#O4ݹf:VHh#GN~o~6&TvCr+y_tNbxWeJl`gPG0䗝,J}}4q .M%lYX0:Fm'?ɛۆgdʹJʇϒSbZ!Jf-T ~L? Pͨ۱-w%7UJ|e`_9\[':f(/q{ }-p<%U0[U0V燡F"8ŮN-vd`Ј)MUkFuYL)̺VM|U;v1pHCbE)DV~1U o+06eA'a Ore&a5yVʾ(̐I]ɇ N*-+v^ F2xQ@/_2BJʥcdn}2[b1yLa6v+hM~ze]7\z+^U@-@|~@XaOS \!K _ń G^dss5K;),3J<62FHY[{S=3^zj,  coj-s}CZ*(3ﺰt#CB1w u~k$)g_淗@wxx%.38/wHa,P Ο;qfX(LM/v2Ⳓ~5蓒߆[s &gKeF[ fQNX8ӛ/ |޶Wmnmy`7/?Xlr~'60;~ZS)g_ׂ 2qvwqޘU~:PShTQXM/U~zZk9'dLe)ghO:%]^RoK:<'I .k.Ǒ{o|nۨDž蛫/QS15xlG!pBoMɍ$ @|;Å;[0J'md>O;($JLAE}h3ԥ-b~UU*9̟8,nЉ[vap~swb,5cnGtϔB_4o$mJ*{M,vs2P1_k2\]̷U=m2qjSV^j/|bb!|MA*9Q9)6TgmQ ?c"H-6+n_ɼs:T 4E9HcY9Rą{Ѓ'|Yv>x FU`U,ZQ2^_0F'9yK ÓІmvmS#쟈ϚWy-Z)mvbIDʊ"VFܼk[nku𐽳4犹-cx*Ϩm: RfKLghɋ//_:r eE9!OO2s Jѐs̤"WnşS>*H9@v6>61" Hx4ZN7 PMx;MLIbcG+01GWJW!@7szGa2 ]MsYV@l{߈@h[Fa&B<DE_`Ht>-<-rEfJ/[(O۳[YÂiMFTvp2w!E-ܸvqިpOQz~\ۼ@}FtGN(J~ د !n1/k&{Uo6j=)n?4x; %gcI4GqZb@n=m55h]}4A~"|KY,Qy:|j~ZOOKs.Y8oSI~씵틷 x-,ї*$7 Rs濍kڹ<@ F%'0o\>4L̃ၧV `r~vaJ rc"<-[il=-o5z|,w(ľW1(ұMxXBwXwIF+ݘMٕm`iNgjF4&-TVcnp Mʈ6tyZc}&9hȡ8[q,z^9 ' .R #6վH ,zG1,;= R84voπᩐV(}k;:aD!Vv;FG(. AՀTu/j8Ԯv3#r%;/BKkhr]4U Um2L]pwDhO X5iy_@x2Ƭ1>Nx^#,| =# "5%#$s0n0I[A 0[M٪ w+_PF0\ix]py4G̣o;ߕ9A'?nH;HTq,S%῟I;Rt6~`i Tur()eƳVZĂҍt:qb%H;?Ԉ ^oύQz/w\5M?41P^fm2 4u~UII-h*2@-Ž+Ww'&nE@h(-tz5!+,Ը}C֜"!i3ƌWa$"L> hBtA /Ӱ! Q>GbR5e9Jӈr ?'hqxtXsMadBbeT.#\`y܆b fjxmA5SnHDQB[%BAdCӃfBMP‡2EB~_1sO?9h@9HWS[kkL{%3i6üs9?)4W1 @ADiLBX6}'dLm%☑$ {W)d׆qiIΈN'Nr|&i8NGc5N%3߮^jQ]myvW.$Ț%LGk)_'43L ʀ5?z&@T<Me`uRlJrCZd ^uըB`svHtnyC{ua#*Oj"LQ?J_EmV"Y,FYER}`4S*ZN@JdOs(PH3iL,? jA A kpB ܰR<{kfRè(myOi83% 7X?gGC?'QNPqj@k6h]jDQ$EE VC~]1vJMEU b{a“&ǖ!8ix/LYl^ϸd0 NSARe`Mn>;k55xyG'ugEyp}o]ǥwWM /N2KFۏ֐1;\=jrN ߳f^,˰BTa-Pr)!a5˨j- 9xUf]PL'EwušƲ:HRQb+Mِqscwv xUsdbse+Vuf^ώw.r%PQ,\{la9@[w]á{TbU'_}P,3+{Egp@KBއsf/kEDp-2qpaaC&#vS/'t&S"`:xw'o\)[M>get_]1yCeʵx&KPHppZ8|^nn vn}mokfMgH2*_|4ˆ<3n`R1')uO D) ЍIM~e+];G%r %^=ߡ)'iϭ$^^eupH?1Lё _ߐ綜2t^5=4>OgB۞nS)U3/Rq+Z^!-ҋy.gvl-v նǂLkRe׆z40ƆN= ZQN9Id" Ij/bEVGP7 D|D"}'9=+/5٭OAӟ(K"S)>Xj# I .V*_JCsp/ N2U0:y[a@E[ -;fRMF1d^@.rm)hwhD(M~csaaͽA%6;ٓBcit:de:?o+)S-Q\+#"WOo6?5ED?lR'ɿ>UCsp$؎ /K~BnVF'2C\y"UeՖ:m/c vSne129ImW1 Pd4w'EΤ%H%,0Se@M?K=Ku'tEp;2t ]X1lbZFn ZG-4~HHUWg&tF^$,QFKkw1͘l%c?ADr&7~KӾy6Mo8{$Q0RMM?D然O݄sZ,Dr@/pP? z(hH4z' ou; L]YWNy|FvQ`8l$b*̖"3<<nkuefa 'p>'4Y-Tnf)^|>b-$m'İs}MXŦEm2!@<8qCOljI51VgzC".hJ봩Ex-o2Iv܈ mG `e`\u ny(:6J8iۙàZ}LjYA@N`߾?>LMb9` J򅪽GɳMF_V*2y^ h+0(>(YQ[dxZuNB\zTg_ Řn~y3͎:t(^;ml5<{R}=dU4`bQN2[)mPen'櫥m<^iy:'PI0*/25W0)ʶL -9 Մԝį;ܠ{CrҴNv⠬/4Oz! ȎNVtv!w LLqH$Zsg޿*;^^@b;_eO[;fC5e>y`, yVOF#hj/vUGidVfC9bI@̃ƻa`aD+s!eKVi ^7¹^B eYGx/a5PJnceB䡔]ςHZ -OxS}S oެ~ !cpFL*H>hw(DZqPL板pD [4YX蠬 0Su.YM7st5 b̳U?"R1 uO6t)2Ut-$ݿq Ӱ%Գ}蓿~)ժ&;eL@OХʬ -SP#q)]e (r~12.`\xͤf R0;$flE&9rrkz#܈~$[egh9H5e^,7r]!-* ɚE*FlX;,=;.Mؙ: Q[$6$`_eI~ЍTeTu;Qٔ]jS3P9RHL?K6՞b:|kb_HdϞgP>0q [^<3=C -֧ K){pʖu%'I8rUC}?/ DV)ӍegA"f+n y&S%,>"iD=ObXR_h#`@3ۘg実́v[k0ӕ-Կim!G1T'Hp/::ɚH԰&kw)q'WPH!B6yr9j1 ̲@esV?ܡ]K (UO#i2oDv#0(E*;P8-%wQS^v0ߪBO8,e9Q̈́K[ꬊ ,3?V!ɯHN2P3`LT_Z,nF?/?~B?= l;8C4SQkj T&6Tȟ\tp-Pl @Jڎd zlp 6audM3E>QnGU_x\Jx DBh@M'(;ۄYqmϸ2ihku"K b*_׋ȩF9!Y]Z`eg dnA5S^ EQWDI>L"E 0~Ad߻\{}tq~_bs5}h8TܱKe dBOZvp514Y|LPrn(WO90:ާPsbX<~Qo8,Lv Ow{4Er9(KM.Gھ,-~ȄJ!Y|Φ֑cE.̈́<=˧'ڶ#h;3ؠWR}U:sY 0FNĸa?ȹI/D.UtM^b0=W 9M(#(BjP|?[5T {ZлX+5I՗{{9U` S5(0AwӘ P/,e* #໺{&ӝn!n9z(*}6aY ȉm%NזZ`I (\x {[$dޛjN͝-xHGp v辏s3s{:zۋ(j(Iki& NP+_yXu<2QoliZ./G6x@`)Ln֙ NYyu=>nu? xB"V@_Fz#Y6kK2b+xa1RsS3I/.` )'rQP9K@nw?-rOmZХ `OCP'+"}]y:DkM`j9`TGR>,mEukfES=;6d ѤvHW r@+ B]=^ޙK?k<,aQ=aȒ<TB;S+ A 0s&:px 鿓iXgm& ޺MR-Z?cf.i;ōt;V͏|TyCǾt}Y("ʛ  o\OZq*-$ѺԒɖ'zCد:}`ar\#."ˆʔ8?jk>ACt6Q g>{sIi? M޹zX[-&EDp+ǛͳBv>$HJ?ڕ-VxWrXp_ʼy@2Y/-?-\[G׌JŮ,{~XRN2ٴ`A GonElZHԊbPާ (`I))'$ }F1HV9mPu0t?\I#F,Th!Y{w9^qnZPjdR4GpX* C&►hIC@zeF\IjٲeC .Yt (k-1X{F"74Z{M )zi˞.PY $LG#"gH3^9pY2ǗG 8ckqD3[+bu^G1 wl eDg"dBw͠ZVe.-VQNυ7Vxyc][ 5߅`s1xD`jnm=vvBQ'a֯&a,/g52!+绡sj/-WuPogBy"M/-dJK?Z`7}io]Ep 4:{R03V [v]QXr@X ߲rbu z4.󱴟,W#J/nO[fabR'[EN18]s5tLSLf!yqVM$i pxl\,+_Z]'`gtrwSIʔ (cOca"|^9wy %!x^F9-ڗwbXe 샬N,EKէd2RK LYdYKKq eT0ͦ)C)FcZ&l@mST9]xadsZHgX<ӆYbFQ|偆fnȽBCJiǢYWQڬN"bqT8EzWE4QD A"o\P$AY+kG5 Vˀ4+Ir I ?sRϘJYkwYNH#HH7B[̋h!>xYRki)pkͿ)ZT/hJ/n,_C(t,3CLcUW֏щZNj } pflA+s5RtkW7m%wZ Q%Es" J ! gl&{H{+7D@pCŇ,쏸,JN}-7 1QknnxiY䤣SD,]> z^=HH4$5a2hZ"iᙯlSڂ|2[U >Ҝ'~lBC[;lA$0~O =70ޟ 0etޟڌG9;Y,5jJN q-'\D_gF额Wu6 Ӳ,QO}FbV;Hpkg=^0.?8>)Dડyb֭-kvV߂>ߠB[iEnʤLy{QP ;v×'o]e/^2.L}&G*kurIJFܨ&ZQ)w52챊᤯ E|'^Z4ZFAlТ5xjC.>|# #<5*n3̀wc0c DG/j?>Q4[G"Έ]D,R޶֍\Bj.}ɘ=1}Z/$߭E+B!);c3)X!pc"hȗG{3x|*z=6ow2e%u(&1!ZBlsK -MsSQT@OӡrP /4wOa U1 r9K{!~om7Daf;^ç^Q4b->_DcC:wCk!dw7asV=y"H#ZLG(8X?Xt*zBz._p}KD_`a=tl]D08S4<%)KgkwkDZ duH7E>v9W8Fe0aBP|XݴP[}x* ?>ʚP7Vi7 P_m%:w̴gEJdޜཞc;*cB:gwoP6n J^oOhs_UL&'m({O qU-OUI|ROV.MQ?b:&ÙʎWelfaEPЏi%ClF6/Pc$=f~lS`ܖst7~m7Axx}7Q}!?F" J5Q0+hMncE9jM%xL CNbWj>2$x =ɯ +-  a}8i Hb *(SvjjGڒ5|_3vi-zogTpQhQZ4>KrQ;?7W߽cA{fTz=|$` y(B|2 <'vkII96Ҕ `Q7`zs+>Sb—ԇKJؑ5%yHX!]- JK->T`pozpR˦½ ߯7hz6 j6h?g>ru4"LM*$8˲*{|"$;e>RqAdΝ! tsZ71,wxӵgܯd}l.F h-XKTՈDa818 ?A3 :*w <";D/8z(OH]O7y"gj&dI!ί?eK?D>qWQ?x(0w*)G  /)f/ ːQ62nj6Z79| T],y˗<L$24SU3qp[ aDM0^a Nsc)N7J ܬb܏r3v 6U)HR -Ӫ~~=00sTc(5.NN4yg>c8j%|WS.i51]AO2n~!r5*[eQTo]FpB¡S hdli=-#JvHU~\CwLWX]1L8C=O,=iP- 8o6ra ,>w֬UUnh i4{!<̂^>4ˎB()ˇV$r[{q9-<72O3˾(={lܧo $jb$eH֏ɑ  )YC' +zD0O@`" 5W^e/#mj "*[z``U'x?O05&7:<Ĩ*MF>Bq/LZTul>ݵO1&e'&|5x&yASxKÜq Z,ZLJH4ZM9;%FPcw!=C4)p"O1bmnQ?;ʁ+vcỈ->`%r*ؕWEpm =kgsH7/~m]x sa6Lљ4d؍>6.)s1͠lAcơ3.nE[ - ?奼|VhLm-]vWg|p#o.'*ZAMdny$cakdJzfqCcQM:8?!K&TѭUXt}Pԉf"ƚ-77zh0gΙ@rsj9[.~5!"eZxiD9eqQ/~( rCvk_^ Q|D+Ud[_ A/$ IMޫ\CUKp.7 -rcUhcv=A@0!™lwM kxw/ilbaر~vݎV0ieiBL[0\13A\ eX$%("TՉʼo)# ,@csF]dX}@ybn%C`5,Tpe ^twҪAG^'V85R1wyK9c4_J.&) F,(ǹߵm[)o7uM\T:fўCDAGJNJɈX0xW'gE Kq xX͚5 kl)L0}C`~pp¤MrXw|R:rS7 g[BLJ(aN$ ؓe돠t_u[X_762(r鄤no /,ɡPP4ޝE<}36F͊/d*dkS.L =g~y4G C:|Aeaв4&zf=쒟"1/Z-sy*]K>yIM&iO s9[nR9ϙ9rTf]aՎ<reuDGONd&0Ue ]Ln;Icn q$=Hrlp_ uu'4Q%aߜT;,v Eݿ@}d9F//,(y+d^ %F yʒ /@=ʶzUKJNIzT`>"g XuIzԭ& K9#QE_2jbE7=i9_ӧ^P/U ȰLw AUukΚMpgiBu!^uv%G/IY:p)) ߡ^'$t~ kJO ;ԠOrv ޕ ϫVvѲ?7R.(RWt:NT Ajt%sOk=JcyDն ]\NOݺ`#>ۤ'[r=drY?re4&ݣ+G7bI[ڴ. \y:;b>lIҪPgJ=ANi N{t屠,3p/P쩬 Qbk%N2|xҡ̵υ ڨ1YSjE;?qI\ u7()OJ^TXxm''r\X#.~I0HC#ŎT}wg] gn10B85i [dW ]W2S]o8 w2D U!pnJ g4YDnxjblڌ(dFHm5H? F,.2;V AlC~֡Ifnp*r)k|,9W#gar}&=28aŞS>#ke~ Ee\ L[&ڏtGW ̹c (NK3sz`xu Gl/7自 *X%ĘBEL:c8 6aЇ=R|t*<`5pxw]Q`g|ق5ѝ_2۴[%Rn|, KKAA4ӌ%0mJdFSUM ?3J<2I,gwI*ү/*{}hcP*\c / 3kv.GK7am!LBzʐ4(:zVzTBB9d׵>O_Jnrh9]4tBƸ03l`% _yxЃ/#-2厔E?wS(7W⍆aIOĒA,sH}RG4hv]"jz$pn}R.2 ޷eVe ;~&ǣ.x?DԨ|*{mݿBg'.ܠԂ BQ$B 58F< S 1#Գ-@6$rtBwѿF˳uYҽ8pO.|&xz8.uN[!5]8qq`%\fK[:՞JT# )Ef-ltaI#+@LJ.dOf;k0xy'k$ߓ:̕DIMnh5kls.V|YY2|Qva =LFﱮ >ƺq2jTo(kZvZ7s^å_C+X&kh~Uo^#?:Ԭ+#o[l}tdtOS [rBG(C둋ok0I/ؒ;",d};!١ǝw YξkQ.݋L]!=X[Pzqtd)-۞r=-`ˤB <; ;51?<5 {}9{yq}< 0Eh-P"-"c !p'\{'O7˜؛BUD3=tΪn,a݀26TETBd5obV{u*Ѯ4ܮ3n^K/3c> T9~+-/ jpc^}~)Jrt7'un^bN^1/.`>&~ H11Pތ9mK/ VF3R}.b'C3z䧮&'}!Y̓ԩbNjE-'X|}X4p5m#2U^rt.fX{_:H$ :V^s;=/$Q^hE,-QqiQe;qt1*OG TsuQij]cԂ].#4Л=:盵/4\]|r,,ЩHL8e~N;D<ba܋UޕZ8RØ"fR(밬h .Stj eN6J_3hٲBmM\箪ؗP* ~ShH㩆2ga啮 ȹ%v 4gi9 `r|pcSfTt بT#foآ4 &74iDu~<DAy _ERm&z:.xKe<[>x2iZfGM+O]I D @dnjAH1+3=;SﹾaWKxeD0Л<Ҭ1gڟwM.T I^gZaPQO80ykFKݰ~;m%]1h6T,U#*lץ708T^u]8OftߐwoDa\\%2'pawc[K-;F2b:bkJfͩd{ؼfhY<s_;ѨNfZmoI%.AhH>wP4u7 Ip!r iUgWk.Uu[_9޼I1Io{dzC4^%w4l RHYZwʷ ;8ewOᨅ8Zv9YI.|Tocs5+2 x ״4;h* s.&?T]"-4ioK@nh^kc !Z6׫-?},{}VAPKa?DD3ߠL'/5 +G?KxRV)cNU49<6 -!QL+6a&!q0n\] H"mG5X^/g(j>p TOm&:cgK/\r lcg-R8hnsY,o }yÌ is| ;@>@(K><;SP3dp6 ת2V4UPQu Mޱ~}A7xX1Q39vN %_B Y^5_oO ^a?tX.0(LƍN(/3B2T{fqtڗԗ\Z28Y2mjwm9ݝ+E}!=:0&P k5~D0 gD/KH_~dƈ ft}~F* kxHO'rc6`,SyKn]:Δ7sOʛYh&`ߖ} 8F#ktC[\ff[e2>]tW8eEdQL N-c{Ϧלˉ pf;39!C<' )<1epM8hKj Ɓsq1˵%iz꣤ݦ2A+űGTȫdY@ 0l&j5K\cC'PzRiY[^ yUР‹eOSht뗦ťe\\DGc ˝/NGO YS/U<&49$rLR41u, =8,_.)cfKPɅ \h:ؓ @yxD#KE!Zr^JLːT'WDY"T;eSQVf W@ތsfp. 6xRK7DjȮwnu릡ob!2R #ɦyg["5% lsD]|0"B#'hZ\:ᇴ9 \G\[7-Vϗ;oS2,yhCST&u'1@^?rQ©P)~ 1 C*}De{fIBί'%Cqn},e #71P{ami@N Z|oy@-[n,8D=QG T8y9@/Lj$hڪ+^bʬg"\+;I“gGk?٘RŸGsr8,Wz,u)CR W^C5; =Ka1 UAQ;I֡C݄1,D(odCʗkhXcEdi|fs}7 wL [i;m侇g9/1 ޜ< ٪QŽIjMeBX~>7D6ñZfFm(dʓr>%@'ڔ3R1=n!HV4kאNJW!kC- GuPz]{ qۮws ~n@R8>}ȹ79dԿI'LmCA4xޗ.p7=dւBW۸GWS)0WIwHR;pO ʞ%6pь'FX,1vfXYu,ǚ/| n}r~_l:v?>D;Do@wp-C*yXumF%|XI@qm\tK.^FnơuPtl%U7F$}|Ds4–ˢJZmRj0J]ԡ(PBfuӃtnIٳ[ `ewlk]NR3D˅=U;jU<bN4{T *'k /; N*Bf@Jjm(&mWNy©AvR,6hy?7Rho5Cۖhǜދ7z?ů ]^Xuʐw;dQ|Az+[D()RV-̧k!%hK'WkW_V6 Lg!Fł^nRW(GM%_^K`#Wů[gJxTFp;њo(ˤ?J2]x%ڜT@%ߐ. o!](&*3d+Q{-\ [QTLӾМ l ^$<܌Zx"HfrbE=jhg>ox{" fw, rPw10||n_-*/XTҾ谖+j>Cw@8r}-jAAUNhOV}`j,hOV*X tډ TIeޜi 'CSAg)mgeߤ8GX_7.[(mPZaL0R46L%{\}:.0| HRWyc\C6q@S'3t<[BWV&X!5 CgyΔnY]6=\#\C͚a|َ({8 X ~e%L,`+}wMW2I"m_@$4ףK*J&)vىmd?CV.pa~o'DZ+C_ }Š,UGCz!5haD3&&歬QZ-e((g'VuɼuR`}wDBɲ): S*RD-lB[(*IoyER