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 ]S MonoidalCategory:threads=4elapsed=358.003cpu=882.312gc=74.788factor=2.467zXZִF! ]ŗXf[&MoRy x()DEɞiU LՊҼo%Q}$ v}_Y^9בr!q?lv{W}뜛lF4Yb9*M>w3}n>kYC@N Q9%1<1vJ"ͦ}Q']5Hך]u!um*SiPLh.). ^qUm0ie*#u19֪ kpdcb8/'b^t|j/zD0%xb)1#X'M[iKk,&7w5Cu7Yr9`NrN%(HFL3f0谴 ijƉ<3 RxJ<K/k2"\9~ܴdͳhE3Nvk>jn +ОlcE2XbfQ]8qgn,6,Ц_/Cfm-U\d98 "vb}lb*eMŞωWn Сi \n3j+ XgY{Nʬaiow8J+ũG#G9v4cB,fN)/ezBbzp4͔8CgcC z>7׻d#O0>kϸVQfHaFCvl b_# - MonoidalCategory  R~4Ť 1iVUXW?[0/ۈȖqn6$o@Ux9gK9:&[z_(䶼C(2\@QeR(ve  :ܳA΍6J-ci_ 7̙p3}BnE $#w o%ҌCPxdd÷ AjP,©"M1h!gxziX9#F'RIǨ㏛E-ia;Ď ݐ x+[vI c;ss5- sǐNG%m=Z Lx鰣%=^Sc#}aw_:RY3_zoSsEVcLDbO!ڒeׂ5SX ].NtBsD_d6(/at!9Ǩ%ĔJl(0&2cVYi>kȲD3d{>ehp.Q[u@$a6,6|Z3+XO[ѺvA gL̹_{]< Czг|t/Рl(Hfna=;Y' m-Pg,Ӱ1 uv'nTyETK =q)( z95kV>WTaBVHH9DeQבAlN-QúdvЏp,+.H^sK*SߟAIV$Cfk5]+E B5s-·i8zgs2(hD k֟=Ŀs]o  a|-BJ IxӖuOZYuT,Bjmi`nx[ wF襎ŧ-Ndlw!!^Tn ª*U]*T |f^ḳmY;ЮԿ>,?d4!5Gbㄳa'kMֺ{>c=UZޫ:7EAhWV9x4 :%tRqTZ5q)}W`.Ԭ3s] 缋Ǥ.?Bf;glB+lBs!pwF [XoydžmãQ5g.pCZ.pFd]ĶjxΡue'Ub5/vt`^x&]`IY9H>7uXxE h(5q-w!֝k,J擶`K( ngRZ) ? yܴ|Lb`JU5x֬#WQTl!zTHaf̖:הAO roF<{B^2'o~:ORL%AL;^5-#ԡVR{;EhwE ! ohOf -7E;DD4s۶@@;Ү{1j秭6p 2Q[+Mӵܼ镐Zo|YWSkĐ0)X#TnmEJZszK}'B(%jJ+OpQ,۽0gn& O>;$"-7FȂYK<*"6+9/2OZ>ڲx7"K_v|^v*V?WkW*Y=F")DAXN?j|Nʐĉix5H GnAfS:n37LX"욆\ Tw0 q ~r[ &*{IO mD/ L|1X㊂~аH_~K[.@"UrDO|R'U)Ӑ¶|.G?k ) #SeɄ 쑲SnW6/a 3ǻd?(/8Ԫ0];iqkfpN޲\v&`Grf 2z9S ;c©Zat6wi Zg/(.귷WoSݬGV޲K¯㩠{Z~ v%X6!P>Sh=kFՍe yKˠ rz d料:K"vg$?b}&ϊӻ)t~(Bc;ɨm(ym&KJDS$tG# j{)y] Ȧzrj{7@k. s 8$]p7h>'h־UXo#d3NZP1ЮfJÇy)+(h{Et_aq vޘ3ҩ]ИnKQ!Ud`b_nomZt)И,w *~ :z@4L  hIQ]'>ip:aW@g]ud/֞S†h貿$1ly3@;An@~' oAL;0֝.b}չKqï:y!`{!ԓ~qqSX۬_QVD;h55G ك=b}kZP :O4fvmﰵ $`=IVR)Q!?.C[,x=.]`|?腄<<:لeկgǫdX5*:b@/>bxn{.\,(+oI1։[\=:RӄNiWvaCcsޮ2$@b4}JjƆHJk/`Q~la5co0IU=6ՏVi\p 5dR.zD ?@:3'`h]ph7; _YI(KiQqM4]slhCr`e^; ?!|GwAW{hXk-#=WQTӌi2u..qAF>~iU̽=/0O欵1cS$xXy[;7.秉}xc Z'^m_H\M%P-2R8t.A^|%cΧU' 4xv܁(zxuK@ H ԚDžۦSOb@8Y:Ȋ`V"Įy gPڪ7) M}:KoJ]w~e)G>7>C:J#:Y<fUMb=2@Ht.%vg^T w ! ⏖=e*i +GQ9G+l 6>KolNK]~8M,;3eO5pKlYE2Q1I47¥A܇폦q\/rb%@NgYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:g^XUBƑg^b ?/W/7N'{ڽ́Aw6ݜCTZBkGŊ+VXRL1 beIYgYZ7zXZִF! `*]ŗXi%L MUp݁s(a.NO"NT?fcDIdMuFq`ɫy;2!_@<~z"n$nO!*m5,l3ӑW&3b1dնR^Vfl3>eU㍭ <`͵M7RAhb\di_(ӌsfpwG: #]i떜F}>jK5}?:zA#nCSIgdo;a6^E ԁ*xvv߷Z^bʚd~-26AHI,t*FfMo ,A]1 #>\'`}W&,e W B GS;4KiOl^ĘOh"S_eDsF cmNfOc2(tϦ9=oYC*a"`ApDzߢO<p5if48BXE$Ӽ64c5tX8M~ץq)v*Ny-% lِ' O558 " Uw5BK<8BLZ n7iyȿB8O dzsr"+(m}n\&[5!]M%Lua$WL% gvWɍ+pF_&^Gf@hKErGڍgfLo4Znc8vv=j'f [<{V% {'0UF""/e:?_Pvv<zqh "{ww ѵ0 o[sRxx?^/zeEzbPjӇ65T׹͏`CeB.!X ]y@m,V{RPQ-gInsfԒS͌e޲d CLQ]R?tx.K[|L2n[@mDI´⎙):Bpz~IJ= dr\|YDo^[; œ.%-^Ǝ+ߠ΄&TZ.S7EE f*S#_x_͇hLQ{A䱢U|xWloAd~-pac1Cn%/"RfS{!_1@+y)FPL#pFF\Ljr\]J~%OP 2_."qΩn~B(X(u&ѕ{jdLSE4ɥFH&ixt `ץr32AuR@m](8oZ T&> RQU^9l.~9^EыL y][EZ[euĶPR33<-'-ԕ"f0מ ۑ^o1g#̈zN&Z#Ot{weщIQKr]:vĩC=6H #g?\N懦Dx 0imՄ3spB@^S>UG֦ Gb1? WœP딕{6q[F@k=7PFn4/_IR9T/ajjMoR] e;/6,UV_b"rU".,8p2]r<g9WW`RU|F??lJ,"/t |. RoW7Q5 v"> :qW $rD U7@DAw9|3":Ksgm +̕`9f0 PuHlٍx \2q':;"ϧ@1r^7I,뚝>lݿ~Ɛe*8朖R5L0mp \,|<%)cZ#]*Y].~KA;opt2譆{\婸vA;$ 7aqӑ.T4>zfoč850Le% BuZ&[s #YpoyiH>]\h\bxNbt_K:>ZSOev{L=\0ZW7IByC[lV! ZU/ѵ|co" ɟ!.g=)#1,[K{=ty6\u[X IV[@ʼĢ裶HkjK: }hL8"JN{9\..dp9i&V-[;|E ')?vRPRK4_.6QGOp ًƇ5$\Um$7ز>WGj@4~g[28}{Cp+RD%G.wشfʤL`4T?RWb;Y˘avJs37$P%8R&q):T5qAC'DM2Ϫxw䇞Sc%m'vhQw2J_^xmA[J.D"BS]~|!e]ֽhjcE4v6c_>{RINX@]+&xo0Ouly g:J3GfMI۳Rmˆj\`bO$T"Cr c@e]D:%sn3}݀eGv 1~t:2^՟5pgSZ ]c y-LjsnKM/upvl>$?Y[,hW[\fC c|ZFE!f]-}~`_)=F [aDU(bRձ}ܦ0ZdFjB;AȰIT6apEeAP ~^9]LIe~kX/onվxuS[Heh<\)2'b"jGN!mmVƻVN&C & ]ZHdp_n75 =TMtD:eҒ%)Gk@D-N"X5փFLt_"N׏k^=b"7q|U:?%:n8^̮'Ƚ*0q\EI^J4'\FU^ڀwzHJ E?A#Zm*?|@jW|?)LV_ \֝dѼRp%;6H9{]࣪+o9+B W7[-N( \ɋ,Y纴5Y6vڵ'Vqmo|iEh_}tc]$R#Hz~nd<[ݮwZKJ?06?&*̇\[*+[V,h 3HEʧa~ɍiޝ0{G(Qq$1W5y:pm| 3o.GN,󸔑Tt:g5N)|J7p iowxkc.gG>u&2(ynIH}ϕ'D2|9%vMx2D{@8@y 7[{[ Y=o 9r@[F%:ʡAݗȈ@VU~@fL;+eh*#NƯAr7>QpFVɯ"B&줛ܲ:Ņ[j?P+bZ.$}(:S9o?yph=8eFjr ]xK|)ЁyI6j/lM#SH椯.i5>i$+h7f % iMF@^Ju6e0F<E> ̘_=g3Ӎ#X=gF^Zu9iBN-|óg`30Z裲Cٔ: l̆ZUj^3/pZ+)pPfAl=` YG9A|KYtؚO]/jL-ҿ̢ Uh ypԃ)@q[5un6?cu^'O;pN ~ #Iˑfas='ޯYRUuM뷀9R׵Ғ␆ @O O{k:c%x9cu*9';SNO7Re.%$mBFsc􌤨1ᇆ?h+˼?aT\IC]n&an?+q,$be :cj-[T;7 ~RHӀ%KIgaYJϟBU1i5Q%C6@Kۙ m0HTь 5U[@& |H}{r%^^fTu;uU-<ѓa7tBjddZq@3e JRUB O+30p sU-ėQ))q53 i@.mۙt#\ҺAҼV]L4;C leFp|UՊi]*["+O/mI'&A1\flƖ\'<z?<\=[X!ZVQ2S*lr}\6#pT93z8?UKw~ZrӿW"来|ͤ"Yddy!a}ˡur -̞\fԸW(ռt] so1`-rZsPxs}ʇN!5lJ(Ύ1lHte|eٹƸ"ozN#5Xq+.N%qwDP5eF/~/&Ӥ,(qvћZD칾dNVB:Qu@BtHL]qBt#]J\Vt-_pCǧTXGЕ@P={t~u|F& p*,Jf#'mLJȳxIڐ&Ey#S]nQ'QߨqM~b :g TE,}w:2L f"[`OTP >#}bzB`4@&)~"*oc_]V{Dlt8ZѠ:jt?ߜ;W4ge`S ׽sa&țn?k@DV~J_*_haޮxCE.6v4+D67JV*%]Ά[z0o`RB (*Rqo :;CUZ7}?n&Z2o)]:iHM% bV5o=@j71ǥ=(4hT԰fS㔜u2PA%F]RV˪b &.vA);BrZq93(!"XS܏_2Og0 ݮ|S4PK{T2#!v8Ad~|(.q2Dw=NS'uzeU5DcF OA_T$Nf:|1ԕvetV!D*@0W4ꀦ3.10](di'CP3 10vgV +nJ@n1LnT$w[y-'59}8|aCoShE>"8yjia׼caA-Bøj?&,Ewl!'xԶEc+3|R鎺&+r(;A&%UȮrd%B@:S| 2/?h;߇CgݼͷV6TzjYa9l^zV0ͷuFܜq``S>lʪ_:[閞^5%m挊\p%Υ@8ԷBˇ?K7تqas*|'S^yBld Wӝ|kAj[HΨ:x)I [lNg߲C7k9a%5O_NLۢu lh8CX =E撨ˌD"wjpOS1=ճ55d[Zҁ8AYE21-TyK-%-xHE*S$p-~U{=0zZ,@:,;gԘ;9.uDu?=-ڊ"<U1'm2:d{DՕ;Q`:1 .^k3SmPQoBCjSen({7>Od7n|j=PR;뱡1áYc᪁~5XvQsq\LvmAMOy-Gt%/4d 1|Ә~sTԿr#=}1% q%Yw.ZJ5Z<iPGtLJэHH͇ +0 *ihtt#" $axCbn)~>yUlR󷠰Bټ"a$;{¦ר` #dak V,)+vΐȺ"ʒM={t>2VNˣeYAY4lilY3UtA.OP-N}Ue5$q)qxrm*kH6֯bF{*0)&`X>F`e K TPu+I{L+c{QU']Ir/joҐ7vN/ bW,61 MP,1.$AZl+4 ? e [&59*O$ǐ|o)o# '?-!Fsh:šw* ї&ATt:dh OID~DPifhwPKmz`lf'#.>lܷzu+8gj CvV ȾCY]_ ;):;^yMZM%"o(]C(>T=%%E~%8҆QjV"7A g2Q[~޽U2B,O>y ОAN/$~"4qF,ȇݪwloinuS˂J|?! d/IΨV\'B-G3bXؑm ЬԦ8FG$Z ϋ{?΍&uk>=w)ðǺaeRfA!# B5! y 䨈g ~"lLm:0R&ZI8/q.}^|/ ZP\^4bb 30Z0on @Ld=#-{tڏFaұr` 5Wh1IċPK{]bT!"gMt%/]Cke+?4a{B:|u$he.?@wD/R$n.orzxAJ8 n,.|u(elBw8JrQ `P`i#3B-'1LMV~EXc}{Y'ns;7Rr9~[AoOo9Wbk`E$o ۰Z};93NN }#+zpa݄/b;9C#2_r@xYrza'Jam ;&SG c)+_qu3=D%+>3c| Z(sg Ol ]|6:s>M0U,mgqi|.vGvNksYm0,3Җ| T ϠjcDrFr5g7r5,4B'3^=AGފA}<ݙ4I?Bң^XŔ ?$hGF=imrZ,_>А=䉛>=&%G ]OuJ/9mfZyGC78OH2*SK(f;=7^!/`yKxˋAIJz""T5 O8sCz(O8&x#>TMm 'ZzCK"ٚb{ϐlŬLVA`'*1p,ėk+[^'t%QT < J4GP/RD٫YQ/|Nnqnc 9a#sm$ڭ<@&Al#ۣ o`P9BٷIAs~ b#5Em56MPW6,{ɵ? ڻKzI"K2hT~/˚jZk HF8N#۲'f̒08<g}hI§,xa LWj(/9rSL3mm,aXWܭ?ܴ0 m&Yݰ$9+Bu1kedT߰sAƦ|lK{򰌪G9Y{<?Jd:Oq4*rSНԷ #.L@v 51[ (*I?_\L9w|E5'j"D0a}>{ũ?|e.k"ÏdItntʢqEE'WG&k'6lLUݴ}M&adV@ugzjwsA8R[8ɦ؞iM eiCQŠS'd}Z!qp _@tk)_D{{"b35Yޠq  yZgby?ձ%<adEMrɁG᠛0^';n:eC#ÜFm19B`{)ą*ƈ4>펔>%',uVJ_Z45O=`C/Jk%f52DM{`{1]{8YCT\S QΙBB` r[JVz=⾜-2 >8ѻr}b%ą,egM@utT )նНw jl86D߳+Zˡ@2Ӂq +o~:|-_0hA ufSO84i-_j t#hݠ"LN:to#sdXf]eQBfezco10f,cYp0:l#׾BOj2GX( sJr8" ՝ԛ[kN(htpyJw1iHTpyh&Ŀ'"C2ŊEaƴ$>f3Gk澬.r o ъ.1A;,=Z*@5`JVCQG>2+ª@,*ruFْzDfYX*m#Cuu[lD<2_ikwnZg(5T:)6$)dU_#tn"6*dwl" #༎E[\T=,hJr^<2j m 4#|spԜwF꺱=f=T[ZA K?Gy? [,(oT@:ANDc۽PHd:T-ʯ_6b49+!umiI{rﱙp;j( VmOv3Ucd6v[ڕYZ^K7VsS+,oo>eѲo]L_\$RqWVbԢbYTlrQK0Wf?QPLNcyC4΄J{V`.MỶwu>( 7 Bz]2q4HC݈{bZ\P/eP_ 46+P-G4e>+?*T m!L I~jqXᓜ %Wo0 ˒T QKSQc`!3$fd~>d>FۼQ^Oxm@8y4$ c6V%5 4Be}eV3^h_kߡ t'²d_;S{^B:lc J~]ěKYc*2Dy%"SBvԁ.59菼D#*]$3Ʃm=ژjd$SLdd?IILdX[P:[z6ym Uܷ0 = tfI$[JBmXbt켷sqQ,{u~p=_t Y[WҤX~|ZhI!dse#Pdzvrs@xڵ^i4^ڑ`Fs/"%;%ϮdVw]sʏĢ-ۂ:JX:8_+E't3.|L7kBO+4wj^)EܢCK$<4Ngcܶ0t i]Tݝy=I|e7@pgN 67){߶&i $v}ǣ &K*Ω1N;~0 ƈ'} Ò"qvTԢQQ(v3!~✼\wVLJ# X|6izuDn ?DAl7]0ځ_T#qP0z)<3k Mv>?)< $=vٱ5In]7FAͿ:XQكfpioZ.&X\Vsɭ\k#qOmo=HjǙ)`l %m1Cp0ë7Z[(E%wK}먍p Y ob)Xy*_DɆ`~Z#w6+\DZZ"<gNdMɽ%KVLtWIj.(@z}>ɰr7rj~MlkQG oxђ<Հ0(領(hI$0nB8oP$n?5NvYGNk>r2ͬY+Yi㫵\/v5#MayxKF4OUB*2Y|RRmffJWI(vd(ze=G\xcպ?\R\Zi / eYf('5ϐFE˶Ql#y[Z8j+0v? ܓ#0EDox=;&gM)`7xqG1kz$5bZĶo;w*2A,3xGT2nC\AhtHi\TmHw,ep]dE<;iM'*D(>'mb~"o,uyXB"9s3|.): PlA4@3dbu<'R<@8m%ԛ(ҿ.Te\R{]Va_w·уӂ~QZtwH6OGe8 AVJ8L uP‰/`K 2GȄ㶄iu }fX~$Sl}E65Gg iIg"&1m\tѦ?ulUKЌ[G>ҳ!=`I9 C1fi0o Ii$`*Q|6?;;vr %,7NdtK,l(hǎ"Vi<0XĈ;[,m_MsoJm>oE 2EpG.@fLGKY"$MNSZbvĝhdR3UňtPp5, G,Mx>8+RL:FyjX`Pj_`-6??z>&nr3EdzV B6g4, ͥ8b.k BuFՈS8)0&~Ǚ=ah4 gYn:qp-=i&bw8nwAKQls6,܃0/xh+ZS#6 iv_w*iW8ţtn _S(oTרz#q .O(OLunZL~bR3VNh ;Y\\bp;W-U:UPU Y;؆H8u3&أ^uΫL@;v6?Zɹt/8l;==|GxH ='EWKa+5N Bd*-.RkiO< nީ\Resec,5A `4XW:}tMMvHB)ߣ;d~ow{;y:4#J}w^L~huۉT\=Q#<!,s:əz( s33lRR9B̀ֆ! j%AΨsN5CIԳr[r: {̲$Dϩ%ﶊflB#/][gHѽ,W|Yt>8o}LEgtF%'w\ XQYj+r!8X=8tRYSRxr dB!-qBaBeFG99h /4mvԍTlˮO̝$][x*0ůIfUr6OTfɃmi9nIfu/qt$#dMH#-찚d[SvXǮh6p@(?{Ao|="0>#obj7U$M̺IjYDSXR@z06dw2]P3'8@4E~ppnR@%."&͏,J{6^l=sJOp}C@ߧhghC0h ֖t`ePp%oѧKĐ _JZ:!5#pחʠ^Wv``V[d8Q)DY[>sK-CC_+^_" F'BvP0MOZڋ\b.ym2:JlD9EctcJ"=(:uf \fEm@s3XO;fn7<KudDWSɣ~Eß¼E Ϯj 0.0nsF擮o*h3Yb(6(yE!p{:)Hc@#ci˽#u_.`a1sx!t6}uTDg~э0-6ٔGUBBDu]6͠@3( 6+Agv2fe֜6Fh:͓:ZfIkHWfj_@s[ϟo0 L, ۗP ,I[Z]b[^ai ~J ݝRf `:-`M9ڛouFƔ|֩Td_"LY#ʬ؂Qܖl'OTΝfGv7Ӝ |et'(h1LgwrD9 3zp5J{zC"փcgߎ3ҦKF>Uڥ@l}cd_2s g]+v<*:P'SCd(Θ>7QT].NմOPfGkeR7[]bӖڻk@M$Z԰)x)Z\{U W59< s+۞V3aA|a(EZ_Sskx~궿'XH͐w҄peJKAʾ /M쯧2aP6Da\;އR K/svw|N/HٶnЬʕST4])z%Nli__r(Dĝ7v9>Sʕ9J0k_'  -^u?@(TQ~mQ2!gxdd a*'?Hf3ێ^nT,?'oWɳOT+mg "qg@aUVIp1ċ,c?jFvv PO)tql0#ޏ<(}Y(7w8(]UjP:iqp%`Bf*>(Wɣ3փ/?Zw_NP>`YƳ~Sypoi˶G9EX+ځ]FURDBSąBɴ?Y{4 *ZwW(ظ fStԬ4XAE&[ E֝ANaWfGh Cdܼ x[H {1~?B%KI_sbإ1?IЛP%eKRVM%L}^|XRwRO6j//DQN`%˪r/ԘK8(I RSKӚEܢkLaЛ;g3t{'iw9w2P^w̪d*C2pel&x{.eȩLA2 ]g <{X MsAof߲)Gk0GԻIr4|CKI4 !R(DI@|^WG̔,3کKHBaT N]x!"|<ӻQ FN_Dj >(46߸ xI>?t(Iji5\xUQdCt6f8UVzr[m*yLw6 UjOV:mE8HDK}Gm~$hd(>EJcX RsS-Xϗ[L!5U[& -]t(#[vɔ;ִ,k,D&e䯰€\  K҄W:|-!Y 'xN8AkB+҃EN:j$ Li%}Ao@k|{2js&yB"?={ 5'|Y$ K.A?ݧD?w¦ӖX]cˈ2țT &^By N A{ Gtkxl˳yͭwxsoE.Y~ FTof"ݨzy`DYZ 4O Un}I$ (RD#Sz8$z90i <ՈL+*רn$ALR5^6SwR3anwm6T)I1[@ڟ0!0 >`[ڼQWҾu`sET\qTcJ(r$mqم]r}2wVm-7ݧ[Pl3|,Z<8mf h0iMu 72ײ1AV}9Y{Tr1{0 D}#vIjf)6mNZcʓ Qk"|MH߸kB5HḾ L1K7жZmz!g" m|D]?:[Fbl W :gsh ~R0Q9n5vϩfu3rjT붥ӽ?,?؁ a8~J"Ny\ {h38+L8.sfcl tHQ]e\b?D R1/&~|dS1=Fҝ?x7Vi;@hf dw=6n2≯50Ւ_ZnL5NsB&V=^þvNdNj2չtWTuQA QH,& ſ8 zuqr|@c?iC]gʹ.>~4"VW rv|[]\]yZcm &zZ-wR I`QN2MO4r%nD5( /EPbq[σ͹ U:zZH݈ n]El`CwHDj '==,vIE$$ʢĺaeHnbr@G #'~{6qn,+~<ѣ> 48Z_x۩q+Ot+ R Z͟'z?)1M fQ~zVVV FKӣd{1RBL)*MCw+j`݀V%ڏKEJEVc܎Pfqj@\_m  34fxEyFz| i(s4IVP]߻&?mHՁS߅_Q\o؉K&^~jW RX2Jȯ~_tU_2^MzD58Le'(!IFl,Y[E8×Ŀ`}Goq}Lj4s șR,È[ gVO[Sm|JEtVڀyȊjr[5,2yNnՍ|ԝ[иkihZ}"