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 8#$tT ]S]HRB-Slicing:threads=4elapsed=343.755cpu=1018.944gc=33.180factor=2.967zXZִF! N]ŗXf[&n5/h7c| WU=p&6@BSXHt Aa1zOٶ S۟}e|6I>&MڼwC~zCxa VVeM9l`CIr@,FZ'@7v*[T\JSap<6_6_o\@iD?>"ӏN,c*Fu=<t25$]آjUZ[~/L|C}: ^ۻ~\ћH>BfSwt΁ n-Q3t0_:A)oT۾&Y<,9R pwibiai9,IzYAZ+=ċ+!N◸>@a759x\(ĠZQlxЕH˩+WV+TOH\x:_pqSZ#&A-xZ4 K6T_MJ{04*$׾H$F>1,3-p] ~Va`zqɓ7QQ'»ƾK&ڔ '񞽡EsX J$FD i`Ҫ9^;b>.pıeSSu0C| #,,aLt&rx~Ι՚)#آ^F-Er.9*O?$t5cSd0ėQ"&#=;}j{^?}9*^"@i`~2YS i @qTucFWP(VeWB6ZG'E)K송! A[f6PO >0ѯnQ0虿Է\5$p!}n-?|їj4]{G=z* 0]Q *~%r+rBr23l꿚Ӗl)g \o ~7@X w4pǙe-vȰ@qPt8bwFu&C!malNRM&y6^pYR|ozcv;$Jm^GY1l0ZyQ49'_̒ܔyI1,jr> V&/}x# Nc6f<&b</H5l])>ZVzB mF ®/{iL,Oml1PiPFz;u ݛ=m!!_^yTEړ}fޟ XutMm䟂ؑzoV<D,(M881=ƌ!y!blЛbev=P`lUۿI&Wԥ"ʊ,w+Mog fGf"b;D鎔JV3YL[j/d3yHٲ˴"V{(Rm >HZKᨡ@1rXijnjf'K~wk "ǔw囔-&`]wGcrZw6hXm U0A8Ԕ{Rb1) ;.nSVT̻# x@SGr+j[7@T1O],D4d-*(+6-l}s4m! P7duF{B!vv+I)O9c92kXg HQ-HdS89\N/7VՊ]l'ͅQmN&u8@Cm>fH $EBMd'D7Rh.1xT#Wk!KJJ؈-xS ܎ ^} )…֍֧8u4<4yʱ[!#凘$YaiT!'^4,;?ۘ7.y5)$ V4e oef[}UoC zXcu;s!ې(ف7gQzZU;s\8xeYSPI*H>n?f? `xK4SܧNS|u̹ČD6MՄ_F,ݻ^ǻH6f6>7/C?Y>j!߇1,e -`w-.ݚ|=;wI3-J96 ʮ%DR,M U:^C(=1x ak31)OtGL,`84 10kmd̫k5?rBX}F#GF@ɹnftruwg\}.P5v!K~VtPqjeGߞY5Ei|Muh&z7X>={9^g,GeS'7FfbњP|e1vІe)XY)WsFqo!phxiƱŽaɂ'm.A Lr Ιdv뎱~7f!d~&/TZk>Ҍ7~2<0>tw4{2"+jyQJh7a!ﱥearMC[?ӌ6!+u|Foql*i\Xէٍ Y1j@_~5%]Ж:'M(Cqǧ: &kYb]}.+Tdd8o3d1 1q ~WMnGbQcc[e1@[gʎ[L)'X۾Q 2¶NQ" V0O1e5M%' i"gE1昂y`H7?R3SZL[lE{I \cM4%GϥgGJW?m;Kw%:߂~aBm>2e`sݻ#ItbƦ)jOJ/^#HΫϏ3-)ڝ_Y u)=XxDcX<ʾ>1$}Ecu3H{2RTb~K.<{Oؿ|tf R`"3ԩJ.r V\4#'vlݖPl9}Ѡ539> 5.ǜ} 7D? +TDPB(#fnבT`9-O |*!V a5^;~;LeMg>oEMoF}_*p2 Mnyfu{Z,I f3-_ƶi{«=Ӛ3m&U7 2r!i^\TpR~[> ~*l7X-_e̸vlYL=: * V}1{ޔ-`vEp+z1A h-#ݮo4:r͢|@X-We-_-bId(Ο6]YLx\1oros)TviPHgkg]?n%3 1TuCE̪a~OF1j:uX9)GBu2kY?ҥG;( ڙY#EEQ tƒ cN{h5T~ř.jb5զ=?T~uK)eJ&h ,rFsq  RVE޶t.L}DMa4I%_<Cҡ2N#x'Ysיsqw @~Q,yEݏE1,VN3GL0t/, C*PC~-{ >utqt^w+LRxմ@g]m *ӦJCm .59$@@fd,՜jȨQy`D5^,rVL@ /f4ޮY5-3i/8̘D|fQӮR4kRl1q횜YU-{45Oj@b6Q@H uB~~.K3 X!rVH>P>v.:.I_?Q3X6V7Dr^B%a?e QŽ/uD+B<2[P还3 VUfN W j&Y+b"2s;aKb`c jbcXPp5ۅg]$h~$ƖEOX۬n]>I]\fBX4$U8%+EJWAFij.b+e ʣI)@6IZ>L jd0>e'p1`٢;RAf6"]~}"%FHZb(.k`$vp i$*Y&XYϕFNG;8הcハF}UK3;"qOЪYӝf^Z'2dž}[rv6c=J+Ka\ `j4*EV2Ɨ$om~r_os1B4~[)^nu砆Ls1čNXzz ]na',͐)X}//Ƶ_MʿRqARsfZ}JqIbe'x h!YgQ!]z9W?J\AU yn^{GԚ3NIH}FDzaaaq^( ¤mpq-(th),~q-~9TէRSKM,L|EH 'mioЮ봒o* M8&1wYGO7NPLލ]0]rX̹-hP"+#4&Qsj`Th~'Iծ\-k'*XDBBV$eٗGê?jUl5(.2b=WA\T!^q~t_zC`y{?8ը'5Pr& zi.VJJC!_1[z3vWF:&^TuR<8ysJq iوcjBQ.a Hy2[ oHN[{/2%$Oad0bLn+|AFypшk++ӐRBTTV^eu>K*7? ~TMx6yWҕpHQLo2+'A3a֔62@DxuRP_O`ݛѸs͛RK=1+4 `E(RWhi:?_rȣݑUڎ *,! :ğ4ѱ 㨣Fn:|c3V'}arCGqc<*\{dR-\=&&,"YNJ>?u Lv&z^01`韌x6zGKD(LsV7R>5\q+yI1gżR?9׷Kܖʙ&0羣-ySNmO!UWB{ٓw;x"=q;x1Fc\]]ŗXi%G8O<,W" DɡGhbaz"~50vAT-F2]4=ŅCeeqҠpaho HAvj!rGߏ4(Je>be2m{N!Ncz ۏ+I.MZYuKF J# SS*'j>u=,t 3liqu^.H=Ր`U]@+`XgplM\J`L%IB,&q0~>MUodȩ傘_x%&a%A2D/e>%A(!y̰tnBž`;hP7>F,k* Msry%iUO]r#.'[ +x8}Z Ϲ_:(v:2&x]R4alGǡCKV¥Z# {;&y7ʠmeԄx~i4uv9 Y2HDg^@ P:ޟ2˘K|hl6L&(͵*=|Hʠ nKY؋/~Vn?Bt93&%*8U;g^z7W X&jk6G6@JGMXn@aX}yZFPR;>ze"I㯔Lp=10pOuY*3y="qN̔SVUWrjID5-]e3\gp7-%xQ=΁OYBW)`%g ,z8Ճ;*X뤚l䏗 =m1{;D)ҧhөѰX2 aې`kw/’p(Y1 `_nU nTG%fi&" R/f%z}ή˄ ҰKArQZVK8Ymi!V_T#HNכ>}TJk,?'g4VB( S2g,j\TzKAm6楻}yp'ED 0 DAJ.77/Y~dBbEk,iA\UJn 4W]ĩ/1Dr- g,4eu-GW׸ 3.CWu$<,2 d|{ RvÈZjL=ܬ$p c>Syzv^c(20cŞIS)%PESR@6s7 `W ȶjҁNk' [jMA`ݭ`Q&d&4jH{p<|+8`5h+*]}сr*_$RSC\tE '`AGk$j1Yvg猳fQ]̵2A"(GXW['ĮH:Jޚ4xҧ|z" !U 3y0 %% 'j /X9RH/އKOyy1nLYƃ}"nBPT}z UF m?|YMWj̾kI\{Ց:܍5ٗ-; ؖ{wfeF2U:/8Z5m m!Ѣ)s(x xYpt(NPMwm >ms`IWJwNt YAniLSV]Ko.m!eDѲȹR 6Op u;d06 ?>){_̸{s,S!%52C  } RTed&?v5=Tt*dt$r>8fjڻO`[g7~fU`=LG rc<甦,:-|HMOxmR GMiЅql~Lg~ᐅBy$Uż7}H~ PԽ"<=A] LZvhP5hY0[&QIdB5Ɠ' r:hyQ@mC @nջB=5s(JIRKrnڔ&(TN\~t~X3"O&C6{I PF20Om9˲?J|8__us{"N:X='v(W^u"{PwؑP5@[)8?پ,dhVh)#C(\KVh$gIK$#GÏ0*6?6@GC*JG?q{u?I4ݱ{W +EcoHSB$okw SHkmwtB \w\Y3PwL9lH S d K&q%I{J c5 'STـB:ܑ!4ӎ#n,H7nfN_ ; &y.7l7e^ |mNy2:G-ie`ZL2 #~y {wj뻃.櫓դzT\31lݾ\pv/x2٩xxz@cƣHkYCGx%uǨj6AsӨ1 *bA|~LzPoq[&mk&%ÏAFnX#f/W N(͗%i քw{cj8.5i RMc>?Sf8|hgh{Rd'b+D>7ބw"* ])<&B e0|>.U1gHE0Jj&U.I2fF?[|'r>^M ;rx9t)< dũ8e ?܇2Y{/$X,yN%^(C0殺=)?\r's1A}KfhFd" ϕE]E77DMQ9j?/:GÏ'YH3QFjfޜ~hG3hԢVsb:!~LI{XJ™ϝ|zHBo=!v3]~APpL{Sbk6=t1Cg/"A$h{XԘo2BL@&uhj64v~vۀ zPdqqifW𫭙2BŋqbC([o Oˮdx̞˱Ały sa(d@vR_ I 58Au^`kT{nlLUsp>)2\a݈muh'H/}C˧95A.O@&H#$":+Y.t2DiLpRD+tRWz,Ƌ̥2cXKlZѷyykKE1nkE[&װA;N,I bEY\֛=V啦8pAC9[i# YgC5 qJ_hKjԫvl{Nr2)ds-h&MMB1OZ;"o֖6,r'\:b$[lAS}_-&,2z:LcHwMai8EK+HbI3.bH)EX4![`@.A pȕIIlc0QFMox@P~K{X!ʥST{&h#₝ HrQtB <5yɿ߽mPNY࠴0hH89Qqfg,˨C K yW#'/*/^l]S>6\m#vՋPvU2?N2mRQѹ}xXjԀDNy=:SΑ 2&|e_1'Ercٖ\L Ɣ|G'-jB ?la-q^PE#^I2~٦RxȥC]3* 8, NAB-vjNo.C _ɚxxūbzAb7K7Z$xvʰQbn*F( Dy -R6,lWtbjR}_t;;` @/,N) x^"wctՙ?(x`P`5 oprC()(Ǔ{.|&\ ̘?.?kZz ^(IrOv~L4SRE ts_/3VY<ʬTށ dUxq&˰ ~J oG+7#xi I-QɇNkт FQ  >ys70GψRW^kcQ;ҭkHjCl_ y\o;[v I1/cȼƇ&vWt Q45mv0,!g:$ĶOy?fI,d>h\=pg[/fnhw&\1 H^ELEJ^B~DM6ż'KG8ҕVJpDr? ț)K%)u y1-v4Jo"fng$8#8S!\6LDːCyG&12/zW2_6y3 }Q;%P50el#|ZcH49zӘq~5yq_5\V (fS@S[k{-QuiP54Wl&L缑!=aAo8 ['O+A0/YPÂ;`oD >tzXS{ƊvhCM4o鄗cEfa(0BEdYҡR1+`藮i|K٣}b̟r%X#}όx2x ڵ5 :p-~D,Waדĝ"{^aF_PA/ MG&.hZ.A΃sڨ9vĄ{VIZܿWF艚Bcm\F^B]"V%7-}ut,-S#T#WLᔻob^!$Xl.X`v#<0L-:Gt YF3wj۱,:^YjWiLDwkshm;ӳD[} fK/A' =/t8LT[^K}FtȫSɴwf QS=G2es/WJ34B⤣[Q Jj%oQ[莄;0s=̹OqgudP+ߏ>v }ȢJfYs,;5Sv%<VS}Ic \Nai^t#{E]tm4<u7vɞf{:ۅ^<^N`rcM=X?06NH$EYTJ .p<%"y"(SׁQ]|jKl?N/bZS{*H 7Ң! =¤$46zm?'fެ/<S`ĩqG:Gy,GePg@ښV^ڵUF6xRRyzK 9Fh5!ial:92WU{.:4%;6ټxIbѡD]cr $UE9hc`M+E)rY[Q jݱIsV,+w6„#FeӃLZ`Mk|B1 EtB;3)]C$37|  9ڀ$0_-NכO'`eI*[| T7԰C];-`;8=D;[5#إ.WUYPW#fwŗvHy9>+d 2mFAUp4ly";vD G8t<9THs\0$>/;F2̄gB=}؟n0cPmq~PnZk "H~S 9c:vPݘ62FB L L}ͭE/%:11  86`bny~>8TGT"J4o.vP9@wdx{9!yNjIv-fnɨYw P= @mYf6J24M_`13+Uh\prmHpԀ\LL-Af,0OtCvC!ae X2 yMݯ(0QRMo"ߙt%^D5/=$jڎ ΐ|4ߕk-lw!!ϑ|*W:TGԢ.E%<2prnR8[eH'ɴc|^0(eA"} |)NfOп8gYIgQ] =Ve8ST; NII:?7R-׍ _Z\qp d 6LtYֱިUB֨YjfV?(&&@Hm`FWx)[xܴ{S]) $΢U;e% 3X)G 9!Z#huhK65uIɨ0Vu95_ 6zloppߏdm/tWcXsHelũ.u;\l /oy{"K:@R;ʩ`,-n,5;άVmIL*r>[[?~ē3n,nz!mLʡ&2*^8m \vcRl&98w 0ZZHjgXf±b婷JzR y5z{m{z0$>X2#n؇ڍUSbw-ѳ`!%%ϟ&(+bǶ,j7v-b%}o!D>թf}B|%,u <y9`^ $Tnw9 *Luv}gj9n1Qm,z]5.G'N6-s45hHB4l¡寎ϓΒ gAoliOץk=2QOD[{hū_F?!)32LL*j9o Ax7>.'uG5͵#C:}}0{~үgq>]uv*AZQIƻVuq['|Qo:-f b%g{iX<л]h\}*Jrk+@dg%CgN 3QvBmFOT72vlQ\7dpT;͸U/nXխ(9%~*KxqML.!=|rcCs.٧%+ƻ\שetB?6UwIC ـ>|z y^}#(?C(5(_2(h?.%?/YseAb/AպZgWMNP̒X/9K L)02oMZ8cS?"^B@$E<4Mk`-yHFDt!)3O]z3ׁ9UT?beQCDe1 &_Ao1U"WӞfz Kd#Le{ >Б -wd϶OWZ^7_X*@$G0ƸG@7Ay#AjIEQBUȴÅ7eG ) nɅbڼw3ZjIOR} ,c7*їc ;N%$x `rZk~q9ȡ]T)S)=-jő_jl O.xRp} WHOA ”bAH616ˉ707/e$Ye[x +*vUz.e(\1A:LʔD DFYh[ʙQ>@l N8&LnP=:?Kkh)s}OH)G+dJW(C3,c] ڌLOx)YD"A ,Y^@nIO 2@CFU.~^۩qP >z1~㤄B@]j?6%38])(mh(P2VoJ:F"diP㺉J;GZZ-rpXunkڹ* {gWxx7aFD孃,mݫ7 uBe3c; au|B"׭*k~nmpW) Ñw{*% =M O`{; Ϫ`j%nHA2YZ QdR1f&kʺQ0# 9}ka:'F<5V4g[.?Nz}}(K%# #†WV™Ñzx9ecf6]jG~a"ç1'Q(nt`UwtĖXl[-Kh̿Ey9au<+@^fQjD<979F3PfP':g.*ތ!rE}>!j# Fq|g[m].Y P eo#K$D$6Y3{Yzao8E5GIY5S= ZbG#Ttnl~jZ 1a9/绺ob}C/-͉`XeԶV!2{ jΕ( \AyENTox}q.m7k0b_pdVk4;qr)=/eo+bb!'.qU([[Q _⴩6R\!H~M@L@jJ@Csr^B!m_0B?9X Ta9˞'H^!Z;n-A)γqNpCc)O iz5RMWl"228%(e2U&nL,Q+SiZ= c2Ȼ_4oӪ6؂mKSGsɳ20;u* y0!f|sdfxrOI 60 ꍮ SB&Gi)kiM·~KNY"\dBh `gr KmUz2F(M_lseA) N\hfP}ɈQD/eRsfo@ɎHN2_^44 =IX. (N6 5ѐ`E4.Ңl7(5)?N|/K9om([so2p}EgKdpZ4Q v_IE_ۢW6%'ttiB!qYܥp詽fF{307z7KD x#CПDK,v}"VtE&Ye*A]UFnpCvH'qFW= ldx9PIj74GYF#i |Cl{ -}23Mi3kF-3J&F{&3 #p r wQE(#>2AN4 կC,g8V<#g9ջ ,6Ԍ`X7 9P5UI$1|YG&a 0愋C !c=6]!/2U0M Oy(X2xڄFT*J @r'(Y`I0M8` Fuӕw'"^G|Au pGЬi=I{|`Е ~m(;:,3u%;cΈ.B; )fhh) r[c43Y^H' \QEBbdڼ/6;!~Ӗj&""o#A {ޖke,㥹Կ lZrr q p=-,x(;# s?hyN"MH)PF(K~Cc5cnZi5|u:bH/έu`rx~dvѝUśXj-N F,;䍛om> J+Fv*Bݡ;!vQً VݐXyptQb ~ ɾ4u{jpC^̦v+ߦp';D,YٙH#c(AvBsȨnaJ Y[ӳ"XasdN ܴ{ucrց|9AkS]wEꆌ?_Y_ϭ)Sl0hl^2/1۪DV)͋/dž}J4n! ilaV{.0`|t©+F/;fo^ċU`jn%H#65S+f4qg.pZS,9)otl~y\b[ \B<>O[t-`q.|%x8c \k;댅bv'za0U.s5hS:㕯%ȢRվg]~IgL\).dߊ ě6^JOp3eA!H:;^7*њ`5ΥZ(/tk<4[`۪pUXȭ}p:z c="/TUtEmտ:LL*RڻQ|fѨ @ dY ՙ{X〟l6yczFapo r,iE_[7 ˧"?J M{4#C"DQq-zϭjSSӅ 62;/~r#[vzlyXÝB$pR(]_ $$&Ih"I기"$,4bIvF-3|:W><4/L:>Lm>WełxiD8AƊ~;XV~@,ta)[yU]K3] G0甿yY1pFZ86;\Ei›ʿLlQ#η5,Mt%v ϠYŗ]ɭtk:@ԵPNԜ4Fy"O^]D9Ip.'W <{nrJݿ 5Xr6;J&VҬTƼW 4ߚNxp.wr5isШqB&0'DհUT?maO"s/]kl~ȍHcGph;ijo*ҡT dq)M#k.x2-M~9d]|2|loR,өiu_ېHi窾~C\ N=*=!_"d?kJpniO4m.!*#V#~TDr)(Ot=.oxck DZ3:ߜ鲅4`H@Bt`IkYdFcElfmչfW 'ͱ||<3 aA$bjh B'c BZi`B ^{uߨ{EZ@tF^p}cKmzq(ݻpm;QZO hRq#'Nk?!(d23)QfΔVj}d_A$&bp6(cļM :FV7lz+oa .y#ͬL6&q7/6Sx?j{)[ہnRg@Oj.=]nl17 "@?2R5B3tŵ}6rl¿=VX"g]MR4 }zl *9*xÕ‚xTx)ʫ"C}txCQR 0M6vY u@dz=7;1Jr/2D 7ߒs"< (-BioV̻,`NA]匈$='ypId૖j=CP\ztw,V=;8~k84N[T?+v8I6O xoqj ClX4U69r\ $m:b2j٬cjZܴs.qu(fX+P6}BŸl H}xdc* jͪVT"6A`Xf}{Ɔ̢<\8>l/'!eIJq詻w༪}(Am s`']MAl(tGP+;~fJ`v ^x)7tN_M^gmH|3@9 w^V:y!골U&V^'E;hVxcH4>C_&ZbUeM=Io6H&"B[O:12He6X s/f O5֤QWGo"M hނXo}Z~Ng78.M7U-ٯ D?3Fгų;jl pǔ|o;;)jhK|b5$<f좈"CɴxЭ5Ǜm Y4$g%CAyM2:i[k U@U0 ? ʛf87Dq$ޟk޶P3i qVqB9'ayWΆzh,q pFY׻@QpL[,VMErHĒU?jz[(zpЯߞUu`1gN3ٟ:Y򡘷'5u6RQҠ?/M$~ ATć,c1#GC5s.9yn6 E+Bפt=2x@08b|fEJw*vG/ }P\^Ot?ϒD/b  Aʔ/ r\MG c>.eL-CQ^CGey( S"7 ij]^ &8oXLq7'LFb2GMC2v_#msS ZGi^mZG>-;UD_Wc 4QC5A!-`:Kw!rEinLRlrAgL ՉX<)F9tf*1|wwUx4s Nq-!P>? Ux/\A梨zi0 Ɯ}``5ΈP~Fg'P}f8VtZMr3IB+2ۜ6AKI̚克7Z3:M:`p8RH H f k"Zt*YjYg\,E ,ib\| e0L3hKuclaNI 3 Ae1H6{NL&-g]t (dB8*xC{Jê[y95r(⌠W})ٍu Xf_st2\<(%nB`( f| \V"ڝ^hy1dN8Y 0t<@rtkr ~\'Erٹ5s54>;Zjp\7Aa!nn= Ypf0!VkK(fm)67OdR9hmrDĢhFU>u~Jޛ'U;5RHdHz* [xOiP!`=HRrD.yNNJ4ށHgF!yDunEAn]`>3|5!*'%F;%Pɼ<*awJ"HHL8=* hSX`t^E}Ͻ40 "iCZJ1z4n3 : Z%@gEo{iOڔ t? Kqq06NL9Nn. ߿Rͭ4bǞ{ E"ԉrcdw_Q $72TM&f٩w%.Máh"]gAWyI!z[&EJ0Y~|/0]œmɹ-K+%|6UOO6qsCEU͊f5b6lϫd&Y_ydȃɮJ?6jqݯua=.a3ګ Rbך䱟N'INM8">U?p"%3cq`#ko4bb-$/!<1׫;J>,GUB{R m#+{y)o49F9rwxnE8~ ^" А}j0?-xf8|(5n²j[Ygț. NX 0u7K.-'k=v5'@Xui6dU(<bFGB2> d Ţ 41x1k2Ѻ9ll s*ڇsM݄L3I,$Pj=b{Ezq5}qf^bR+T!>]hjfDhsrѳLiθs(~C Nwr!\od. pۄqP}(V '⍽G.eԱJ(Q `aZʹuB8}yW~$f"3DcߙNⵁ^S/LKLQƣ+9^? ӆg8Q?AA8(2n6'+Z he1V>/ZBP+Eheȃ+ ÝF> bh`vxɎLئnW0'Fuݧ<`b;y|G V> qp0M㤫_TWc';KJi]fİ6AOC5~9w2 Pc\AEDD*ƙ_%$ἨOzA2:f#o\;b5Ml.@ Ϊ~Wqdݣ-D{̼E#)!1e HGA1"vY>u\ge90Jg WoƸ P" ]QhK!\8GeyP+&\w/kjIzXbvw%5nΘ,ݥμQm3NLKL\^ h;x /xGYYܛfOzJ6H3pP05Aegpj7h6\/!e;@^ꜷ;CsG0扤m5@67qH&:j: \pӣe RfTOo2+Rm/|C1j[Vѣ}uyfnY\Դ7fw?̛:J6v4WE+A]1w@/r?^gn9曨3 6wu5R.ӨöpxU#Xp@*)]0ko{vo[\ǯ* ~1[Ҏ) o:|]fc< ³rkCm~"NytfC#nԤ? En;hE8!]jRjUu P0fg6s-Hd;^&* !7D3~Vrp&Ke${J)ئҝRU}ހov1v=8ڙFN5!I,\-Ԇ2R YOce^{0S:Ȼq'310,ʔApz>8h=NƝ+d$IqL 1;͡r2\#d~o=6%(7ʍ5s?`A,lrͮ_& :0p> ݆JSÕ٧Ĺ[BPhw΍4R4{ꖪW-3 BQmMlLȉMXRۧMxݰ[G0Ѧw[kbQ{>Ytx0 ZZk! %o:'R_Nán϶b?k82;YD)q0m;nWS[ps9a?lWLDF<>9R?F-Kؖ:_&!r!oar[Ԑ"#dNRYREu, K 8jLO<;g\diq7[Sګ XPC<{"xۘ~xI7/gYZ6ea49c5fe1ab30ce8fde379b8398d5fa0b857dc84e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 b6308a4b0399b406e6c1f6bdcece95e904739661169b4338fbca7c59b5f3510f7c07ff3409244444