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  )DD ]S]Incompleteness:threads=2elapsed=700.222cpu=1104.884gc=17.056factor=1.587zXZִF! ]ŗXf1-/6vRZZ,}ūG5m&:M+Ӫ[F0Y'X p~`_R\R#^/)c8xPtUbOK ^\㓕$@GߤkEP ҞR%j ]b~(T #(Ryv ?U73u2d@I*UpQ16n!Ƹ ;Ad ;?p4NN#J͔nlΠKZ2'dJaf4\>32Me^4[eX: 3P@5uQ<5x/w. Lf%@un1g;#| Dĩc'(r䊗Jum;E*N%3SΏt[ iDڰN&%qrsg y&h>VJ?5rkp$Y$Ɨe} Ǚ$~DuB@]w> )o4 Q9tn^!m9`c㥨{[3K}(NVnߩfC&N6P !"Qy7I0W dk;" Xoq)R9bQ J{y3,bMvnR%Bc9 <|SMs{#H Ң(oMZV-dt|߱핣o@_+D ۰n8-, AQO5gtr)\6$_s"% G){ˡ&\9#+<2Hl+ɺI7U Z C#5C(jUc^p}]$wRX6{%E;|3 a^kX<RrW441O~ZZ֟9?CWk4^lvA ^5RQNОs EvkڱôÂ&>!m7$=TSdGߊ0?d<(<) o)]S+ ;j *P@5R$@WQ]N'g,6ܭ)foY7;lP5Ҝ 7Ў~zvHNʜ0hCٶר 7?5ʁpQ~ZIƏ,;1lV| )oJߏg? ]({K-5NG} CC@Ы oATtL0|V0sHԟR:պb:ʔ`6pAkź/N|P ڌ}ֺ뾚tI2&8T;ףX|:5D@ABKPZDe*xһىE#f7FR f`0Qjݼlu6(_Xڼqh-/P5*66ͫHt HL oFN~ >m6N8_ "?c򳧈$I b^cU,akŌFBo<(C8> Ɓ ) Incompleteness8%,l6e뙫ΌbʎmHr Lp*r]*lHנycқRO^O~?cOcw3̺ wƾD?RKM߹ǟڑ]fDGz1)CLn[h2E Bqtu8_Te{p&Q>_;jvRMB$q~#vq[^B5/?bDv .Yl`r& ZxRp5vAm>+-T=\COcĿͪ͒_+لD\W,; xTxbMZ#c%g͛/miKÓƾ ?jJ, _+#``C=SjS)3jY>TrSf@ e;K/u؜av9[ԿB4j҄:xe8r}|]=lOܵp-)2ti+ܢ7 R|#F-{tW!˳e V$RDKj!B\pJ>+ŏ=+spnpZ 'ܦLJ<RْKi[GWZ11>I~s\ܫք|-Qƍ= Xq,A)c]tI3 8b 'Z~O1rO) fG%>G14%y"`=]cQ@mz3tJ8$N!PS |ԦDbufKIz.+'.)KK&I(~HD8%}"v1 ?;_Y{x{ h&Nxl:J܅]}Rз GmQ˧ qIzƓ@9 W˗zDgwUbbˈ-֫2gQiu^楰3[/YpT^Y䆈wG,P}=L&2sjH} Mn#+CX$up(if-ˇ B: Zc=flH֕!#îqغ3c+o9wI\8Es>[u2sȆm\gM,YѪkJ$WGϥ*s#qvFuհ߸waZIJ8Î(fsÛ[Ϝeb ]M{=,b$ɹgp{hМx(}`#躒f.c6 1ZU=TQ|" -6 )!X't~0.Ƽn@]lAt;:I$GBB/ Tb>&J4 ce˄^Pu-SFT/\2faح(1-0Ua&RNFJiv!zyϽ")FDyxN@{Q6#><~4&6,uH7`k10#hbC9 ٦~^'kW=%*B"ιm-h'҈[hH#b5۠!ZO"I󂉍A-I@kbp(fGX ΣG4/`8E3rO1 rU}rnz|UT9NiNaֽ:X=2Ā-K z'[ D' A ]兌8-:/XRW2]eEdd̸_?J5yq芒 5?0Lb9R,ޛ=ƻTs,[sېh+R;AMLClKyÄ&<Z,%zF fH L]Ll>oTk7£Wi㩇ͪ"-=*Z[SqWuf9 {dV%v{y؁ȄL,3X3c^mP_sm߰pO.2^$5qؖQm= m=%/e1}ݽ;qB1e+FJxv$qD&T:}w^ ruUaA)yFoQ2^o4sx^A.{cF/ސo"ޫ" ND*ZZ{v5 pJWN%$v r٦NxWb*FbUQMhNᔲρjXu. -OE.oiYjK[GрZp*Y!d1q匡oٿ[M HOu4-g_Deov =H=\BQMwX>. hP -k#t+ƀw~do_\ogyI e՚r߃zӰlSqI1M|Zg?TLbݮX!I#b4]X&jǑHx ~EMZ(ysrQSeȫڴ:к_3*;aVfnhӖ 4j w2Wxr+i~`b:*9[Ğ0ܠOa]zqr^gl3Ui-Jf_n[鋅bKWf lN W{y%U=2%iְ9q>=!_89״]#\I@һ+ 3O|GSda:Ju19Qak:tRf@iQ* $\pO\ wζ:3Qv}&N*W`gL&ge)GB/cVl":rn̘n͝|JHxbگw1t6-LJ:V25,>a-gfc.ډch '{-9➙Q#J [#jw_ϦN|&fQzBBVGxլl2Ϣ᾽Cj ]Z?[.ux6*f&9W碅SU~!Ҳ獣dzeA2aХΦ˨q J˜"u ~p>B'PrIؒ!̣iw M? dQ[}о`\@3 Wz7gRk`1M_/aZ?@.٥!׫^`FM;fu2QʩOJ,:Cc,"Z ^h|Oe ޏ%I` O @ub7Wm $)_Lj~O(`2K"/yWx}=4SK'"rsΉB5$㗒Sp>]4~δ%z6Qt k6ȸtG'J@i{Wҝȭ&L$:"cºߨ:X9`.ENJ̓Y3Xfo9sw4߽WcJ10s|9ajðo飗"Hx,΄<~zQ9.nCA!0 rL ^?!.΍&-4+iuW%ǡF]2[ewn8RW7pj-pBew?*|r슸mBdG+gb鐆g I 瑊碃q(3Fcʶm+d0Dpч1qӔ0V44kg{xMئ( ,"|N^=@FXɒZ˩QGXٗJ m =U/FxhF\_͞.z*sb}k0 O;Ut{f9]0F&4z4pP!U1BL`Mz 2(6rvIyZ$d wMGͰ6.M_)PvvJ&- Sm> 1.b }{cAIZo@x<=$zz2\t>,lcy!+o3nQިBv]6X[ܠ-ȟ't/Z?,O(O%6K!nAR ^7rhE$;;c; R!p6jQSF-,.alyiF?w#I|{D/!.6coJVLj3!s7I?>ҠLFlg A%2=dL!h9hperrB5}@i,#&:(-ҴTJ늪N34b2 *L{WBҩ6Y=T B:j( 4Q hK >80 j|FgCHfXr 3vRnFc\\W֖ԽOp ^s&b^4nF]jco*LD̍ۇxT-=s'QEQ!I)Kb|Lt U- A? !RnT?ؼ~6&l9knj3磊3ww:/E0vMB ;%?&xsm<.tYUb#YF=m;xotĘ]⎦qf@?0(ZHn-M݋x!.oƛ%trCReBR*G~,sZR4ludzvVP,8I yl#{;C>+D.]Ocޓ~;"{m"PF2+NA«L%U헺Jgb}B R%Gfo46 Ʉ:l,k׼'4QG9:_M LgA`K)|o2ӑgU͟ln qnYQoY7p=P[~DEb$7G?Z(䚐3" ʙ~ʷu6f"lA$˹aqت-vIXKf›wK*~|Oi!h6"|CT.#/Llb$ z阅 e2ps!$8--~A^u΁-m&-k5%Yw  zMQCpUi1A;K6H o( joQ񲒗t:6I%5!kmFhiIY>~Lc\>/# Ƣ8P9袭AKfZ'`ĢpN 6R釱v:xH] _%}e*mT-G|'kٔ4,vRMR!RzA{nЋ6Owʒyntg۠}A8 IS8{*9x^%U 'i˗E2"5zXLJZ/ *RӧC9O$plWf\qkPոG{,޵\f "-#hkH -OD1+ϕkI^y QU/I345tOFy'5MQV;4+/9s^E# fwq_O%UP!f[fKayB`d}i!Ga 11-Ta:+V[ @bWRȾ ڗ(v ЖZ%\lcBh >j koxvh[Vg*9Lk*y"!^y?L*yߏ;ƷnkjeLm z~fzG "-q V!M! 6e} dܾ"] ]6)ə鲞7'kF.9UBCQJ_?gAL&UIďѬÂfޑ/.wiQf**ȉh&a6 h@Sh gX@}Qe/B?_!Ƭ*R ߻7-xPv-7:Lf-)icSm1fnc<nl^y=fr~sn eP?ӗo42#|jL3u ;.Tq7um/,S l4@GL%K"T Z̮dׂ1P4H{7%+'2Թƭaa s#0k'DNfCmװ3:RT4M-bw_QZ %n\Dž< " Dֶ̜My@MK CxG\tÌ vw3cWxܱ}.4զXjB p U։u:ٝGt=*02c^۸]>:c Gd`%}W$3-_pPQ]8 c=Y 9%- KF$ẴobY*ORuB e1h̼wstB8Ks:<[56,|li4˓S$lRY>? ˰1hWXQ_ FVǹ'N`GJh*V:U&˭ M~Ywu )۳TGaYZ)gN-8oW \4^V9N7FRg̦[,rH]M.Op[ NQq&-; -c3{_@h05jE/`&^Y$[M+I%/ł}NdW J#W C¶!CD'af>wELQ%X1^0hBU$3"(Q2#y_4UgѮOu+9L6z:0-c>1o+" ڶCȋ}=$[pwR Hkrvoѱ3-/SM*+1CS8M`g*<9C%;5#Zra"S9"eJ$H앭ㅖEme‹g҆@'8D+Q#"*hAtx(@ݒtBhE<|ȰK_,f%tν45h SV'Nj]E4G/0DP>8Fhˉ{,u̳|]ٷUި&C6{sfT5 4j t|(ir4w5vi5**bo1/!BFl$M‡UF;يժpZm$LXī;$R_Ӊn,`p.̘ތa nؚ-@1s<[CfOBល!rE@k0TvTݒ|d6@FYOIedo%)q Ůq?aԃm0,x w#h`J ɹZoGpmD(fXƝI`'̄×Magk%e "kdΟOr+嚎4jͲ.JvMtѸjiuN4p@tf.zfFCxQ,ΰֱkKˢ8x-ALx=GIe4J(NN5$ =Z~p:XbcAW =\3jP&*,#@ԀϨv2)FчZ%/52wD ˍ 1\VUċt%ע1w4&;혴 XžqLh_;rޖR,Çe0I@.T,j߹؏5[c7>Ӛ[/oH 5A"22Sv)9lU'jU\r4 ~ݲrD e+H㞗hB"`9CΞsP<_a u%h*Lb-b[qZlZ,[E/ZZx] !`sZ#R%mBK U>(_J[K'a ٨2iFd-_1ѦksEPBNEEmj+KmƓZC>BTa\\z. \e<"̨R/kSkbtL/x~P6!1.k' #-`vuhK,k>+%w9V'8J0)3mWP7LIf hTS0ޓjjo78p ڑ̖.c~hJy= L)]=!%ͬUR^|Nv[^=jH3BLi< q?2kvZ͖@VrZ=;TG.o¹oq,i'g>sgsOC_ͦ1I_J!{|ϵR YK *æG8;xݡ6rn+AuatmqٴD#f%*SJ}P'Н6 8|hxOQ]}ӵ0>Є}M/6w%&1RIvînqSQ$2Z*'7gnJ('L#|܊ـ=rt0+r W҆!N4hvXˋ!uӗGX(pqJ4zW_ }e|+– K گh7 `έ!~VXhzdIQic-/ȗt"S(O rcJH᝷AgU|4vALe7cshif*]zߜl񊤗ck@)ngl uBY,:>ٕJc8p%Pk{}+;Y\9d"Nt,{uA[;69 0t£,O߰~PĽ'rrM5"~QvD iL2c Byt6/?cn6VhC0<2ލj/ήY׎`js"L춵Dć ;VgH~$#كahl@v&fJw*`?clV_xg>5 ǫo̖ "g$K7b >'x?ڃ*Bcn LE&-3<㓰[9yg ^I5h 78l"0]W񨲒/sT}x`@ av24&<ShT hë- I@p2?ApH;-Ij>eSJPcXBxنS)@BŠ-ߟvhGW]$]:@ JkkȻ%fIߙ ޾vHm$źs@{a>bt\.>JfkNV5fg!Q'lϥF^ 1<&=p5&-9)]@ФkLM̈(uXgYۦk2H_6˄>zo"]6$ ͛oms-I3(%hp&C_0/<0$b"DF'P&9bj$^HOaMt :x)CYpE24 ?cifϚ"sߵ1c$ʈ̑}ӳ%a;_ m1DN0/ =z~RxDc@љ+DINَ_j|xBf+m YCe)\eS&DwPWUlglz{O#" xl͠kwCp%Ew4kM`c"FS #OhR y;i )G]R6{F>+x>'aP3-w#$?S*T5&z>6vwx߼6d{#KOy̅UpoNg#mrv,ka޿KX  [Wwd2.&uB&>  w-^4NT[q]y49s8kA TP{`|S/D[B"vs{5%("!͆d:dd#jx0>ͶB+=/;X %*lN]J98n&" H _,}qNuL0LtwtQٚ_'H%YYhO^;͜xKNEJ[>/c )syGBH뺜׶] LWN54 EqNaf%c FQj|KhfXv+j\Xkg۰3!6vhbW&icG2%Z4|ڎsr?vïu,)VcWVe@- ?3MUs$*i%N ? [X@WJhi+3CVfLEV4HqM$(d*DMʨcNSS az4)1%48TOeJ9SH) H后}'/¸ѲH& s͂eң4qK}_v< e5xޢQ9LE37 sgel \iHh=#M3߲GVVP>C[Q]Y$jSêHuZJB=-楨|Im:+cc q^)k=Z/@h8E+ NUv7M"M 3$1}mpQN*{(Hb)GOݮGz@5QR 7)n;ƓJJSnCЦb@61Kqz[Bwz *SK\ׇ4#. &蠝'ڦyra(C* d_8{3Y"`jEŗ`f}lMB׎>)5KqٚB -Hґ3S˧)ޡǃB`t!~HIseUBGS'UN]ୣC ,9xexfR`Hn VomOyzۆȞp !#)θidjHss<'YtK2+-M}Kt.Kh>c31 .Yk}]75 B:?#Ҡ+.yf0+݈]C Л -X])}g ׹51_~vy»`0 Mϯ:P?:|X'WL|ca8/ H*tu+4sEU-4i62(n'w;/gM_yGwe^" Iv% Jr=!hsvC6‚lڐua]: g,אz}=PL*˚fz$qXJ ̓vg}-BLē{@ebe_=u * {!}8YlY6.dbP,ԋ@t6oH6L 蒀6"ykJiW)Z'yӨYARL97f2 ӌS"cYddAk#>;"\4+0;=4`2 _&L6+oQ"e9txehw~MB sHƒc 2w;IpS7FEbEL?؛ӛL"K }fASە{=BWv~bTR!V*X4eRvLWI&yPţS; MHU6۴z#?j0ye Q\K qmMN)ꫣwf=59a#eu \hHGv' Y'}ԊS5v2,0ј-@Y)^p &v%iVje\Blyv\*ӉcN`R޵-2ݲ(479 <[P7_D">QgpQ^U٤W #WD3L^oE삑T1+M\#Tg"Bqc;3wVn-huV6>a2j tJ1Mt}kڂTU ,_xh:2C1 hېD QWJW|LI *׹Cyzȧ" PZ2?zL &gBa" H8XtFv4Ѭ.v!DiON ZmM(vRtW~r8ሷxjI_wl}ER0%ʹa@bIj&HH#`C4C?6u?# P(LWp-T+T \nQZpv^L ?L1kjRK! I~.ϏYLe#zr-,AWlzw8^s &_ģ%ХpI)g'`h7jcO`BZ1Y`U(U{^f83*\y6{a-Cy}Gf ݎFݾ! aNV`=YhIa{YI jdŁgP1F]/ P }цL LGHfQoM.'j/9/.ɰ,W,KDvX:듏Xf*f\GL#2b 'ZO**gqQm!k/-Q+sW\#Tɮ  >U$hTSX{s, m$h^ϻy@[G]02XQctj#̀raM0?~>oaj * Pb(N} |'u=ާ7]}.F 'WMkͧF]ֲv'HB> 9 ѽ·i$? _ʀȂ;B1F'su40/FW!/]0$ ؎lAll!mlRMs cO~*(}'+g1@V%F3}xXO@ZLg"AH/DC8؉ӂi*N, e,^>`BМ)>|#Ek&eu<NAcB5Tti SZt˰Į=Zz>gՙm Q^zЋ&|S-bX'/$\v6t<$jY1]E/YO7qB{m6|tA| 㡻GOo3hmEp`:vS_Ī۹SuCRiy\L?H*+*桫uфۯ '`! \я|ЭGKR툎ĥ{owlr  x",Jrw I3OD*["Ҭ)6k9%t-PFX{۝oJwFp!H*;=Uty+n 5J R js ]T0\CoQrNV{OBB?][8ma,#!d(n ul*nF3)l&TVPtk2u;Z,< 3 ·5%n JW]90|!*:a\Np+/laFeg87!0Uh5#ДeI,Dzՠ ?;X ,+aaͤ&&WoUWivi;C fق#\`Vb3E|fU˅>1bw`-02V` њ%#/;e;S 5|_$dr̙b­Ź5TZ _:9ڍJ&ʂuV+<gSRU|-9q YPͺ֛BhwT@X&ۦH9zcl@&!@ϙ3brFih ܮ{֯ tx]#;-(C?"286U`'[ogJ{/{;ӥep-<u4+u+7@wEs )<+˨ 6ڌXO]ٗ<*г, gT,S i45!39ĕut,vIsʜMH#$IKqU;I#y+S3x]O -lF@x-Io6?Q(6 l~2Z1߰kyQ.r[H?ٛ+hҎGb t:9{B$&9)bVsI[ $SkJʴZze񖮷TTmn> fCY:CisfzT$vtpy°HGIGr5!PEgѮw4. {`5z1~LxT%A\8qQi'FH6mg)q;_[g0LP+mfQ8f7EIV¼xyun]`p̨aA1Hg-?yp~, ;4Z6˫#Hז.E;pZf^V)Ob+#@]#]8(\s|Lcb\J;qԟ' 7^햩 %Oxancn$X?TyCouj,厉?[)`{7Bo2J1{G ."l]RPlnEN͝08Wcc9$'I"`~8smLUI,"TLt eFZno?MC9t%|P]9 GԅEQۋyR#ۍ;zu)PSʗ$M)Ca"îZBvVl`m_y}墨K^KY^J«1[Nrl&?;3l:X[} yy"*k b9o ۺ|댪$/ n֋Q$a ="ssk##w) 5 d_|nn7h=c~'%(H{=(5}vдC$ux9H(yPZ8 Y-*':u]='~?P " 5``) 0B:x\jA`(+^p@f^aeƚ˜Tm?{2S)U '=_r@g!S'g[|A@Y-1dR: F66b2:k޸z7Ӗne;y?UmhZO tcГA*.3Jæ`J(}JGhL},D " 4ހ *;?Y]01iٍȈǎޏ+P MUNJpb3, g[q$bH$[9*ft%<^C(֮j[F 7TC[}eGHYgC:j yH=fA0?'_q'ުhB#x; "D.lh\&Ȥ4zbJi nC{~jYMnퟃ܂oa/M]hhաEfek_6ʡǤ v"ܭ4Z? o)_6 i( 7KF<j|F嬁ТdjhI⨌ Pzㅩ铰{^3J*Lh$[(tZQG5^t2#aDg[x"x|9Kn+:yA8~O-##@_#|[y!WB~Vpt⎈NU3~X]E&ͧ$̪)&!Cp-$ [Mf R]?yƂڰJZe)mT-E^u\;..br3l:C-a0~!`W*0vW^F[ad ʄ%kr˚Y~c ?+{TvKPG䏬gH$[jvK$QVOyQ7^]Mm +{N F*IoOs1 raoz;?w1R_-`7://Q@*x,4&u 3@앵׏>R;v-FLрB]e8c(2#u_QE1gZp73bE5xe)#OBf ܼ2Em䳡Ɏ{mIAkúa=j>A,=K U}XBR.T4sA yՁk p_W/=z&i3ÛSE 5٠VdpU 6w8+ [?Is}m?bՕ~7ͬņͻ|S gmYlsE)lO5jms M:>eȑ istğ#̆7 Da46}E"ώv ^d$"'PJJF %d j m{mleo.'D*\*y1b&+4Q_ܒU/Є &U@kˮI 4 '-zj]Dj go9(b{iil㪹Ark ct:읝i?;)e `<⊾n?ɞ|vԵESs&v@YxTS*nyjᔶ:3HƱ pD[hh L7 oOH,'.e;A lzE ۨL&I&e$ ɒS9i18!?ъOԩ}Ϗ B0FEpFvƟҎGFM")/R FU3_x+z B4@+!|MZqJT;+j&Ϋzb| kU}'@FqͮALl72x)EBvP?Ydwf]Lq R+t\}Mޒ`f[غ=iANPaJ Gl LԢd:6 iȰDAV>ٹ{Aw&= u6fI?/tTEPsGsB#K|KcO;ؒE jl'n{,*3=jY|%clÆ@~i:!F K#;S)t]LB<[ Ud{TcՓ0e^i-˺yi2&w^ Ҽ 'B[*E][eZVs:[@ ܴjaȤscT]m?G%Z^-6d= pVL_RhB^ 3 })APY3$H TL`Ϝ+ T6n*> =x~2.{0t0 0=z=nB+7m0tV|c qaGq Ԩ2 kC[MP{t愑2T ?+?i8rRNV8IbRN>EN, H9 BӦE~w ŋGS=-dXYT]R L;) } "Dн L4]4EdJPCQqHm bGjT?X&OJ'R-BUom0 "vKJw4eЈ7Dr"[/-x˱oو.qڃ~Zlkn+p,j@/*o4 M7d(g4P%^ C}Ȩ DJ=~SOzQCL}Q-.zR()qx ̨S7XŃtRi"x+ u&ADlTl38}vԸZ*\9T(|ܳ /ղ[7wCVWd fozdizʀ-X;k~ \lReQs#O3HycRas`qd_Tz2~X&52Br7sx`GN+8_lT5lZ\%a)A?9? ;:DaRi:H0Όnd``S3WNΒ:Bpyڢ<[ne,]DáБuQbX CfN%~+RM/̉ ^T.KT^Flk(Q6^"p`r3g, McUV9GZ*tS(7AN CX vƏs¶ycQq3 ݊+ T譀8N$Y+V&ߛ\I',%l+5 1:${z ᪇Urb~ps鉟{~r#XZrysB7CNSEW&>댈@;P׵A]l~j8җM2=u,z걶Zo'־zm~&&mu8^S5d;c8R9bNJxd*g|# A!Kmlmd"{RֆAxHCA%-!Z ]"}kG@ sī&USa35ɿ7 $}q*5.'&GZddq ߴ/E Ux mRRKiHhBbZI%V?#x|/"k*@~SU*x{+j-.N%ZUfxKtC<s%c;t83hgP$<5&0@pA ~8U4dʻSޫ}oW*^DK#J.:;j"jRt#`ri3 8_&J WPt'r0{ ٣j8u~_bLseS.d#@{h-3'r:E;B0Z!% hðOs_1$|PĖƳ#RM+8Si(>֢k^B;m*B8$7;aH82]: Q,H2OcO6E(g~0f&Um">?5TGQfo-hhpϋ;t;Ce](]$E7[H_8KJ`ڣٷ FR!zn0O# ! 4?n뱱]T'h:E˞!Yowzn nG=xMŧvZ0,?1JUO%O i@tO/EZ!MK$o2m+L@GFNgVJRf7ѷl&o ڄX fz "ҜՅi^c`']([e_ĨBEe8!olA"*Hݩn[=ZѾ<$:IY)C,X`*NJ/੣6>zgۣVH2hB65I.EYwԺf \T/ ̨PeU+xJB ȗ_ %2zw[x@r>vTA`}~X[nA{勬#ldZm[,  AcˣN ػe wfDp;4-9IJj8KDm4z?HG6D9u^ʜq;[le"{M 6?mafo8VJ&\d{a64Aj^ CLMz5K֖濚D;6kv]Cp|6@&k0)9庹 XPqUÍ>ĹnIb>SV9vp@s?#'j }1%Ou td7YDh:elêrV*IWDBT(λl$4̨|Z%IzP5}v7+~$Ҙ>#:P2>^=MDF")J4c GDzq(@hG*C%p8?lޥ_pȂk)8|.;05Glo܍H`J &W }kIQ CJp$,b>t8jxPQpYEv{I Lt'^ㅽXToXo1ov͸2.uʑŁo^_ܻAͻCgWҾiK?: +!ة{u3m"M!^D9UI:nM$c Qk"?D[mM#_Cb܃[ A`( %ɐfp66Eug/rVRcU՝:)vB-wOy.kHĴ,fSAʨY`G!C]EPqfݸ2Y$YD7F[NDqW#Rݲ8KvPhʸ^|;!֯+:MXS#" Q,p 64(˩{?r"y-?(=J*f$~]i\g#@ޟ㻮 u%ͼk8Y!l/DSٸ ]ACBK&{n7+F!mk(ju ֖kʞAv"%y]"X\I*OY&3j_0lY.*{m=ZR۝&[=kHQ%?Ki +|hPIXT=A4]l@_9 Rз>}( g wrǚSTyke>; 7~B+Nuu3+:Coe?ywͼ?'\gđA߰G~y).Aj5ǀ~X{: ~䅷fřn vBGPh:>`|灅!q;Isjz$cui ""=~xiI*(lbD) )*̸TEՒHx&T(͞xM~?uzqM-dĿ,ұ\ "Zcw,_-ݨfÃɻ!%}СaiEveZ p˜mf@[PʹHwrՂI-:1p1*KIəeXcwugf1PA HO-\Ԇ HIt [j Sg6'TQ<B:8`^SZGGMgl;5XbE5?_" %)D@4ѝO>nJAa,OU_/(BZ=/BFlлt`){:C774 ֲmq؁Lܰ B%"hG'/3iC'.eՠ2Ǩ4S1lT)}r 3^G- h2U9A| o- (K+HfomB{!ϽoS~01H)GR0Z7k?T;G",LtÅﴷ܃xzskCk|ӊJE8S5Ǡ~$D~EMk"LK4́!#H*hF0xz(4dSPnDإv>#0?dV\D4}cR3H˳,HNqJ HDlQ8)L:vo2?s! 1M"{ë &{7#n&xgI s@,ӷ(cq:PYb̨Є٥P{ZoÉtQ+&?&HkF=՗j_FF(&DL AF˜w"5llOyr#k<::T6iѲZNWTJ] \"m[p.ZZ_d/JxAcTW} EI'8rTdֽsUFl{C9t޺/'"VG&O<+[z,@[ ʰ%bӚ^Bb` o6/֖>vh,k"\trʸëRָtqMUm$ Zޡ5 JĘtK><?y>zIoM 95AfbM([a3M;dM)ZanWSEaieFfìc`NZR#%.W5zbD9(kDט#$n늫Vb-n0޵m,y6^oFfaѽ[UWkWߎ붂;)|o |1C h*?M&ɇni.1;"˝c&hHIc95ٟ[gI@%MN6,T|}:m $JsɻUBd׋5EaʲýIubT4'šq4j=s8#5w< zծ&4ײc}|b%iZ=6|m{e~kNJ)*XVd 8hxQ U*"٭0{f|PIRc68p@{FlNzwl30ڱgYZe17890f64eef655bb815eccbcb4cead3876f4997e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d a4a6c73b1d09c34ef20bb322655f1d4a37fda9377da0acda1bc60d7e515ac40c6da27aa61e2993d5