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 h%4Ll ]/]HOL-Analysis:threads=6elapsed=355.320cpu=1812.468gc=82.100factor=5.107zXZִF! _W]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jj4X=Epf/<mk`hQP8Gmorju6*_"8 Ean6o{(xxhcPA:2]ʯ3Q%Q1ڟg?zA!/`9џ6GȬMOj>bf:psƚl[{%ND%% ~:34M^P@.Wɣ?MJ=~Lx- fDEqduMqЅIH; z r}]}x!˶D_lQ}Ee ) Ԉ.'CMr}]k3tGlV5x7BºJ=%4^߷>mƺ*%m yy~ܕ3Ѝ~k{Scx.|b ZC8An.E~X\IpL#> {+3!/.g{PȲ K\0Cbk_ ?/ipKkDK$>8L"{4nu )"{ ?蚋J5T~3ҡZ0r>YSBX<+&D~j"pPROdRw%T\'\slA?#0cCeӃ(x3ikÍ=U- /{\ѰnA*4 J^)>Mk'3kYto<[n W^@aH@EtLU:K:ζ"Ytxo"֪Ht&6]0j֖D#9K/kiآ[2G$t8C|zj9*ع IXFNst41(F5z=<_ЋLU+{J*J37x^f$r oS̓bx=fi 'rG"LMʥ1G3hڔ48|FxY|H.uЉhn{HOgl`RU`Y1ψ+̞FƟ>~A:~uumgQK F{# Żqٴ:-Sc#緊{".HY\8ȟ_ D^->2~&ɕ al}<Wy1=A`NHI+s_6{P箔:AG'ɫٟC`&@+sSҹF؍lK6 Oe,|OA9HWF G85+ેy?x6ɫ=?Evu3 /ؤL J FޖPֽک!m\UE?,|FaKj<6۴ڈy#zh8vJY B4& u&}FF9 _ eʐD՗/sy^bjf>Ԩ_!)yr}͈L@^=$UAbgy]+ܧOM-wmtPbp=ec6xTA.D% % HOL-Analysis  D#+b.;ސ8XWz%a"N ^jHwTdnfzC?6"Z`mXP6%{fٵ5,yrz8C>_AAW0Bӓ:5h i˸`l2^CV2 kuy**eW{D,:@A %1H`,=#|*nE nP? t7@lkxsi"0޴yNg(^LwvE1ܮLښA0w$vZ"sfWCjxvB/8@a1^g)؅" 7߹[P?*[<1*apW_3e `p6Zxc2'D*._ҋIx4ӳ c"SuǜlԊd^!8^3,Ȣԩ`bkyÜ7ɻ!+`_z~`bZ}.m ʊTaX~}d V񭈓&[f&Aw$Bn$02KmnۺPL4LJ#%Ԉwwp,dJVOyC{"Kc|z]VDQtr( n@ՇI.iI>qEu䒌4|^ͫωJ:)CZ66\X?`kԑGH7`h 03$. " H{<2~liMR@H2RĒg'|Hiy>FZ@`܊a J,&Dd薮XHyi|Bkp1[s*˟l>PfcwU$x.\LP }zBZv$lЭbA @*,:zGm~ϩUuUO/T >ܟW?|`*XƨtyYHCY&CzjUh ]8ףQܒ}Xj4VK$ G:>FE-gy5Jh`C=ѐ_N~RW!ާG@mbZ!#WPAVO)Q6AX^[+Qlo C@GH\s[Ҵ𾄮q':|wdM G (?|ԩ{Պ]O@KQOv{-BR%PIS%dE=\Gx +C-CRs;d/jTi E_1|>y/%1j:У.{QVn_O(\CêOrcHK wuJJ' ߛHn=-rDm[سj`*HA Y2J-]Ko ##zWQg ai9˜YjWt8gvB㒣 pm#h]fIs8YW[=t)9% FR W)ʭqʯs ˽UڭpdXe'aKZ\}pqe00<4(I`?Yޓ)$kAMg]QRBϛOb]u4X= 0~a.6y[!%i۳l8yË́,Ej2?>ŷcnQ H6T6t&{̦=[`щ8L!P d=&K)1iv}֌o(R5fTJ|f>ߐKhe]Gߏ?k>rX'G1虲M}~mEboXTr<~鵦o{Z5kL ])L o R8,;]V[/ 7P^Isoe=DefXZw3=^k5>ڪ*ű9bN,;VBxתj'$TeZBw wd$pBNcS6S9\!$v/Te)q]uVҐ(6b~ʲC.zA8-+¦1X'Y;+`X8QX ؑJe`Ix:"Aj”R_>.u#A9uHAGbOfM#:α0@ k:!,u$q00nx}KhYskNSتyTiC) ц{/ےLj"aI,6{A; "=kl[`6*Bv!K헃hJA j >3oPo «3eMiIO@^?2^1D&N)^*6aҒI&ü>#)rM 9ޘ[OFa @spz3lYM&9PdDϹbo\|R L2hd:mcDojGhg9;쮜 yO}C %\Vs]k›p@Qv݈o^_+1 -Jn Aƶ:`ڀF*FӀN3G2;saw@l'Xә '$- ᪈:>2%flނS{& _ę6L6\io y $Uї!UL䬽MJ֭5M Qm~D!_?lsm;b"{G2672-qmĒHY8j1iХ2 Y!h?O# ̘B4VOl}$Jm!4h&Gm%IB<뺦/G)~vp;L"퐃VjWX?Q2Ͼ3l m_tsZ-Bb1gNԵv k3 H1V:}&d* LX _( 79;-jrb{9H\JߓtQZMx(XGGTzfAXY4DGQZGӟES;E$<jC4O|׍BR1zXAW؏ T:}#[YP=:Vr\5wK]GO8lP^x Q /iSq5FT#~&K]+UeB?h&ԺHU%< @԰Gf\߂"aSfW&[0z"sGRc7o5:)"gU}{ [ jJi(ph86ߙ ID1Qy\E=x3k}RoZ3d]P6fptF;L%;o`=;,l m{N>Tg_AK=i"ܺ.e:LLq?<>cQ ug1dX-C4ƓH-K5Csyd<㗌#>lrȾ5`G/e2Ub֞],O̤S!k9T Z&a)KkhͭcGԫOKQ[R\KlqZKݠ֘ݸ5rZ$H)cGĿ+;I\#;;ަX@- ΙĘx1(mƗZ:?"ɭ[q!Cr׹Vj‘H=`NyLfUGvd{]$1ץƑ<<Y_qL z|kʃKle؏aZk KЁ;j a,Ӱ =fQ[~ H^iKɹ{2[>"gBJ@J-h(%P+S2\)f| X"w5W?K9)V o'%\7/Gi.fU!Ԧ9 +DF2l2p"'Qc~&ea hQk%-f&̝Ee1'Ɲ .})J冀)7YN:^. -#pdOLGi(I?9 Ae;_}wS Isܺ6eE hEࡌө'1dbsj7+#TMv̾gQ`^p5-'4l pgKo6Sh޵/YR`% l(!C.e k2΃e蹱H5#W9VGGokv10jo}aQ-~K^n7Cưy''P/2ĠȢYӇ_ݯץMio\L'|Bf3^mH~ѣ wv~55Ĝ+0> E?C\:Y=ey %[u@F|eq4=ceg0e8=N4s ўc-xeUcؑ5gwMeJ$r"eQ<ӧ+VSJRb,^:$d'h<6 dl\bfA0'lyQ%f,ڱ¦`I@ӑPe*[]~lN y]hɐysF@x92]\ɑ7S@Y@Yt9*`ESy11 3-#2M՝v'byt>0G;֏q8O2%fwrK-6?=!babbQ5Y1Y7aT-ni}G63SRvc] !m̆:5>( @NJ*qʫÞDd޶jMZ=~m_U *kQ=xD^ߡSrWk1Е~pfSI(F屍\@2>y BXG7Cagdh9MwӘɆ"Ј*UTm3]/r"#i=PZ̔\U:k"hRga*-n#~wp =,]"nĬ!c)3Λ $zغT|K]Gp.jz]1׊Grqu"-=ϩo"0bBo%ce7+/j"mLr%4Lwt0_bݔ@hSt?$'>R .g(0lBڜ*Rm> e08$It2``Dߡja>H!x+xhOj'3РenLmf##^%/;iƩ㝚G1" o&h/j6zRb[m'In&_<ڤ2K8❩`@j=P;@= }1d~(:_5`m?!|1+ނQuj lڣibζ;)&υfRO!,~P;Yj=ya +g|,z7>D-:/G5M:9Rj_^ٻE*70cnTP2*wr(CAȦ/,G^rf}Z,ZK>gjOi;WBD1. BV#lj[2kbzIڋ =uwn 'p/߭ѡK۟|)M}7i*o϶QϬ2$^gI $aӌƫ l2oNw!PȪ-Sv 6C*lA-`J4T+Ս2*ȚƏ,A`8zz_Jw+XsICepb1lJ֪2X&c=g@*ƴyB_C R}fY1_A_{,u.i5z4m6oz\:م¹Gz 91_>jGr]5*~UMZy_m4SԀ:BXx-wfkexawD<*&2{D4*XVVϫ"hVL8,׈ 2ZC9fCfTV>G+eB lWu9@\jF3Sv6/$=/k$IΤ &MiMRlP'Us]_HwɾS|]~L<$ "Oa\pu ӶDDtgvP,UOƳm9k^Kzm~;\ǒpamsR TW=;*C5(ȱ @>UK| !syZ`*iOL,bbσI@!u9P$Ȭѫn?xi@1=.Q8dۊY77Ub1We Vj ´(! i;QoƨX![8v.äϲiٝ&,1Yh۪v[2r -d2@G^C}D8#PBͿ_ڀEzІ돃{chs[{QظHh+<*/%4ƕd5BiQL V{.mQyWF ݋o#MۛS<EooICp9[h34_틹 i[v^wN^!ϯ~~&y&LOZD1wN]:%Da8j̊?oˡ͓NC-)[d{slP 5lhh[Y%VOdAJ@:>&iTa0ZU-̭+võ 9H`ȉAqx}jxl z}3fQ'`a]9[=49dfB]<7Ȓc<]}RZP i[!ثZђB,o`ym rpۋRTxrl i\"`p2?~R5!ك$͖W%m[N9jt'5T<4lUư K v 1.jNH9}hƃYdJ}Hd-50Czt@9{fWW)Mih0P uՂc٦buRȋIRFhKIy( Y6󘿠@ oI8>o`<7<x,œR;fk٭` MĕҜ ~sTJ杍-9Tx=2TF&z g>$9glNI}EȖ1s nx)ն+:"߻KȁZlXXH:3rDiŗVՃ #&J(E UO^n.%PQL:毋u[H>Ŭ@뢈2acuBNB0 eܪº|5Ă}3Ќ5}W@`iPev9{Ƅ0%4(naaç`,[qi1n|xi=pPɲp3z 7_N kޱj}7ѳ˅T4эш6ՁFhPbCWE5? |p^C%gr*J/Y 8zn$x{ԑkdݥy4CV!e>LKbX #V}pkgK\+3}"F ȳ>YTj4v{{Tw$Ɋ)SV*q`pkRjg]IyS5sfũ _΅&'=)u?8VNR8I_p<6ߟ,פ2X} Ti+ܐqw C>Y[r_ ֧ )U 5|ˉ ZIx?T;|?~?cAp$yF-8ι7.{Fn JG81z2a?"DřcNۺuJ ;T)8CysoCWC2QfiYT 0Q6It;OUf=Jb$]_L$`T9!+ۈ)4dz-xe!] ~[9ˠ8]KoR*Q, :(mB.ܞ٥:MMDZUWGDxp3}Cњ/9i3~`b`Pb\Zz*%&3 ֒E'gF!Czb༙pl0 P/&hY2/'_16("ȡY?s~]U"MT!`9P!C46D1i?紋9w^ s?U T&M2%Uvr{Pyy- r\Z\xG/C@X ;jug, tC4qUKu$8Y{6m|{0S좟{;tW bRVQ&H /\2zu`B@R :9#F? 4J@5? dҾ`BYva iDX ?ث-G꓇MYr7yҒLjR/&^a- Gj@CX ΁:e)  d4%h8+8F}Jz["\qnb.Brk{kzR5h¬:3 )\I_}F>IKv09(Zv:*em d1}Q?B\{)gƕjo8A^x^G7 KL oIɫ(t0p_$Š1;m;n]XmĹ??\_JD)3U\A};(uqjecuԩIGrmzžs͎]xE7- [z!gt}x0aUeOmdyURvKu;z,i }"Y{W1 >ʃ -ֈcZn[nĉNm2RT)VBp]`TzQʼ<{9ɺ}K\A@_:mһ)/[cYzl';4). 2R78Bd]P(V2^QbwpĪ.qr콂Tj>Yi>+_k\_[:y:U5] n l<` ;DbZڦ c%Pi "KudVUk<[JƗeSoٶl,ZOEɟ'GL8Q$A~ Yv96 Hаߝs! !B@[HF 8=;#+ @ܰ! ]=ɊfIBH?(SpK(ت,uOz 6I38 k"؎,\lƦʩJqH}Gm-aX צk6YU:J>:,bIgFMߥwz$Jd(8c;Lɜ.`Qn3bݔEU_6Yp` u+T0NҘu8Wd VR;ZzSDIV-llz?[\&㯇=FW}EeuYuL\x+WUI6dp04mԭBDzs1sC^dV,q2s9p8_'J znՑ 3. <6PJts~z" n>&j.Ƹ|=[ h&cڗ NxykPK/6;'v#(Aw͋i`Y'%^;>R;AkJ5z[q>ؙ[y0ggYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4>OgϴHa:ƓF-U#>33Լ-sI;-pKBL6-{Ľ ,@$; HA5$.X[ELʞ*!\ASW՗7򿪮w;1f|J6_"c0 !&B*֐COdH A^GgeKBo B~̖E/~ }e1KB@R/{>if8(Tv.Lysح0D潧t‡}#/ڽA6Rp.|' 8\p`҂ ݹǤ=jEgKhw,-z BJtn@(RrO0 >b\*͜O|lj,o6=poiW4:>[7_oiItVAX,8[^.JV&^1ɕr},Xʽ+)WŰKiZwVA _`Y:MƱqlR3@Rhdg$K -s7N3I H)th]]Z½)p CdzZ9wѮl@MTriU' ?K Vmnqk%X|x;Tw 2lN'DŽi!:;͸!,`Ov*z E`Z_[JX[N^_Pb$`т"{ 6JG:3L$BeTY7Vpy~o[<WbEQڎ!)pSaz@@0T+ЀWcSśnDje8f~7 z&ɫ ڄIp=DgmƟ52k,9Eb5!5ɾ)%fJW9NQu }u6d ýsT+dQa>y뢝v#%nWh j'a*e"=h[ cpMGc;pṙ6<1 9-(~,E)^PuYaK{|mէH/۸&s:q_gJX51lK[T*P^ h%oߒ"}O'k3ٖۨ|uUXr[ئpW1~' I24"9,{| D3l@?Vv/g@ug'V8YdRGځگl9-c-"pS8s/$wH2UTPkKx@4^)'gD>,Y2hz >EBT$D昀KߗN}3ղVO_º +.X&Js:t~#[|jSel[:N*(Ლ7(NzcU[}sGxP*J_3[ocejeD|9Jvע{4i BUyG&7Q-,݆ wXl$~#ޭg2u [W@ܬvG-תQDBy%\<[!u|g:8=#yQ 7_CQj-s\w P& ^ぞu-weA SP7egűgYZ7zXZִF! F|0]ŗXi%G {ʝc8VL+{/%>ߨq'vwPgg"P {7c4/L]2'&$~͚{Gͯi\:D -d󩎚ֈ;#&q6B!zNhM80 Sz9j U5qMεdpĊbhjtSv.<mdC'E)0AZA-5 ]Ei,Pko9]Z:CEa: cE[v!>\D30\tH bxf/7=s5TF Cw6jHrL5lUmͯIm n:_].>ϒ4O%+k  +?+/'Ȫ>Hu@rP΀EeTf}I{ vQ sg`|(k@S$}G#0L ??èR>%m_'P]BLxsaO Ox̯fkFhOpׇĢ}pi@4փcj9oG b#@]mhwC84q(J jm*ˋ6{J =}^`RSn}MdZk}Q0W86_l)ڜM4=O}E.<-ăc~V&!غB҇WF]mռ FդF3TTc  {6;<H=:2_Lemr)'bΪ0C*0r*ϡ2ُshurRͯyEww΂p3Lnz<{ׅQH`X *3ʔŜE HK_80J oUV~Ez?4L+k"fzE{ꟑ}q.RΕus޽}ōZ mƝpo/bcO>;*hXlJg,ۮ# &aոXd68馃h]\kl2T/R&Mu;FR㲼+Ilm${OflӀe`{'+Yq ɏ⏳Ug^ )|N➝ yv|VIa/'$>LH! 1@Bj8p:LXnHNOt"Ynv c)߮θ<99?'_rKI"bH]PFhduV |ap-3if ҽ1A7w#jD縷e$y 45Ӑ&MX2_8O6I&q(pVȄۜ(3qXl*l *`#T+,LNX0COc~% q4la5k%,'HfQHϓvu8g d{q>0B} Œ*G0\"ؽj:Zh <ډzJ.^b`/yzV2ͽ 0Z:>峍tLpZbyoa Ơk#K+q{Y+!c\K$%zQф͆;DEq}C*5`Dr ұ@"B;g9C?w^A1j:Qzyvd%H[WSe{yJgTikCze?OvC/- Gq"E}hصbM+2[].nHO-d-,{gX(:J5M[*_5XYAO@6wp, +LXK>|R g}@WKɘ2dZjI(g?pe"քDo HoA~C4"?v  VV)c~avv܃G#/ ?|FhZuCM3nRA!K7([BT"[$gC_P/ -涁>Kv<s:A 4營q6ڕ iUONrXtIeN1i4,G3񖄈T(1Nz\ogz!t7`y8%I{r:NU &:+H4H4m.s>u= اE%|ag8fǴ~;6]p [p<8s=hFLBjCM~S,JIeE3npsCtD Xycm,Heb3~Jp&Bo!,3&p*BZ_4{1i`P<B/; ǤH:>N\5Otc6$rt/o[ 䫤K`24#[o~H>m4>#qڽF=J LCwݦsńqpYԴ *ލ=Y_Vj`8ga qvbcĤRT_߳>C @QɓYB&/!h|ƞM e$!߂Qd6\~h(Ef{ڲi!E5rL4w-f^Aeę{xvňg٘x/ ]Y:lj 뵗cUF n]JЌdjtVϽrU%}[ij>Q_ Cݜξ`'GlFp=mW{R;nFT"Ze TMf]87}fCw1PVz(m2Yp`83̀(]DFJ.\ z{W^Yܬ}>P>wPfÆZRI`-& D@TPNYqLIK>z ɆԸ\_חB`EjNPgY_[^~K}D Ka<|n:sI0>ӽi66Opbm˨J w sV~4(3~:W8Ta63vmmc?e,(f-$ svZY^.z =FSYrd3Ne8kxozkepapj`t%E޼547t)2-}M&)82< }dԻyK."xv$eeϼ+@bd 0 Z,͍{W(E|,T?8UN_L)؄A8J8By|&;,l7TgvA/.e"foOҘstgq{@%tIrH-ѻo5&$o﷘r8ZjzU:ZYMi;h1b /A.dQ/Uu&1Q+s>miV=ꋽp Zg.7S=m`k2^gbZGYDS(3 *b#Pl@l.n4b uRn~psQ%kBF )кb+e*Rby4S¾=uJHEz%;.hS{C3pl. nUyv{&1>!Q#\jhfuAry.CS V4 fuBkuV?hmYe=pW6^DbGq}E ; \L6g7ߜ$s̓uW>Y *x 9<7.IT٦cާ@g mz+~|71" ]wF|/Oi[J:&+o }F+@A9U'RzTޱY!U6ms͏F5ԅkmXP[fq{LFS9:oVνii+õ3׆0螁 *! h ~焇C*?hWBͮ#7d!<♬=7>H.CoKyԝ؁J"e_d# RѼ@hs< ÂĴ.Wsz5,e2biO8*ZqdGvXl^ F?NL 0p<8L M<[I3DMD]GOKk}uqƋ|02e7|C';6ӆ0h0':×]?aTzPYPq+A95d*!sxQdg;TE*әҦWE2IJe)мUcRcغcJ Ey[ $2>J7 a~W*|v<pīȻht|]뎌eʵ鑺NX[\{IiYQ{I_HXmjqh%N0MCqUg^kO7;#=@/5G.B:. }dB'͠X@u} QWWؑFg0EUX]Z!gs7$ O`'"ĭWTqt(JD\T5C1GnO`>gh޷$'Dq@կ64Y"ǀsOeit1's5aR7Q 0jWEs ,38aڈJʬ)ClT3RP FyI oѭ$9e&% /q:M}au ؤ`ٌ撫FD5A*֜t:$Q<}Ŏ'0u6Q-6;vIԅ vo͊MoeU+,+pd4 k]F%nfH h!-}<ro%F2C>U ,FY +=kƉL0 6tOAy=\- #Ԋd{"Dɨ$/! nu;L[gE99y`;E˲Vm m`mDj VỵJ&R >a&\q6cj9 S8'zA$^ =& 0CsViG/+|ul5l xZ'>k#Vt6IC_ZJLthn hŕ; fJ+"ņsiYVզ~X\w=9?k@Rn5l uG0#, YnOƜ@7èkۄc~*CZЁvp (kZ_|RkJZspk$\Uc}c R!"j3,.S)4]enF?1AO]]f,vʗ j=MHivFz|I'A6BټN܋<3wF.Np]m ʀ+B07SȘΉhw!>ڼO@!~ QQ::ӄ_DDžgk-%U#|èa%2s3g:N2+Ԧ.-xtm-lq˭?뇗< FMK-V7|j :6)XRIn؛$i 0o8Y+ZAqsiq=N2KJi@c%CEc~@/&(!Q^F* W 0d'U!)AE-`%dN[kJ[:)k(@snWթU֔ _s{},&sktJt#V6)a`feQ}}Ϸlm׸GrbTBiaŽ9ʓ$.6ڭt@&G8$Gʜ] nJ=09\?3>TZ˂GjHue*UQ~7=oJf2>dvU/ZT*S@X\Rol49dw^XpyH:SMlhS5n7@h . ꑮgHw\+.̤>k`ɱ{O#9ɬ#Oդ9(tq fh[ʢFf [}0UH pp`fȪ Ͳ84{p"Ĥf<$;`SdIݲsgSvY~p#yǂ̺26l#v{ThsxB45q\$ɕ8()eT-!U;.߆UPcf9E#iHٞ3tD YOBnX4,V/RW u?6!+U.<5)t"D6T>m{W~'O9kHqkv|mI7!Зī"sMjim β~" Xk}0'Җ!j"ʅ],OӢS6i{Uݩ pw:n Dd\vF3˥Pp]`) ,[N鮳/YE:4"M̈2hFn 4~b[+/*/+T[Re\ 󻺃ǃZ7— rX QefQb <NrBeZMOm<7}˻Q](6M@z} ;/-S#M KQmUX3}@6xDU{ LiE(mv/ܩkygg*7 $Wt{F1is6-þ{_bd(" =zoӀe \GP" KbA/c/2wක67[X,]eN1ѩJi]s pVC5̓&ʝJ5O%\2Qk5q2c26p_ԡH^C iZ. `,g,1-nZ:$X%4 m.+qH\Ŭ쪄sI=Wqf>(*ऋJO~3p#FlGZ@"ja81v_7\<$8SeJ?v&ַ-%r>S0)n(O~pë;cdU<䳫Y %Kd%F^L>ڣ ,"D h :_!O0bSGsۚH6܋Ws}uDC\zSk$c7 Dc]낟EDj0ߴ$ rfD5K&.68!iw&nuFc<01IBVXdGz% F-Qѩʺ<!0;h|j亖IW+ F={x`_72("eI?43ۥ\s7J [uJ큭bǨǜ(2a lL9M VuկeR\Yߎ8?<7gXcLoԢ-iˀةو'!D˵x|P&wn]CTpcP3pAt Rd /qퟧIK?ʹU&3~mp+/&rp)F;)K 5*t1ݐjH-Ob!\ޡBs7)2j07q|tNZBS!̷ʾ@S#8ߞW*=d`ŏj_d57#vŀn=rK8"&N#"޺%NҔ@= R5 cC$w8$wT.#tYA ̥O{de7ZnB*IM mq_}Bl'7Z)n@ xA8dʽQ#xp#CR`{JV>g~ַ!%Zx.c~mɷwUnСp?L5Bg4?uO]' ǰ :$̿Flp;],?QmHƉ6"Fw"pLEXӱiÁkէǎ`}q41ys#[€2 Z^ȯ,A->f[yӶあwsry%d(5@#תIo†р2 %#iuBb 0Jl0jrx_ *W$M@4?]|Gc&muJez-#a{},2DO 8AN{CVlf7obg?K^SÊPU19^X[@eL/YwP{ph;R 8 Lc@zg$3tvT+:L;MLc|mJ\<-\%YiߢeR@),.'A`9ɧrF'lӅ+y>H&ytkC )]:"FPidq_3YU8GgNb//X?k\ٷb(QhXEgxI}߉Gb%^i;Tu*GYwhDf"C|E8%o)ɑ{`| `1o+aO*TF8/iEޔ#У.uos28;'j]^˿ jP'+2W0)e9ޱ #p3BWl*`f16}"<e@IbyYv4Q%SkHS/Ӽ2ui+vK6Q ÎZuv'-C;@v3m<ӒC J&.*gݝE_ORw7H F M)]_dpEC&Ɂ&c0iL?,{=tRi0BHw;P+Jp2dA ?=[- W^[ӑS+v6&;`W^1Z!zy~!xW»b};Cxn<+0ӳ jS[3@:&|z\Ny c]>/SX>g8;$h0|jH6]9z TY*n)67Gyj$=rsm)#58땻Z ̚$h G>ӖcE86X}\Xʪ5>cAs5 vkC=J$ $s+CH\Z;=d{sZZ+U(Wzt({UeF^HMƆo0w r䅽 -7]N5݃BqD\YW|+__Gp(RC o0r&܁~SɏX6z>yI - k&?Z(]t XCWKZE,Ou=k'?R~c-%a Fqpt'뱅<>K v#Vw\XȌz-J ծ.fOQ.}߉W@#K=WOԵ$~]oCzpG/C߯+Tcm fsOH]֙~?wUCLwj*xyjD~l%~qdX4%1{ 9UQc5c7 JVefck׻Wgb/+ :U4,O)D100kBSPN*!1{-vt;C+NQZTJu i w=  E9>CԴr\(/p{3*CU1ͻ Nonea-XW7d(2+uɔ!n2%l #6i3U63'7t?⧮+F'.!8&6x?Xm&@xߍ~DD06FŔ XOb9⡚͌=;#kAyضVM)MP@Cӂ3_ͮ"͓z6I}5Mw9TK ŋ==v|-Dl4b%YTo(YmIڃ+N1 } cYkze}bчSc) GWvzne京ophD i}!VThRxs^es'=^Wɢ$V5ܘyRdU4dEz/?'cˑ  &x@ .;5=ٽ1uMNIbcx 7QBMV &(5:OW.cQg’ UTKl鮓! &2P"2,^ ≧~lX=u@SXUJD%^j+=O؄au~1w3*6 BtJPj=9 : -@U#ޕ2=t! 9~Drb3RT#/v1\3uAaP.Nh׽ͮt&"oP2}㣟Ə1Su)#:*"TGS5 lVywq˹?iZ⿮搄E'jŲn!F#7s(e_m=N6L4L8o3*z%x 5HXq3ͪGᄄq⍹hw'Fљi3~i3R-{7>͞3 "ڻ6C#8kZm3MG^՚!?V<wh8@nPyNU1M̎Ҳ'ݯȲ 1'׸'DdAmzCł$uv,XI+d* 1l4#T͓M5Q4Nݎh_~q8q|MQ /Ƞj 7ji`K3먮.q?F %xۻU*+WD-^ePi2 6iE :)$*`$ 6^ '=M8hQnxg'Eʯb/Vw#d= qՔϖ)[{bx8&9,o!ँ_mDdDLUJ0i"꽽r`# 0=ȎV2lծB}Cs>o>&-v)Kj7+0їAH{uv0] {"lPϮ-Ŭ) p3AQ'G#,Y!zSDw'3nMPk7yrw3ig#ȹpKVRI*4)QO*beVP65l7őh5wkc3 MS!fLA0[st|,LO4̳99X]ʸ}7oE\59%(08r:lwE9`݊\CpiAKxh2UCiÔ T`r(NKwxRM^rl $W梫\@$d8"t|?8C rHBcNPQgrQ#% m`hZNr[[V*%Pet/ցX~2Hs6rc:uۃӭb jd5%u;Jq_feѼ0V?x Z Ƭ,<^KRXi343L^bIކ^/3(a|xp;oړA[*+ /_'q7hcbL,.WF3n#Vޘs pg4KX( fɮ@(h]%G(-6f7G\h[zűA]q )Yͺ,Cm=Ľ?afMoa+A3[Ƃ"aUA2bi2Pmup{I(@Gyrx2|1$$XXtT L4ȏ%kN} RL+ ’t*1͓-?ua/a~+"M#~BwJgaZ;=8OR@m& -k-\ſH;U˭b]SB{J0J_CooC-7$~ jO C,Ps*+ &d+)e1TBLn9_w*Zפ@-0ցߵ%t X\Gaȁ i\!ƈki䉭\Vhq~4'B_Qi8<9q ##~N-괈u #(%u%*=Eib Pv) rԴ-?)k#BkM¶f,aYYN٣(2Dž VG.!pEg=- 1,.Xz7 a[ T%u֝}rIgI轻)s|Zf;8EvJ_h7>q/L͟ yE1AȎM;6O/A[b8{wBN{agHUTjz|hZ*33r@#I]V/VȂ|\ L>@|+- dɃ"zt.]_"0OnihE/e[7df5iG 3}Y5RI? fġ7q0އ1p sJ&㷤W&a/HS0cW0\,j a?Xl+4BC%Jmx2VGI|r1 /pE_ ּB~`2xy+A:Fs5/_sDԲB|9# хGbLDi!xt1Oi9]mď&&K8-986I ɿ.2z91!&rB xA,'&4bAkj"uqGTnbzM90աӁ~#nHp(jX[_8P˛T!w2E2_O?dCdݷ/g"p <ȿU11`9gJZwO"^0txP )1iDjn㷴7L6>5C^na ՛OgYTFas_[֖!]660$Wr"RVCbN$kITu [Kmm;aTo?9y@~u"2z^غJ!ȖnK9)S-bUGO@yFZ4B;#1iWz!s=5*d 'JJ)S#ޤexqtd5_s!* %|yUJ1Pv (j{Ѹ%Wq׃(U^֞J@$%38 F[1%ڹ岠>^X M3uԳj3Qp0#P+5턀7pve%x'[xag$1,ϫV1(_.t=W?&WJAw"eU''zQ+A@4ƊY~v 9?)iz_'t[UCHlBHB"H#S7şbm~3ݸU1"5S;[;A.y-E^:~/±b=t,hP;Y\3g*;q}P@q-V.W,gG5q.LyysuUv`2X̺RFDO_"z\qs5{64%'Z@Ū1 5?Φ,h`v ;Cu]z)RDFYHyxÙ7V,H3+k9? U3{Y¥Ĉc<\{ЧQ{$ [YΛ{W,p㕛 Cպo 5A;CF 40J*T9&Xh|#z]iډ.%U#+<= ogs6h%?7D2&ߜQʷw x_[n fIl@@`%u~r|gY_P*Q߱4-+vyoZbNe~B,JZv zݵ׮T_t1;8̺^"nTMv=S04 (NſX:]J}7Rj _,Pk5;!Ғꟳ\Opj 5h<=**~x `W78 c Q灣qe4!Ve"!yB難?:Oυce4k"lξˢýl: &N/z3yi,y݆Ϸ}^i\h Ia ΐye<7/V6j""ȣAEh~ah|Ǝ8d"xׂ--vej̃9oY8&.>}JjK˫Z9wc±WO ,T$ UMN܇ _%dWԝ-kv1g}eǛ ̿G0 bb;'|.P fq 5T ؃wQ <8鄥!利0@56i S֭1MА3K}b3ZV`Hѵ_7\-H^/1_HeMd#rS#Xu:}]:gF8x6;;y۝uQnTR0lyqˁN7>w g54ܤ5͡jCVFD#Enx(bZ?\Iϙx,xb!blP{gtmp`>B-eb>L֌2\!lwἃeLJ>mcͭ{<-,WtDHCe%W1!* X&HpV tIK,_ޭz 0많p|!i7UoWq*\"&E*R%L2r6L򔴇a`M&+NNgQ6jPQGG-fdqVJwIk"6Za0h2'+aJ?>OO={ݩ7 ωGLP<p91?>]t4 n;|Iz% c" 6>iK S ޛĬ-ؿSMʰ8}%E\U!-9#%]O-lPz5nv!\!cӎk& Uaq)qS@8s ŠPJE:)8Ώ{i@r#&:v cJ=!$ B}٫((}8# ! Jк R !Z &JM.{R~Rn#ZN~W&~-vE磛\tNP DH9t57Kk̈ 6w:p/.KNhH'B$̒-cj8Sc=v40spOj'lOQtvk)˗5~jR=9~ &B@|8 i3ű@%7V"bԁu}$<<{ (BD2 M"hmʱ&ۉvQL4#+3`a>2G~{7?R=#h&w~s:r7|?xk@7b5w|N%eܗQ/l/A6y:ó/x߶-,OFd'z);R2F)i' !r˛(}OOuz/ |s_GF;qU#X< m4 2[t/ۈPʾz\E<)u [a?qW>[qKea~duAXH;|BqV<J<QNdwr˛@lHWD#k`4&>P:<vv\-ң_^} 3w:f2rᙣ\łiDnzL2,US4(5GH*3޾/ZD cl%;K?}(5yB oC"zhɛy֕ w&$)AJUdO'/LЮLݞ7@*t:m|UXD P;cw4%}\B+`A}sA>}8XD7}gѱ4l*VMj$\!ev-3d{$g*/6` L z֤͞џ!-Kh4-h#ZW$K4UvhZQ + Rdg8!̆X ?7NKQYIKA/?Nj饼̈5P@şyXw:K}|/^.. l5đŴ_%Z.e4N-ANɫA :Yo0 G6^eG0a8)jޖ4!k+ތA4`^Eq ˱5vpP7u `;$"P{Hr4`- 쮠LglU~}5/KŲm mV{ zwJ>Mh'35G`#0睈iQ^[_i"M!| AA{m k^ m脄 ܨkVLOGO۾HyS5 N}5<'g̸U67;:Ýi?0dq(M#bx@ٷVg  ̽ Z]nmԹwqL+ y5yĦYT"A}x8|k9PVnRobVH6 ےq?0peFx[ꨎ_:9%d`!aUsSϓFh#$t}찭ȿT R\#1ԭ(#L(mfOMOlSk?҄ܚ5v 2Gxu=OW[PzO'QD{=Fq=Mv#7)(ӧuɴK6jD$f+] 3\U(Lg}}xޅKjYQ<ޒDUf|Cߴd?կ.A 59gԓ]:dv5V8%u3r'5çEY]fU^\ZsDǠ=\\[`6@ɛZ(Nn5!GEY^#{mD8ݲ^+5Cm$ԓ7)*DJ_(ݡ̜㎜7X HJBA/NB|T^Aa>%"/Լ>jC(X'0WljBrxx&lfp%N 0{3 ;> bfՉyU\tklQ^;t[gQK[R9`.ǚ\IIYrz~իž\.h+? @04ã=̇^f9jrt{uU<@ꌧ5m:S"(ڄgdЮp4 ἡ%e&n.Tv>٘1^KފoHhٹÊLj{-0Tw rshY^v]R?pP M3ACiZ&#U !H|#7l ǘT ؊bBNtLK_c&箽 Z Ws{9@"^Ʋ?=Ԩ +nmOɉBװ760!,B zK\^V~ 0|zPB{\qjƎ]_,֕0Tk+A3 @zϕCKrCpA$=EtcIac$MIuMzM`W:'ijB-7dpG}? s`A q@-+eBl]$^sPA-zTfwG'6|[; ~7/0ˣF^xavČt[piXD$<٫9vw; J |0EC/<ZWRpO0ݘEiv29[JܫlV$^..o$`Qk4KEuO#x]11_"&DekT'沴I="qc< q(%@a0r36Tb<'2Դ;eDH`SkOQau#'Tqb@Eu| dmB~i{D6UjeUYVrD}o6hnaqZ=8}_2ԋSP|0^7{ȶXz8\ ڣ[8O(S/ K3[TPSo۽z)АwB*_ v? WE_֕1~vԮ&LGzt `/ɘ#.y!y{C8.:S:[cy#иz+' (SHR{αV[zv2ڗM,䝲]ŝK52h/p 2֫ ;txH;ۃiYʴuUU31׫D)?/Ձ?}p26~y3td@P߻-%Ӈ?7.eg`ۿ@[(HVRx́:ﴢ ݶdf_Jr;!HL%;KIi})*Q˗d(  gdbSfU~cu.,e@ >$;6PxTN '5.8+iBIdɷ4ia;Orʏa84|UÒ?m ܇HaiWR,p tn\Vdַ 5QPH~uH Uf^* 4)]/ػ$ᇓv]k4,(?E(B=w@'.7uos\Z˾cQ'̋_}xYkFB# \1Y/ޚV+d o~\xGژR$d\0bN 㴞*#z[|%$Dʬܐ79:q?@?·ݰ۴L:ĩMRX,f]8{9(ު%7x5=(鹎y[:{OЃa~M}-hFx<( DḚwIP;ms<䆿B88,x55omrҞӿ xx!~Ī1JhMW\O?Pu)<7ӵS$S./zM s< Cj$-U s[)Zh N7i8_BjH:cZYBo'W.q;m}dvLuɤ-" :w{oGwrԤy"&ohD.ad' ,W3%DJݖYg;xI);$\πf^52E d`4vS&Q9Qv7]n2RCe!RG$xzx1kSz ˶B҆EWtA؀1Ǡ6 6σ=XGMdfl`$4}BVtD"iפ hGzJnIA=@2hX_Ra/Pܓ{:;!:ޣK|Ǿ{3jWW.&q9*LP|;[C :iތLu=mMXq?Bn%%FwH3ޝqDK6> xsj6`K%{d~JyC-18/n Ky-Mo6_^~HS+դ_29kB[rO~@*3zq6Vw¦D r5C :*Qͳ :pyBrr{Ӻ׾b}$?.;-{tu}SAJ$ei _1Bb($_:)dqԐN_2_:`IIt3|sN֥dq+^h?jnZX\k 9<'n~+yogG[jSGty_c%*񂦹OBao0 aņ{v pa\녷7G,Unnɷͥy]KMZc{@1JY;s\nR ۷!:-Š0as5s~&õ*@<5!>JәB&:`h!A.@-b(yK\$w|Iu%FLHehma0J?bH!6;&Z~n deE>$گ4UU5p~\4-(vP:Wni[GQ^E=ӫ/=H?@ܼv(7q7#nEUSjJC9Hy޻yx8^cJTXop ( oߔdmm_Л ~[8D=W99UjJ~V$J"83t_3΀ ǮׇP͵lyhg}dE zY-LnwH$.sxcg"/L|O{MMh,R\3y,;I+.+`Z4'dp$gF11H,PR d%up'ej0rw5$7)Rxk[\8Ch]x 9~A~ $$.׍/f:ǕMNHZGX-ME= !7\PKx&J[ Stdl{RO BPB^=8 g(FzdЦ|Odzeu'24K36ϫiD RV`9aۺ]4oMaZròh(>Qhb];Lұp`8][a-srC7 Y,\x;؄ibČS f^&,AMqSP"v5V_<NjF\ /Um#۰zmWePa;$3k;7)ݿ5˓e?3URܴf.#D,|n;4gg&? mjhw'e(UPkH~[] t#և!B8i;wioN]kS y[jV1߄(~F0\.DH1AT`z{Gb@e&'dN`h8)[ 1 82ojrֲԲ E 4si+f׍׵Bx=H^Һ4r%#Y%>!j͙){hzxBmة%2mG45DյY:$gsxCuM_p0j7ͩ;>P2J λ֪ x9}PZ4^{V{w;)4.IYƚ3M#h}'!e)}(;v5Q%adX{ }4ڂ){SDͥ]D]|}nAW]꾣A`Ƒ/ZӢcxS%wSd,ZlE?R4/ Lo }w{ܤoe,0!K1Ty'-& EGh_Xآ);y!U5T\< x(F5@qI`77BhT\7Elu`i=% UL4񜚃De /Wo c& <Ϧ 3ЎwdN!@r"ؾՁQɖ ɘVJ6 W!MC0l֊"&[W1` unBmE\mo;JzjzRyʋ{ )x9UO /TiNsZ;XQRkꈲbU`C4r7ً"x_T#G#utD=IoGqz MYf6&m 0<~HWӢrB $8ESKth$5!GҾ!<(( !~X%*u{wY)2 aEF}epq9UfHP>wprm`v!|gF#O%=; Ua+%1ف:FȍzqhHve*B1i1LXE펏lHԃ4MѓJht:(' ޾y|> 1.)hIeod fNO'`sf'KI .t.Nn8?nǼ I܀u!QKm]4Hzcd*'mZ+Q%Yyw:_՜hAzyFKbz[thɷE5nZu=h,┿ Q*ScH:<֜~^cYn]27ǚ.[k4)1!Zn,K]Qzͱ&Y"$_*WU]lx4TLzT6 9|8U3yt> Y\;oU9@9]=}dmp|t[r  X@wnzy4 ؕ֔xQ(!@7/"-I:BX\v(:m'&#}dn9xm.{AV'굸6}Aێ1s(A8. /^Rnj,YgYZ0b985a7db143edc1f07604dd4cf3b0e9b6f88881d9de4481ef2a3da825e23b700f29156a5eff2e35 d32b67ad46e3370f7ad64c5a6bfceb2624525a6f517507e3c1ac3606314d365cd1e9ffa3e974c0a5