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 HH !L\d ]]]HOL-Proofs:threads=6elapsed=628.564cpu=1519.076gc=237.356factor=2.427zXZִF! _]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb9yG)Hmv%QDJȆ|Shȷ"\ME+t wJHQo>HJgpGIB%kC 1Ui&ixXJS *g>]٭#b5\Kl& 7N`|D q[ˣ3UM}&nI 7)QteJ?Oݖ<`wo٨U:}5@aI$x@LνAy6-x Tr+H]+0,Ҟq>'JLaKs4o-;]21aRGˍ[U3VU 9O<6uG)iXUq8C8ؤEї8g)z x#@}RVg6GZ| vG6EүBv䀠sarh i|65܇/? Ψ8Qi_}5 A%aln&NhE17ּcә܎H#Yٝlwաni,\*C]-r.4x)c2X_BӋgP5LpTJET&<"}zX `JxBsғIs ΙMAQ1[!uXV0=obDPkBwnIfp[>2>TFL~+tcD+}㒵\oC.ac+>B= z/NHPH +1Sc3A-4PB ɎpK, \:/'ot t|ŚE"}Oݳ3IS~VA&^ES?(%ikkLx~͊9^)gC09+ U6Le/? -~i`%gIS k^m"ȣqeo3dzX_))Dv 7$0k"+kevfXyeV}k>O/#qM7gpv]wt⃲Y.?yv?zH|ru,iw"z!" U&% C,364엿SGV9;Z_NnEiKO?}/H6ro-N J'1*6J\N\JP?Y][~ lm#(> /b'E'd;W as,DUlu`cQw}֭jz3~eTREd^ΈoUƱjz(pH.G8J>Kl"Ylb0ï|vAQj}`4K|!u)O'J+yOϼ?_Adf8bW1SAP&w$hB<dR;q^X%Y4&ვEgUp.[Y.N{/3:vPSr8DYmYQm \Lg<6\֐@~7 m\1<X㨾D }nFDڠaf͖(b ~t)𿚖NAUvyOC\Ǝ ĻDOoU ^j,'zʀ?qAO OFʼ1ސ_8$ɻ`Ōچ]{MiKK#Ky Zc18\F% /—=eFvMZ8U,g0e {G]I?`7ƩC>RaM_u}Xib|[Yj80[cZ֘~ù+&hZM;R-Vg%"r$dOK:Qz}lMu9px&qr&{'= c/(S/:>#-"oO>q'ZXEV"e_& <]>͗l0S̞Z{m{ qsh5К,H6X~uz>LřFfB5Ѐ!|+Ʌ}ut K4x\W-qZIPs FLBq/|S7q6ܤ PGZ^>?:Vfg=c`aWOySce\#C厪JR׏e9lxGZ,g:i$L7хbO#g3v`{7祣GݔQ3{M_x ,v`/q3&dNô|Dẅ́kUMӛPq^掣0滻y}&&s!~Kzh{ mv/@JI\'pB>ad -+}\ƟL8%=魪؃ȨsJt)doZpއ `;aS[YNVh]7v7*.*yFmfF)Jj.([?Pl9j(l[\vU8by9*ܑQ^ tzpի+0(.mwHpKӗ_r_-g>?S)ZШJ # 1Dl+Z~\'8v HM΍ hnz_HBEqy | wB߲j)-|{dl;((,D ?gp$.i`t$Tvb.#t{ otB˧2 :CuSrj6@7f|$2O%4)naX*<(a C61vLBFCx:g3 (uHS,!'Ei߾ gHdieZ4eDҠ'6!Si6 c1_C ҒX8SX󓗯~?o0Ԝ;_]I|RifY?aPg~ЅSYbI%Ry ,/ {/:BO ǸxW_gሳr+>t'usԾAKLeϭS;^K ) &)OqLbhvlƿw{p4+Z ϧX" So; 7 |Yfu<$zqFvCUKW4=#N,(OL5iNJJ*Uܑ_wi4,kO~Rww,(讖i2$kg3G5t!J5j2^}lQzB޲kyni}rqT8ke!+֊>bJYN'ٲT67O[d`֝U8)1[P*xYAp+}hod};9R{`Yke2Zq?|ڱ9 ,CioD(a2c C.Mh#s8e`t._%w>k AǑZg(43QUGƣZÏDKUJL&y-! $r_5qe{JfWFiXU&d;?37gO@?ZǓ〯9T*n~!#yw.gi߱F;XFVbˬ`[%%(zϤA8b HFo*! c3+3 pgy wWB3F4|C꡴R,BkD'&wz /n3WJ|Gx @;}E}ٸg:߄q/~y _tz}E}?F/`\#*jm`%KBdT/!4w|lLvC\ZÒHS+Gꨩy~*RFtU7MoV^0 Wr:iotVv f$F;h"{@]vリ;tY3"Iߛώ5 ;Pa BH(k|+m[?dJf*7H+ƝJ1\6J$iʿo:@©vIFBIT-NurrxfDŽN.A,'fϠ OEGL8ƃpC*֧hSaؔb.65qC? ꐩt_ ]L9!d R1CEɱ]};uNMK-bЏݬ916Mw_%0 O~~9ʣjM&7Rj0mG_14PZ!2Rᖌ/:V#˶$Jp-:l qb`G+E`L5d%,^}. ]6lo(Y4k%ggz PSiLwvKyóӶf!e+cûceOn5?b5 : yo7` VT8AqyWǗ5]NixBx[ld6Lx԰ŏ4iJf\YL[DD Nw}]i/jI۶=6NR|XNv%[Ǹ@n ]19 Խ\Ti}0Kti Q޽PYHغHj(c_P;(zp9H23Ş+d֢c O|n6O8&ѡ8mօ6+!5meBrsK8QW}dX%|tp>!֜eҘNjwJ2dipD璝$E3>i#;(֫Y9o#09[aEyѻH=` Ee6ߛ.̺Ds-=Y,R n% Y/`hziqap<& aÒi`nKf}פ\/|/o9͂<]߬Z f+ļ볗ťr:Eۭ7?B>RǬ4wX23*ʱPw#9$S%0O%))O8e Bټ2=Q{if&l| q P;m#mR4"H޸ꏄ~V]UƦCD{$clNDžIYHǩ`>佷1~2ȁ2å#[\DWjsH3gɓǣɇQ×]]oS 6N;۪5IZkP+te~@՘pO4O~mgYZ7zXZִF! g]ŗXiɟ29aoʼz[%U>EM!!BP_58ZF*Q9~xq:a3X/f'$D;b6rzmh.\.z?yǁ /MTi)0 J,Eu.;v?G'̽a7,Ez!#{4S^ޔxC{ $'/jg) z߆Ja]{ v'ߡ dRzU^x{zKbrF9hZo]nAx:R0K;ڛ7:1cIH-И ·I#ȃ■6|*x:]. i֭78\sU{Y 4 9"Q'ڬ `HgСnUo FdW!z3)]<_oysAAT>3v=1(`뤊(9Nؒz]\%P5])peն|=ت&C,Iiᨹm!7溜;O9lYo=#c1mji+sj@y^#13Qd1 0`>98 ->#x -E Cy1TBk<>x DԹҡ!ַ  :WJb4+{7&+VK8!Q&Lpm EJ1Dq\gx g bBݨC `^ zjMZ0ϩ~G<> bimn} qug#.iP'zIߗǚ6p?餜M%*k&X9Ϳ0; jYr-I3a=dg.;ױUl+UA8^sMXVLyGg6:V)6+;R~AHi[ؑ|?"&ǹ|NK~\-8|]-." 1 [v4-z] ͣn6FU1%-Uw{(qý%K߿S/ЦM*h%*sr6f<ظ m}+1B8 3ʻF!(}#~+(ƬnGgCO|CLUtVtatc؝&-6(1k1HyJ|&v(&ZֈptWdツ3FY>Ɲ.W 7¬L[G9q;ʳКeY܈BB ;GY?L2҆GYEbV##nvO05wM$A_nAQ4 y7r4潱OӠBQ9c}ѝfVFteo!3p%yե,~ ا{ ˇbJ=kI*]~ЬR\H!)5>1TsD.>6F(u{LC!n ub /?_rq' ,DžlϵEך%WU{`ZmB*uo뱘.BvSͫRkvΆ_J[UWYp\u$Ek18yF+RЩ\r1zmfKcp͟%5K㇇ tFeHY|VQ)$mVOAS[.Ć0 yE"8y6?#V _ꍂO$ 8٭u0Ejj +V|7Tp < A=9A7ӡ:9[4Ӵݩ"~g 66!5* ip4@@ZOfVͷ)Yޅpw]idP g='7.2pܩetBbY57aJC4D(S_C71iP "˓cyiUdBtIRg$&6io!(N.I8OKܯ%H&"$,_l7dL6kĎ zyi-y7Ў4B\ZcrsT܋eȡTX='LLC.NPykVxݚWN{wD6>F=K/9{F3f`|o"iVR[?~x Bv>׸ q{Q=Tx8":nu!_Ђ~#/t,͸zR ~1V?azٮXG7?^W(Dv+a.KMX15l.Ki869P.Q.퓀ԝ\h ~ғvDRnrTXصޕ9{iuAdP:8 h#u IX~y80י(9-pj9 m<׷3 y<-*n1 d*81>Ӛi~1/bϰrCk+/:zPQ!:hU3,1UK־+8/e  šQ8 tap4 z *8Bauyo8#y')  =1IT788>)-8A8F4iHSυA+ ~Y0cYq$Geȹ8L}JT[c[/{qbvڲ]qMg$TwW0N=cC43C~ `8jj,[Q`c&](7c5bKRFT3.􁝻XE&&TN>}4[ -(-/J^#R,OR`*?M {,HnvֶsvtwQ;έl(N P3*aq0,:|1W I5 @Wdͅ-Pa Y^"#.A gcTT4㗴mm;> [<s&CqLMyciڀ D YxOZ[튄-]f`~tԚ>S#t^42[b.!>ZF5nbںjL^Q÷}?IfesHp~3=0EmHCRũZc&漽`S.^8.˂gopn6'*qKZ*Bʰ'/Շ=Q=?0v}u<8uкٕN@$|N~J$\dŠ, 4S9F'nWN|(`Bwhx!%giA@8x~EEwaV-*5^*S2#.ˠ zX>92QX,Gg0HN0DOKoq{ ;Ṛ}1VRYp⹺EHCqp/13Ds8RiɌϦܢV&3}^߉jּn7 E2Vej+,&Y?DM`)pe3A"aa&R1~:ϗ2c;fq2Lp[塣*ꔔc!M1(Ѭ%JҾMuQ;4+# 1]$ *};R~3nҍxvqOV_=Bxsa Qd|>ۄRSKٻ3@~DbJ%t l|^Vw{챫'ƪm: ([M;tB(#>ߤ.et FW93>${-_k+H暺6C=$Iܥ>oøj}3̌&S: ֑+]jYs j9[G2$ό[9yt$w|!VggTuoAE2"tr$]St=,wKc3ESI"X>;/D JІj@E0l|P626~f!AsvX_ې42*hilѶb&LdA ₙ vMоk!]u _{" 6ʎl” ]c" [m~WxW{ /7j 넕0cρX,iUKgaZٶz7T̺*RL8yQ E^^Pϴa9Ci -q',ؚy涰Q;T_mF1muu3~wYC k0}GApִ<\e v8Q0K#=3]7qx6 2mp끽D5ش&a/x! I},Qj;o\ߍ+n|vDV"?_-ƞAFc膍;R(BPR*6F\] `T, V*|T8;jm>H[ôĠ>jʭGIUiS@ꯣRP^0l´TJ5} y ϵ0ADQ A/F8>cd5ms+T݋Qx^lkD-Je@ԍe?Tg(R{7^NDo:I5!R8Fߍb&1S#IQ&ȸ>>th&e-c$Ψ^ӕ &ꬳ]yOŤyWGᒬ6iQqvK&~ŠhaLɴJD+UVviq0j+&~dƛ_hhS|l:87D:B5B*LQ ZzB~!6) _(F8q}u\YBKd/\ږݖNi*}_ٯqOD5?HtO~|+lT/gc}FhhO2J|XS}w{p]5qb "CPn~ cc9ᙇ$'ک2 0l%l@ ¦3.p!%#csKVP38 aOH\xͅ皑. >/ե;L5s A =Ek .WO!KڑEͮ+Q3a݋ڿS8=isxMfgn(+"_u#<2pɳm\/YٲUV쉭4QJ7I<R8G?8=髱, '%mUE *񞳂ҽsmjEV/J)ZY z0b(|xatD_y\vh8Bl- vjJ 3F!qGoyh0%'U-^K6l;u;/j~1۲jZOqb6%b(MDh3  nXs'%RAKQH"X#gykYϲYO*m)GoW۔&lk&H4>ŹH>8dJ,癭PzgqR`ǚ9Ge;zLFc(b1!ѿ⎠]L-`[+ӥ]~V<5j& p|}?34K=,c\(GQ5EqSW,ui>|WT牄Ugt9GgQc _{8g0젍E8uklkn80ߤ(AY2Qhj)pcS /4)CCno#Z 1k5h@J84{l.>tY>([G=Q:>Ǒ: RQW6bjImu|PO6Xe|?X9ܔ`5[X/g)=L~.I:*_w*R2ɅJꨶe(NnˉtsyGZtFA'GN}`>,扚i6Pn[qA\0BX*$a^FdB"ovQ35ZFego8.3zTWܿh/ιor`>Dr>m۳{9}3ꅌ08ladeNn{wJYZ5 giB 5^wvY>rS†n"փ5)8҈ xWf'Mg\T|/B| K+I*  {fÍ 6x̑11+bzV!Dyy=|L`C|M\ \ܚҧ_ԔD?>%{w94L5!t ={x>}h{drqRR({[(f[D!hH1ngbJ YdUv-l _%^ȡ딮/x]桼i7snlx#TQδŷ McpXqV0$2%nT)%p_*tN\"k@c-+*'mP>8,0 FHv$v*m58\= %M&IP~I9v9׳w _g5+xȕAijS(].!o@FX֐J妢XnY&V`]RWr8Q('#:]{ =i4 :%WBqʱ+>>rDUƝS"z:j0kwU7u~D0:!n3\ ۣ@s1>Ά!L VEW0u>xkW;wͥpW ^mTOVfoY׳c4K\!F{f-TUI3mTmj{'4R̶_Qqfه%pr ߵ_7^^ pkLW9ˋry!GxZVLH#fp'V=#,$cl`U_ŧTrW%8ބUT*8ãCAxЖƵF 7l}$WN%x6]yoXɤ3Pߵ(Q7{5- s ǸiY*دE/=MsqVS186jw;\Н 6)4"v5'`ǃQj`TvNM7UxL-ϋ3lݲhBP+PLϘtf!Ƅ3XL̻=ax♕Kk3^XJ&>>:?çmQCILoo1.19.Ja ,V2$U~KDM}k>àjʐb|XdI'-BvlɹJTb|c{>O3"s=̷0ma⾑Irzp x?`KxB /b}6iN ԭڲwUQ i:`qhq'yUS Vbcc_*|i4);i_8(MYL\|Mתe+XZ&Pq'c%9r(9/աbK| byNq&YRүJfQʘx{2⺪evm?bjȷO5r!Ag+p X4̻mV|̠~_zv>ѫ1&f%]j^L[uL^Tֱ?Lӯ*_A1&s܊D"<]|WyLQnXr3*uǙ^gۍ,5FL |#+jN>6?# rE.0P>*iܻ-Ś1r8_vNlQ.pӂʹ;]r H,< pIYD9<:1ةڽ+%[T1,{0,۪gC-1Zʦzk;S +pRz ~%\?ahYI< TGEq ؟8? JWbX_J9 u*ѱ?I7e"vI9ccrP9( :`2:xQ tu#Nv 6E!H|?c3;Y. :(ժvPʽѱ17;1^[!ByύVg;aN߶ޯ 8ΥsCޚRRBE~V->kB2TT$/g>Hd/L,W&/ʦODRF[ "k$዇D}юٷvt40Ǯ%>k)5kn⒦ UU^p~Eu[q'|-h[Bk!i$ v/9f4 x΢ճagtU* xPy+rPos#OC3xGtԄ\,_7}h&c8lQ,p+\MNmߛ0@0ժW8`7OPeU_#Fhʀq8̂GtEMEMEv6 tN%r̖puPX7~DŲՠH" 3A5bI+aD T-b,1#u}P+û4WoFS̡=emMp[zM 7j;,E49WT8bN=m!o E|rs$Ԇ:~;<8O IG'Oqt*\ymLDO̿ u¾m?Ѕ4HzCPK;LN%dʇR3M ,6<7AϬ,ovQ\ʤZLm(etfaӸt)GwW'bȕ?QUp$"ąS::( @c%~%M mc̢bZ^v'0EhV!m[O}o Ϡi8ArDU?E fiL1\Xl(p3oҠwLr˽]i:YE._+QsWC,0ޒҲtΒkvG_Vbݢ`KȸE3L0}G8G*+$/_\A C*@-xM*۷LXRn_xȤ {Pnm1{WZҘ&?0?{MEAc"[nE*2hFzU ,[& يLzU>|g~\Kiy`aFi>cp߭y廬;pv}3#Na^pAq O5A5k׵7Ji9B<7S>AK1j:'֜ZpŠWS&p#]ƘZX^W]bs$6#o!dHhIj2}H_0nj\,wA aaA0sLHӕ|4Gμ=h3%f:xR5+:;{)qg8b'עqlfҪb(D>/Tٿy~;`f\}!fTOId?_W>mc]GTnU i4p ,6g $;Ë&:G6#&6]KWq܈GMk$C }10J#_p=}i)Q 1ƀnByŨ_4υR\@*TI5sm"Lm4XyN-2!ޏ g^Tk>X3R8TiZA *.A-eߏ|D?-"W 0,k2qXIZ3ε) %֬3Ge۸Z)rhWRA~R>+tҖ]%*>ƹF%c`ahuQSj,׶hȡ0yZu)c %=۬?y.*L8hGM\(̥Pg.îOVsi^l1gYm} AQn9Ru{?wZl=tb{ʈ%/3g$Wo{Fx <$lbb Ii+=CC^6U.qd`.*"~*= N\D!2ArW!&yq@l]ŲiMJMVF~H•6OeQQjw#Y+/Ր-)\/p$2Egj@ 8%|GЬ,lP +؍ѠH7W1օ亼LE{>4 !p wj$st=}d*Y,|IQ{a~F 2P bԾ6cωRL]ڹw>2#@0k͹ޜM4Rz3\XtD'L܏`vkVY>:\5%6+=[m{p:,^=, gb !,t%* # t6m\cb3u^=7N?,!K"?۰C;Hw+&ER+mޕrd{AAcV(]ΐ}(6!G#,ɚ&|agCB:F 32/&Lp9?sՈ\5Ȁ:)Wؖ*b=qPFɣpd r׼*%:$*w^"M[`_I`zy5WUM 7h:L[ V9xU6e \ǚb 3S4(W NMrܟ'&_?OiJ9qOH,&{g_H̨[6 zVuY}ƀr< ݤ? :Cc8m@L7XX!U'"{*wl'g Ὂ$_:HIp̀Q(ymKͽ;<50%QHU-l';-Lv_+2QU>-\h(blO"E+d1SMxxÊ4YJs%A !-ЖSYsLs=$c,#{^mC ˵s5~nd ((#D>j"ueBz牢UDeɠkx|CnWEgYT{?ͼΨC9iI N{ 9|f[0DUKѓ"n85P"1&7{wp3-A[:N;(1@CmIsk&SāIE^AiNiTeo f)\[vfadƣJ+F䏴?eĒpYM&/'T2fd4&e1ib~ hd""_^*FbBZߥgO~AWZ5ȕL5 tjf'‚ m1 L%Y3`y0/BoGhE3B{k\E( q9g+41kwDy4ig״.'\oX}]=^?2lr^&Vz.ag5_yu8+*`iթ1yd4-:{in<( mQh S ;hTWrD=RB2&ã=%GfWEG*5;]'Hes-vB={ [RG ]JWQQ$JP("&0q `/Ju%@,Fi>/z6`'O ]LvC ʂ?X2.%vn͈P&dNt"4@l.m|7]4xDM@=R i\\" vՑl$t.Zh+\~ ?VAu\1-rSsD//0# ;k.RZ'˥)Kܨ>|Fg7yAסLb'|HnuRc 0Bǟ j'H!^ǃib~(sCv͍62>9FhI+"p@Jeg/znI@bNWWu(zM9"bLa~kSv>rnK{ɅruwZ 5nUUDbyS f7_Pm3s^ &'k7M?cQ3S$(?y뗬Y'uW0O V /#pщJOժo1Ҹ-䓼E%_R,̈́ iQc-#E! s,=luя%:_Ma6P|TN՛B:5I9E,`)Zjd Q5l~VC^!$LJ?5)25vP(-i\W}ZO)rJXKuF.yX?b}2V0XxˤW V$J@&KZ+kŶǸ8ԛM{R}hb!Lf&!WP^wJD;x^IO<ˤ+Y@u@;[ǫD{/*{2ɎPC\ H+Mx}WI2]@80/uwmB(3vP+ZP-X`u_>E?"%qOUQP^)%b"$!vqZMb䆕\m;qOi%#ڕqÔ4(B03>gB"L# 9?w5f:ʺfT"_YblX#AEU;,2FOD|u0EUCإdgE78%B0i[T+mL/<_vg~HسNWZ 3~8oYn_Xd/Q56W_|T;@w-WH%뗐w ;Rt'Xy\!H+m`3FjƁ }GԼIc+r&N6i5n< ["`%~jlV%;r"Pa;b'өK#  =!vCԻ<Xjx@th쁡AFrR@Mf+{)잇ɬb5>z,orMv_+~aG[P^ǜ2&{gDE# k˫6\ev xAQ(H* Q;7 ˠfdČ _3K31;~Xr 7VuyƝQkð-8`XL\An3igUn3qfjQY$ _\Лoo-z8'MbbT)-RjzLmEn&K|9fN˫x0Z%,ȃM z|Fdo[O}S2uY!L>_1m:]Hhg[o- q>x[g,/. 01\6dJIq՟jy{"mvoRexܼhMs3*,8 荾:w ?\a\0jKDX0߹z-2?Y;`gՋ+`C 2354~bTR] X;Ь믊&rO1szxʿ-+n9 vsALVJ 9I0%gHʆDн TN<$wvz\Eoc3S- W+-+-3 -#Ѧ̭&1Ϳ-foɴX,c)o3HCNeBO|w'2r8ihX`Y]G5"x؄>SUߍy$ewnPk˜xGwJ@~&{@SC3޼ mI!z# ܍o.ї#uŐob GMtUfJNڬTiza~pxp( +i68jzp$N?X-2z9V˝kaQ<=֕_菰L@Qg{iBV#OYb U姪jqIv"RON/q2j/?cMݱ=m;x_ȋiIH)=Joh蝦J1=0*9ar+#ҏ8V{qX1Jcu#YY#|G@k@괜usJ 5)g$lzhrcRp+yE=/Qub)*P~V5./:E.ka&r!e)l%V[c>Id.$x'|6KAbi_Wd ja_;OrE!=诣Cja?ȮA|^xx#n>SfW`Z(;``lў(Mv9[$ɥV{SgJKQzD+D)FrAч[\LX)ըkfFA8 hQc@ukQF6p8N'j>9}|Y}ȗ۠ZZpf*"Vd4)+{t}l웿W*UNa~G.r "鲭 _lw@Jߠ5 |ʮĦ|r=m^0ZH#d[v>5b?|T[؀kSU\V>Q.,XPU&=m>gL:I^dsdNk5g(~>4pz:m@8FNqIWm<sr<-D(Mye%.^80^2D慞 49Y+ JJ<7/Dk'4; x #I&5ګ}rG6A?W94]ީ=d3ꃡN9GJD 2up /_vtc ݉;B_c;|?D1`.Ƣ>=&X!\Ѱ3^ 2eH-$,1r|;㼙t`s>7Sym-B<3I&Y? SDW{D:c\瘲ȍW݋nK;7`nNWB/ {=dQ}>$4H@m4/H֫'ҎhjrYS{Q$xh)MڼwPf=Ia(M " g< MG8n2% ڈ$N >gIZ37vL1K%u1/#+cVO$PY(gg!`e7fJ% OZy-f#ɫūz&$|v( UHe>;ՙC,̇NXb7C_SYֹ̺ ϜwSXMθE)|_b7qgu՗dE$FYLZ/ɌEŃO45{99[ʸ0?t2lp5wGTRDυZ)?K^GEvA;V,}G}3&U>Fee&PzܑZ >^@j긻.d@}}+w "BJScU $iդn" Xhr0V[zo>8?xC֯ʘkd{/[_QA[ wn/.T6H)e;={3۽hYDTNڒFXC?f)*i_Uq`\L%]OE|a7x/>%M, x3E %)oYwZТ?e@l e B F=H²%׫2|xJpJVtoRdFxG,T6)\v(G)eCDH98x_(G(d"TR攧ɹIAFo@g *hџ80[Pmhٿ逜v^&zvσow;JK:)ڥYaZ :iܜ Fƾm"h,|}kU 3z`#sNՏu27OF&\/4*A${5U9*'##qGpqR^@ ۝n.^}r9 ZTa~bRrjQ2xbrWxMyOt^IeQ%L-Xj7VߠfS.1!U9ل1%X &;N@] ,FJלp!m`k q E61ГR'0I4.EtƴÜϓ)4+;<~J* zQ,/:bZ~bO1g.6BOI͒ۅkzD J4=(j{!yb*wŖVVU[J7mf_s֐T(æ!'Zh:d^6rL h!/u @*ZЌXɛsqCt0zF^X8tR6,kTJϥTg&b0]n󁝦W ١ (vq 4^_aBi7=u pVO~PݚXFs1ñ747f-\ffj2qm|B: i0A{ ~T_OMI>͏9EJ'yUB+xD-p8珈]\mG{R~'$~!lk!3H n펒i)4LK3/ߣzի9K. 'ɗdF P!:zτJhXcRq_c-͗5os΃YW:j 7"vPgC-Cd 8eh_H%uXԝ/na%\ 1iYb1I_CwoU02tOR((ipn"Ն3‹ j먙%s!M;<`cۙo9*%K˼Q; nǂ-Գ%yi|FFoi)ζsGmdJ>p&KY8}ue mh 7pnHr,s+tWTH|C4)dxH8`2tX&\ޖR @Xޡh?|G~Ŵ%;?-{7fݦ5t7[1W5 ~7P;l ^sdKrdFyXC"@W:%>k&F#횮,J?/ȗWkN#}Z_62frupcXLKǁkg.C>Z{7AV1$maƋ RQ+Jk?Ao'zmJKg*ZF PJ)z==4$V=|fr( +K҇M/ .~/N] t_lb3&7܉<q'ēz8|lduoW{c܁].+LQGڇ,r_*~lf,+UVip. Z] V X[9lY2P|jDfC$}?Aau_Pn)rNmh6Fw]4n4 "Hj/?T.!2˶]4*eTgH) 'smcz,涇}£rݸp)b1Z#\Y2./}w~lyM]URm[I;d03n0H܃sWy5!ěO_8Y8la˶QfJu{Bgq {d'W!~l?cǷ9F"8{`` gu{:g'dY( l\wMN?ev٦ghQdv7/G }>a@&Bi%:= +^Ob(Y0_2|ϹifR|46d,ȆR]&z0E!Q Kbrz<=^JoD,C+yzI*LI5 ?GtCE:\ c ATH! !ݡ2p䐵I".='*_hjٸeoŮ3Ww lu (3n1M[y$q,=Q+Lbq*m Y׀#̺Ӣ 4K?cW4b+8eAsc0炝aRXl _Dqwn!\ky G[qbZTG΀ø t+;nz[ l"nž1;$ qBbk KJDQ?dF/gpri0L%&^i^Sh'B<8Wq421@\T3mk4EԀdbCH@GGg}߰axA j)cd+U7O5k$QN+i8`nXևG>oE[?ww:hs '~|/˒l3-k4P@z\#6mq vag4ZLQKEX}Ŝ\pmh!0c+=5ppG/R @^lD`\?8p+~R6S”͋fm-޸&ם*DhyMR8t9d ~`{P6ʥqҗȊ?YN_.cl"zR RKfs)W\pSJY0Ooz㑅V ִMXqLR< ӽزim<+ 𣀵_l[ܘK3LQUnKifYݑlQm j^soX(pp̐!2+|m&kAȸ*qLP5*D4쿂6d~4)_C\4^7Zn6ip-#r.ƪsH^ aojxX;D.Wk*ou Ўz#@u4v$ĵu6ZSImtA?t@>q`;\DmKR{2DžlKia Id,BźcM;<*lirvj|4}5Í`$*@1y觔^ɭĠ@AJ}[$\3Lghba%;zš7qusfSl,\'?ѕSC]7Z].E(.'wa Ҩ l+ RS.Aaa/!ol j_'S7̲p@'BQtgVRe/G=5eaay6@WnϬ+ 5p60DFtrz!,SN$r|\ +PπĘ#Uf׼7uɿdA+@jbwՀ2"! h5rJ ;B1p֙",nгqT1lF)H`R!Rw@h}:'Iˡ[ %7DU]#,Y*@\u8yDcM3z05ye/%a\eVz o# #NSd k~)~yId0*z ̹a{675TbuUڢkS2pqUN@פmHwVy/Ff+ٙ$+y?!;pŦ5Ѡ0.,ɜVtrC{ҝ!\rΠo 3 gIW`  >Nv#6>i?=WvsX (: 5̥7D#֋\M! -_W~㥬 3]44 KT?η^ <+ȸDv"G9/~?[HDi^NKA*QN<ˋT;Eb__yBaB'BπO;EJP5mz M4˶q>[=FueȐ)=~ 1KR i~;,xG >ltdǩ=԰ufdnm.M|Kyڴ;K.(~GxpuG !]$7,vi ?~Εt;ķl!r# ZBwۇY!fFT.EҚKl@91WRt")NbR6BCZ窶ߥ~iC?z| ;y3) c~ ϕ]ZQǗZfo6'':'$u&$/4"űԗ2`j2@/diz"wsS'iKJZݦڴʹjoz *h}UG}'¿r5rN[ 8^[Uf{*Xr|8s -U&8%1Ir'I}fFą@l5`0ʼ[p^l~Js 8kX @ԲMQê rICɕ3JymzGd6+8_U$&ZE@>!Wdv or͞kJvNo 29G_b bx]_RFt2pHS8N[ }s5VB~ -| PyoBCUsl> BmL%v0E?evH/҄~X{5.XzgώuC.!@9|:0o87=zmh-~O pܫY˚OlAvΪEVsف6MAEhf/*U~icmO0-_S[\LTqQS=Rɱ]Aʝ>_[?it?X~s IF":$bO:>ȿ-{rS,ͶTʼnD&mxacPܵ(mOe  %V҈}Ћb5>͑svRҚWVr 7]̭Wݽkb/ gg8Wu|gc~7*>^SDaLY量ڰT0*`%gYZb32ebe1b6476d10e8f426863f8ac98e3b6a430bc1b62f589250a397b750b9cb14f8361ec2107a8afa2fbbe175db871d3b2afabfffc51d4fedc370f29