SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 WWu%L, ]/]HOL-Analysis:threads=6elapsed=309.338cpu=1478.244gc=105.864factor=4.787zXZִF! l`H^]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmth|#l *0 wʚB1z ~ hHHUbadT> hQBE\Yx/s}WV%#8 tOm-jm [& ,\EVw4L%Sk\NNU!X3Xڈy' C语U4 q&BD&㋕u}|tI>v;bȏe꙽`@ bu ^&]ol5y ~YVcAVIavA "`0Ym`Z!^BΞ&Y"[3ۮ=_]5BVꖯ|ؓm3,,sˡRRR PA[[y36 4 h{ '[kc.SfP FzGmE"?'u!!5dzcW#J.!"@]L76!~ ϖ]r>630%㼳33v ~X:> ,fLʲ2L)9ҦHv%U{ G^ )(rþB><,Ƴ:k՜" ﻗ L_)bM hp]s5j_bĺU7mC0^#,D n )۱\ήs;y{ c :1!;LDa&$¸L%6 @+}V #PIRiu-bƔᙥֻ@QzjVyދ$`n BO*?a;&$,-b-1k:[ufKZm(F"$,!]x@:"ؾQ %"-Ya7=Dl&1ZtEzcXJe{οn<1 } *IH) 5Vi!*ݺ'fR $Epz iDX.1[l2:'C_BT"%V2=B/,]/_!q^>Icr0Z~RtdA@*b8aeNsi\Q ، \U{p)z% TX &WG (( Dl3Zj]}L!]pci7$ }' sFNϴ+Y)9GqAR3Q)RZXڋ$ |8@O]/tbd2q?ϡ4x{Y? NR "lBN5o5߭shpû]E> NBO(o% #L1E6 % HOL-Analysis  '(CГh; kRRqVwmu5Q4wc `Z 1UU\ 賀xŽiPDQa2lMp惫o?6-TO%Xr>MKΫY=AX i(_*ӿt5".pɱȚ.ƾ%t-&+ 7Hz?@Y5&f7ݿ 4y+ld]Š~sB XkȸY3`-x=h#Q(02?`CAe%#~ႆPZLy.sm_JO+9O"cY,ght߲uӑ_2F7ʍ0C|OQ(/|c'8;8b)7 7a$iZު#F#|Zw Zݐ"-:U:=GauZ,g/.#$Abl.Va<+FM >$+:L@ƳunT'?G82xEDo1eNʢLekbM2R F GъOp`T(ZفMP3̍JL׵n->𖻪^QY7A9. ]Zc%ˁ2H>|KvyM0׀z.~{ Rmטa vD <>8HYnDoyE!*ݭyDi&"./n΅_ 2] !y((z6m*,%"x |e$92euӝxM5Y*ƨn:?yО9Xۇ3n*xEmz,lǕIXJZ EyigA|_WM M[1!itzI\`DD礨yX@~n Y]ߘP(5 z vˆیz@n~)YΜ/w̓ĸr'o_J gʳue"Μ@D4R\#.C?^*sD4~vKv>6AҐ#uNH9v4]3a Wv+ 5>;{], J~g ;l? _[*Ȑ%8 Nn]r&6TOe.$!д:Q lh0TҾ6v>m:ܰjOGT })y↛Զ (#ӛ>O+bdi.aJ'_$ҐKg3Tա)^QkTl\t}7V: rn8x9o,.>Ͼ@d+ D~Jwan}+rʡ$[BY UOg~D Va<܈zu@I^MNR,K[PW=KxݜlpyM=Y}8" +XP<_;C4&ua#9y*c&0)WpZ}/Np:!ٓt R\kUR9؝?YJOo'(_F@L̯>p؂f,=aUCgց&2{SWOۙUmGIqWj=um ܚeXF{go)5.U;e{nTOQu vPw6OQ3Zv#bnyJ8lY[5f遉UGYt}zq?&^wc`&dӷ0ng&&e_kT5/~+HLʼn'7,e3(͔/G$Q9+zx} U:QbqHVH@cp&M"mKm\jLU { {r1p'%*+TOSxN8&8,@@Ҧ|C-}\[r_Յ{Y #ʕcv)|$ :mRtJ))T4#*ive۔hM<-!XH*X )ąR.@7Bkg2n(-MwO.ĞaZY<> VխzXL@8Fx~z;3' !yN/kG;۞@FDe8#ܤ n67ŧoH(͒XZ|yҹ(w8,qEEysg~4я+MٳWrHHMڷ!R ox+׺'a?(p)1*wlg8 ɓM_l*k+)HK'eh<91nfFUPFL3::x$eB)WFlY՗e ̤Ĭ?9&_Ǽ VI8orW !5kpV-vUŗBF)~'%Ah9ߣƓ庨cS@ѧԜLfL&2*d[@238nd}{7DKU&ǁ 2 1fvQ ` O e6 /<ё4fkPy, "M9k a6ڱn!uOO0,hꮂ&3Πt%_`*X̺>hx쭱'y}v}^IJ$q6kf xSp>ZlC,\b:|(=g4:Y wX5͉0hI'Gu \yyشBR="Nȶ!y5yF wB m4gBV@ƯSlЉJO$$S CR)#ko8 :OW!ņ7l1U o (T_ׯ~! 9vkj^jP@iնEqp}CaC dic,Ӗ?yhijXq^,pI,sx~2۶/BnW.Bl Q">e &q&!8_p6u=rVzP8a^OzK@֋V5g[ϮTjva[{oQ:IOb#Z$ ٺ8i3O)(6uʽYobW;^4ɡE!8ƺ`lAn~]ЁpuUY Gu?P2%s#G)A/uzBެkFjpXK>K i=n~[g&>¤7m҆ºD+r֍m F1?I^SEǺ`f5DO1OGKq&pӸfAt'r"/o-f|n%q n/R{]ȁy k ,HRX9_Z9uS:5IH#`lQ  Ȓρ Ч+wshJXucIa+ ۙ}ʎ?=K3TB [M?C I{ԑN ױ4qUX4l_R%/fE@-tȁM<޹Ss=F7%V[!맪lpz| 5Th?+A J&m K`PpD%i,ԥt%4U;>h@Ecz˧HF:xEYUH[@,50ɠpÔ:<QyF}putȓq;ޖҿ-<_D6an[).}?8q51R7mSMZQpΣmE@?vAMB|N 4 u1o<z9 S OBkyw$7?Hǧnb%T aBcI:a4Ԩp4R  *V줴i$AC6Ach"..:/>:cN*6"eD-5KLAq\kIm&*؆*oX3Z L'OG /75 ]њ䱏O=^27:ts?~ui=ى֘Nj,UL(ʹPa4E"崀4jɺ/p ~eO}38RԽ-%|b TɉaK&ҳA4r|5b^h)< l:0)KBvFd4}R8j !zo ͒˾ lT@@ׂ>CyDc޷0|x8 zq);$CLvmь+IS-O@|S_b!a3JWP!!]& #XX_&uf)sBJn1҂}hHX| Il궍+w$XBs ,˩zPBJ_4L6eMeWd-R?xsAiچ(Du-NeQ`yq@;ی!8Q Qv$ ==m /PɭM[ Wi %R7YspKGAlRf2u 3y^ALXg$=즲x%x Ʈf;J@aa#8gzJ|N]T1̵3Xt""լ*~KZ^heeYyYG081Sğ&h2gx{MLLoJX0J^!KGEW M wO'02yD=M](w%t~eKt>eҙzU"u2ҙIoT>ǝnы#}X_31SXW߲a؃0=XJ>+A;,!A^jO:i݈HI8Vx#=Gӟz,LpWOZdS$\nA ƄS7Ա`z&;/?^ZӦY0?{rqcZ,粷o\$1;%8Z^tM(P=v <̈WgwTpAq]ۅQxsS0h0U/Nge"`@O38AS7'IDR q 1?uzP-h-ᤊvBDD7vG:" cx F sV}6tH!6$q% Ad C~j5aob/ITh'S>xw &r$Ӌj!ٞ_ļBy7z٤ @}7%[r= ?p3I bŭ%Td D:4J3SK PGתe͕^2BYZ^S7t\"?a+yJ^ cuTV0`[*$ w89" O$ipv.TTuUL|hRG,v,ޅAŸo8Տ\u{6,U:CⅩ[ Ws6aqJA^O8.X{e]),o`?.)BTc`]Ui/<:9]> H ٫Ġ'۴[++~[ӀEՏ}oGb.αWOqYFp& IX7ւ 귍kn3Sʿ QI@&#ŸR wv6>kCfN'9A&{M{j:A< x M6*ެ~1$Yȼ*tLWOGlMb[WkknSxa 9\]`ѻTmr0'|8zoqBRc 5%j7t o zt1 韎| }Ni;l!i\o_Ez`p vSӖi^D@f#KbYgV ]n]Q9Ut< 7雎8 uH*+O=B;s,5R-hhk "ԚAܚ,O9~uQ``h@W T;XGbS0#9@>yG^Uy` 0rH-.)]gkw?Ό ]0$ˆ{rɦ`lcBM ܜQf SV^4?6o =;nWbp`Mb9m{uSrg'*fD{!3L݂j3 ??Wɧtnm%נ8xAju"a%amW9Afh9PW@IQ|yZ_AV)YY;2Sb< 4N=.Ip~BG3^VɝUAԫoNl$UkJ 6fW F_\YQ{nX\ZxuEҜ{.ya]ғQ ~MIJnZ⥄u %/ƣωj!xkEs )qp}$htBֻ@ǢT,-/cY;u\[As,D> HA.Z`In/ЭTyPs&2֝o<`]B |dt_0< d@=܊orC ?.%kz\ Q4Q(^6t,PJ>Ul> xqC J1rvɉA:p&/ǭo|*KgD=]/ʓUҍ&1m%?n$_t4JF4d3w]uo4"w[R:bӚYɨN:"4Ql;:C&9Js&sNjf! h!fQ0ƖFeOW,drT3Ńr+v%Vzf;Küh-am^ҩZnL#V"X6wF q-v]P몔pZIL-+?X9'YzX9eZQ$Hz|-XeiOTs>`k(ūK~Jѓ\p )+<2g)a\NZ"' ĆlbUꑆ"s)ѪF7XPRf\ .\=4^4"*;G/p3=VT="loTԙ&OWqʽЬfI\,Ž)#m̈PTC'ǀ"pu]=57@V@\$ dLEYT6bfF Y&^veO$ըGp@R0%lkzPGƺͣC݆xQ/>Po>LkF`%6ȅ9r2=7(/&¤S.^+|F,gRr0&t ͕L gpBI_;? H]CfA]Z-d/YX̿L߭8sdY"oe{I E<S=x^Z"UVw_mi=ք-1q E@R> h0'u喗p;E>U(UԯjjK(f  fȋou>{~fZĆs ]o "9j5g+s,vBM?wL@}^VK:lb&Yj JU~06PT偽)P Q-5\3OXi8}ia2mIM"Rk{G-MowN_黉4bgR(ֹXVМuFyOdg_ %\&r6 _"```.{2} &u)߹t>-̆2`G  M.y9u4`ZNM4G֗\WU#@TyV 7,qs7NXp¸|? '~%oR129 y&D̖$`++Q *{`tLATf >Yap+ ]h>E=%/3_Ix,25Jk>Jʅ|N[z1[ߣy ¢`&hLˠz.NL'sU ڪ+VcfH$7k[끬>{[jufFY%Ewn|D4\ ؟",=eEEG(u5YCȽ j)`BzVD{M5˘laXuq6J>g}v说ϜAibrz[c i^|1)T-@ķjr`9^nTdrAEjb=1*Q905ř ('P?r)zIP,Nz  ^ @A oh5ZO[lh}T|<QuGx _3Qќm%`GDzۘiѸ:);//&5ZUЌ ~'; :ugȑV23 * #Iu5AXH E*E&G *l2폚BZ=/hoũ;pGeѹ̨ʝZ- JXScMYϿݲQPރI_T5_48i[,vd#G?3]QcRX]:;74x[j 2 ̀ 2XLfw̷*ֳ4Le/ýW"~'Ϭh0$wuέޚ C5@ȿe5.dunmpAq̸T?oѠ}WϾߺ:M5S?V|3+H@vm2\d !*x$!^C @?Xu0 <{ygأA@Ķ";Ccei^ ; Y!{8+Cc;ҭ>VˢI8o]rHv_rX/}h*nul0Yνx! :=5VΜcEܨ2VÁO]=ʰ;k'cu5d "?g]lb 0x F׋- r@ܜl-9JBӳ8p:ڕnfŷ[%e2Lިlj#& Bb%ƹ!z``%DTQA 6bv=o}I.G܇Y`wQg:*^3'8v%_<֚7؀7Wb]EU C+ z]{+}ι')70dZVIXZL_dRp;@BҺvq ]7 #<dp _N°v.lFoGS,7ʷt .?OgzN kSeB2.;8p3XoA<_(k^ )[?Ğ s}JGViFc)LEjÅ.GXC-jt[FЄp;@y8c8ի̓mR'9c|Jq3}T"P/,˞GS!D2 TlY;az!d޹uZGVGk_ Ȳ2MPn-jb2k, %yyՁKxxW Z1C~lmR/F:2U*Tu1In!Plx",ލ~?h*jJ{DqI|"5g'r^sR}+d"I_`>Ǖ>PZɎ? +k >Fgq\+55o}cem) .\}gWR 0Pr#o?~g&͉2ꃻw<`WbcԖaDTVBU)~ фzZ:?9Dr*tRW+Xiu6֥}^3z,X9[ᴾlg>OeVxOqcq!B K3[^+WUN""=w]P'JGMGP踤 lnb akav|_0lIJYcVESSZg e_rpIJ}y#i'I67M:xv pgF$GWTm85r@/6[r2XD谑l_#4,1 ^T]L0*[5"?}3ʣPe sIE&,Fy%NhG+ ߌ lJU5:IC ٤9#0EtM_ >+Ǵ*Ag{r`[V)Р{to!/IerMqxd[L"V?3|)[Ӽ*;ESiB qv#j{l~oHŰod僻ո,O8er5OiD9NٛGHnF32* ?T4TO|p@3gS>8!|ϥwj1’&9԰W-vgaT>Hkěa`+~[~jK68l ոaNIp*Ӡ_]uw_ҕL4%J Ќk`<ħy$!=!ʸo! ogn$KA$rP:64ZVKe\=FN^kxǤ Sjm+m:,$mb+̵ӚtL4S JNYHݟoͩ4bNMhBr{j2Np(}\|*A"Xr$ņaqfJ}Jm+t3|4Ya[|H_Q.f3Nx~P豊MR,MϴL3lD?`t^;%PZ N2zq$kZ)y[hk3|c *3eHQŭx)V +Gf\7SɜI(.M,K |]#cʥL &^hV.hٝQQo!$:L"%ei5(zJNO@i}& 2`dgAճ;B4K $餢h9Wnm- 2Ts2 {EHےḭ9~hV?҅ 2Ak]6eR/};B=tSQ`c-͙V~OkU(E./]3o4d[mpm8 ʮb-Nv3ѧb32bBrsO.߬!r,6]t}cȲ]NxP<T2fJ"X^D SHx[B0p9mNbdOL9c .!8&*Dv#bXniZ3& 3u lx:SrNk0+~cp8GDF' kΐ΅9艂'A֤TX% U ^9 GL Erݼ9}ۊҐ8g|Y֩йBfuU9C\kA"$0b 皌3(%p_ZI1oѥMƆ2Mj"[u#ȹ&LFFQe׻8A:hkLxN`Q +oȦl&PXOjn8}BXH.i8'žIoP]fk95s2g4j5l6%l)ɨ2|*to:̓{FSYXY,v)[ZM*gJmZ-SZ#&b+;\VCǾ+_ ꜞ;jj}׷pB| h(,v3ݓhT+z88?87ڐ>fc)Inà%=oIoIrn)kRA'tMg{ hp%$ǵDe> pc`}Pτ/8"5J~m.""a3tZt]xY` sEcF#zOMά ̌*$>Kasx*,Q 93 Ƣ>f4LOn &HEh(pXpN] &>1Hخ-Y |8Aq-l~ `XOL*'9SkoџfJ/{դuV&3f`|u?"ʹ_ߎy,,) JWDcNc9M%&Afqst(tW*lDRct@X @נb|e>xoKDR=3ox~)/>r.&l!%)P`-0;ɏ%r['ik " J9U`[y|vG)UVC 5~E^cŠ3if,p)}*(+D<V\$Jo؈tJڰ)5Ïhq=(j,\60e qǥrL}5C|臃&ZQ)aYt+@$y8G}W*16L(}pDuK+r(*K"^oC^'P2`6k4݆F^,Y /Jޥ7EG?.Dr0+wI<(b:.}j7' Ǫ Ɂr(ĽɰA0z887??NW~dQqxFp 5 /i< ~,`8_^4[憟 _ǾG OR6T~\Ӡg^tލFuIyA߭:rLߴr#IY]<̴>uJ: 'gYZ7zXZִF! "N]ŗXiɟ1˦r!cHkMeBd4{=;!ϑ`0 VxGq̻wId rl-K ,ڏ5`qf®H+~1~05ZrI%Iou9AaQmv+%יrJ/!r 雔Tj&`&޶]#ZW1y\H&98)Ƒy䜌/M3َA%qyIKq-ɛf}h#Ei09Apj߿UVb9+5Woo>JGv!0T㬮WtIԦb\E`q9h+x:2TiN 0ң2Q0 ('+gg\X"`-K NGoD-HYW*h P$8YaeDFkQa_IQNR:1Lpn ;䙺Fd\@PQE~MW ч4K}Hj, J2#\u7,AEZ-)ҍ}R$ קrֆBu89 iT}e3#4TvPaEcjlT-Y.DPVk'.bOM}Ĝ9}Z $EҝdM0H(8 X˷Ee ɭӌy^`G [u&AŔAH[iy3-ØL0»@?$oMX6e[6YNՊdzcK ĽH|׏̩&/vu۩uG#&y"je[t{\8ҁG%O>1m ,N&>ꇰN) 2op.giwoܨp$߽`,FRqͅM,~FTE>\VfW5'уҥ~R,Fd{ɛ4pT:tv(؁m%S U6g䐪.4T01 eKXbnƇU bΞgY]b? Khޞn5M.“/?Sɤq1} )ڌXh5 i}ӲuJmcL4"Ps䡆 Ҟ2Ol.iq4(CzPtʖs 6fQLܸAO1 _tyd?DuS9AOZ8EsMuv}Ֆ7ɤXy!l]}舡l [ gMȇkdrT<Ǎ8}sylB|NݕO 8dztG%T%|'DeUTc hȘb'q8,2lLP?f~:.Vl֊[GOݲ-(c6YG XJGsgχ_ǩp7C"& ؤY0Vk:dz/tT(<EHx 1,ƈPD;Mr\ i,) C\Ҕ@ u5.m Fs5R~K4Rp?޲*UiƇ#*#6،K0X[Epelq-xJ?'Xg+˗6d4"V>))a3iq ˤb3\wBe{LWA&&wζZEbXRgYZ7zXZִF! 徳f]ŗXi%> 3;ZXP@q(OM6{m 3` fOdU~iDɵriab`mT J1Vp [?`OL0%/ʧJ>_d(3P cW2t`F8t$min.L%U93^`wy'̵}ϖH*cgVZ;DD;:lIpˮN0~ !?Qp=*I_7>c$nP-R:%@ZC].C4"!`jwDgpzl(9ɭzYǪZCRc-on)'F#O*&)B]v~>o`Vu.7rIJRrukL%8bMlĮrQCvv~=H}o_BN:"9!Y#5&5wV^VyMs+;!n!ʂ!eӸƆe (-bl|Z D7ɈApswE\60YJN_GV G3!`2 m@c:V!|& Rw?ؖJ|FjʱۄW6yI"d3%aV=!am9XsoYル%H%*p4ʪI5t+DGbs)%Zv-+fG5`>>#-s;xpQ3$q/#WR%>]wKT@N~1Ҥ4laei|if](r`K8]a71sŞn>BS:cdM뵷RMx |nǴzOqJv^!to?7ATKHA@"=؍A/9 Cj5g x3sw=~,9?btxMwx7Fgo hCg4OQ}8eaPwWBw9 TjG_x?X5 Dlc! gEy'΢ǐki q9p| 1R%[k\/萯 `Ryl ,t#Q)htnYeTrQ:|fA0| h}f4D+J&2a7ӛ!!&*{CK%m:ڙ ?]`YgM*ke]P}ٗ4/jʦ;auy7r UH>Nl@%DĞu3n}p?ns!xnc(d>%jVr/Y߆{m|y# IFV}J-&į\Pd@u鸲<,0iE!d{Zx|)12g﷙J ͡Ϥ~!+I?^"˒,Y#c4JeYQr&]'wCgȧ..Ezy䟣eQJ[˙sM1PqMlVz1E \[>I;qGeTGUs+@@uxzH1T,=wVWv"l>LDbIqФ²I!3!08kv\mI:f;'),|&( Azs3>2ÄSs& ͣsᮾ8za{*[ !v*c*%*4M'?ǒQl雽pԯP+𸱿ϭ=\cKV,l<ۯd^VbYz<%`}/ܛ#6Xjeg^y!9o^UDt$o0& bZ/ Xqh}阂 }ep:g= ӌw6=IsxI*gtp1d,^M؄ШY с>t{Bgvdޏt\`jι.Kvhҍi2%*a5@ôiań ,]Bk~Y:+EmRqyk$ϒ SVAA61 Pq>@͂*\Ij f6?l?1`yenM;#ȕvr2d?ユaPCf&wuB TǰL}@~?ѿDw,VSy~aUIFV S]r#9nqQ!˱lI˯0b=g78& Zޓ݋X΋wx$CmW ~v)5̨+FM FaHA_p9` N_W`vv$qu"H8!J#/xQ+Qz`\YMxF '=|}P(14Oץ̑dQ׹i0r)ԗ; 't>;tEM˾R]Sj~"4qNn({؍G0"pUϑ^ǛF)uJy8 Fb28\>Dծ8s}\1  r|VMf)ӁhȲE n3 D5i\и6@+ֶ(wD`\[KC K*1P&P+]m81o VQ 82cXE#_ 35^ ֞mmNJ_ ߦc__ KќpJѬ $ rѢJ8f:h }iLr [;V$\v '@;/|zY]T)Bn[!s-V~q3}?|εy!O|R1ze$M_ ""ᢤ-ؾa/k@i R1{`sAI{1oYBH:1I^â;5hPft=tTN"796.cmG~x 1~k:ə35YPt m筳7Hxlز/a3}8 頯};/{C$Kgv̏w|6 jڮ4[c&ܓl*1¬&Vퟃ<9OÊuN#}ãҠTIJ:@+ ILp`ڇ TARubHIyPa.Ey^@x+ZƷ,^`duhjt9h>>guV,>GXs) TsR" Eeָ|suMQKmJjT ҹ珳O=GVRmrYX<K37~]j~"3V5Fym<q ;ROsζ]:⩱a1řxP`}J)"[@]Nrn:G=#}JcR`ʝ{p O'Q 0ǦkG6fܸ|lN0P>esUޕ6{ ,#x_ [|XU,idA=1ǘS݂ _q2f%"bBs0._r^L} !o %ѝ s|-| C:X&(U;)җ`xO2c"nZ)͠/>( QTk.2bepmR|>Љy^ j`3ȝ gAtowmS}jv]$&.u4}pl,6nY*ye.ݐdy=Wf8}62Ω*I>U]ȳ -bBL+xP١Z ҆|gfSan|1>'WFp`Gf߿S f'K#Q5O7}ū Wr9K;I'^2੧K@>y H[ˬi=4?G"m:f[ ݏn^y8vruw|tǩ2n4*C $'5oÞPo"Sp'#b^ \@GEg؎Μ[vP$(Vdi'+!;v٥k Rj## +dEf7xX+xB, 0VH@Y˔|<@12#tx#M2mLJeY͵ dEJsUv"HKYuBv !ajiI-ody%lj:s^d",ݝ_<^*~YQ f.rfzba &Y%$(W+&V=yBz*"JYAYM{)SԨV D@*. Zo4[&,8}wj &"ztsP1 n|ۙɫXՖ{\iΎ)GQ9MWBXxbSiyyDBVWy}u H^ < @ʧ4KBMT(hN839) , a`|RNZl" (J[4@s,_w9R'ram|L!+eXZ6[/UL*yDS\^7+:IF"}ISfʼ2:-Ty|=$3y'{ R}0\CT :u2H+aܞ!M'nLIJNiG0{8c't{^?Cn^oX` k^v>K d Hs IjC,SA6y+ܪ8wt4pJGT@cJ؋bxw>jVoHIF#u MCB-&TRE:#FEƔW~OfJ*psV) ,n0e-E*0gTAՊٍx{.\C+ UC0Jl`IeE >`%vce}QJ=Uhz ք|baE#c}$߷+Y#++kF$Y|=aI` fDYh p>w̞∡@ׄ;H4-%uiÌΫ&ޫ~*)Dyj9<#?|;.gn%NWZN?a 쐔rd O@l٧ cKQ -,<^9EQzG1gn҃],}A#N!.dc0DJ<“  3{ٷ?,35*du%d_!,Ԑm&CX'A=#G8,|Y:b!![bzAéZ& k*Z`L=sk= g ɚį~KGN BZTrqh.lUG|!W՞6+*X-cvh-3"h\MsROq0Uc_&rJM4l\ځC~.#q55Y^5[muvd,8R{cJ84phEeK[/I^,l}OP[Nڨdh]'+`bv.qҊao9 /Jq=j)ElpD<6wzCPYcZ=+}؃fOyA_s(az~)L'݂cX/;^uW&{O7aZ_j7mF4׾ֶ{l!IDs//W^+yChB;đF|!>+VT  w|wSm,K|FoF3{]BO$Ds7v٧r(;ƐB]yءxHB^^D n VHX=R'uBEE,F"޺ؐy>`vфeCh^oE/~c mm!W T-X xJӒĞ ERu#I0MOdH]Ǟ)@ qQC(vFS8D#:An&\OGDš6^0,Ym(? OU*e~,wol5'4^SJ X,@.@k0Jwj%x /a:S8(N6ZĵXĭT.KZ$cVtvi,^ᮡ>H xyHJ<ԫ'l&AR^F+he݀"zNaH(* ф.ei]@I ?7}8qsoP`C4λ+G}}}y бew:u.v%H`ׄUlP&%#R}4ケ ̏U8 }xm{M+FC\JNUO9&ސ%+_8ƾ wuS=k\-;u'Zyd)OƯ\A=>&Ec@5 uu9i @eN 1 5?!N&n`D+ !B0 KtЩiL]a>rx irK?tC'PMeT~C0،%HCJȾ`D(9B,a[Q:N+ڬ7*۳:oywqB= 9~=Tv-U ݨ\"Qhղq:Cp!|iy*wB-/6mɕ*K? xceuкÁ \{8 QǑa-m>htI'-<3n&I g7ٍݝs|ΆФ !};a$~C(CLjn7['# yIA?. )TRTzqU<|xi]`.lrj ѐe !.Jɮ~*kGͶJ ~# 'gȐĝ+ugNBirSDZz| -WeYx"}Uk>* 6'A*bGk6Zb5 RwYCX۰4Σ.[@%Um sAܢ=&v!AgFQCZX]:`NC;FzXUc]R߅C[( Ao#(F6}a+ SD'DSh'p.XJqV:9J6ic $Sl]r},*e  X@60~Clzcpu݅Hƽ!줛 w _j)@m ;Xl$IΛqmM4gJ~MDm+GGQkS4y y?5 -,=B9/'A2䪬M\7)jK#: @"ㅻܣnM9Qmp/B| A@p5P\Clao< NY+QRp+{n%=2Jܷ168p~+syI`rÉȹr<䭗O{cۛghg]:bږ2W{k, &[)Lv $#U^!T:%U73 '#Wf@S={'Ҧ:+IR 'z3\a2mi+>k^[ MN NX';IDnI7.mJ圃-KhT' $fӬCgwg%VS`R0x69Bv!XG H-Gi(" B2hI6^{L9S}vM|FI Trj˪x  ) 1:z.klr m #އrǗ.R2v MdF #(2Y/t݊zS^gZ39z'g}M vs>'%AO.IPRpκ hƀEl[0d}~#b("VOHpGP\aN]5q .3_!֤C`@EC6˹7 + nܦoe=]CXo&i5 kys]ÿ"*x6εP.F&# gp'}3=vĨ0%GI,ޤp Y $C-d:(0xQ*7[8L5WNݥRF!l:z7 ~ιCtٱ48Zgk~λN l:O7 ؛8 Fі\vrHc!v]:'@sAjJD̸\M!s%~W|d9pUȮwPNnXe{{ RŸ %+)]FoFB*˱CSD8H% 'ZbW8H(eFah|pόxÀ,EGQ{7=3Y0C@­5%KdY yFOi@=k(3 xI8BM*b>1[{ r많͖wjc6h3yL y|/v&|<k]h"H(c8+ܞ.\wݺg8gZf(nI};@_ÿ4UT IWƢUikXj|tfUD A=?̉KT 8&e Xb^ g`O>A$'ypoR2TRJBݡf]-MA8dNیp Lj?e0m{N)d.'jVԴ|9r2]7X-nZ>3PP@I“߯S]<')< bn§7lC02Y|)(蛐!?"+TUhd3w=;@[,(iƽN|h@0UP+6ՎA\p f| XMz^.ueV_DHvgGC[pwѥ^F3Qֹzb>N a3X? )O|F:2z؆(ܻɽ0=Ծrބx7SH? +zTCo%@]H݁tY]EĶs̟Dw0 ,4G#y]8];bs%ADžBBGJ>uH3xÄ Zۺj\uZ;?] yۜxKbWxcf (16}@RifKSKohB$reP)3 s"aqQM&V`$FFgyd =D M<@/VS,'w*aҮfeUZ|{q6d9<-Bn3tV4͖dļI HLݳpxFPL>|!mǦۂVJܻݽK,FRnF3VT=rP 595`UIpR,ÜGtsYk'akҮq]f(EU*Zc~8U!hE}w53 W#c/%SWGdN%ߒ捫?abBq\`ڇq7ĕ5h&1-\cOorه]5I'."ilQ0C0H,{ (tI4drh, xI)+{ ̟?-%.~trަhyh1US 28Dž!=c{E8Pok4l [fnA6 XgzȢVKZ=fh qLܻ{0<]]b(ƪ=Un-1+3 t7^`jjOkrB (62B0lĖHpn$(:dvC8J6CXKֲ9\dUp1No$J ]*f3>/_nD4lǞPTvqrJ9֭ϭ`m}?PnNS븝M@},R5b.Jj]/n NQዩ9;#=QX K"%"}JޫxJ?%h` Ex`jG'}eopq rR ҃ez-# 0lb GpL";T]Z5ʹ/#-k[ㆭT5:ԦZ-=W |IaYbwkonirXOfZLq9F;cC{:f0>S+I~Y- 55jZk]). ,Vy y&R^/^oJvؑյfpTp?mQmLH-E(a& q%G1{=(vhs^𒐓B]3=k@tPeD[vO@J8(mYıQe\s~Pi=lJ8 8QE(=ǙH3[+UatVA}޸{DL]k>dr`abzJynߟ9_p 7~x b'E|<ǯ!eQ ẚĩj5?@ToOK&poxc,~@lFʵ< ~cJC?i싔Ղ EzJ'qb 8ƷwzMPG$֋߹6p һdzWr󾿞: n908C|' SШ|`+jr)jv8 nr=8V4$~ʈc.*8eu)K@ 'S$vß9W(&S@7޳mǥ{}!i'u"Ȼ57/-'Gqv-CDÝrе [ƥа7OaQ5跐gw+&XggGUڱ^m4dE i$4/˚b\7[bS`ЂҐ^1LHvP_gӝ MmԕƂ/%|~v ^pg k2,jhTU,}?3{h>jzUT%x Cy VRʻI={u6r;.8U+q9X8~/@wo1Oru`D@XAGsSȵc $<~Mꔜ3)R|-~/Q2vƴ񝱵{%OKE=' )4 BT֔hdtIEMMJ}xm-iS]rJ1'M!i R~kp)a2kx.)5l[~< 3eNYnX! wetwև^Z^4h;G$sӁ[6(QRkaaX%S\3NBڌKÛM|7͒Jb(ט؇Xjj'ih!Q&M z.rWa]/ǎn}9'PtS@?,}mXɹDU 0 ;yT'ciZ=:=iō?C/Ȭj#p_Ԟ! 3;*h7۱I$xF?cBshL4جfRV2Q_@u)0xjjIM,jЙHPV#(D(sӻ7fš]֝bq6Ol;e"1<Ue_8V-dYyi8KQ0. _OA=Df`'nHEN7TbH 6,"?dkuߞ)F[\%#-w3.Ҧ`ظu;o G, H &ID[6ћAE3~s51t5EFb*\nL@mH@;!6~bmai%svs( @ڑ޼)ߺ0 AScԗDžIj}6M}Έ^^Uf=8溡 ѻg- ҄حMLa9Fv65!FQF9ӷ&RlEBI9֦8|ɑQXp8YCKnZ![hW03RM4uu!{z7w|+3Q@pjs'$Dvlq7\ڻ4)Zs@}[-+n{nn(G6^¨ cs8js 9u m v;_i%.GGIXOTroG^JٷTUDV^lAlz0wLզ2lC"$}:-b[q {-Ɣeͭ=A_zd~ٴT\P\9ZS=屳DqŹ>U]_wh+rn 0uއNpOU)ٴ _{KM]kJoj€i?)kT&m\ 񘦏 |2r/]$u$w۔ifm^͗~_#w79+p\dSkwS-Z*h{9ffwdȟ_bMr_6}Y'؇V~U^IG_Yo+?xpWfAyU vY}Q-l?wΐ$=rmiil88uqBX%7/WMqB޹: w%i,݄}!޲%x&A@,5|3Pdp5FI8 D 2cIĎ˻7Wi $pD݇#֖A2:H̑`XR`|MbH;,BBS}BE\K,;IB ن9>»U=u֭ Nk4Ri~T!yr8>4slɎ)o%Fʚ ܿ5/&73YoHThse[)-lXX|ȊE _ESrZ6s`s=b#'W]4xmwHލ6ۤh(q,Qd7 DiА;VP@L ֊k(ZjE&:Nݘh%<1?%>QB5xR Q07ʈ<B*8IkeLV%Vshr!-ճ~_I z).HW)D~I]8v.wi"2DB@P[AoΗŕk}2&5 SΚlZy]s@.9<ƝMFq4 HeRWNL6h`0hC gznӐ_8d; $ۓӲS1q4R 48StNڰPTg9X.bB| cbWw5hclx>~3$<ʤcx1͎k`H t'rojRFZ Ruat{|F _b Ib|Na@}'DS5ߑ.ֻ'Pq"fͪϟVW68d4h!4|i/@/q=&Ev[)14(>행4@g> xHc*&뺵:wmZ~3ؔ-, TIoţGưVY7Y^/,聲~6S)F0l.dP7AM_lNwnAd%xKU6M1P%Xh`!$V 0g<=Z0e77ې;\=#ek%sh6u31HgEM3ql'jȦ3ɫ^iP=^_׼T> x!g"/T3eTj$AX N6hJbq^겈0Ζ2I m;lj4Mh5 .g}oF2-, nĐ0_F_Rb?[L96U60{dz" P|& g b=}XVjnv&{hv7j1%7dGLعx)gkw Qո}D/(0)l"܎4NdHw`l-4tK7t6I;PM3cY/622Ϻ?ѯjq"E&]'O3A[RoD?eZ+1N; <| #Bۡ$}b{\ڋ*SxfL >xa`{Qo^l65%]nᝢńb&:v/]ƒ[@&c&EacN/!,w A0} YF,wyXLv)uyM|P\=?v 8Z) |~<@UN;^֬j\c~IFG׺,44ӓ8oUIhǻ񨅲L/cT\WHw& Z9~_9aL1LwbZ5ljHyl+wn(|̘I*ݗ tBDϱ/Ymѭ[L.\gU]*;{ dPSh=[ֶ S^K澅gHMO]t(X 4ֿD甚^ tzc@Q&笑0a+>qaRksYd < ,;gHk|_NAOt=gypPBbͻ߄l4\*kW[cCX B )t9/pusOzYs-'6N!¿dЕ25Яsv{oeaoX<<ԺL2/p¢B@]t< gYbW%@(0(E?Gz}=q eX;` V)$Sn4^v-w4Z·?1P?zv(1~/9j[T !V+^]!nsjY'ryKA$_%Wm~i~o,> 7ccH!jP4=+{[E U4i'-@Aj'0̃㝮F%xބ[ңd(6O1YkhnB]a{LJ`yyͪ}+ m}Eѽ Rc矲!4Up#kҿg:/vEu.8?ug8MBOH\\"&NU\nD06DRc##֤")kþGiyu!$I5u_ Ea"lKdm.Ž࠳= :&T88lLi!TN-e~16KIGu@DU"Kd&4#!; Y?KEgR*t(s"'ۖږl3ɃaoQ#4VsM|sG>鲦Y>_T|p>ܹρG}ovVX@ifFv(zxjU "3v 992 X|%L#mTy>HDFĠh 2" ʎ-OA@4%DMNe{ pօRmqԤ1u9d9?f*N]"ݨjt]T#dqJG/A/>3ο3&ް`[czh4wv3N $dn#uXidׇ*8{CDjW,n ÿ.$n GGr;W)_"}lNxl\OV`_ixߥ\ |_=f#Z^c$ns=,4ew+Q^e_C?9z1oc-ߨ$7S5'I4=PǸhpJSѮxΪ5l?&J?e4զ,C 8])6AX63*+}Qݫ̅ZŬ"&GN+Ȩ;A%)"Rl"KSdrś W~p$}?:+ّL!)ͺֆhǪI:#~pofT,ك\?b栱!{kg۞* 5mH,^P 0PC2VQ1YqF8FQ-$f3@{Rq1HVԯAQ%èR I2yBл&=_4UU|.@SB{^|C6c+z7\C޹U.Bj_(br#WP{TF{rx%,nŐkĔ((N}a]ּvrzLc}ega{ez"7){?AK)Z-5?hokw_ ]S?їOה󐖉E~oݏ^d_b6mv4pi=YGɬWJgw}u@m,ޝf2H}\/|F9W9TAV*ŭPP{3-w_3dQ(j$\.w9˫2j^?ڑ>!@;' &Fq . yq c,WH-h4Ci%MOv_TM79gYZd43c3611ea1943e86a2e6e47b0a737476ed337d0d65ba42434d6727fc7f04b55804d146f30a57487 b1ed8c3121239133acb432bd76f77a58710e1512fcd2e224d93799c43ddef9c6682cae81a7e516cf