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 ;!4L$ ]%]Formal_SSA:threads=4elapsed=447.397cpu=939.804gc=18.072factor=2.107zXZִF! #]ŗXf1-q恈͐7ӺV _4TL]BҲ iہ?3X%%>;W\w(JnӫʷuܠY IV_,찐Dg|0BH~lr$/ՌOŦވ,W͈$i],{P2'K|S RdLٶL]N.lkRH Vg!$$;nۍj529(z{W\reaJ:y^ӧ޻8E+1)]2@%FrbPR&6TEU4.{)71\#藥M̀g_7'C*q-68}2)Y2c&臜t mJB6\9xwGNH%h#28ͷM]j:I2O暈3p$ȏ]tp֙9X%h {TYĦW+ruLب>) kN\9{N U!4+1)G#*SL^ Qy>YAŁF"i[HoEtԉr|5Jv-7!r3fyz2A+,(h~*z_whTB{6l!E:ap,/ZAej붙S\nY)b`ϛvڷ{ 82aQُ#&")%>2h>c(-ѸKKWyG`/ݥ#!szy2O}$jP"OMj Lec=Q~25>JL-ΈΆMK3a|!.ii,'4L كW7E'LbɆ06͔Ԥf]{fGEjnkĔj"E<15&_Y3sڤDBf.&iVv̾Toi6c[MيV(PhEQuX>[wy ꯗvNqm?^t{ݮ۵pTf[͵Č  "EոrJ>ӏn+;Q S;FjAqr}?.DKc qaH~[b?U\c0¹}IOG{RO*Vk 1*F[8) XzB_w#hO^:ůǭDM]/48o8=o4=X.cC ~yH't\LBg7NXspU{;4wnY5hw"SƸM҃y0~~]~xn/[ߥiחEF' eU)w|9]^GdUBѡ'``%La 9M}Ȑfz/L@ooY3r8imMٲ[.pXa h0^B$ZEf&],& 1 % ؇=hga\-`/S@&n؋IP:$LCg|aM6HL0*U(ɹ%j6 :qf%?ًQr=tTrz,qk^jb1Yv?(V[:HR~tA︔iEP:IAÒ"b&*s­ S(h+_ts#y_:^fLÆ5Aƾ-)P2ٴ낇S-lYH7!$^Ht՗d^Ol̀uI(/g;K͖ tW nX2b6DzMcA^,Lu]&X <ynT+RW4p hE4 z,zUQU-  ! Formal_SSA  < <5 !A5 tFormal_SSAFormal_SSA.Generic_ExtractGenerated_Code.ocaml7zXZִF! $2]6ȱܣC#% `ArJ'h"~(Sfђ[Hu0#AL +0sqʂqy1bÝ~Z 5̿ Te|tj=M^DK},㰶j+aX҆i3WF%FvjU!=r!:w׿bQ KjH%".6PHJDq? yýxiP KZXFB CK ! Sf}esn@dz:93hfѤf+,ܬQj+u^nC!H,Țry $u {R gB^frwhݒo^CٚDk,u%SY {* ۻ҂g3^X7kξ7(囊nqg "^g9V lM??7Fyw{ {~Kv>lg?eul_=41c פ,'"y;Ba#f=ֳH*j*B g]z_\o76.GŇCAaK4S7h5xȘ?ٔ1qAA㘤yVK<)GcSj;ЖmfU܆1~ӭ 2< g+Oc|wIU9؁Pٳmhꐿ^C7?麏2:-L=D@4q'"&L2'z)Xg7wrr4-\&SzL~FrPyZma#`M)%Rʯ>pc& |=я|8+6'xψBrģ6Tܶf` ?i 1lKKJ<Zh" B b?NL "R.UtӗƬ߯ė9Inc2!{2CkPi& gᆠ-^ZX k4O!4u_CĈziscuC.[qĢjlKU,UoTG)~TtĻdH- `SA<ku^ BpGMrc/tϟBD"{FQg =!A5 Formal_SSAFormal_SSA.Generic_ExtractGenerated_Code.ocamlV6"S猎^ռ^ymyh5B-?E:R=FC;& TVh[6"Ad]b 2@^4|X5FI{c^51ΥNЎA]fY %H1KN+vdlb_7Hj&acp-}*[=UĶNiuW'/e◗l4,?$E^g9lƋs&4~*$$8ުkP3a$ ~ 3.Q]6t^hY5MH1$׾I=u1"M^7 A #EItxUW: 1fMSZX2} sΜF&ݱbtk9<7ܢm |(!{Ɯ+OoaHvLkdƞ_餐(IֽRWZ~竌b6PȹZCwLw {M]Dֲm{O" mAaH0*jYw9 SEQH: ٙ"]eǺ< R-D.:&-ppxT9,l3#H4ޤ#/G0>rg)MUsʟ{]@P{3W=~Alq+ib ݕE-w=&*3$,F*ّH>S$(|Jm2bBl؛%t a,Eё"!veƦIolp@jz`$% npU1,NNP ܿRuR5`SCRJt .뒢)]KpQV z1acb'zY)i%tލ-dNԑ4!zͻyܝg?aybՃ.n4w JٶBv. tnY>}q8Ʃf ` wޔ`U B¥\o#!&lk7qgK ?~ndŔ|UNraokcQ%>ۉ`(tb.Y'ࡔcqX1KK$~n5iv_~9.R&wqܫ:@]ZSQዿ>&IE#@DJ">DOWFh4j™9 begxmr6 ܜ[TH6v/O'P%ɂ4IN))ċQ)&ÄQlR"z߹W5Z>#;[\%+֛1zpds#smRb%΀%{޷$LԸ*`"4v3 x)ŏg`3Uc,ް RM#xȗITXqCy!waQw !)V$8f|c"jpjɑ٠XKEM-vf:_w e3r-BخpһK@ 5ҩh|!7T"L_4`\G bcU<-JdЃBUCOj5_b q>"ZjWqGժ񓗰=J$ngi؍]߆Mt 0lDg&)sh-A wc Ψ5U^ƞ1(1Vf-J=u|~-&1ջG֓Oj<|\T8Q[ |nXOi7g'O˶&T?;G89l0Yr^=(U MKD _ sR)F,9Kܜм$,*9[qTyQ1@]#᳴qybO*nsQ"L.TdBqx+t߽͋ڰ۞+F}DrkР$N26\R|Qn[^.`:yx0 IgXb8Wh5 AF3KDR낣ڔ2raN| mQZ'E\!{@~jt91Rr` '1qCيvi4` ţ7v~JUHC9D.젿8Qqw%HMiÍ<_?5_+YG&Q68KWi. шA(″hEW 6G=JT7qgmZD1Y-.ChR֝{>iaRue|U gXɅ@{5fbdF@I%tHY&,3_Xg_ .\EiRğaYV0oB4$ S^.;bdHk"| S2NBOk 㴉Z7ݢ2u '0N "=>B B~#BI*cI{Ka7a'c#6ߢ uyEwy-贓9-C {^yP7ReMoO9jnSq StltKK1" ]*ie MW >LR3۶Uf*x酃=N-LDJ4|x3H' "xvܺ4UDXسNs}_ E?s''.+a#rAa1oWKE_4".3DhF UY|"<>'@uZ `jU<96Pt'۷ u ڟv#"0h1.ʀ3}%c@,&3+oG?};QW^2IHƹJOΗ()W6yDuq>vqC[qt~3rEK?O)Y(}tB mZ /yamW:ca\0r#ikҶ7t,9d6sW:PfϨ #UT}d>Z]~p<.8 wbc1kX%r"6aFq k=72L6]y AGwh0S 7t_} Bd=^:ĂW+slRH O,SCMxvY'1ȯL:}3&ؽ .\` >h%(64Ek' YH 49a/Inϯt`lS!񂅟KK0$}0td;ϻpdkm~&n:!a_|:NjC<5Zd(JF# PͿ?IN`b-4!aGXEqjLE*K$W+^Y QƱm*u!] 5{68dz?4A[dm!zY"NcHMQG52Qy_ g{nv8ӓf ls!ۣH #?@b-/'Q,L*J!%PRz V}#^Ql驭ߋV iɖJճ!=d)23y [NTJКbh (-Z^kO&{9HU:!1-,ul>ʜ!JZ/.Ԫ,J =bÑS%i21FjVAsf㕯FzNs!}oFiU!nU"٠>\Zi;2jL砢H};mLf^SNB)^b*qݾv}Z')kB{S{]MZ4SV,‹#CP\+rJB`"c<*3<0>y 뽽vJ&-]F^T#3.LTZ q\;Ĥ,\_j,db3I+U "EWLQRDVqIζ%r})Ba&tqENiiW%' {E޺*<L.!U,-nqF1%nNbQ h"Z2+P, CgS93T5+3Ǐ|{fugr֖&,Dg7$0bςߞ%Y}ˇӽ8Um_5v7exglĎo@z=>ȓNs귡RZ_måC!0Սrt.*Pc,>U_׸V"x?++HJ;w_@/OB3deas˂}Zn7~8x~}u+F Ą2a [ШpGW]˲ :Iz*LlHuJ)eD꯹j5[aRub緤Sc=H2(G 'WlpߎmXΐ #NhȆ fMLO8)M^G{Lo[|鳘^suZQ\SݤujOnLn}z8s4_q^l6)U.(=G6EF܉#2'nD>X>"\"N\$XUMy*3{-f(U/ n@P2.^ m`6>AwyH}8z,(:"ƪBR̘] y+; ; \(`pV}|'B;?sC%>g,.` n}Fiz/ EͅSAM.v3 ef4np,3e!!s=ʆgrI\G@jO:8@}0/M~| JF~qidSj-`\(@c훘pNF֐mmKiIny'ZD3bds/9 .0nh?ʢD|Q>fH'~j&q#@ [ԢM+ Ê&;~i@W6*5yPn|igwV{/+ IHu9g+c_ӝT][ЋroK#TBWvLJ~H7Ӧ:$lϼ3U.iΟOϑHWȠ7M$*T:lʭ%Zdrmy׾9_@~{6݅E/_FI yDy\IKx({U0vk!}@+=YEY;35>!ΧޑY?#Mossz@dZ@Uas@.&y39p/YyׇLP£ikT|9sVH4Grʁݑ^|hA8;Ѡp$T ЃCRPDavv~Q(qctH{ 0-z b1yO0حϥFĠd/CfN#d'XX٪buNurl_W)@f,4V&c& *4N:9- Ox-nGH!-sQy$mcO`+FEbG|]Q;(/싦 VCY 'Ke@N ַ7ңaW1@㔀dϠ9.s&R æAa8DnX9tPD~e0y.sT"bxR\|`zRҳ3ZwԂƤxF(G6>d!W˶RphPQWdoE1,L9q8 Gp1]W$@hG>E29 leGpH|MTC~Ud^@𮧛} g(|̽fTQ`ˎL+ޞVX 收Fq7C1&A䡢WY [Tmt(od,Yנ0"2WEOHv۲Mkݛ>c׵5U:@5GI1肨45+Gl;<$ܰ4џI%D}%'aLYm&'Q\޴HWdN9֮wBsix)9P'mUp H|'F+cq +@#'+n i]%pp nnCŒvpȂyOI:Wkx x,IN)c>NrW*`M'#*X%VYӴ@c˒^JVS"<;GF%'"x>goBԏKR"H]+V!w7:}磤!zyWRh=V&;n f>HgYZ l8Eׁ+(12 X&‹}{Cޞ|vov'i*է'knHN34v<IJ=8bJ-QE;n"<Gy2YG?wӳfmved"=HlKft#[: eLp;ʱT2vhqFN# ԤO3]Y5pݤ0E3> 43˴N7AHDHQjsqJWI ڭyv%n!Y%/J9Dv.U^9GFgt:ʀcQ8g5LTt^nMYI[#G] J Ьȁւq;=WSe M nÊXiɝtB[zS*q"Nx~O)w_q ,ĐIQ YM6ic4\G;GzO>[ y%'IܕLEgyO_xU֋]mM?oF)nyV?U+e% /Mis]@/E 5^욞*4}sD^x4esm'aY}ې"[BeChS 2a_y7(S{kOb?M)yMeG}Nxl+@3)ٔ]ڻdg1|'8WHΚn\>_#dѝwBaSft w x3!nzP/PfddRB!uMw?z۹Fв<)6ϩ2gȸƁbO`n)i'J2ҥ0L3X#.޲!nN'jy@j*YMVpqyZ{ZnSɊfNia<%F;$ wV/Gdž!(Œd[%|ڎT9! = Kˡ7n#VRzߖ Qn$`+}XU]}k0MuEouF&88ރ 7c}lΞ%&b{ЙRF|fD'>&Ȁ!ݑn!B\ hލ*طk=͙6nljEu6ŒVr1 *W*8ЉJU,ޣjזX7%:W AJQF (5np|j$i5ɷRP'1Fk8eRqe֎[󎘁m3j&}ѫ8ji \Iv)@o9BTKzRmL*3Ebլ2v0z>wQ/xg464y 4,D5dm@,] +7j#9cDSqȌƖy/*Ht*.>0#t-Uǒ]1.##tA>⩇¥n< N5qn'VKJ e=W8*{nFM|ˎ!.-LlL&z\7ї%fT6q1G7Y@|ru/2*gY 㺮Π9N`YEN(*Nୃ10Lg{@7C ! ju^&qL]OQ\^(a>N1v#g]7`7"y2-&SJJ[/?(td?vcy#8n Eމʤm ;NLēxc]s+^<5n'pdX Fm8i5GpТr&ze0-HLfoU|OЈ ߢ2"0F@g9Q}fA@F$]0b]"chI d=X#†Rw S//>/ r8>,!P񍋺KcQj VN*N6 IL_AYB dH5 XFUJv%3k/q}dh@ osž=sҹűI" %8] a8J#Šˍ[;N6۳`'(C.?BS9mBpw_-&o$K y1Q?MuΒ,6]@xS@ _j΁~]Ҝ?Tr+ʁ+|Z? MvРw-@y(f)WhF; R9CI&uExY ;2ņh r&0c' "#!t&k3T03lhpj֦ŽUO .|5 gYZ7zXZִF! ^]ŗXiɟ1˦r 5IfK",t;SLrR8'}݀ !81WSM".ub Vl&?._7U5c^ ܞpG,EgapSЎW-85cH`3 ՖRd8v 7RXΏPwğAf5 S+lGK!g}jRh\K:m%rlxP89Q/ifEF- }+>}] DB1s~ 4x!ޤHpSXN6K2 (ŸmА6>Z38@^97`:o~,J 0VHhX-0f[d1#}I/Du)RFz#XfEp tt_8pXX\NxRCC59@nLϺC3=RK4G| $eaz,:S#Yex#:u`gJg6G(-}m3ws;Y)P3}4/jaaYDfΌW ʣc陥4aDn2Y2f'(SϾ`(bbV,n.]la3ϐaexuX~oâ(H11Lދշ5i. 2VR~椕7x~EenPխ9/hjb4 p*sA RűgYZ7zXZִF! i ]ŗXi%B{K(xl6uRQ;8wHoOLG=%@L-bͫsf;B/WP(zV+'n)1[ &G4[Nu29zbg~眰_ 2nG8y⨮*LR o%Ds^(K:e;rA3Cu>2UƭsW;,o04;%iN7e1(ߧRRz6yU(~D$}t!-==-Π(KCw#1/ޚOXQqDw2XMRǻ z~j(jgqJ~~^ K|Bf.H-A*rL Ƒ`Mo 2]}qǭ4>4065u{oG5u-{ژL@jP1UOT>$' SRӼT>c`YȘJ{0>:u:%Mtۜ>lk;Hi[b.pnW#ib Y%l9۰)[RQTٚ\Q9y㼖2`W#sx*,2,p$- g0Dإ=| vzdA?#N!p* _a2NAym"FmZ7Ϊ_-:%듈2|tLǘyhݲinv%r zo]rNϋ]+/y73&h;՞FOc?)Bp^6*Y Œ\*mH>4lS\+CIP"̞g{vSV^<[ !-]%0L;%r0~Uhbդd XuonfhU k9Q. ɉ Dh GMT\Ќ nפvPak]в|uYm@uNb TWM J/o%wphqV ݩz(kP(;2!HB(  ,Coz1 QE .~7 \t iFXqsuwE);C2YwrE 7j] ^O8mɲ> Fn7*!ʯZH@FZ ;EUdXO6e)VЂfnr^szf}VBR C𓴸`PHUjÄVnt橴\B贅^ A}iAؐZl?`{y4*|C7*R%Er5: DM%gB{ \I-e=QXUR %P?ֻ"k0>{z7'r!zeY5f3u8t}6\**Jf=$n_): .Ъy`J'׳gF7Q/ǀ 5?ikn ŷ* o;|yfWN2ճ\.^X%7@W>ּ]b̑<-6{?bc]Jq$&!Dd G਽b/:E8Td{)0:3I LȠ'n U7xl=PcSҬklnUXSH/ρCyACy9ݥwEttݸGly%9"$2 % Cl(: o 9A%T_aVpCD y_[vƴmi7揣*@Ǻ: J 7} C ԋer6W;_YT[9T+$E:EoHWl.'Dr׮ ,jcȾ %N֕I@V_w,Of޷0+1 ic$(gg8 BiKzux)EU+ 4ji{ akߩ.xt6N׎ l}) JJU&Z%̴g-(ge(w'R!v`e*ЈIJiب My4 /99FD27ypCC 6`+krOj?y`<Ѱ n Kt_:냃TScX 2{zVbs.JB9dU TtrAy hK T j UZ6"+-[hĐ@t7/̩%->xM$7WBBr'\P7FBmVAšƸ3 h6Y:*݊8 O:s5=;k= $!!HE1[ dzw6N]nߐ66H|9}7r;߯v˧kSk<[-Ogvؑ!@ڣX'_xBlF?|M/wX:vB1gܓjf:A |1rd2P UkdeoʼF Ų9΢HuHG]d j2J]Cr]񥃬^ 5@eeZS62ӚK-3<軐{av/gVP'W~kz7}\԰HXm;_ѹҾv"K̽>%b%-#㧔T$] bXXTJLzw{ߏ g?Q.3\$ɾ6nDTIc: ,usb-Po[/%CCy9N쪴 {E.|=rփBHm&)핒H9e ?J‰59y=6tjkgӦA+272v:YwCW_竆@ĵ7)nz4Fn-H mʬu!;nb 1t{VO=G$zdE1Q[5^HD`~HJbyCUB2y^sH*~!2`{"uB`Q7g bZ3*k =k/!}\ Gh!PᔷM> >א;v›QJ nY^I'F Ż9Z`+HȅRkXG^j|W@H-s';`.EdHXXx'Tnhl/*kK/8I) ̫W?22fy9t1CKʔ׮wRNy!}!('cPyN~OVPu$ŢpΌ#C'XƔ&m>/V`[8b|'i9hVSـ&VK {4<(Kͮ[k2 (nDU^ `θ&!~\=UokWV(HPn_ʶbYE,}`1鱷/hZT)A2ߵ27#c-{څIA (+/LQݝ跘" O UϥsW]C|Bx@\{D)t]E_gQy[ էGS+8[ųSWJaQH,9|*6OX0&"~r6)0,:gZgPޥ/9tMȶRVc;]7r95U"1?4U6jNFqMhqٕӹ5ZTMM:ZfLa!_LL˯ңہ2{23 EC^ZRH0M-K$ WпPVViEXs[NL&/ĮR3| v0I_r%)ZX1P$`BzO/J[M`tL-McJ]̖>1(?\].鯦VCʣ[6"qS[M6 ,jzOCQ@Sy8WB%۾p]"5Hotk3~{9.\kʅ6H2|xgGX ?*1$|;ʐ{ݟrUExN<ϊ]lI5iݷm=R,4wx|v$ZQu._ZC|9Y0zwܥ/-=]C.^Ң:|eG~x0Ҧ/5r9Ь"TW#U/Y)=DE:U9PScKI}b%!TFrf,x^рVɻakejה4}6RW3V '~arqLoW,}C@8 KGp)KUX' yߏB= N9A{[}s؎ ܩ$ 5cܩJ#lcqhnV HpҽZbegn.DOGnG_P<6(jx7.^eҳxwT.DxbP8][VTY>|ő;mEX\{xQH>?:zQ9PO5iϺeH8:N%Ȃew m4(|Lzn:[1(9O1%bxQ bc)]%<"W)d4{T;z7&zBȣ=UK[Fف}AV f<2<cj㴯KgH-*{ƶi7c޲\ Ǟsʗ3 GKElIqbDe? BkYOvXny,5@s[bzCN.# yd ;/#q8pa8 =[~9-)c)3ˆ4۫K< ngxo +D`bbW#Q{2 5mLe~EuٹHC̐i>[U]`Rubc,;6"*!/?MM39xcyAL\ Œ5_4&]h4Hd )/c.{Ug3s#ޮg`h#H+F,JxX_ ~Cz,N⇾ѳ,P_@̭Ֆ2*]ɷh1F>`fj9%qIMك(XFΝ*rKkCW׃"B*;#M8u6ZOtUW"t:14{X5޴ѕ0ތv柽ϸ&[Q |ϭ 5$(iVRĎee^%R,:hJbA"I MJ),/!kV b?c7A^>^<{3V3뻊_Z5L:󗜫 ^A2Wi6*Ժ6V5P~ռ2fx=V!sA6F Z={nYDddAsmUwl076OCgVg`aq:{sV% )Y54?F6pDᝀ&N7Ϭzv^&0{9?k )[`:J|v 1 8# zQTzEiQuJٵSsjY0լBTu/6 e%nn)#Q k̃Lԩz` , ]fM~YƠ uHQueSEa Ȑ27s;/%2 kdHfY|Th4 }J P-4X_}k,1wlU^ p(v*Q/VxHӦ+5 /l0gJtz(N)Gr=>/@38vCdip68?xn5gݿPmڪ->|U奚ˀ I]2bqj^.[0Q{7}v?zғNz_WCa{3lYjrƛˆca@VПtt,-gZ Mo) ^~~,_dJSsj gޤ]Gl IXz.)Pt!Q9wPkhRjƢ̈jWngXqJRl7= k{zp.T'vG~%+h%^,TxODf_D-U-?}^Z ƀח"frPyNh;@ )ȅH`wET})Ȥ '^q&= k-F'b \akTA0S͠'X3'Ъ}M^rR8Js[Gse(+=[m3Htkp6L`\ԓOna'\nu=,;X>6WhOkPsGOd>lf!_?gl3\:@vՃ /-G!Q-53BǽOvqNI\AjR? (Ct4SK; lf>X0`@ee%kKvNQ߮()ocyx%MP>@yz6/Ը4tʝAT47vN r)c~tu*^-^˔NM̤Nrxj'9G!X~1_YsqUf6+F}%cx>amc0SrB۸qus/bw[xyfQͦ$ E\JD-a7ؙU[>^Cõ+ktK`|`|uv:=b#dpZ^6>ch $!B ]F}0&t1=ld!Ql[:|Np Ķ(>02XIFdA*he+ל(*ʓ@ o^:xbň<}Ty^'GHD_x@<>?з BfeX83; w[`.Cчۘ3is;AױxDBI}Ck`jO{Zgåޜ0G1aĜW;ӯ jA:e u,%B~y"C :_͐q,9^4KS5vԝ7Of1 }0:XrXeFW vy+z,2d+ŵn?"R5?j |v<6;!Io \Θx!\+/nJ#z7HlݫNoZ2؎vl׬NI!Ht~3Y" ̕-Dt׹mVbc[8Nbyy|Ca-M;k}L럠# ƒW:BEt7FcfibOz. 9$ &.8 ^GFKl$u`l0eVTKngߓZs^.7=R c b+,䂮*"" |Eo~fxI6RwtY'p[ݡ?ӖkZ|{kpu[ι]:1N#<;͡6 Kv9ׅ{MB]]ZcWբ#+ojgnWtm!+ aC= Y.y0Ng\1erI C,p]{YB붲u֯=!RobH dm~<?qĻIF3;L=p5;(H D=W>K`hWe| L9\t^cJ,]5evi>3ܑu-"q:6V OKumF$I`99? #ZjN+{2{2"ࡌu3>h48РL6[)˼\b!EF3_oXo.2K(B~#wOT鮻r(,vKI^NzeL%c ;8?jU6>/Nۣo]FypMF NDhGq|w?IPN?A 6 75FL!d>QQ2[RbT ̹,۞YUs,~}13EtCكـԿ BgJ*͈Ji_bK_ >1먖$2#5K^6D yY666Sg:\6M:/\#"&bj2Y#1}TQ%!ׄg߹/{rcHJ29>\P w"~ Y+42:xɪb~NCeܕ=_*Vj- "NY:_Clڡl3#\y(mPG2,g[H^hT=X.w VN D`&\[ݑBqw hI$ Z,ڴBnYJ8-_TMub$NGfdo(J8F n" Xί!u(2yNؼ&!s[Ļ5+NWY=AQ>xyӥ2߷n8IoN 3*U-Z>djQ.ՙ']%LMLCld#Ip?d~m \?1|ن)PTUIB/L]8`38Btn8Usݓ'N|ǤDk<02C%,/Iٌpg,TR1N^ar@kM!' \(IEݗyy>TOꞜVG04+DG$I:^CdzTU#±8% 4dix?gRJdJľs[[C(V,?^h.MFRR8{F/( t+,xa*t)t|y@~mhrh$%elNuCӜFMځ\ځ顚6fpGsl}B2IŽĝQ/탂*9q/9'qr5g a9Q6O>.DJC80a]NY^|Pp t#4aHezW߂!է /&g}]Q9wZ=/m,H(1wu.`TK߲a&C*^L\8cG6|-uX˫)(_Ż:dĪhI/\ɍy;*P"vr&,NE-mhŕk 8'!8Qs"i*OՕK|[Wzi-5O58^˦`K7CwDEs$Nqժ %ÑWuiM!#~?'zȑBrLCEҰQ{Ro~A 4]Qh %it5p 2Ew rmv׋wTeH3Xkimfi{cixg U77X[ {UwhyO.8U BO~M{>Cn0T%njA^B0X&=U+Ctz#=CGgI N0E6n=H:j[ IS+yJf2 N̷* >+Ђq2gbgQ \q߿JD8Bėn5՚˞au ih]E6W/wP:njvuzwCi‚S,A4{1FMMuՊ ˂0h]7S,Ӿ})_?rEoi+4E'n ڜi=i]?fY+rnxrU~O9SafLl+zt unz0nsHjqY|CeWr3لݧ Ҙ[s "cM'H:3wpT>._ ' 72ilE9YE@sHl@^a9M/%,!Z-U#2flN#LC\Gs_I',8 b$I.ɿiF$M5Oۗug`%Ե`V [HO汲.<[ ?HD`jr%IȜT<ȰFYopǧ0i}{w-c)ExT%U$w,DjCBJ ˒D\Yǘ G\)5 .i'-TFM99 <@Oe S=DUBd|xݚRSϫUi7wcE0i!˃ 470(V!׾ NG>QIpg/tؒrB|zNny<a"g aiUh# 5T|Nxe<ǩ^&{B%lR<@CRQ$q]֢ ~G)+hiX1]*5u/Vdĸ5}"٥}3\Y`s' >-jms nk%)s,Td"GBO|xTNORJe%qTo 㐢s2<2[(heHOl u4>eK]🛝t:`\")p޶Tjkqy<FJ&o{,*^H2x~d=XBq 5-F!Ys  Dx]HPUnz3{HU OX?Jy'pC8bE^A5s}2 L η4S7bOҸc}7f+c#^#Joa$, M-AKн}rjqD>7^KO +I-prRCR8ubE;gB=^8J(-6Nr))y<"qSj4RX`~|F4UE@:uy7⻂my1P&>^ f9XOa΁o?bySm#.NIQz>KFk6t:p VP} "?t<1ũ1Z&twꍽI+O a*PnYLY#Hd) q:^-5 V0C,>C1x˫vca~n(ef0ϫ }w>%XC`k d7!Ҭ+w)8f6ST.CoIwhDwmE {Ezgg}p¶nčZZ' }Z̀h U9Y:}t1=ud HW) ӑlοR.k/ /M1+^'S'pL4#F8ؑDmޫF8B?m3i}᡹SQ ^N|,%(Gɶɭg՗hNccW}΃W\`lS,ibReH@hl܁6aSTvlթx/-Ňkˀu1D~GZ6p2뗧)؞˒宑aC>ۂI_XggQ'1k+oD>K_8ce>̀,Gq3sڋWOP93:teN["1 0t4ve.I#5&% +]>/p0>bÊsF{CX` Ja4Ef<5zd6+KnAwU£fRj/Cb(켂%Ǣ6 ? 5V \dBI|oګ<+$)ˉɯy?L+D C47'bZ[j73DFƸ+2 e2=`RBiϻ ɉ iۭʕW=ښ~95i6FVa\GE2waŐbI֡NaMG:ЏOϾķPH=~ T2k9-^asxsE?FOd}'9% O-75zU)=^P`TaO6ͪY`ہ"f͌P\cv1jncy-AQnOk5#gfQ3Ho'/*w_,+;X#(B2t xz0d#?睽8=AMK?X +w'Fr2`r/'pLP@8p„~aJoDL+tzByw?=侟ݍT0gPpYMNS$+,CnTfQ,A--;+<'_ҫ(%,2X4E2ŁjnM3T@[b f@lh*}"a^nsK+tW˳í',:ycB/`;Üru)=<92b՜ ʧiq`(+gc!U h -JCI3#({ڴfk51a ZVetߟlL8:9Q'"2u*II6On8Sҩz/p}N\"Z6 8ܻn,ظ'hږӿ>*%s#J` k>t|t5sH.fE)hߝtLeۯ ⇌xxsSzM܇`oWȽ~ᘼ7y:C= P/shm\3+S%bTaUe2MD aYe<7\ }3y}DOSY:(RK rLJV"dzZ,)ӤmM,K}@D;ʶ^T[C0oA58Ȅ6 p ZÔA\R0)%saF>ΎF' Eݗd&Z Ͷ~ucCKGqgG"^? `qF61gA>bfwkX:ᩣGDqf>\EE\_BYlɖīݿp&gjaMiF^3npli$1!,WYiz3xð!pPc9(oRdI( M1|hmǵt׈&M&xV=ҨJqKmд*e`\ˊ?Z0^ڶ#۪灅/iqH 椈r̪ng>CT_;p,4XqhƝ:6y|[J>%iꛪa |/JNQ'0X *ۭLrS Jwem0꛰&=+ܚlZBTnHSvMKθo=-fc"uC݀?έ(tKtK),ɐ*5BRTR"c֌to=!茭$o5I̟KiUJ2ϥK譫NP[☪((imkI|W~q&<8\<$a?4|4PCm/YԘI2n{"5pMۣiC1=/,{_m4tم;A!E|]A@ PCc_߀*ZybtbF O㈓Pwכzc^ŏMy\оs,ԅvU E,opu/ hak((3ХR&GcT̉TE-+4&`H]ڞ򈦧i.!T1)5z(]ʕ8_ KT zê)=vX"7yG, zfpJ<^Ci089'q5ZXhK.^SIծ䳗-z?K#y~fZԢu Cw)HDAЎuv%k0O뒰&)kFe--}Zk-Q LѢPa bON RO5b *tZxEM3B\s.0J>Q\zvc[^y8͏F+n V4Zuj`&x0-gd{ 6+{ }N_҅oN82̶h$/OѼL2ǙZ[@LP.ILnfTU!Ν]VgHQPvDඞˉ *>-̂YdR/V&L!Q4RZm`#SU*ƑJ]QzhE *S+{tB5!ځUND셃`Q LԴneƧjx30 q60Yo3p\cu^(K* 2̌_#|զB!pS$>uC;Ny,/:K@i?nt0 =0a"j M V*)؈Xz۞ƍc>hؘQ-~g<0_4!]-v(n+p0} ?+г?=^kR:guz~{vv8K`H2*$/e ~}!D^ni:K LIif> T\umJ\ JvEJnq_҂X/BDf& E:w)#jkLc*sG$i? ^6?9tJuyqurszڄ9Ғ9T zu fާk`X%Ӎs/PH(i^D8f|$ iIk a2\4x~$xlz"qIvc!h @U[U`e.F47y$O.}MV¿O>"D7gg>ɍ]RXu,|U wr[c̄(23LVJg%Ԑ#84|=M@i#WZ2rRT.dat=3~6@fgudT;`)l>G)}o˳֙sdO5u9 dJ8enH>G*mŜJԺkv`SScB7c :!'+c7ɼT! Ԣj?Wя=)=N]~rZ -(!;id;wNAQfy$6\(X-{lYNr\#fjv#܀sꝟ=koWf ;WhS &I`aע-S~ `ₗ^62Es둤"V>#9GpP^cx [&j.W|}QgN1,<3["@T/جL6e &:w?>6Y=®köxW(槃m(C *&(IX4MټM^d~NOʹͬ36  OVҾ=(42K?úa/|^zeQr%eo _d Ҡr8:A֓좸A0L~75dW-^8k:q,Fٕ[dDԳj,S9¹d3|/1O.(KTNdTaO;B|K9>C:%F̴e=oc>@TFx]Xٟ_x򊫂D7$Kz" ٣a>Agp}5[h +@%4SXrf[Ēt@v4BN#hImym߽T᷂]ck0o.!@ w _W*BOOBk,Y p2栬bdnɘ 6Ζ7j(>hU 6Ƴ]< PXawl- k3 %j ( LI{x~zL'r+2'U?_w"[.6YP\*0}s0Hv0Y9 UL #U*LQd`yx[)JO÷9i6/  Lg+GM?(rśUZ7#w< `@xx+с I:6D2WT?[P K^gX AzQV^q^'"0RMUÖ ]ߜcN0&+AV$9g~6CэEЉd Eha9j,tЉ-^dwe@ -bƋYn4shS52mKħT;g1uA8{D`K0XO^cگZ;j,{,$(\)&!y2fT!7Aę 4p~YmLd%m-?z𼄡CK,֌ N,+-q]w> HXd {?Y)8~f﨔N IgI ֬LxCWXɲ@)CZA Nݮ6)AH>3 RPzm,Sq|{HxufJ{NTDh< C\_*Ҳ!\.ƷHo4MX'lYӗ^2/ IA2I|z:5o>/-ae'r*I@G zg>dp IE tG Y]K% 3-:T5y!uAU !97 ?@P|(r([K#+Vq 3F,/!|P-ʛ`U3/ D۷2KE-`mHJRXDqg S- /B?/o-!l Ʉ(J͒W${)NԂqI+D ݱ5MP|JB5ζa_Fiz)e=R:7 . AP7a,'ފXL:F= .D6m]S;NxM7'DaeݨTW gi,r?5Mbx6qꌏ>cj .z|{4MY.$`sP,_K .z XqJGa`YO%g1%}m&Y)X/BgkUth JmN0{o]lihe.sr3\luQ#/i&5ó~F-M1l;ؑr-GNh dټa @gd=Gٷ3Hx6iUꌄs2)-倰ǹtl㌹4.e P|:M!H1eHV1IR뱙袡9hE>W#p}H{ÜH poq>44lT%FЦ}4ӻ}ujV(Ow}&p]6mks?f$2/ (YE?E}{"T6m^f | uJx:sbe\0.(.z}+Phi#ȡE,bVpdʷeA6`]P + 㖘wkf p Kհ!c33ix$$r_^e$*4 S iH090g[;]!t}G&ri`X@;Ih=eq_Zdc%j7@WL:Xa{mj d㮟 @Esqlחݸf4$]܁"<79- VDRxbev >7NGف[U׮2Uq 1a$k' U`wjBMOj4"u-El܈vX5J27eK9Pȥ,pEƈsM|`Yn4)ߌmR ~AqeC?̔h4z5hYȫpAg 5 p{2C058$8}TBpa9@Sƌ ma5cK+!k%;nHMI(Rk@o5ؚOzvT;pZKȕ(2ԥF8cB۟␡ tyLR>1^LcOm#%*S]m3%'.x3M*JNg`/"@T[if"'+V?h+;Ԋ/} 1{#PHGZדÛ6. ]-USEF-UMQu 9jp_;Ե{* 0Yq2]hGLws٨Uۃ$_(As܉oF} ,,^ u3ѹ87p$ _3[n}J=*~5c2(aO-ZĂnx& F2볲:MOՑ L8UwЎFdt\}?W:R#ʰu#7 3H?WqEo AMci%tdL*S>AO)'t