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 s3vݸL,K ̤ ID="ByNcM[L ՛PC{J+vę"IRN{Hм"W@"VK^9=5ڄx3G H$=Y&f@`,*MTԑܜ++swC}?I/o(!*Ȑq:4 -ZNy aS(_dpF!Ɗ|ǚvńST=Tye2ȎngRlC^€񚥚MЫ7'^ FPbSaP}R/0P  -)c\s^,#ymbwiWca (ԍ9Ho &U_،5Ic;gw㡑3(RΥR6^Fρ=eL~qjyͣTʼn ݐ?(0{YGB$23#,Ӛ>rix &f7ER#D<˗3zaN_\EJk팃D|kټ)%L@-1LnqbC}do{k޷hq1' Ȧy{C8Wgvm׶Nxԛ_(r-bʁ8iyV!YiwV~MdMa44aOg ޣ7bb21a:=T?Bzՠ8XF+lLa,eL!\ԄX1 M ap.μ]ɴYVJ+t8H|-MAM ,ZRT-#H|v,P"c[P%d)c+󹋬Gz:۫"fLWIg9-4G6=~H7s;Ͱl70D.aÉ+R$wO {U E ;CN#=37wC3"PaY^F$mk /b9cb9bm(Ӄ ZF6F]h[1BR,IAH ESfg"gZW>uGnpEq g&{Wdq,ffap/,@)ifg.*8;&h!)6p2q6m=iG@\pWsP/F#h${ D4s"!Km֑š0VODg0]21dk}F^G٤WU0dI.؏d^(Q6ZXlL  cn놗~tzQ-{?ʧ;Z,f&YBMs^(i)[ЧT\6Q\?_lR/Sr*&"7@e]\nQ}qg-!_vv8.=hbJw/:LV$'h"?u #~Ll ߥc|ohS@PI/..{Ix'OrF)zY+3d ޳!&;b[>a5Ō7Z%cuIG@ocLKQON>UÚČ2_:5)Pcb-Aߓ^~KX_W?N^^nf usv2i B n{Fs V ۬1kWCYw.~/8H1~eZpᖠL3}.DGоոpn4$Gԓ{sPDb(cezL iO'GW}{%h?\2E%#PE>UgbfPTN={t/8j{Wi'4V\U}|."Cۙmʬ/'R{f;>QoBC]\s64A*$LpDŽ Gu_c  ]<}C=vAm3q qa@k}XP#Is`QRrXX6/ց";'ce<O1* (sj43YL4}؄ergs / ky@PIC[o`,08>BةܯU LD]H58l* jHM9MO4G* /s݀=Y^s`q^^Jc> a-1Ӝ=)FX|]@*w>["){GLͿ\l ^OT48nd[}Y }!.{'FvqI+gKKVu8R-BdSt!$h)~@px~mh>%{y}q.;PI_'ε}5uSvv lpxĹ(+Jt?;ojg SGR_h݌ы#\l dT+!w}`τVlF>S?7[]:_qHSs7dDarXDbF~2ln o4 ~`yv=iL` xށ).ŵg[_nSͮ>j rdJ(w^4H @K*0뽫Vxdop˼8`*kr: ;,{#UݓWm_Ŗf E2߰x$+K)_4JB]yO#s>vU6՞O97k\υ/_N< Qrbr2x3Soݷ0N/פVzI1H[*rj= -KQQZm"IwbDxm }KXߵц/=Ni!AQ5\/t \]MGqP၃\zF&}dVB6*ZS˄}f|cǶ}LzTp`To(r"I؝>q<֬QVи ðծy4%VGHӎ lu<V@YB' \5^Z_჋ AOhxTK%$cy;Tu1::L'^ 8C'KvXKN| dq6]`Gzi6Ϋ^JIb*.Ar\ZBe0f [ώ3uW0ȕ(W\Ǵ =xoɻ0Cu4Jo?%9`*yjig|İ藊hcY9=P~̙Gm16xb`84QAHhxutGWe)iO!Ԧ {M0HVU<ެis|7joZ$T#؈ N}(C֦bAQ$u \Ժx<ldU{ MseֵjW7 bj1PJ9A FB' Wp<4[SMK02hbϸ6B7ԟDK1M TS>ڳJӨe1BH:ėYr=. WԬ2_H#O<-~'8'^pL ,:$h]vo*}Gͩa- _#xNgH_'D"#F{swp׈1-pd8$l2Dx (+20ٻ-wL5Aտ̞ \$+d!לpW#){Ƴ(2xm!̯؟8"TlhҴ}gvXC `HǺ%DY@B 2&sq!EW{*=~]6Hr3k!0ωǨb_>}| \t-.źin):mlE &]O,.)#KUՐ@_:mN>Y%W5\n~L' dWTЄ$cjzAEwF C Շz5b1(L% B7:I_ nShj,!E KHPF-;mjձ >i ?;/72F|on]]T 2j%elw/']*`ٺv[U$Ek]pٵ՛[Ȯj}!<<.Mog6RBr8Etei&hY$ߪM3B ȐUdͰJ(L5?az7x}guXm f޶'7?U=щp܉Qv3/@~Muttχe tM/{qpG1Z4gr-^QOFuI 48~)]LE!c!5$ rJϱu58~CvVmeh Y;+tb9g"33GXOf MFu4v@Qi? 9)7^t\Ϙ<4_*Ut- y‹t@VEˉNk_=OKn9J2Wo1CEC V/d]۞0*FMuO;fx4.P$![^M=.om-barܵ,/OGG"ͦw'B-QKOM, |XP07? N⃥6gWg`*iu!ihokecO No%ӈelˀ!'y&SMR24Kӗ;Ưuz5JODj,fzEըUoFm \V"e;`dϢcU ?m&o(A^m]W+"?Vj.S ~-up !Dkڮ(>@OW e/'-a -wBW"P> &y7R;#$0Mm!bsR{\[yd iq!g™ w؎PC 2n)&QĐM)*g[ԫ_w۽a}wn$؆<}^QGݐ :ue^v{4[I%}ފQ,GYAma\2jԭ@WIn)p8X襩5pv/:,ڧ7<Kr"Jp[vOA:*aqܷ5AՆ}EQ܈ݼP :E;-Ek7 éy?Z$>aܢ<>53juRAj\bʢY2Pq?qQqwm,&]Zp/?*B%<urPC@>C{ hjn!r @ T Ȯp 2޳m;$#Ȏci-P^I,4K*Ɠ6|ZX,5{cA(TjfBfmD` _Xto{ln1M/,q֛RK1+1fq$n z,Mkr*Y%WsHK8>AX+=A蒆r# l58=BQ5cB69,-p8zYf'T*.2d],ʡv*zA:$EX,6g.֪$ &oEژӖr./^G|_.ê- ZsU8] GMvXK.Q؍wJm?ul,xSZmccrn;}|ށȳ׉*mPAy՛'sf#)6UQE m|_"QlCrCl42ZTD0+-j"2n֥`'8B}zyr$9x<o =@f?8#/5x ŹӑrZyvҋl@N?$E!Ce"{7kSJ; |jaLh`±(Q=<4Ll dbQ&e ."Н-5 bG4h61FNLavd9EFu1moAX6ZU` @ʥF#gwT BZ~f6BUDWA=>, H]A:,}K9 c%R>Y{r0'9ou P?$ F/Az#&ޮ"j: +qMs.ǽRu9(PNg)K95zЅgP~[R=q4@L~_pg <YvIxИ9 {l hcI0fr{YM,4Zk6ڱѕҡQhb'xvs5ss=jOe)m)'}01|GjR\{R\{wttn<6tOBR:J蠳< IgՠJ }U6;8chxxn˧>wVzlAݱ.w%M;N93J zF{QT:Ԉn԰C/U (*\̭iu&E_&:cx=WèAYw 8"LES`ǍPQ'qx=^߂)Tb" S6vJ\w>6 陊3^LO&OK$M?#bn@DF8n˓+fG9|e&$!@|i}Cpd7DWt&b6L@BX=20Ӏ)ҽНxr?u6"y}CJ40V5udzFn*xO9ƫ :`nbcs\1(ԅ?L7{T=+C$|uФ;Q"W|=7%˕X)SXu: \_/U:nUǮ#=G] nϮ- "H۪g6ԝl’gBF\ddW5Ol*PrVAbSnL. auD6su$?0+F#ޟq\:/(em,=9\ 0m~S ;aDvphrFen0kȫ=8MhoS9,쇼'W jX6eCfj} u{r@WMB=Rlx;EJx25#O?"N+"+ 󅡱'`ɴ-݂6_( 54F9r0S8q>Ǹ@)@I1LC ;j:Lj* H 5~ԍ bI2I3hJJ绌CS9V{)|SYRqP T<ʭpv`m%eXwΉ9Ϫd&ٌU6J||]if8PK>˂@c JqzAts*ʅ+ nTk68U` d4#)11pR(tWrDNM ߐI ]_DarG~k>E$/Dͅ5Iօ$r*3>T *Ἆ^3җWtfsdԲB1|X_ nOčF8Sэqh!Agl#&6yKy:S4VVti-֟X;?o-y! cxj9ԅ8ZMس#,D¼& ws4"c*92sqC:3;?`gśͻNR]!P4om݅^̤e'YԻ\;Ue~/aXbB~UNe*@X J*K\Ƞ)ޓ5=J@+UΊ_L?|!L5^؀4_?l\e]ߊ*Lxo!N**eڒ^ ЫO5m0_V!ΪN@.;K-sq:H K,X~1PՁe<_,<{+lvI7#zLǑjS>]R+X-8 "oyg r"`4ޚ)n+NO&|R~k7 [c0ף3gFܩL)_e Z zw~'}\XQ$)(v:HlCZ%#afXxӼpmGߦvEgM^Z4ds0YTU` Vµ rԺaHR HxFqr.\]d=‰@B2,㓀.zR?xk[?y>F65Hڃ}kWŹ%4{c~ԕ:I2qo&()Иl!<䮛Rh(uH, j ʥz }lTzT eEG$vȵU0;j Л&!'5(5EP3FZ2`@ƫ4c#HYJ":33B h<:}8M@z=`V%4YkQAne7{G-GűL* RD!OeaSG[XDc\+_h$! 957HDό>`E{gؔ׺FV7T#cC=xsm WNb+K|%}j0` ͕YW!i*2 ,+gFH=oFHV,.?&fNŌ Q6U3szm}X3ߺ؃G{cw 4 IqJPkn"D|jA7H[$<_A~ns+dJ"}ɇfH q6 jJޅж%onO*HT젻ZAҗ68*{b]Xնc."QḇUDa IHO<qw#jkiVh( $eQBcڛ3b5ڒ;ʦCĭEB%=pemM}tU6 byRb VJBR^XoFh7&id1«-"ՋGm.ܵ-)z:Dή:X< uigv)!e5#we l m&Ip`[ߜz ?wh Ytǂ rY~T,{?(uv&x ~F6]?2Xvxd^şc#s?I#Oa^aʝ1Y^0E$0^/]bzޱL5#Ӛ<]j=R/.B2Z\KO[$  g :͡t4TߟaK.j0R@UYeܜlt FUiώQ?y0vRJn;2dDir _hI01NM}ÜfFqф%w;E9nCXœ:DT/=Ѡ_~L [B9r<+%ho1'@.B90\š4w!#W.2mY"Hsn+ !Rh;a[~2A /WxG@45x[_>W@!Hcdh/ `뮐$/,dP swwLTiXȍD'B`L$ ٓT?xtPX^w[p/݇6aRx3rQhzp1&\E8Utʜit닥tݕ*G\曎<OiBD#IorYeKf>X6-/YM!ԣK`xckZ1;Zɩ` #8D2aquU"&bnUng<o؂î7غHH1e(k ܟ=*%+[~'efzK迩")vԅ`$}\؄ST`fl6U. `+8<#Ey\Ȯ;C Ҭ e)?\@`kF+nXj| Q0h t[l6'C?&y"?Ep'  v哈IQ v^g]ÙQpWW׼(}E*A?x:EEµƮ&:ȍsXGòb MZW*HIZ,*c %$ILwyQlDwB <؁ ypPZKĪ6+fvB9XX1,EOkd=/2I9]tĭccu qVo܏G㱓lؠ4!yU^پ@1lFl6Z7%4;7=[Z佯&,Y.8X޶2[cNj !h]HFAQR>Rl |w2g\i_ң"#r=&.= A+w,q~0Dƹm91{6a'šGb? twAֆvf;hmZ/.pBBޅb 疷4ym0!5]~Dr۾UXc&ͪsW*+tpx(*—}Jͷ<9- p1|C8'Ж{R\@&_r2/A~WY,v}RITXձ)爐}\vVRh~xm[V<^Jx~ q&#M3D, 0k̊|M6g<}"+ 4jk|<,E? O=.U A5NCwm6 .'BUEϥ> &Ӫ8Á!˳2֨$% Ts<*!HW/D0p?PR椙i#r)4M.,\Ql*@‚N=cby|M/-7I>M~~PnPt˦]db1s>*N `Π K(ݥֹΨ .5ٲU]D_zW|9.CyO7a8KI!^Ե}sSyHm}`.6F ?9iq7mbOG!K'Tm-}\VֳaA-.{<пo(BjLqIuv W mk/m3>nvri-|?$xqX7)UzB5$~#Npon;y㝶2MP1MʬHaN}ܖ::s6uRMQ;HAE4 J JaER/BX)^pCHmG$@932.Ly jNv[$8eDl!?yw)m";(6&|aeqa^8<㜥 ͜'0vhIi H0OTJ2߯"BiPs$$(mF8jEjS^lWpؗ_Bm oI˶*O~H3}i_N󰄛nw𝎂%c>XBvr(aVZb<ז u:q%A7@îP^cJSč'ֈG]iQ$JnGKdi}7V@3yfдeTE28K뇓`:⴪[ۙ=z16Yg~-)TsO,,/=15ˁ q`'mp[!5}HLvB VU~Pt ^656WL̤֡5 BkNj>]Y``Eojя1>>0W+oO2ƿ YH<@>2Y ]K5NCHޅb^AbtPj=N_&լnE^[}PkH~*IR ?wm_nK*Hs !?G{4Ӌ|WR3<97p3d;G$D9u"/G4|_=drF׍ҤIYf@ 7H ~~m{xW[뎂Q?ɇMKnaԋg=NHc{ bJ#KTK:'L0"mݡSaPv|yO~Mn x,:L;uI0 5W:{pu*BP NQNDphSmb$_bݲmtu$ `TmN4HZE{4C1Aa!z?_?3` e/uY.BK7QD p-̲P$Å63dmU1vq[@O+qq>: C;CQO3*JLת#膨w#('n1s%Nª2-D(*\eT"Pxr[6'+ri鴽llGhYb6%CY&pÂzk%UAX`H](% x+oEyc 0"Vo!.<*هˮ=zrcwBhX_/uDXI -lγؓU@4rf !(Qz$)ђp-g: jfY|s3_v/9D=xD}9_sB+-[\2"J3_'?nZSǙ8,Q3IG:Y^ԞEWJd9_1$(ņxzf0lp_"tO>ދM xq{eMفB=ny蝪W463KBcD+,ϭkV5A4j juoMo3$%-uh_#x1L;>я.\XYv1?)6);6WRQluM1Ŋ8 m*950y̎bwt_{h7%b%B0K6@ێHG7q7t%"Qhf* F[ՑL˩Jˌ_S/Tj!e-Ѭd8o 1wMH8bpdvۻuprj&:8%ZI.Ʋ]x^]n&3T0y`wN\QwwW .DGk"1>dV;#L?J_?p[H?S5nmi2}%@{+vj~,dE7LͰ)Fmxj~] _2t edjI+ lXE R{sT[OHقW.?=~=sAJ}3i_ͶWi|9_E!2LԬ&/.\$&bd׏ͨaf*c?$=,¸ɚ0Hn䶁?:Bo)QL\f';#_CG٨u~@9g7(\#F}IKb`L"m-ɜ̬.;q_X{BPi*aZhU*IbRg/aVۙYQ7@,8'}C Fݺ.DsՓf3O9^~ ~O^SXIC%QCxLݮ\T 7'z@~iK8h'ȃ*f8bqcBgVH!g#%:D{z V]/BGva1]nfJxo<l";,YJYG'KTsG5قɭ#! Qg* acƶ45f17Ĉm"E" ,+@E[qrW̛׽aՕ_KwrNU%*fhѺWv%n,e[EsnR=t3ֶwΘ 4 -`0ex RʏCHdֱRg.Z W#|'MM '~|9"B Ⱥ[G@L>3 =| O8SIqaou,!0SQe.F%}GO$v/U5VyyG"ogz(sQh-zȫi&(26 Lq2 o׆D Z=+ FBuywv5cgQyI~˺2_Qe u4N%{j9rX4+h* P󊾈BqW@rY ߤPu~T=30&}7Yn5"&THek7fWmɃ X֤wD`<99. nu 9o)k4:u, čcX=ȻoZK9 a`3\XҲ43ȈxWFi[eCv-v.r]\ $eQmTe1?-Gqysc&ʗ*Yzkoɹ1uK`R:;1 L ,񭑲cJnh&D^9le7bvwu@z=$ $zp2=%}"q(veܣAML$TT16]X}@Q:ʐ$L: ha-QT ןb*OO/wftW٪=#"[T=Iut8Jvcsr{GQMȻ>D{ <1[ $2z,BJʀ'akxuj\I@.kF?D .㌰º~48*R%pʕ}{bFX:c?zxc!(\˹#\ {@WenBQ ]c9dSu(3xÂ")-WPE׮i(~8DtΖ_*Iv"?}"k*=H٩`N; xَ 9y.%" 14^EN_l_D+'y ʾM‘[Q^VP ͵v4wP-5h E0+pt1|Q&HyU?lo_Y6 vtaeO}W4}]a1,p1[ We*{rET;#ww&C R;T࿉MWG* kO7VLrDJZ(?CduÕR]"1اcפbY@ Dfm#3Z\[ޝfCH^NVs1tRr!-uת\BLCB|oH7]VSE!N巬wFPX[lE8S5/i ѭN71b/Z$I`r Vx@/Ҳ? DO˩!]4X,~8vcyq#Z"|?5,AlC7YS=u}^-c ;(Ziޱ|iH<#h"[#NY.c8JU}gb~fEKZ>DV i8l2hAp߭Ko˸@Pg,7]=<7vN͇٠C8SMWit f&`=W u;Z1K-p4"15(Ų΀:2fg2w3Yz}%ǖiK]seViѵ}pj :#~2z6uN2EWBV(pAEۄݫ >+7m4T:!aBnbE\J1-&#eirE B "oulWvv'iKQ~5%aLQ9/%G=1}V9צÓ[kkȯ͒o:T4Z\RTAL{'$|uoJWFD"fOϑѴ>E7b#{vx,q\V4#uw {\rdU0G_]p*("?~QE$ygk>Ezcj0y0Mg^B[tq25lE vgY3iZQ.3bSY_8U-xO1e{x/ۡgxw^]Ogk@#hFowogo@ i 1(ERiVо @DLƇ7ϮI_fntu~|m}C6 G&'xX@Tl+t} Q*o>_͟> 3̯p-yisNHw9r`a F-W=Q4d~Db:-i:|+^P~GTC+9;Y%SZt*nQ ʺMq XWs,L/Hi:s"}::(Pk|N (p`JhL##Dvޠ5\F;pL/[gd7DVғ(,ਡZ/cw]JDgZ=XX & 6"@] ͊yDz]AS各[5rQK ڊ[ՌeF8$-N2gy6@vq3Vr)S ;5*]rE5oAWUu/ :*{9bݏRȣbNV0|R.\K]tI{|ڷIz_lӒl׎6_SpA\ưxPz@^ݮ~A߼(GRN>)۵dgRmA!"d&儯^`@;+ ;/clgU]YRx̼3`!tүI͢'W!H36ct֑i;g^łҢӋ JJvKk+ƄSUBZ$*ψmUjPح-ui('X>c|gqzlbۺ k?|ew}rPU/F4u;T(e~VϹ'?Z4+0['OWdUN85h͟0t#D&X7F_5XqhǁG# $J_?U=w6!H`%\=v)+kJĶXIw^Jg^gɕ&tf7R"uKsKj+N7jy@Gj ʱ0OskÔ?Üi[ebkVA{P/x0φ?NZ󇗃[rYPT,oC̸)ᭇ(Z'gٯ%eo67+P2giAl$*5bQu v{tbaSX^J#Sl?:etIv5q w։;ib1&VpM%{4C#TCSjEajveg0zSOPtk{IQ,X"3l:UBT,G"ywAF|11j Iz 8MzD¾H|y7n>!B<(M,CP5mȚ%`IZ2~+< #%@kV쀘,Y>܍ZnW\#]dيTa pH^O)d^>@(hJ-eV&f:>d~ HWl_~;>̭'MKHT|EH=L#kďULSb%tߖsZ/:"2$#yMX Ur+ͬyقMxH<ft'RX,i_q/Gt򯅺ʆNV=~Ks7kklx3A 1[̾NK3 oe0"G k,SH8ap@BI0! WR\BP8~j|$ i\=mPAVcm,ѳ898B!rcqÀgDrRX |?|HClj ,^Ă7J.1,"q5i}C v NmAR @S}Ȋ`ojCmLJFj#b E)Jf p!m}iބ)2.IBǵRUtީ\:C!߷REFHXP }{ Wʹȑ 88fӟsP_ . _wWcf:ǔ3xʴ@FsL1ftb1Gjvuךh,y` ;~-i:Fmzt`?Obv5rۭw,M)9g1 o+=>" R&ei b>Vy-D$jŰ)ۂYVeņ`R6ֻ1Bjw4-AgrBVjܢU4 #艫f@^å4񑺒jR>Pߞ2)3H6(f  -坵yKΫ]Am`My>BL ߭LG\D /-{ads}k0zs7;!\߅Ҽ[05e7,X@p5:^ nc Bm!Zi55 _uq\J,aiPz>:jWSzk%w/Md\jpN8VdǸsJa{ ^9)׺&@0wojsR)hql#N+gϧ{Œ$7cH)НAyCYmX&IEF L@Luyof[T,.r%-x,KA/:﩮³W!AMh}JnRSaUu蛷ҒA%ٿ.?jbCc$?ܚsR?}B uټ@+~p(7 9J km&s2d6e… A{6bI08Rdd"z#Fo7@Sڔ1`c&g8IPT4p@j/EUfL@Ag@.i@ 8,=,_%.Ұ4q.IdYD|4e4b2m*W觱W{|Hھww~M'>հyM1FQ 's|7e%Ӕ^/,.9d7s$a;pFVy<)< zF); .`ytt1(^SRŽ$;k&꾈U Ͻ UۑO)c AsFect:6b;>"3kmr n$vXkP~qcPϋLY0 ":272A16Ez@BM#<#UܔjM^ιKP4̲_6 #9Q 7/ѝG#I]`.K ~njwχSKvi]V>\GŰkl%m cqϖ3t+2Br߬DxTވ}Qnv>XÎF4=CV͜je$[I58Rl'xP wt8>o1,R_B5塇y$# 0:UcwؽW82\ԽԮDU:XݐX[<9hhN| ²znKC 'akhrlZxT:ՑNBVz* S֎]SG5*%8 B!MRQnAYyw~I)~jCVK@zhn ܋ oy Ayj<ո߻|]Mɻ_կx p ~F;gZԖH[ )eLqk[]ZϏ\pivu݆74͟e>#rR#r۵!c@:~S;?:e Sw{ `"+-ڰ } + ;(t#W^â)A F2E7T)Ajh|q9VL 末ڴ{uCǷҝ8NAƳ!2Q~C' ܎%d˯ &@|BG8.R5M+$ nO7=^ot `I4opfn?~s~MrasܨKƗ6I !/P|onJm:1貱dGR!&|v)cQ\Wt7[;wQsij*CR GiLAܾcQA1@|BxZf0JF!Fh UuXWEU&j-䁨w])~Ř5:NB zua@^DR/](NHmgP \|ldqT Ev~MBGa5jeVzE0h$c(闬?BMل(8%MzXև(,7᱉ky5@)#Lc#7uޖUTD|PYg2AiN~/\ɒu(.t EBZva V{!UЇ&@BdՂ DQh]7DpT7e'm;-uё!`ڃUz++c#CQyvIRnZ+eNtCN!ΉBfAn=+@B$ɐ#6G15`I l}sc5 >xt߷֝P߮k)iMÃƻșʭ} o^Ɍ)"hhBm6eɄod)8S00#ƵT֡bfm܇7'ߴNa }$S`OG /q<ֹO/AN#˸(.6} qAQ -ݻ\3UEwt`MEp@~a'îW. z)Ɵ#`>0 붬jTc|^'uD-*3 Q ? >igSRm WdBS*CZҊ-yd^ oQn[]&6)|Km|ԘUS7 JQ8'1 Nq8zYdFk޺H$`q+ @c "*.iآJ.CPJ~k:bѤ #"5q~frԇBaz)tMpglf/fOE&%[:A0|^qlupaXǧ,ZwC:e[_GV;rhZ6wj0q'ɼ%8Zh:3JvJL&lBR署΄I9ǻ5k[u5uw@k뮼JpDG2aD,tE^zQj ܕMxiEP?ऺ2Fހk=ToR I~vEЅU<ݻ%nR1@ԎbC/}e4Oe<]Y_H Tmoڔp;xm3 hԆ+uSM1?ţԲjClhU;OmiTBC39-ZA?暎ngǃK+1o.>Ji,AY;C"ȼ0cU:'dmgPVUNR%&~_,^(hC&{iL"+LV?" 8'4ꇢ"n# ]7iu\i5w`]>.ֿ2)7)bjX/rewwZ#FXmկnjGlcMxeI-l$)pQߣv,hc찬m b Fso*_yzczuMUqSO:۲ER_ ?rjT% vh>]܆z!vJ+o_`UۖHn.g^ئ{`Ir3)؝4Q 1{4dD^u;\;BdV]Ķ̈/[-)j>#Pdb3L1G:_9X41Pg,1=vٛkB3wߦ![iqJ4>q8I[ o{¨$ч᳛pB# Xi?͊%1@lHIzN]AE{)Qs| v$+mȤ&=A ΋hoCjૈk_pI%V=k5'%lpVʋl; Ht$`nK, JKZyZ]¿ʤSOy-pVH-'*Bs<' ^?oKp|TX nJl w̃7VNЁh ' wgJ]'2&Ϧ*#=#32nU_%8١5@6, ;5-aWe/BѰxd dt䋗8\{b[(k:z?EH~l>u%"c`׷+ Pvt@q4!-̕[eH-Vo^&Ys\hL1)(Ѳ4Ðkgg-a^XEmŴ"F6j2}Hd0eϟ/sñ`ώ}dbbC4 9 ș,]ۤTZlj3޴djc3k /#cE]ġ}^7㳓i/UBM`L1~TS.3yr+ V;TKG@aN?.]R[I6FGkǎ`TI^:L~#={à8-S馝g_Trep7& Y&Y{ȝKGt[$^S| -+)0ʳio,W*KUt64xh'ߎx( :ԹgYZ4b97b91c3ae092d4906a78925c8477fa2272d6e09aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f5ca751fb65ec03b24f8281d8480559f6d16d033e