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 Ard|t ] IOA:threads=6elapsed=7.369cpu=32.708gc=1.5407zXZִF! Fb73Cm.}K|:刢xx]w뢂QfUrTJdbP0g9̘lzmݿRXQ_6DzV>{GH<kȃ6nH%-6¡"6X%Ce@ykuY-Ii#p4I復W6v}+ck/76B!Q  IOA  WN2:Oy㿜dHE ıB|s耝r׉Dc0khR.mr$>>ձ5C躧N3iIO@5b 8H@_UTC9+ ;͕jdq{ z4LtfU!J#1X~ZGO>1scij1^Iؕ5eeOL!s^N HX߁٠D e )3JBpMOC$=[B-XV]+EVBX,/TSt%wjXj=OJȡS]mQ;/"Ksr!5DӎFɎiBw@/U5F]X,苵0㊊|?6?8#{7Dњߟ, jt̷\Yo/e^3s aU MrEĀ@LUp5BymCM=tj oCG}V6&]vmdJIr1J{A8-SA]3Yd Mc_SJ;8mu/!Øꬰ񝀔o6M4ic6)_vY&;G4uUɀ6?_%ïlP]6r-!6z-I>3ml<`$Yr3W{r4J9?X x9?&y hpUng2[dXpU󛓅%ħ;'4 Cۦ{ql.p k4@0ʼnCًH war|#vgʽc|!K-{ÅGyk%\gE;-ll͡ޣÃ`<|;F >V<^Kݕ$ZM7ۯD7[Dh[0/@뉍ѷP<8NtjmA~%s @%fbR_y9ETrwFߔx?2y+U 48bh7w ?S*J<:ߊ !0yh4!M}G3>FX!bk%>X8K9%hr=cTq);<3(zjM^[Zncϒn fAGpm1.jLG+M95R"rB0Lppx˃+ …(~Y8g-˞$!Lv? ;I9'#TƢ:CIׅ@^T .a_oc+ZnL5 G9Lz mTb>eNخU`֠Q 4 .<py]:wp[b7 D/,7#һI)E$$ռj_*NBrb % 2*k73] 㚼0AP S2  ٢w|@ 2e9J+X WL ?vjarN󖷦5bpMR#m ?TŚh?jجy\ٝrС?&>fjrWy<.uta=Nn *BA!iZ`Z$[З0g'4(6?#FX71CZzl)Cz0yIݤ {0=ܺ+A[[K-$3AMF *&"dOoveO }H7A)\aDFCtla7 e!vA)׿7!cW-$qnJ ϕo5 9]K\AuUI5Q%߬ZN,>Okq6ⷎ4\`4`-&B{vn }1`}X@Q͑7[9û0d_Qp,iZtIA6?lH sG tu+K#K P3cqZ'de'-#)R%?#{U#CY M;*f ]JdWuf=D FڝI|ސ>eW~io$CrO$f;rl|ek|R92’0Կv//׊ȺMe*3f`8}CKF]X.Q-X+;\fm?{QBK;jЌ2qN1F nPB#7׭x`7n~%0MS>$ޣ;pDw6}/`*ʏ9 8!be +eFrLBEh%W*e-^6\wuhbzc%Z>ݸ^,es5"lIITwCp{zc>>mָo})7S ߾RUvkݫ˘~d4'+Z:Pw>-')6}:e+;z hxI;YNI"+i8u7Rםkjy7}K'ܢj;)qYV0W1bb1O&hiE1>}!d4fP`-peyx4d#CfrɃag0ij: ٚ]Topyd ۢgyKnڛ/*~HѢG׌1Q«ւR4d j۰zAi,ԫhqd-ټ 'W1٪gHˡ^RTֽ҄h5Df9*T45?B&?jdסej kdf\ju6 hRL<WKҝ-y:J#e[:#%D K fKdWbSZ$Ǻtv$is,-;H3_Kו`}KB׎G|+Oyז=4l"n`R}O>dex y.@FvpW+L{xsZSASj2YSpZN"?YWz>-tEÀX'mEa qb#o^#|:omh&6kg܌Z^>qhI;Mwf?#J)ը|.lHxέM]ºϱ'`'^ԛ -gfh/tC^"KAjI*xb0LbxEFQ}[9-drHY-dd6{uȬ*D˥VN18g}Pǐ :`͉g8W(PЖ%F.YgE@q?dsaXvk^V)(_ybuL=ݥ~xX߱R-9R=ֶ :;xQ9UC( BI#N%h;އ~qVhuBCWNtrޭE,QZxCkg *he&bl8\npZ/k+U4U)bƛۨV_ellxQcUh8Ŕ ,p"^KT ٶ)GNg,% O=G|{t$Ҁmg=G&KX9~TE 6{˴}$@Ruapv|2=Hw(PB񂡁"֑cxTifċmf.Jk ܲUB-8%9_-K ?9v:o,vD}aL|sœge7ʙ\n5"G2b,}G' cPHDezxW` }U/Kvr-rS\ ڝ>̢@j4{[?^hmO|_y1 yDB1l(Np)nw-;`[bA\, sA5MAgD]r NoE\-*5B ƴdv&*X4“3ΨO(Yz3F02K ?0ܺ]VyɭP[4P{![0l:Fk큅~Γ4瞧H'D&u;La~W& 6KV9F Z._(&L!nn;EѸֻ֓A3bbuJV7ɤIWP۽:}R]Uk :Fn)Mx&/<?!K+a坕qj=_bSv{o4vN3BMQ}`k= \/?Kx>(zi3vZyerbf3oNÔIJ_nj!u+#@{;2 gR{]y 9K&+2!3= ^mMMYI,pL rm/hQor{T_-8>. Od⇬es #8UZAa4ʍl Ez9:s7oNN(0/BN#-!&=ԜQi!THzƟ};/a'>X{zAX#fIw9s!˔QcZl5X?p2a,+ lj+$ Iᓸ5<*CJ])~Cܪ0u ]{PU~+&7z'8exQԫ8';LVrt9je$&,J!,$GD-o#ǧn8]Pa1|ԇH@4E#|bmYscU 꾱[OX䊆ّoiHUID;W ilha,-N!7jŽ(O;.}"@eСD(;r*"g4~0a-FV c+"Diɗ09QrGZcð wdt{.dy9Jc_Ev 7;sb+zl]B?+NوzYXVk6+qT(g@޿ H;d;L/U+!b)5O'"哴Yv-G?a:=֋ L4!Ǟ;} 5{%pK9hm[)`P/nCg0c㩆j(F8@IyG8CI ͌7GUU>+W±Je^_Cpd|N7;_N<$Da5݀nq|a|O0($ Fw-(_}țnфTCKJcnDj~uz58s˸(j=doƺjgLP5GYvfZ07>9q׫-ldmA4\ly[j M0yHu 8wZF'BlGgk(g^w`)M1cY'`)BCVEQc %?g68WYp0E}Q/ F!w[q)/$mYhގ~gEO_^k`j;҅#kҖv~mZLغ'6x2T)PohȡFavUλ#kX3U3KfRr{B-dJ=%@Wδ*NPM~g I3`v]'ƌRr|jCΞfQdaGzZ mѓNtx n:6z']hq6G3yOEz@>C{:$uj &{Eڹ'L'~t d0Ng!3Q!Χq(;`c73rVzcȱ @O=gbzqK.Wn21HrHh\Frޏ[؋Lmw2- B1R"+ Sl{"@:@)I$G{Jv}s* ew-ėiTB]!VL\u ~" ;B QJ䴵!U!0euz ErU39zn+ w{JHJƼ1M.r1\3;8l?7W2kL ζ<}F~\vM෰_ ly#S-A yJI C# 2B.Gí&bCέ:#"1Ȝ,`lȦx87p[!E qfuC^cx0 v%ĖyyQeb% ܴ8/=3ڜ'VX5j\xWa9Oq(GCT|beđr۞Xq 'a`x4Qo>XnY9T0@?8tڎ> q7i2_Q^x'~(Ёx?2F'EP/ۚ_ZqobFex͗wZc2og%AښPݠ˽/)kW:gWyuPNKYADKF)\G7[[5.l59zo\:uh^Hbq!/3_4A/AqHbc!N;lUHdoOp. pa,bD=NҽN8:\Xq=,Ҷ8:U(cTxCRV\ITdҠ\ple-v?xŪ'*UQ^Rk3T:4ѤdT:L;.R Lk$ɘdY?=1|!JʤNI HI)XV?"l)voP؁OQkɀ|g_VE[ .8N[kUtTl"؉ܑͫw}p9B!ˏ -ԧYB|OYCMࢽS8%}'nΧ5ӥԟv+"(/!zEs7C^-N~19׼bi&-W,YݿdM(/Xnx̐;>2@?L%Gݛm*\%5ї &8!Ҝ2i5^t o̽rp}ې,<0#a TԊ})x wGSpg? 3wWKǽ&3qxGIȧloH >HHu`\ÖwcX BSY+ !l쾍S}{0B=Տ?LM^o& 9zTǣ9}jj2 9P-3צ]ڲ?-N6t<5Қy=R;V0 wjXQɾg.Heg1v PGumUrd6uO@~|MfilF^ǒw7Kpz<!]YWC*ykQϝm8'@Nl\L^{7s?D=񙖭ShR<NG%]d͆ LAZx/ {3t?eH$zeꝱĠ:!Zدq@ԚAv'1QUX[8>U#1P/:(3u_-js %J&qȌ 2xKHG_?w-+< 2MF)M@2m:N+~)ڜ^)\_K?1FåUWd)GT=a7B7-4/)@>]DԈ~pq8(2"̖CFQ Eţ~)G=5A;7+&e_A-٩ l@s Ӽ1'RfNqIGC0 x-5?b=P[ 7BhI!hE_2<+:m+zN[n Sw{} !4ɁiT: Zj7(p * h(^tmcC  Y4q #xO+YYڣYD.ZNs1,n3^g#\NK6LgvL\p$䛲{ nMeS%DP<8.'cQ)j. o돨Pxp;L(.WRz b:jw$VRs J~}.cV]7.vaѺEB'iY lKĘL%ٛ@ףŒ:{n 5-o\ ]LErg͏sڒidI?i&3/AXHg2Z[Fm験(?X_0 AO?R zw| 4s|vzK[O-#~MW ,R( 5P.ۊ}^]g{Ɠ|(,zgT50ۼ3-¬A#Gk5WK4.3ƒ)gw: j͛waI x$i 3k5{*\Nc?;tįA$zV~wŐQ&Jn0;5HZ>܎ِSPf.%~E4hvhvh &RQop^z8 7."/YoN 6F))Ͻj4'R)݀O$'a J-F",\#oI>|stA҃]ݭu{<A^9ᣐD-O>._@QyZT|/<]X4:EqWtlMI7ʻUڞ/Ѝ눟s8K<',”e4W~|܎Ʒ#[{-MnKɰbQ=/Ȉw.|oy 4QiצȃYЊcevXKpB~sTV9CZ׾5&_p`?wuZ K Դsk7˔SmntIwKC)/?R1L>̓I3Z J.>MtMse{n^3Jv#o  !|T>#,8Y2K,;ÊKT$tT̟3u79baP: 2HZ+~mȄ'FD!k 9BQ@8tchDFJkY 6i9E y)l~G7qDp*F4S պ }kxwhJ"(( -< bGiX*T<4jގjaqnrD&tTita8`')QYUer*!spS[jŲD_xwsiq .79lN^PBǿ VUY?B@K1oBp,)A? W 99@ ՞"a -ϟ~I&N}udII/Q@LJ}cl.!规jK{rT1#(en?[+j"~Qm'{dWVUtPg;ߢcqDpl")& jy[vH.9G*Q>\V-~P[l"s(=ƅdX#<[ )1&ׯ,2w6Z$S 4B(yEVl*l7 :~X4AZQy.JGSL 6{"hJi"zt1xXV^OH4&`-5UW7A "R=lIԓ PX07 #l;.p]aMGcAY):ԡ"Yϥ-"}Ȝ=~RQ$]hUЗCwƴjE>ħIhh(@Ŀ%Bl+5Og@ h0Fԋe!2@GD}o3[n3qbԬʍl!ta}xR')wN?`m`(>tg,r]vϫo5uȧ0]#"5+4 [ =h q3_b@2hx!# n܏] T!j16"rT,\1ĭW-tr;n N GqX5T~t/4GEEi]=x֭'"Q&kkB5i@G2 sZ٩ 6QGU0(׊%y1>wߋn4ĸ&, U^Pt4]<%.S`dRxWjEuͽD;v,fMJfNAҥqkC 8Eq'DO5>q(׺#[)E՚6w9{ ^Tݽ7 ״tF˷ Fݎаk6ZV2s.WXyTM!22l$sMM{4=X`r$p3"`x:~EicGɯ0&ݟx$O }/,C3¦Q1'YnQސ,/MI,O7FGLI7+{4AG xt!{AzcBvBtJbu"0}5ݼuCK|Y͈Sa`?\5bR@TN柝v%V4 HQ4#ؾ u9b巺S1P0e#Tds8i]k]ٻWzO+& I E$&yx g$Zh9,%"p n~T0<{.jTL+:z%C5Ȁ}Gt'j~")l4 ,F&q]h݈gd*|ލ *)cf!$$~otcxKN!!CWt!=D;f6RgӒֱLai G-kt@*.I ,Mg9c*\rLz%ϑ9yBjPq~l~ {-@xNh?qw $3hJ􄎪CwJ9X;PȧXwx@ eJVin&(;S*\rK_H{ Tol^UoV8N5۹ &:rnL+1 tjC{@*Z2Tgb%=g?MR-~Bx^Dl{{K;E̅L2T$$.Nـ_8-7ɒQ% f‘:_X?Wk˙H>nR4=}A<])0-bPb_Hݖ3]M9?.Rb'S5$Bߺ;{EQY]_N"c9 5|ZxAtlMeհ&"BK(P\TjxVZ-[.KÞ i[GAJo;Kk-^[,k8PͶ@r{T)ZL~"S+=lK=ϕiVؙał&#-n8֟ -T8$9Sil:^&W]N8JI4U7+S1?=T4WVՍO'QBg޲Ww-WyRE[o3}xZuF*T7W~D'Axvا"4nw OaZF~w˅:Xƣ֥ed}68!\kxo@ބSk_3|MhܼWXuK8Fm'ɅPeDáA S3su7bgQbVcN#0sJAz ZT hI!O:u$uhl70êvulMCJG)QpMMsԊ;0 cn +i;n=‘ZJ MhS~G4Oe2َƸwB+@\Ik e8y;~YHsb*݂]{(jԮF*_^\@eOGa@ i ~6} Odz2uXҢ M!Y]*Xds\b Yx1)%hoi駾 VB{  mΣYأ>S\4KK}1"jĹcuJM"X6k)!( }n?jb7uu6:S}Ԟ;NWl/k5zW{X8¹=&Ua*9Bw] C9 *oa5{q-"]_Fb36߃\٤-ow8&缫_0k.:LeݎFDq4#ۣj :lBE(P[ʆ7@+)ϵfEƨWAG@?(`zK4G$RˡSS;'{: '|@0NLm*YH)6h%K' [o(A(3kVr$ԡ?5I'" w5Mkn:oUDoNo~oo_"oᅠzߨd V MgAv^pgp.]+XW8\cZZFt@t[c3;硭^w-nO78kk|=!Ăa.^fHU^D)BToV=vT«|o~Wb{nx_~õW{m-U9a1"k W/tOV`h &kr׸mtx<<]I[+hZc \^ի{!uF;^ Օ%S!E7T9 юTiM[5 Ip~=nxhp_`E߷g,OWY2 ZG}SFbYٵR깭x L ~6m"3iiR׼.a3h 0ǻ_T)۬24iΰ@.t%=KtA!6$>qR@<(,; Xuqb_c~ܺP>XGvMmh6kbsa 2aVx9ۂQS4@"$i{d##p0s@. !8`鄉DO].O] X~_8 QWOZy,8ƨ\~\|JVD'XwphY%w63S,n/qPܫhԦi7STܧb~oi˹TGLfJE@Ўxlxƭntpe!O hW$o$wLƼ8X1?J$pe6sY5ےq @~@Ê[DAKe$߻4_A)OV Y}*geMcJHRCeA7Sa6@9H,2iVҝwŻYH>8={hc) ή<,G亾=dc{ۓSN /"'3QPi\O=M4n<{Dxf >DM* yo)S_ bG0 3 C+#dlc ~(y&h{#4v]Ho`` 'Rs^ץE!Rj&# rrimDxLE` Rtk1XG6KZ+aVǮ[Z'9PX&>C$S.6d _W>qqBH/9`fr$_ xk/lΌ ~u݅ۅy EV6E`B/ˏJ^p1K!W}H'Uڅ:{17׽Z!ɞEz& (2|a͝SKZd/YkŠv"$5z8~^H0%&[QH DfE~XSL*0A=WCOt =suÔwqp6/`S>=00񕅣IףaB><>T0!]SM܁(th!-]W'ݥ*Kߔ1--u; 'a1/Ya6>'q@- ss'22xFDFݠ.V*ኄu4h ti#2q3p쓛 JppXl.",m001zY?oVn%l Лja1*%JrȡY϶v;D.L/ FGrPDX7rdUtR-c4!/1)lW^|PlRHc[MPR&t޽| +'mT+Ưn5r30pA-FØVin,Mlŭt)x$o$o%>t+y ܐ+|rEDSZٻ#K߇dΊ nL l( o:a܂^ېj~߬[=BS{˾"k9Z LyQ .Se$ioO4BsܕhBӫPXvZ,2RF *ƈ"ߞtuvث~$廠0),MnE[6%ޣAbK*TY~4c }XK$Z9ߞ)p3+MofV%>v ֌;i .l.3#Im" VۃːP Lj]f+ɮG<߼L0 tZ_UA3k)k2 Ʈ3F"F *&9E%D][kHDI2 jb視}ӥ@&5؄aϛ]9+d%SRdpShcy9}~GmkQS@dyؖNi~RBjv?E[_'CRϟϾ≝; مtRLݦo܄ʔ̭jy/oɂpjT0ytٕ%?]:h'GޟĘX}~+<$?oil4,kƾ,;tS?gA2 xK4ۘM}6,Bb*rMn h]$br1 OF]itgOI_?2R`ƋuNJQ&{ ѡVl]XIH|{}?B9A4 Gbw̋aѢN9_Οo1+@seV.ҚF*)H֗koNJ](Ɋn8-\:Z&WfOr!f 7qV& T C>&"=n7VVlΞ؇m(-3[Bu$<Q)3uHAֆs"~ꆳ4iKlr7^}H'#qJҾ'\JU#Fʂ["b5`Eﻼk&DI^auJNjv_<#KU|XRkT|!n}1Gq ؍:ofl"o10;'|- L%)r)+ZxEkH J0!vixYÒp1;:[E^yYtb=$XhW=]`^(~Щvw& GVB PE0Ӎ4 8y4:m=+i2YFD-S8{]ޅMq/:QP)H9%`|fm<1訢":0{@,"N2գb#"{i륋3FbNɹ& 6|V|sύ'"@+r-s!uvK]H vbVYC 1R$liPR3NBߠE@P``EG+௏ CAYJwbɦ4.>:LјeȲ]`!iiUuST~DepC ڌ-Q:B$ݪ7vcxekN4{?x q/UcDgp߫ k%{LMzh!4wLj 0IC]Oӛ5 }-ޭ| +FY_h O UB2;|?weܜsAX7aw'p6H̓ z( )@yDy͠4~ң͹(m`USk?h1TUtVa"ʺbQMi1Uۦmq,"M80^}p0d~aQn+'V4GךIJ@X?Q?)jZЕ<6kҧKcv]CN!YPi?X#ǿe Q7?~"_Cdf~Xo\6$F|)7y tws*a]IYɶ8m%љm &eX&X$,RӂNz':XTI]}'')˃[eDsaI&>e3)bOo#$x!y-q S`?3v3?ϱ\NH X4 w OX> v? >NP9rMPm'qKsZYj,6 !> 6'RtH 1| PF\p9)H(L/^jT$Ae10j>i0k']*d!qμ8&Df&+[Kz7vEJV'cpu=5N y)_`5_`Wi` J.CjG #ԞW+5JLwG4@ {d]Tiq 瞑%m9**"#L7?^,wJy: fSY" B)+vGD('0g^6J:B6⁤SLZ/Xvn@rxT}y}U-Hhj@X߬p2ҩ+`zJD{- RyB(X':$,R)rУϻVVa(t˙Kt=SdX@ԼPү,qF qe&MLe{vX,VEţMILSWP:q&?zm+;#J먾u8&1:kở9<&^9!M3.- ߣby@Ec5ibO_BH rqQӂ\=Y1jŢt[Jet|_@/Vׂ/@ǰWB򾆪1v2st#)g#Xu7- ؠZHw $-$}&/ڍN?eV+ޒ̉4YxN/OEjaګQ ̈1Wɧc_6vO{ƨLg:$GSo60 M9Njı +D m7!n7sٕ$9B 0!E(US xH.Jzp LV 6QZk6fDd}% &n4|_PY5 ԑW!曂CrX” ?|Kzi7ma:-pD23Y )`1("2hOhJI5`g_,6KdDzk*if-/*#Z=H ;{|NN[ @';љF> B2nR2kanX>9[.創yL^ % lf&t|/ ڮ{#(E_7šm2C?AS-kW$z 8KRveM*mU,$BKsUAtS"<>#j_ha(V9upV ]H*%8G5(Q@"xm6ݘ@vT+cx k- gJE`5|zRO5Ӝ)X~rJۧO`-Q̟8*@Af?<'L!H_PfNZƑV ]<I~B m56i׽DoOi}mRc;34"hj18Wy)~|Q^(PzhK尯Rd/a%\ jZYQP5K)VȎ7"vL}kml`Wʇ]/PdY{/Yλ+Im.w2TqaգpiX1<"0kA@ Ll;ɞѪGOE0TЩh#?}Rc,˂u-&I3MFAT]x of,wfÐ:8To88r n[,IܸA]$;i >WŘm\S#$<[}4`24]QLCZ80 ?5vڇBLO3bnAd?Ż {dq+Gq0(-Mp)I)D'#zpr0وjl#$-K% [sg:{kf"I[Gؚy(~@woTTzUUvEZ,RuOmqԴFjUQn2u?T@B^^z[5or3J~oFupp4a>1՜;hAxLKCU`Zϩ1ϿelKЫڦiî5 >[H kx둭ay<ظ3(\`7WP6 I)M͕XɠR3f^g=@%3spkB$m*pwR]n\ 2kF.-&KUㅩag!? XMh[(YԪX#FIu&zgPL5d"6sW0Fd(ݚ&O0} o-n5Z(gb ϲ+HSxp;)}K>ۊMikC^8f[)jLC+ϙx9Hzn˞nu%b:RH"yРZg(ozD#DEE>ْIX3pPƊp֎$MsQqyhSЋX}9ը6n02DgyxS[z}[γh]UJ?e[bypgi]U%SVūY-ByP]]_(#{н7Ii{+j-}+ѢqqDi<};;Jick'M3h g8VѸ[`ޤr-fszޗVe{>R~3sV/n|RiG֌ "^5f?:b pXH_ K-*ttPU]l,/3"+as-Y7g=X4% -;xXSVeyxB֊ 1ٗ+_>L "h&^}K=cy m^*-dq</KN$NډCաzuz\ : 戨,+bwegn\o-װgc? f8&|CDE^r}sl6RfR_ C'ѭ1)1-?RD'cmM Q O4G&{Qɔ![^lx9BM,lD}^&ܢI$@ {yk {⼟V'Ab(p%8x.߶Q&?Ff|}OOEi!/O nZ'5n.X4M3 K"ȦI܍ڶxiӥ}!8b Z~Jxi*7-]U+ ݯյVx7(2Xc 2/k7`YIvALRqZVYɱgYZ7zXZִF! `w]ŗXiɟdN'LvH۹)f]?eo]+صV$ YQyi踈'bmYυ||~8 QҔ.Ĥ.ՙ)٫OTR>ƨnī_d5u/Л`s?T.ኜd!d{g_YGKQy-0Y}nAaV{0X%)2H.dojD\. JG͎XSާ (աI ^B?Wco3kWu}Ŏ>3nlnyikÇF V<61R4h~#tي ou v+m02h: %Jo kiS|gYZ7zXZִF! $q]ŗXi%L% @@o" ~|T-L灖/-M VvCܐ9;hw +>#ټR`-HC}JV1M+ oP `Ey'?{Ay٭PtEz$Ҟ^2?:M^fٮ j6O%BxβXhmiWJMZ}gx]ܧrٛjm([67*gL))x(C8} A5Z(f./sq_Hlx z&] %2*v9]5!,=6FEjXEJk U,B Ț ɑ7C"Oj>t ie/-g*#{omw eU1+z{o}A~5S J bʠþJTdo^/oܱ/Kr <ў7#~㷒ɫ֢X@0՚~6N, Zݥ((KS] Ot#3swv{wmDz`G"s/yCi]33U;2*tu51dQq.7,;Iю6WdPv ,ðFMOWу=\4a6m_)ضiBgS }Bn"I/"x}B`fRSk:joG4mv*ަ&EO=eIh]gg/#-{<&>5lKD6۹hYb'g fRF+I ɇv:m]%!#\vC:45|cE,0kd'9Up^gv @a[Y[=/he[e9"aMg=}p|ь-AklyGVjBHنK?CygkTtv>a)ςbgMw+ I;"QFѤt.(ڽ ^̲%dXG>Jw+v: :nAZ`4v}"bYxBIAe#Go9R{ =H[EL!>Ut 7N 7IQ̓E1kC I1;gYZ7476d14ad47931d34a8e2ad948bd43c9b2c7471f3a09df081446ee0ffc18a782a60162435ff26569 f98620677fe586b256f76996ab9fb926732156c9 6239b26414c92a4531ebcc04d985f8df4032af77