SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ?#$L  Psi_Calculi:threads=2elapsed=616.319cpu=1120.308gc=37.272factor=1.827zXZִF! ] ]ŗXf1-/6vR[3:CCp w{ uSZ@B_ˠܫ[0昿4q+n!fh$"[IQPZU%@8jR^Һktj|/PX^,Б?/ו[jU3{pqbS3f)a/ꚫŽ=evG5Hԗ^WBEn8Lhf|%BRqE> ]uꝫJtK2p.DU+p9@}5MYzA޽*5Vb M50`8C ӜWO(D^#aӶLc@>+{*2hYr76%'R'=UbVHb-P0?4j Xp7fH#'qQ<bƿXvx]]})F^+ BVbL<+`M !J?"nɥ&2ݞ)*nggPsO "H\сObR _{J:Bj8hGD|;Ç|_-&~hN0*ʃ 2*.mBw7= 95x%`cɍpFƚ =k ~s=`*q`)#1dj8o(nXRq?H}WؘrG=""jAsE\{~3Օ;\tX{L@S[DF_Z,]-aKVEC7pp%yɏ#ՊrKGG[3<=8"in `U2DYϩG]^cO$ka2mɆ2.B{.4?-xVZ!4me׎t}.$CXr 0N\B&qxT"XtClꓵ UFmM\yB#>P=E[5FK[( h.H`'IaTm e pG^\ ߰ bL+1;GrbE3Qz]} Ӷ #gĕsv U_a2`6K*+ ߬~[Mb+3;q|[5^U)  # Psi_Calculiq:#HROd>vgs`qNJߍ~YC(bc %$+sXk{mst꠾i|]^8@AMFywkl[ktpx-?|s+i/ʛ~H !Hh}H9FK0rn*ʬw2v6A>O%)Sb=kN2ր^},@BRӮ$ʽU[um.|-)'XE=GWtԠSd lh%Vw< RVB<{^k5cfbXZ ZvPsSm馅}mRHxs˯hMߙiDg`EL,;$w@-ʔF 8Y2I[+Z!2 *Q+<^1<vN?5u>M- 9UXm3k35 |1R=T+g 18#}D27)(srk=I,݆D|t{-_ bQ[e%ڞ#` # :ώ>lLͳR~&l9Mc liueG<%O)@Em KWӱkW?Ս?/ֹܿ~a+X!zDm~V) ZҙX+l&vxVΫx!9>ANuhH<%3Fn.]z swc-iM6PX (FjfDPX jcm(A=yg 1Il:C&i NHYFT58(ALߜ+nKgF[ǠW\胝{<\~IV־p]p-Jd=gR|S`V!'ϔF_}fK;Cu0C{ <-'1SZt+ ^y4-M*uޠ_ 9ʥhWs r9nEw y <ں' 牒ZЩo$ $BqԏL{ϝ1T]2H~Ib˧=%@7CZa9ٖꈪ{Jk%hs.SBb>L6=QmYu/31vٹ*¹ n&.ڸX@ySp+pmQd( ~ ;b)@3"}mIEQZQLcq3=CJ)bÖ}S)rE`n޹,5| 7xG/:֛]rzS)uW#!<09zCxmXyv[9@a "µDaw8:hHN)LFv%Y ~k 15U48ݽ`]mSfʱܙ, {p|ؙ,@bO(шd 2TPI["Y.=|h݃+ď7[EryD*H2lB{Xgyàfm|J+?>0u<+[Zc<Z}cFab6 #NΓ63h^;}ʼn|d50POk szBS0_eD*ԔjrQV@) *GSC8йl(POd%H}e@(o2!n 5r4!/cRzZk0\:, 0z (٣?C6ka2,9xqTѦ s^L$8#㓾WuU+>o9 N>e -:ʤxejB 4,c6S)5W\˅uN`I⪓{..eѰCZ27k-dsgO8~ti16BJj]d`KP)}~fzs,v ߊb`ZQ~_޾ TsCiJEhVnjn $9L XLl Y'!v(AXT%ـSLbTc xE!@:h. 7K/}Y3fQ֭օ)5.7r.ƃ%vʈ-+n[ \X Y\F6Z>P=8eAo$?SU[/h;J!kYw|?bV'3ӏŠ&Jk\B峇 [ovO]k:O+?PlʚAR#JE5-Rɻ=o߃j:d Rut"CSAԮ0S!^̍Mz=.|fʼnLؕ1F; up0OKcw)!bgfTg*mz3=ֶ kM]~IYiAay me?2pNWnB+KUT\fo4N))Y:'Vey5?wJuBڧ-Pїڒ~(5gc=Up%_F[^Zl3J䮐iF[ԢmƝ#Bソ, 7Q< `^c~ء'$ &] 9z21eC٠BɎHjR~e|3JDTHfNn):P^W.|0Џ0 a̢]6q=:4_.v}a/2OW3iqɽzc;h\Q"a /] 6c*yRwzMf'`eZ=&oFrη#@=2a`<{>2L$.+Fp%HKDb49^0ZVB59;uc0E#8M$@[N1'2[ 8j&{}&Cx+: f;a/P}kr/2d\2@ f1MNJ y&Jurz'I=xL@7GO VRqc@W궱v _mWyJwF`+H)=P1.cm 9!9 ӿDXPIa$ۙQD>?%iQ7%>ܿU=:$*)\c}IrOރX{Mˍ#^YwֿyQH16=JaՒZ{%a$zTg@ wY'`圆"mB2y rWvPw r*yRIN\ay&@2vk@[: 1e|S$sPg LK3C JҨAW6(['ؙLV]}HfNYDB6}޾G|!f$Fgm>;\i& c֝-< :[*̫nٍ`ԼK + c8X:[ LgYZ7zXZִF! Ń]ŗXi%y`BB{%@_J _:J6at<IS%9Xꎁc>z iY;r0+7o0(m<)/ffDL 9O@6| "0WDG86X1G Cs+$ܤh]$\G)/rO3[A~PtG,nU%6F ݏ4酎K귘Z@fY҃"AeKKBs4 nL3?5ziDa+`l:0brBwqN tn,P H,<9϶(Ok^^1$HȺʰ98'ɺ*;7q,]knQD\[h0>~5[_9{r(\N}Fn=Gt~PSaaۢ>c{^-"4ƔOx"pU;r4rB1niie &ЉU\S^~},}Ts{<ѕN1=ϩ n3'M6inwpWA$4gَl./oZoT$O2AW^vҮ)Kk2b8t! ‡yqP#P)t7R7L@ѾPDINyZPl]y} ؊p(a\ )J:E24fu쯍rFWsJ+nh#49dp ; wq͈ bH5%PSy<VfsDS+;eb_C=LYhwΏ' 38y RTWdX"H9nx#Gz>too+ ,8K\  As[$Yl 4& @ο! PHKmms{bJqT&H KBAha}GOUh&C݇!cd >MG;0ۓ'?_=jO;hF"x4J`2iDqlb=a2Tep&a7|L$m-{=>Qy잻e2Q\u\,y|65Ə) tCOрL | d%-x; 47nXu/“~eT|ea]HlTZ`\8@IKgm\O2S+)De|J~2}7Uۢ1qMaUk7z~clH11 OJ-/VUxE揸 Q&a!ͦH\b,diF{<%ܣ˧r}ߝ**_O-rc*!BqnXl6fʧM*lM4!냲LS/W0”.&3z#2xvܢlJP$`и5ͣV)!&l o cuk9UK\п;l<-w`Ga~cl (_yn1CԞYA G!&ȯiM c!iYD@ct^8xuuoL{XkPiKaqGô+<㒺~:k]{KΙNLծ,4c`[d=p$ vw7KxpO ]ͯ !L$$Mcl5ԿlZ2~" _uft,ep?Ijkt٦Y˛,UW E.R=|S^՛}iq#yPmF@G O/%\Wf&@NhO} -=𣺰YjLOi _>%2âOj=p?p#xu͵WK`D_^bfukj!ADjLGùg5~9SWzF<^~Iq(tYaƴDW˺MR_=XOA&ރNG0)J4j/^c_;TC = W Za\* ^R0RX;Hي}j7<]b/e6Py|⑋嵯r*zw^ |MLMc2V&<"(خ}/>Du vӊ-{!閞`EJ8=>brߑf lD p|sN1-lL1 3{'%ڀuѬ2ێ?ĩ# ^v pZ{t>FW_P柮57`xLlY~H >c[F8ۈ_ge?8-eaCng#=#g'"4m _MUwIS>m_ĺ!9O$SOOJGAL ;OU_fu u%\`BΞ_A+;>MGMT;Mc%H©Xx\C9ĭoHc5 һedǫهե"6 [M. O5@ t&iTUz!r toZm\Q7c>(g-ogATkl: 땸Rr'k.$}8"CyM񔀤:0zpU0~lؖ\N_=qPFUmhHm65,^7Q:aM[ vH/ki׿5$aM}XMxw3?S-2" "G<#U_"D,!Brr 6{_kDh$n9*Y:闻1K>[+I5DD7)̮#n7*B^gٲxm}\mƖ)+jw#JUϹ<BŦ\2ܻ%Q(]1{SD}G=n4<}7îe]If=^&uu.Lۛ U{%e<-Sf|HOՖorw2*m7de*NƚęAŎ4C@y6Oqjq;_# c\$/ 9RJk_9B\KHѠy$ċpygيړd8_Ih/UIǏ7_7j!2+]ͳ;K& M(FNt(#(ى3Yai6hmX6LjU[˴Dž@e*|YH94Tݢ!R["X˴4V4Y#roo.UճۑN> 3lj\c<1Q"y&|w<=Oq`["qIyG#L9ayK'"ϼZQ$mp>N!'ЂKc?@!#_ SUףV>K[׏jLo LN 4>_FFO;KXtӒPѯـTe&LZbqh{w9`Ұ3:8fgMt' }Ei^$,97K<{!iJA4ZR6o;ц91w./ 8&Z^lt 6Y(ƒ~!yocʾNU($T!ҊDh&ܹ+D2CG <O5DڜHSB1Gn0Ms&Hnv-^Y }dr 8XALja d;84Pfg msT${37_IYmd>9I\Y|3&e3_ꂇ]XZɺ0)½맂5,/|샱y|:iWVR X.B-{y>Q =?!kU1YTu3F& ,BsQ@%-L@Kt"N;UƫU?C_noPb_kTQ+rɰ4Ep &>V%o!jN$u,~:X^Uy>+YC56t 7L@/Rҟxm;Ƈ!izd=DW8a(b }w -x%{ho'IH> +e|D=X؎ eJ/pgfь\6mkɍ­07S;< ')+0R&\RL?Ih#'K+y'#i+հq6p+u=tJRp`B]%| _^?Iʸ<*i3~LJF-n pż0ܚŌOQݔO,~]xv3|t?|Y)T@%5Ld/քK1tPE&O7&LJ=&Jwev(lt7&#,rL[ lZ pA~k#`Lqj!1&*S*-vWU|/ˎwS9FN69HPNᭉIHݰt৶W6{ Iy#?ey ݱ!p*w: Z E)Y#װ^]EW <>;܃ tc^3[s?jWca߻lx5[UNKֺ٠l"LP8pe -_Ğ8Fn2/S5o塩&-ůA |moxܨPl=d_RwsP1Ѹfv^Ȣkw?TEqVi"p6rudYQiזE{z!x"lvl9!JIRWA YmTϼom\/ӥ0j' {!+]7|66%m8UWגƕ%@+ge  WeD FCj.Wu0 -̤ss~d&R<)!27~Żx5c Յ.y1+a6Dza3(ds4SVW(nXQ'+ UIlbqeCCYQ}Ϟ6$2u%o[$,x\W4BY.މ 9;~@饬}1IA>F,:J*vXF_T@ &SokP7C8blc5o- qYQ)}5SRDws}{eJ.Bqz3h$ (Aqfy yqFo:PlG] :YSv#|ӭW^{0e kIO+ watx"JnMV.uEwhI"fՁzs&7ƺVW@߶ٕVY魊(5_7k/ o*ŀ6\e`*⧣gIMuo箌% i e*F\.IBD@rJMXT;uMVB_SS՘/hl]%+HcY4}-yő];@SG=ɱKU{V*p ֠4Ro-|~j )ͱBS?A3uZP`R7kx 2嬱OC 5,5RJ |FP˿12@P؝fZIf eP_3<,){o %ujϿ4oVZ#f)2Y3m&58 pɌhmɰ,MZbni< +(:ξ|.%sW˦K&{w<:sՍ7Cߩtv`IG177Õ_%>=bOTdnS4Hh@\_5IgBD [5otlS+z\UvjO`Vɹ6fQh9KMpY^@^ aw(+=O[bHlՙxb%dR+;jRR97upFm'ƚAS!QR}q +}s'\­n|aS}\6TMk<mOp%)̦7$m>`ɡJjNLF ?U!*%U1&ruyx,L&g"\֜H3zyԮp6]]F}=si\yۗJ5:_0X"ǫ9{ybc*nk{(BF,7d៣[ۗA~M^eLf@TE0! L>V,Czf+Ͻu ?՛«)cU>( lg#mƢlݿ%otܑ}I%y3^]˙0!y` X0ӸI/u㕮^(Џt%UR[)̙.Wpy o'V5N:|&/)֠^_MGe2.kݸέhuٌ/;^X)L դd5iJz[$6$Z!w u#{Hh6Nck{æ$TŪ#H>p4ncVzBzjer}!wQX0)_גt}t︖pMGz!]:XաǡqPãUXeG$g0Ȉ%"чhuݘr kKuLuӠ6)43_)Qu28`g717pyͿsQЕYVzZҲņ ;Z (`ĺ#CT,23SVp-.Jt {xb=5&^mpv37/`-ढ8ˠ?󗿐(ToSa0R5HQ=Qًj*ׯGJ, CX?]W{5CD>gqw#|,ҝ1pcĐ2 ߈IfdјN8:OGւSBoo3\FdkCgp-hG/h'?Ϥdfjf&񖕊hDީ =yD8| plhMC*Fp/ jϷXO8iZ,/6&4sB6/uXl R xCńad*F ~RPjD=՜@-4\vPsrb ¿VX,]ԝ4nŀ1t+,uKnj,֚9=4$%6J~PDVr ƹs )Yn1,Vruţ9CÏ%߯ ,Duo%UUh!ӯ+ACR돯< no>9vdU!ҤpS.y5u>$Y KxqoRι&9E+r:jOjVGdDSӐ"n?5*V^1wsj!x-7p%/FV˳d|ZP@qPRaԯBB2;SZW1Q.7S\ rn$+Dv?(aɻd=刍, yyd7o!G;BƺDAQn, Wu@py6?%{{{;GPO Պ6E8f g%CчUċZXv;;~xx~pB4?[7wm\SxӚAC}/5Ug.4ȣ*hcJbژ<ېiN`)_M ^.k{ G/: ti8?^sfA|kNΏs9$sqr V:Z*`#lTNշ n%utһ"uJ /X=$Ȍp$v QPyoo׾!1B@`fz}6i9|nMMvh`M!572ey L!oF%=G߻R EWN*v.ARk? Wso^vY -]BNUrb3ATmCŔbF粆X'L%e՞ǘaDtVvy‚(6bba4YPqW^ ]R/nz*-/UvٙN2?OEeH&+)a2?4P9@:B6y*62e`nQXwW_FЇhr`x\6ivy[N5Xswxg&2jk |#tK1u=9.pڼBM5oWQ:<.&Vfi$xŌAD1RLc_l~GS^T&bv ֏"/ҕ%_u@_[47 E|Hg -7  <_E=ŁOS?fm(=J,GV= @-WQ7j\gqb4@1[@^*۶ mqj5Tsʹr!N G|7cF{RP b1[| =8ZLc|zj5Y.TЬd9<+ՋHff3EQ\0+A2ZB("^Aߥ'#ʛBql<" nSCS,=^-b\xnIwS1Wh:633B'vY%a~Wġ/3;ŨBҷ% QMI_Lp\nv-Ft U L0YxXBx=sM >6%t>}\ 1T`cX#F]21 7XHVo8=X`dn< D.ueNrpVD&,@8Ns̺C|<Ἕ=*=rDGpc ^(o\!sY7껨+rRÙ ,5yH6q>nh٦NMg8B_^ySOE2w-27T;2wvߝYMGeWwCj9_.RHD8UX &/^?(Z%fbqaN`:,dJݥVOqlX҆:iz1S'lvQi VU#k0R( XV#x ѯҪm[<8Bc?-"evHh۹&DŐs9]nF+@xve]8nNM c,|Uc~Yaxju pGqg/w痲 9Έ(4K4xjĖ=(wv-Lx|:S7,D)cCc4uFׅ$B'_NSjOa$5i%:p1 $RY$8j4}e"A8dVK4Y>QLRB?4NkȺ:ٴGi; Ywr_ڶ'vqKmZjͮf;x>hc(床50GKcT dv}s/,99|oM.2 c:ZEldl*>Ӧ@x$YZ2-76D~oeVYGZJ iwQѣ!h Ǯ |XX_Ȁ`sTI Iu6fz[5f=䙮JqY{\ )"AK_4iDNzYv WHb#:ѳqߙHM'xeAvF/õH/47 ԃ_cdfamB!Y)"+ Lh^a^w?),BX grCm^WxƌԂ˚ãZE3(GB##QޑK[5pŠk_^襖O[WwԘ!@۠ !w39\TAL8ûEdz@9Q&2(Ҽ sD5KP]qo"5dժ$'\T8@w=k0-D!D[]؇R6S~Rޘx;=:)ʳ-K)`cq& ؊JE($t"ܭ6*^HQJX|kJMrTB3‘ TdIث5EA_#W+oa陮a}b\v3SMZHƨ(=:wwX.z(ꂷG1Xy`T[aPzUkMn웎/㲼(oe{S?1 !ֱaχ?n(.*^o01=z PsﴎfJXJ jM+s=("{;`gĿ#  i2D?dˀ}4WiMyS5#!Qv鉬r1p. }g+KQ鎌"dB|ņ\P\l\ ?r_HSѩ po} >ƶȀB)u:")u;uԮ!Q^qMѣt`K/$%"? TceBiO}E*kkFOi>IiĵS)nu g"QyZ[7Ng]D-Sx4E(;00+ekwxpWDۅ27)tOh{elzoi0G~$FK_?lVᴦ+f 6)==pPԲej6O/xf 7~ç^{t qYDqKտ.uKV 1Z5ۖO+lMdQrLd{;T^Z0'"okN,z` ~mh8#HG!o"J l8>h ; ݸ6y1O+@KrğxVƓI{t/D?mR@q8r77t4V:n){4QQ*ˋlQO8ƧP\Mek+-XГWƻ3&\M>o^矙@+ :I8iy̸n #ʳ@s~X ^PvJmKUMEs¸2 J!8Neߏb}'_>6<<<Fgv_"[ ɳdHlv-$0?~r2 #jOPSvп<Ơ(AR0L× 핰*Э0B" DeܰV<|IH<hىZm-Zg;QB4ݩH(vBԂ@& e*[-8|3A ܍TRo @eɹ*[(m~چJ#hwGXu :`KYIpxiiJEӞՇ{&+b%^IKWЪoLVB@eu<nOP?vtǀ(yiم8F7^kk04!{)noVI?̲1#(٤J'Ij?ϯP@j.>x+DG)bLx(k̦sDbH E8pZFPOJ+o%}uHgl]"K|bhyNbEh4ѥ$^3Y% >qGCG}u{k@GX('^q&$OL3Dr|om&LBO[zE7%آ>>Ut1"Y Yd[+|oP̛qifs^"*<*D]ש UXp^&nd12>8 T“,**^%eK>IX1)q&AeSZh!^i 0)6 D>m}Lq! j`. ʢIۗ.X< /I_e۾Kv@>FH1o7K6zK8a/QڍUj!a&ܜU>Yl9Ep1gPЂ o̙j.cP:tZCS4&M>UFҀ/Y<0FLmBV9yXALJH _qT.8q*MIՙeG~n.~q* Gm*m*8C n[UOfco1iBfcc]%~ Ϣ2X+?Pz9>9td#2,w _>` N?Pj*||wz#JwZyWe[!'&ʅ0/i9 1^RE/x␇5vlOACL촛Z-/D^dly C2N({LaTjp3>\ ceF$4joПy\{67\˖DsB'/ʴzۚQ00g=fY)/ ƭ^ UP*3ng~E:cٙ/q+!Jy`y7@)D`U%LW׋ؿS~[&<<{>'S;t]#=b8LRv͢1#p ʿ`b`-.]F4{#1oOv@`o*]PO>H늉zR9 Flg7vP D`Z}=0Z7-T|]!PK-n*ɵ|$Ԅ>72~~!NuFpDQ.dno:'G)2V[jiB5유(FzsƝp7j3q|/<:Dg tv*$M a/N 6+$̂e t8Qv\ךE<5LoDq)>Re(}Q^=k%vu/rfRrzE>}tbw3_S;|F%rҤ׼I-Sf̾Ё^ë?+7nHOU?H4'_!@I[-k9KbS"y+zJY<m# A7M1ޒNaIl%岌 X0Kl`g(W+U48ϞH5RSԆXr Yd ۃg;cV\a8}[@~u@1>fUǥMQ |[DwqCJRgO5ܢw.37-到N+ӡ:<ه*߻rRF6#ݽ;};W1a *(Ng ĆKN|/B379ᗰ>HP+g}|7\DNr٠e}WyQœeSzVYpu니by{WӨv49_bg;OoOhb蘣Cb~*8w<<χ)5$^zB+J3\"aO2ӿ^+X}D~*{aлd6깨}'#:k",{u$kX$2ss"UP'nRRV~C!}A<2rÓ*[38R\G:l#+I}$L4;E/mtLI+g$T5w1w,V2$5¡V,y0XnQp)׿ɈtsnpbgIrk;0Ll״Ag~o kP_ta4?0\&㸶Gu٥p\̀T }EUU̙A Ќ,-7DuC$kCtNLCNWAXIY {5b8˴{ 4܇5 )"-щDō}Xf c )ü$Ҫ..F ^W<('`[6Y(9Fz"WϼclJ͖%{ 10ۆʵg&N"uy0 TT{U=R뾺:8[c> P0kR;\^Y4Ҏ(={v>O`4?\} .s6<GVi*[{F8~B֕@w$QzӐ+%T4ZTL<[ ̈́.|arĹi0pvpa2tbh讂҃8+SK1^2EV5u-dg- \5]2L}yg'*P;/Ki`ML{؞T94Nvz,cpQ܃9I! [?u?Xh!.𿼉g+yY`ILVM~YJHff(~g+~Ҏ!+LݐjwFf Ab6OT'lp?"jMPcO4W=M6r.3Z_܇rgT@ ؼFf7*5FP 5]M&g)Bi&(pK`7_%g!Zڮi@ 񈕻񠮲ܠ pYVD,Hlu> Y J0Ӧn˝T"$piM05n!5TʤFa 3hq6hQI_VEwͶs+㯿&63m5Ii`O"Tgd&%<헣gG\Q꘾"3ih9fSݽVsDn86HDuM[5JLY' rr:,HB`D9~i?yI1CL:amz<qgwf)H:}mpcۦ[ng;:z#6KEtvM M1vaF QV.PL|@^,<Eqrgh;>X f#5jwȮSRY@ /ʔ^6K6hPkB4OwgrK"s%fZЏN[/шԭ Ner*aC -k=mR{W̶qB*VrG#WuC'JIvฟQ6:6rzAXmcվqerw=xI4IsFw w6q,[]=q"*`wi OjB> Fb.G2 -OV\tTKQ)weW:DL!Rx<!cvPje 4ښ$?Twpұv(ҿI&e_OI3,l);3yTumqinzn*3ٞ:r*,ecߖh 8wΫsݚdCSuӻS2S#)v靾v ry_GOϠKI 9%$96Ev:eRh ՊX!9eD'L) y+6ebh#U 3ԫl%& ۽m+˽؄5#=]_uΧ \R68 >R'hO)Ky@)m7%D]I dz##Np[u$@D|*Jeڌ -T؅\x \9Mb,LUo+`{iaq ץcUc4҇3WA =ey9*@ owʖaI5}e!8Vjcg0V{<:T.F(bq,N'9E|Ffk-Qpe3"LE4!k )B3ׅ@Qv{Fݨ'`0 OXk(*4tx2|qŹZaI& +2,hiШvT *1yN7HZ [ 3qLt,U:[h2*N,@{Ύ֦чNlx(_F4JHt;1B= tUm.f洅 8m2ث>p*\S̰44$Lc-}(Fib[G@('eGSy>CN`:AQR;UBGU Uo C %E&4T\]h엁$ΓGH騵qe:Z- 3ib'M 1|$3!ChooGiY<${ [`=ś;wo HvW!UKB)|YW =\HrrGNq k }:{]860g}i4K CURjdwPD_7I|q^e}H(]8@+oBWHNc=۩7Vޯ]?N*lʿ38(Ge}P}e{n#JX}ƗKgmfoe߷P{JЌ,"V]N|4dQxsMshTy#dL,E1cpFvo22hgm23g_qS&2}:Rca窬61ASdspm)Ge [7DU-Xuh_i =KO>9$v*2ᎢpEb'Dk 4eMӻUD0RJTA nLMC~!} V^O8&6~Adk j;;+1޶G8g3jYQ ďQ^Ul3D,EKnUu?&ٶ eAW[. 0*+J) )LVLJ ^=-#O w[P s3͑rGF$5shY*T;1Hh^M,JjYYqE.n[&x&VCSf >Jt$\*smtn ս" x4@Xof{GˀC+87S4X 9zϲ i#(V*˚PЅ`exjftVsZ6y8Г^+c4hB kAuO K{l Yf#g%b"^ eov鴵9M6r.y[t מgsH`P%nR&9>ADx{[SʕFDBH*ڢ7=ǂ-}znfڇzhB9oUo1A]$BqJ?m9!z&6{R\0#BWnx(AnM#9oͫnqR2A6. c{"!2M*\JPU 0Ϊ!%^T7Xc, B8rJ6% iϲJ߹]i-Ș#=ۙb䦐 ~Cʜc SN.],W Q0ߟqp)1ބA#IUp)d^ (Q&ईd08i;ϡ{3FkLKmĿ|mBu6:M1$- 4AWg}ܒu/}.5rZQlO0I ^xYc]:Hpgϋh?|M܉0`0\c)O5l!I!}`#jO :niЇ`O5T~\R = Yv0Y,MK# 1v+vj#5T:ϕ/QECp"JcQU&:M&#ҵV{p!OOAr|~0w1,ni &̇Qv_rDmI )XȑڵLCX[GD_]~}QЎBg/6qi{&hy)p?[qg< E"C'V3\~s+~T'N1^ qtP-sb0KvMW\ʫ"VBZ^zQ AiF[y-r$Q=P[%4 B~pUqD~yrS/xQ{8CSo|` Fߨbi<堃mCs }Dy44Ը řqf9O ghy: H]V>2T[<݂6Ґ9/ΆVP ꣡.'pC\C#pU>sމ& ,7gan`ˣP5]P}G)_6uT #_'oa_pC.:eǸz=xh9If@dx' 1s7wvy JY"&%Lo|uL 5ԎSv}*"̈[I"$fȨP%8F݀>( .#dbHꤏ`L6p)=L,9Tv4ލ_L5huރXU*}6ظ5r%h56WBw¸c>?8FI!a9 ʿ`'y npsf8,6m5NR<`jOO:8*l 0Wk"51=mf=Q0YvvMK;ћx7+z@OSfcEt`8Fb&ܕMg=Ƞ~1x$Pߛ:l1wy X{` Oͻ(" A#&"I"wakmcEDVQg6w{> n) XIO'Ro>THiNJ ,z*CH]VBO.#}  8>79%2]l8+ϬZpuwEcL`ZËٚW e l,ԯ m&@RAg/4P. 9ުDuʅ,U rT/9/VioLkKxn6Áq?ŐdKDoďKfgE$hET*aځgʙHCHH}DS)h$܇QhC*TaC?B^6ؔjЂM6$vW*]Hr2{^Z%53'ڵo_ EfC!j C#Kpaf8o$Pe-- 4IitIycٍS`+>WT#[@p R`W~ o~7,qa[?8\RVYͤul 2\ "Vy ! `zAխ@*8EqrE5Z|J]VWqGK'>wSV#|1X] wb#BxmvAIZ /*G&K|&̽#َ`c/fαD*qMTgqm֞p۴hwo[ Ο:mFA5!юtKj?xkoޛGh0)?W}N#l}M~})MBpcaΫ` i7ǥWՈf:}=Mcl@PJ>`Ŭ?μMC h}VFbeSW5?;R[M߽Y;('#YrRA\#D)),v9M?'>9G&ŁTE?Cwa9zQlZfgYn\09]׵}]%*z7d'c=_êB-O~8?ҹ9ﰱ 28Vu{gւ1Sրt0ȇoATa |0~⧗;7$y!eU:64cN-y#I~2%%j{Ѽdx`.E/&S殹uk%k7ٶo]d}fw2?ߋtd.mLQ ̆J)[1#m9,Mn:5'֚Sxw%6cW0aT Ez*C y^Q/:JMŮS5dMCxǬX9s0]qU9L7P}UҖyI~:f G_F8lrWw\DL@&f`Ftmқ(tԹ#j$j!5xhu' ()P RcXޅb/՜͎CNQRQݲOܒ 5GkT6+y++^\Bmn^lUmfՀ*ι8/6r|n|Q#IId݌٘e}Zo_QoƮN 1 |@B*F{ z{_=ݝHʲCVj!L9GAMyI}+fH>݉ȀR?֨#"22h.pxU[{(nNj8Bɯ+HȬ!#A)r`I$$/ GؖPHyZ)'O=Ӎ+I 4`~ =|Flj]l(~􃡺tzK[ 7("$Fճ :-K6$ݹM1-֜$W""K_"5o@]*2%H;Fl;pja)(C)1 btsV%!"WW}"@VۃsZ]fwzM,+JPwM-h`i o.|G e@-PE8䃉h/(bLHwޅKRxxWUKHȷOCfp lst3E3hJE=oORk[7ѭˈOz;o< S~]ZHO4lNuM',T:2Ϗ^.8J(R.Zy9$íXy `|r۲B1ǎ3IE7\:JI @?zg'u(O=YOv{%:Qxet6WƷBnXIH9| =M ]DA 4KGWNSr*F.2o]MzPjk$Hzʸi=MaI%#2D9QVae|Å`g})$6uXAՊsH pS߄+YW|W%pl=F3sǺx(:.6[{5[3Jgo ߜv,nOXi_M  r $c_D @f[Hy־j W L)'Jxю}} ؞zȉݝ|Ҩ;>)ЭYtao^g|bju56*a1w<χڤzyˤHV0T4+|-}}Q pxsb6T{$ 9j]zb঴<2nx]#YgCPLb=E%_f'qS.hS"Цptk8̹I7/%8CME$[h u ;J6U}x?CS[)9W8s.xUeIFѴBQWZG>_dXH,XIԸ&G}&Dy15 U5JPČJ[6ƅSb"uq@[eiRϷw&-W iL@iԮۦNBf6yO8BZ*q@x/Y++ Āay}q* T1-4YְUI߁*xt{Y.Tp;/2 V7Y,7db3 ZyB7V[nPc 09:/Ñ5kFRsP|>j?vvfC D򨘋,cazO[<ȏ$)hfEeը!-rku3KsAQgNyE[% (Qc7Rp[ݍ> L'G'CcdB끼R'G@:+>l3%Y1Qf]cR,96(ТNIO9 M%6 F37 sy8 R3P*7jUoi{GxUr:0&sQR衇Kc&ʑDYA^ziƱ895MeEQLM0gŴ}NVgP̚,mMp sSO8硘H&&F }#D*뫋(k뼫,:D$Rvҁf/CfPTJpK>aTt UN9*:'#_o5UxrXOylS(T2B _J$*t0b,}Ϧ!?t=#1|Q*`wY͠Ԝ뱂m*|XQO7LC_KHi﹣S 柑Y_|JaH&T`h؄B@\k?A6kPdN:tMb 6Sj%9H,Rz4%^C5t4Cx ުj3rZ? eO>ҨβG\i9ƓYcO32MV8ކh)pϾԄ}W|w|釣cZRV4v|t'hGEQOKRʡ6/sBKX)1)as߆ME1HkHzL^cebp~[2f7}01g嵚pڐU&<092ew:y-=TI/~uoD$H{sqH']onfC؋tЦƷL0yCZ.I4!W %P ⣔^v8Z&a|]Sl1"lbKj:p~~0$?H;7UṀ4)-tR