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 GlD ] Core_DOM:threads=4elapsed=320.548cpu=994.876gc=54.120factor=3.107zXZִF! W9]ŗXf[&u PcƃMfeĒ'Y[WS/JHWESheپH!M LEe刕ij(G]7ģZ5>Bȏ-a$}D1%^0*6;ߧ X _'.{_<`"5JR z%^1Hb$*ہ|ؤ(qFj ,4WΖsFN\_ֶrjdj52Q >4N~*S;HAD?MKHf o|6.(^AH"`S鍫{7L?%tqkSjY!. ʛ/AjU~BrVzsBV2G"xC*e<aTlU߰tT i}5~^,:ʽHAΥ-tR,M_jXݠ*DUb4;ny땻M.J&wƙ[32mZr6xs pTV1޿&8J7,e㜣u OaJ4Qtڅ F^xÉU[ўπon~U/N8&G]V2DL7T  (K XwhF$ SӐTRra1pe K q Fnz/-" GQNu ;&y5Z{wVh,8WM?t'P肣`=BmgȘi ,AYAs3 L8KHH :e6 @g5L`aZdzső!ECat{d~I?{6XN IUHJ$S{q߰%n$P.1 E|l3{3Utgs%Pgs9ލ{y_ :.V%҈-##ޣ#%"muWBM Aϙ_ZȪY쎥'h"nϯ],J>ە\7BLA0 ) "u"h B&fF (8,eV>+0!'W áC.T;<[0؊:ꮠ=sY2K E*{E.vsP7h j""_\z3ZҠ+^L(қ~Rc+'6, GA9_O3O7>sW>sْe I8$uB QIvKH/<& cʼn\LS.onH,6o (6IDZvy_O :kaz2◦i>y!\po#MQC1B;efvrqy.V$Q׿nM!wCP ~ ;M ]&@2iaBTbt$8e9"%Y4&\~ IC*EGFQU.ZV(p`VJ;z)Uxى-AbN$/wp/=*h#Z̨2wW5 Rnl:2Wzo7N Y ݃)vml)rX>fhn92x3+ H|&\uxcs&= 76>4t9 D=T,WqoA[4#OGN9OG[ZD>ۆf"XhجԎHXa 8NeI ^пY5υ0 {e4(3 a~R3i9w:iu}2iuVY<܃]x)&E+24De[)+fɑemeYG ~j弊EL+1Ҟ9/'LT쮄ؤ}-ԝwEc(hpe^FON! ˹   Core_DOM  Lw0V_5<$&x6!xӆ*a\O|?9fnw?.o+>*M9yPuI9nO &ssN>|y(պ ~ݻW"}v uqm+@ty o)$Goe,>.ӊ Yiafot_@H<\*phgШ >}gjAlS Հ0K(ڱ*,6]0Zc %ћ\]2# ;&Q ܤe$,c uWFhl$.^36oKm㯩 k\8VjK)`%3rMwF5ܜŘfԅumg+,A/kV2 ?2Z-^xM_{}i?;Lm0:6E(,eL||@Q zѹ%RJ<dF ?tܖ,q۝Nzd\ϐx>suo84TAZY}㝹[z(I<.G+pɓHAX>wǪpT+o4 zC kL}[OA<סsb:bM Y15;|ib#Oh:ܲ΄Lb/A٪J ߨ현 Vس_#PWȬ;Z|_|Mk !{_MFԀO~[),XɄ<2ZKjMKxz|ZC@ &=8t~|{8,+ІL/OWGES9[kOk]P5?L/)%twm/Q@u8q./4:#i"v4MHG):ʘJeSK.N F>%9!bZۑZ0D|KwodV! H^IQcwa45J{s[ YY)@}ʯ_Uo\-[d|ҭ nMD=,4h=V cĜxq븓 qb),OL[ s`h"\f!8 Z&G}t9MI^o!kE/ :2Y/Rs`+ 3c*Bc_$`Z[o $~@38٫FL&xHkzZ ti"â%os5x# v.C6t Kв8[˧O7ϹHqb57"1%HWoKJc8dHUF+L'H7Jolװ nJ7K2N- Poy Kֽ4Dֹb+F}LNBFxX3 ;AοidQAC,+uIhXiWZ[EE QkHv46rԘ.AEPE矵f l<\a.?X"+8IuI-Qyo/\8`)]O6';dϢ6Eˉ;5JGSڊ<[9@+9`_߄W н^P Ў)ʟx-v#ݳţ.;8e5ݙ|^(@ryx3$^hD+_!@FCeO)zOPtnpanf$y5nlK񉽭DڷO|PISS2B@GA!l K%\)/5rFoͰA&:=VQc(pDLj?(Qut4y_G3_)7Oc7#VCcET*%G_j}I 'twԴ=E7ژ2 77/)o K¦Lm:84iQJ|^œݻ>UCka$ }at, vIޙΩK>CADJ6e=_utõDFSoZJ ߅%7ʶ@ݣJݝrCI('Z*Q[I{9Q޳6m|49u[;'4cS8TܭX`q&?g+^&UWiVf.W76s=|Ӧ>El> -\X d$] P^کl_x,7VL;Cc(3Q̭S`,T)BFy0bU}S-\xQi:S*)Vac^ۑk^.HP= L"7gh +6{=kr/_;ud&"GjVPHَwjRE/ 9Rp(fڪg^d p']JX+F(iYjEwĢw;ݿb=-mlm>J uΑqG7 MC EVF:ytX)ɇhrG ѡί_9YD #1 _U"-1D#p g6&yZked4vuv6:_yקd<(sQ0$'yL( J1&5Nr4nVK}qwIjTʥ1팧2iRԈъ͟g.c+{wqUȵqoV| _͈,ʜ_l p>+:~ֱgYZ7zXZִF! p]ŗXiɟ69|%ELYah\&[VxyB(s^ vNLHWT"ѾbM\UvW:&6k2ܞDNQOpU r|w(ǂm ̳rCTfjMh Kdihh)͌T7i-^0ZaD|!ѷ,3uf1Z"i*JQ(?ы;{his_}OCEGNFljض?LvtF@x4l<׳~$%OԈK)-QnkX*,q0gWгd=ʷ ͧa.OӴ3L `fG8<&d0K>g5:mtLEૅl/K$_u8{캦M,CzP}%斪B0d3]t_)rF0N:d?h=7q!=(;$U/>v N0o&>wih[IDŽY1r:tuOB]H?_]€wڌ CsyT_FEgMzapKﰛפּJCSFK( 52VhU&g 2+[~ kgYZ7zXZִF! k]ŗXi%B}w%*nBDjCq&ϖg3ńѲT+Q[14ػ}Pa)݁PUwMTvTݚI(ߒ a#ebl%-N ,XrmfvZEi$v{Kb·Djث$[ɷRVE"v' - à#FK@~uQP}o$ܜu"Fj=%u|~G1g6^"cnz 3 (?.A1;kROSn2Y)wgHa̫tځ }bΊrj8Ƥd ޑ9rÄ%=v2["j 4:T B6=Z†GFhԫ? g4-1EoY[{Pu%%Ȑ5&ٖ۩ɤdץdV1+p<@>LKZEDlZ'qGuFrl2$ItF(K}4Nԙm;>,kt:ZO(u֡r_մKj໽ltM]zK˺~@(pkdDV#LfH|BY:)%} Cy݀WE8%5zm Lu7#} jq&84&%^?dzcGGVNj&UU\ko@MNPke~ߊ|4W9i#wd<$,JUET UK;Wu#:Z9<>}\ h܊耬s$7}WOjT*ɓi S >3b`xGƮ QB'Ȧ|eHp*- iY7g(H8C@O#8#lƠKJmUȿMgЂ?tf`0iϙн` NlOz.NaD0k]lȴ4R"$^ɛcptdoѷ9<(A*uYz5iEN*B^d 4O=!G9Dpfu>D2װ;q|vL"fo1!ĂS5ܬ5$e06W#8;;`HӤImZM"(hGisiR݆;N>8x'h_I~ML8Ց* ^m3Z;*BxS$s/ J r`bЋk')\lk@Xiɱ~D_OF $m)QTVe ) jyLj|p B&lTXVd Mŕg?cpٱ&&Y1.٫gw;q|q㯙^NOm>^}lV 'A^[8g({+@ N5]"p^R XO\or}9>ҡ1}UeDb6SB׉%eHʱY~&g'o[^xs  aS-WZ&k0?M>B'+ P0@@Fe|gNi$Y =W#<}& 1Pl@۽HXvG Ǐ&y& "CЌ֝%$՞"jbBo%F2äfN~bA6W! AjUƝ.7ܥ|dzp.,#iIÎrMCCͻk`ka E6ڨ33;nlM IVi"zҦ͑Qd2%/%Y1~ 9AD{ȹ+a3>D*'H}먏U@RK \goqAYkw[slKZy[d8l;EM \(}8⃼N =[%?}pre.OYϺ@F0tur!LM\q$N0(Q؆6~ l$L{IAVk(/, O}VzU_, \ ` K3A/!s/z称6HFHO`[{ô, ˿08j{-xD!܃(Be~BThH?\^uYr?Ë VWJN>E+Řċ ;:dǎ9x+.o5g2F C2qeE,£)~uUDil Q fH6ǩM. *s 1VƔM2~z ,L]8(Ǝvzt9[dlgdLls1E|yW~z٭Ggv D`fn<sj6"PXe #@_KD /.q>|M[H@Ԟ0i#HTܹTtOf+ӆ8ul\R 7|MMb@Љol9*T? $* 8q1]GՆ!{9 h v'𪼬<{2领<ܨ)ChmS»3؞G\|6(fl ;YX!pO%n0,d79}{D-n HM$ \P=NԶk=}5 -[6+w|Ϭ]J0 .3t,pCiS o= s7 %+}Lg[<չ*Tӭ!`|6*Cdۘq~uEhn0ºX;")e׃^p5 F{I_"K"-qc=T jGn`b=z}]~SVߝg|L&c!Yn"y`|QW%o Ru&g}liNO)$k6_3BSFNJ esJ#C2?rxrqlzD;'_ w UTڙ 2tƎ!D~ku J)XVv܌mN|{-$ bfg^tʔ"Ԣfcd i7D+B?-<+  Ha)zj!y`ub!+[z-sU[愳{1򴉥u{mӥ|2@ Mx\H,UL&}E7 [^ca̰WoD|Z Z8$Y-_Rω( 簅`x8 [վuq3 Ds%'9Vپq-ql""F~/q>߅WhwNr9O.H|Q`/K/|+ޙ< $O /O4O“/5xx椣ZiܰZ; |$wK_Ml^Lc&+(z$?6B߰\ߠSɗ #q(MpZ5wt%KOI*ۙqÔZVSaCI}ģԀ63[?ά,1> (#V7Q&~D`TΖ]t}OcqSS^)e 3O(~7>Oz͌?+צxxߊ AWەj* 0#V %zo굖p.H1a]1ɠr WJ`18QMRdjуe[ T zph"syD ̟ 5گ ޹$]Rݝ`~L"4̀nGo]򝑝T\璁pJdV/G F)׾ /Joʉ)}ѡG<Qʷ' {%se}KtoT&*$nEٗvt%!UP_է#ME=/oCSaÜfݤ7鸡&$ b_ej+E #'#nFiZ 7"A<>xWiJ ,|jH }KZ+2'4]fddq1&4j~NNRvҌ+:fc?R :Menͮ8/pʏۏWpELLص\@z-;joz\ݹYxAC".ZGt%6)>6lTi7xPp)+n{3@m-{"-(Dcn :KfSrxonĒB~9 AdBX~`w*wlU&x"Rm{H.ua*ϗy :G*AӀwpWrY5G J~55R?$\ԫ UN|3R~Rŋ@ۚ:SɐX̴x0afBj!eOjBd8w)b+cj&!%W}4ŚjIXp9ns/ma6Vʪ& `eTG@XSousUW_.}LfX-@gWۿs.CMPchy:a#;)qcs h@#1w&T=3T@VbtK!qxT. a:#~8TM>"ڨ Ou dg0bV߸ 6wn-Bs#Y op;z_6mH3Y;{aaAY2dB-z{%Pg϶tqwvcirwЂz%Yȁ_=Fڶ%_XuWoԙ{[~ c~Ʀ9L(,gWh*'V V䴭DW\c#A/v)5RFW컴W/)T HMؑ?DYp  m$Y>L;_z)@Xe# <^BmM9^#)dK9 LXmn7 ;ʙ)˱g{fߩ6R,h ءnkeWy: g2rY15:V;R7^w{|K;I!9fWp ODIWBWm#O`Ёo[d큷Sߥ 37I"Jw$28fFzu\6Hjdbnj#,\Hԭh Iw?[;!D[5rmD)8QGu?M]S b8Q9oW1\ã?^2So;̛R'y!nc+"n /skH8ҘE_VS.OtT}XBV bk7xt)U,ZrɀqbPB1Xa1~?sDH x{$D&8JGwk]5@qs5ȢŌ~{C&<}݀ hHEN]^, *@M`hhph#g9R\8*+  >HDhɕt9KBF:ҩ@glTA\-711'M/)s%z{i)bVU)~ValsJv)-bgU|&f\{W"փ$L@d3Um{[LTo o#)Ei7Qо+`u6v;#Y|]GԃjfRS).@@h;~ #rY9Up8rZԋ: '{ȒR-V1Uggo !{xh*Kʔ̅nsv*z+JoFi8Vnt@}IH#ۺɽ5 nL7zIw 5r*ȽtbEC\elr-*3וl|^ܞW,u=ȶ8i m&?Ӱ5]ďuxjo@MiJE[$J॓ twZjKNs=DfLjpag~,~׈ܧUwh>p3}T'tO{vV,|1S|^0.'"b{$E=vME+J\8@8"+ɻ_.P5z됄'\ZSk(\l }T>z:Īv]UPJb<[`x75HU b,'3G"?+TG}DYHW`<>.q.Y/cOl([:2ډ{P`/IKIPw(c Hf $,i&0]' Ο/(M)FRɘT?y Xݱ]/z #ċq6a DЀpsGiqX2i)5͐7d긻r*uxZ?AfJݞZ (VbK_U?Ќ6caQRf֭\Rbkuc"^jj ~nf^R8 ۠^Rq >M!n3t3aMKT{*]Aw)5/GL(-ovrS'& +K$9lxgQGX-@&}FqP>m[2snVm=17 Eu"z8aJLgWCo2' C0DWKu1w\~$ԣE &275krfAd$[YJ ' M&F&.}4V<2r)54Ŧd{BtCKȿxԛ0NxL^%QEsZ`[MB7,;RRz8hȉڮ/F qTC-94`qBDW;30^ ]2,B@nFKva"?cK;!BݠO~{VlP޺noObv|B5iF~XIҫ_( ]!dzcSE'3S2YV}t0 'ܑL:OұIOxƕ2W-Ww]vޱUβ X"x#CrE΍薿(Of,#w>KBezJ8s9]GΖ4Sr8Xa[%25u2 i {v*ܸ++jщK3b`YrD&g2=x (#IV6 |LXe[VíLNhްh{%>#7I'W?pQQIJπp`E3 %NL9tW(8 dPUyڛSِ.+_nY6 QCAJuFrR1T4v!e"Pki3.mҋO2m]Vu\UM!wPn!nȋA4ՉVGn+ה\ Ezu VK >,P./'d5t ']rpU $r8hky. &fg}Da*_8vERkp-Uηڄܣc9?pLLv`0.#/Ղ{%1 N&tmͮY6q[H{gmh4O 2Wg/+N!*b⎩[a~zdwj@3lIF֯0㞤lpг9瀺ީӣ гw&fhzЏɼ+66?bj5.]G7>ϯCP=#qm:_/lu½IyQ-yeut}xf,ou4:x:O8m e"qwA0/8&?MzD(%DX0t7$  ARouC;*;mj 졒rqvvQŒ X2u,`vgaQJ!A ZЙaQH)1IF`Mƀ߽N)vݎP+i^V;(eD8HߺIv /+\_6ɦBPT޸uP0%;X4."|@r_1EQźN2u|*I^d rH{OUK-FnV1HU€<76p h|%:'+JkՁY/{OkGsd-EPTi˜MH L3]K*%ݮ| LpN5QjW90@6:;ΦuP"q{O7 Sov>.@n1'u"C1OIq˿(࿻.}.3Y˜|S榼@>K!M ԿvCKB35DHeδPȯn9<={8悝(GQEj6V+ h&ы'$F O, ƪݡy+ ؀K i>6d (_Yps#ĴhBE[^K}fSa{ Y89$d~>V/aYWMMV_1X/tٻk$4W)T<\}ڼAsZe7S +-P`$Bbt'̆zav|էH(@Nn?iqvJ][46 a%܍623rm2Qe ri=tig^Q@Ӗ٪{F׼sV+Vv_WtwI1۞ȁ"Cu;$oyGQiɬ9L#|gкPvJIu S[ߨfyWߝ*]x/gFС=8^%jK/X, q͝NVђ ;=x~E_nVDk6JZ'003KYUe+TζV=kyԵ͠bR|.ކ%|I9|QCWnVG_8L?7Tɤ 6}:Y?CϏ/ܳGY݌0bJ3 @!ft( ]K Vl!֤睏hfzJjg@Q&)+z$U7A`YܞT^2l -JĺY6BċegD5d6ү<]?<~}E(S$Jby"kX.HnAaðǼ5c@n+M6!=9/4 ?U\ $!֓@}rKH>&W:*4#Hj dHA,BʏإAʑߚ}B!xZwp/KlێI33-ʍdSxIBaRxjY}_:[ \TȤ\">l݇0;OZסH.݈lm!co>V`a9цAz:רZ Jidߠ8|O`Z{P#\ꪌ3i1 k#gdޮMF6;6<CO"l~Y@J 6x2؄p,t#KaCqy=B~^= _d =btp^ov8 ,+ l,uv͂*1S/*R.@ƗA-$8,<ܒl6KxݚVPfB<̣r+xBc3k>MOj|/ޕnN^Tf#239U9eOueX}3= ƛ&`d%GǑhvĶo{47W.z D1*p J)҆8XcfYގ#;auc8]nߠ?V f,%^}0u$-FxrC2"~'kqnۃ9"R+ }2UoHwpudO~C,6 CXԩ([e% #U Rp:v}/T\lB{{ٹ=K51 5kQxTxIZf^1Dk&dpeiݹ7rKv2J|{+J/f/ϡS|kɹ76]3/ukՖ+rB5hU6 D{J@ . 㓓Fv`-~^vInC_e07 U[#4Tمsw[5O&wI#\ 1HJpidS'c߸4/V3.[ 2q)G@=XŴx3RcԂE]<ަQ,U딠Z½3JLW'd2PLns@4HX=ft;"TokH U Cuz%R El-)^, aL_؞F#U1:Hn%?\32יV$`T\!FekH|9t'F1`x~{"@Wf%) Lyx'_d{j|8ܩ`.6#eX3v$`$ 1!T09P) kXrt[YaEq$ !'*?OIt9 6:d ];&JwX Tf MQͬ$%zV*qFN2>\Ewpq!J[~hP `F&g=9L(nv&%jm%hjwtE-72RaJ&Em\-1̜d$Kul^*)s &6] 8)+c7@2VWkf"D0ݸ.CNshxp>gN kw"wB;*)0nf3kĚH;D+P4zҭ;Qv橰EM<5"uQ^~v&܊WePC\*e.P FyYP&tumJdj*k(3nj8&Hĺbŋ[ AXK.vLִ&ZqV7{~I,Z[(\P'jڊ([ӿjK0&_hB@NlZΚGknWcF(M ?b$=cpı3 ϶#6ShDӟ$fg< CAMY8DsfmYs5POP2GC ib;6$ PB]SIXZP.\au{hjD$VPK W$aىEOCIv㋂hT">2Ұ_a0#ۡЖ$O+_n8[j=w8$ՅOc ~z'] <}YtHGm'MH,Gܯ  ^9o,\ g!Z^3P~7D7ղ@P,y(WΪn mXmQIx/mH4hL0{q)C])vJxF#D=[te hT7UbD#f yj*Sݒ^hsqx ѠH-*H9xe>ȷc 3rMN 9?|IXOΆ #/PxKKDA݋c?$w撒]&Ћ7Ut!.hHۚ=0۳: ꚇu\?>u5!OQǥT 3W \YaԎJG|92*i|5G@q^!SD~~t. P!}@H M[lUzarD7@w^9*/U$-)Ȃ ]Cf -K44ãʠ%q%ƋqK9OHY̒˝99yZ;F D3 ~:cQbdޛ5z|`Ew^x~ 4_DFK27;fZ҄.Ds(Es#=ոSgxwL*UU/Id;45fFTxtag)~ mZ8.'Ki<՚Y #V-D`"lDخR>z~*7-}{`2ha C|krw%Wb7UCzXqgP8F= <,HkCG8NI2u=eG(1y֪iOu'hr10516RZn.wKJF`ܯO?Z[́8O/Ssk^m@ qr8Ξ8pV^ݤ t~Bdڎ p5C4-gW;tC]9 Y,  6-V(]S%Qj!4KWv8>`%T b璚JTV =dO2߱sb ~v'圂y8 Y?-F흌:  -/D+7I^|l0ϼP&2cmKP4k][gv s&?KTd`7\y_]S<āTO,khW3!z?hQAb'rOZX?!XL >'6t Vlcd$P:>R_ ܖh? Ä+r[@$ s𔕛#:/R0 ɝ58 ŚDHCݱ6e [0&CH:m96G3gI-̇pΝ_5qI:}3d(LßktGPqvܣ~qjF)A4-,kC-<."d3|7-h"~Ѳn5Zh#֐ǹtp\27W >អ!/bQݳ|'";<=o*C洵ɘ ?ݒY}^.G'|ǜ1$"qz,7qs Ɛf/I(t+<0ۢwYmK\uSy\vGO>B/E2u0y}$QyϏV F=c!X@5dB^HT;CB d un0}q/ke<t'*$}`' gQs?-<֦K_,u H$ (Bb?]==21mŝZnFI~my~Ʌm!|onHX1ABp$!d;V{ޅŻץ'%؞3ĩdV{hLU!,7M6Jb|f'*i,xviUяXB1XJEM=:aGw~T7svwn}E/mϖҷ*`Z7;Cݍ%l ܝk^+[6[u uwˇ*ŕ:ef3]!&C,3]3vRwmr㠎2<$Fo?۱A,M0.!=f8YM{_$k_UՏ l, Nlu;W+=zZ`vw.tpq^##L"r{N`Ej0ұĨ!CK(ސIhh3()5K l+]rd$\嬠7aon^%CYD' )gxv -@:&zH^|TaAcP_v5ooH/r =ӞV=4-?_}+3XP\H~>AV<m;&̾r 8pe@(E\۞8$(J,;=se qS T =)ĉ1z 2y!`4є^ӛpbpd,ЉkQNP^;zy  >VWXM+87mF`[>4Ae)4r88 dWBkƐ E '|KlQϺBUT}@,F {+)C-N ț+ ,f8\D4VHUM#O=ZK­R΋y#@/%պןnju_i)pu؛DMwYUtGC8;>^Ɲ=OE峕Vū Rr2]R]PAJB.q4\~?㢼21oK$6PODD솺oCnh v~qZ۶ι*h|G߬ʆ𘷒&˽+i~H+t|1uYʮֿu'Sd44qWcP W 81P)Bߧbl,n' ir%cWfs`MCw`/;>^4Ʊϸnx6֨ӽ W+RھAO Ṏ[VujkV$[ ] ?{KVoR ,M9 /B,3*yΑǗoi\l˻er/\`l}y`Oc1;DACJ!KD`D/3 xcs8n(;?ա%:۳Zk*d$mUň,1WȢZDy6<|#ݰ,*JW@[eDZ?1CbյbBl}ۈX]-wp^p}vR^ZHPA vIzk/,J|+l8p('F@h601ge>w<~D#;׾J= \ŗk=ﵚ~wmAœ=PǓ}Ү^rX.[_(e N".ϔZ`/Z 9?LNq2t{kG43{*iZ!B $"tDlRoK +ucG;fj8kAKSA kɳ$݋gױOl|8HG%~ lUmjq[;0F?s0+́N;f&,i|A<'kV=$_։PUw}U>2;+<@o3(!GM<8(Ϝ6 =AQVky RrW0g6T١*̿0&J G 5{xHg8 e(/5ALJ{Qu.L_ư1gSKo|:&T|= n^VWxbA|\b7H_ΞdQvu/6OVv<| ~3᯿t|ܚ*ʱ/fMi,!xπ~PJl7Z0ވia!7p$*i~_ZD~-@ޝIEܶ_M^m[喿o[3˘re1Q $#bŹqo" 4 ~#MU{) N>x#Fqј1 aKԵa#i3UuSfx3<=d&1:kp '8\ECb#`ٜM,s[CNiT:*oq#FM7oo6XS"hAK* gЍVx/OaͲZ_r!NW+_p{c_;]3tQ_asfnʓ)Xs=3]^ JB؈i$nz bDmqXε 8YɜujUG=JfĴ8g6O6-%}2\ 91GcޗⒾdo4ZdZ;X1tڜvJ+!㪺-d#'"z=kvO3~?N7( sIRұZ׉{v+^պJXɰط'pRR32pa]6 v.LKU1S T^3 r%7'(l/&UuK->7;$1XcdW\*,KgتZNX`9{igʴ$տhRcԓe su.I;mvI"^HÇ[ڰhMd.(k 7L8;:^N@0/&rUH焧ꖵ49}N祭/4Wv2wsśQ]!/\#x3lzoU>kDm!U)" >e1X= '^@G@͑s Q[HK/s6B9;MB% f7sv( ,,LE$`&5\/јtIBFi.#iHqӝ&m$Pr`_DZ8L4)tOY o \A5j?e&9^à;g i[Zot"FNʼq)s >pF;$j]*mlێDZH+Va*}U TtuDJDyӦ'Ѷ\CӬ䉁&s^A'Iqݖď%JVnbSLv=~f`/ihִjP(@ V/)FF;D ı\ >@n0Iñ\) c. O9.$%5$jO1k/+F)'Ǣ rc#P2ވ+lNbGnp.vϹi,{:^cpT !U\# F6;AݯFp:̴: =!͊l4Ŏºwn6TGiSQh9X?ɷ `ׁ:6qPd fQ|[m\̛áiLS$1EʀP԰V-&mn &Xn) e^(C~b0TOsiFT~9$G+ْ,1X$A 9o/N›+!8UڋؾK߈>d3ѿB/iC06uDc5'lR 虳NXȰN6Hk׆P/5ēDCJxT^5~]`"#gXBgmˠ;u97R ` ْ!M^Eb֤a_jJ]ȣҎ) h~͟ |zQ; ]k=Fߓy4oxN-o7>PJE8"dۑTN݋%Ά Gӕ, 1pt;-0p\3l gmy%곥L ݰ 9TZQYWu4i r4$MZK`_MtBI Ts;EWIN1E&mLĩ=wMlr\$F@}_v4~^~yL8cZ'j[G5xƫP?9t7vO]=*3 #fM?0VmT WHLC}5r)0zc3G"nfwTmjR"}/}#+Q\2\o=|u$( ܆+qJrOUGIav@I\`'Z_4S>p3H9>]'GEܥ6oX5u@ݦ y-@T*%yS~Xea\" KpVf3.Rsw'aO< _&cZuDη .-mRBaޘr 'ψss[KunjO8# Є"3g9/Rb}Lw.o=6 'U je=Ƀ&^Y~d]k'c_(۠}I")Zj/❉Qw~pRC g_33M 1#T >O@UY(eW!Nʚ Z*ɔ&;jX,1\ænm3j뿧{-1J>ߢ`40| lxyb>B`@^̬jy~s(f&hl["ػ%..h7UX)[%`]tyc'rs {6e@o/9ZOc;F`zP~wJ]d3tx-#Wvb'6oW}SkGX8[ƍŤ 7p9AѦw9-vVZ͢Gse&Cxy ϕyr{,.&;0R0@N-Cc=v$GioJUs 1&;&qxc,k'jnSK=/gz2#NdzZĶLo6UB̤K(F~-fO/wΏ:uV{ʻ+ 1U@.]RThJv[6bl 3CZ}]3ܥ~aE@5D&b\`{NZy%lݮŚd5] 5izղXzf"JeEs~yXڊGoRNRG|.%w5x ]k;X >HN2"5OlW}R)kA45DƉCќ<EOKhFʪ L/ 3L"0vM,ܤ& h9,)`< %&C#}*t8mMgcIƺ%.ym{B5B+C)/Qs-ZY̪H#jQ%{WKt?lQ/ᵪDYfW7"uӆ2`*3"Ցɭ}p\]g4ʻk\q$G}swRPIEt”<;6V]PHx*Ԛ񈋸%6-xUᵬ4H97rQDwtW`ݏ㽏4 hƔa[ݬk]Xt }gnr+Q&tǸt!bg[.=_(yiIWztBuQ(R^8Qq we>؄ŧ `*=тAt\!VdqheAdT;J`ҁ2s^3j hYw{F0FTgmB"yDP\L߾'bcDD' sUv`lYZrvoƮ~h}Jd5p]zfsBVެ Q =~hšCe{ /L'9OwV\+{I_`2r]?8&_efFbdru++{J1d,8g!:T,iZmB Dz{hkϷ]O;(S׬%!BNTI+*')F=B.ִ]kMu75&_/͕3k%YXz}V]]ֽ+1߀.t,9иqĠG["n7.S5IY{$H :DGs` E=@*0WX/Ib4-aӘWI`,{ŰBptH"DLY+18}Qb/*qF'7FM:6"jeQ#n6HI(ķ~"<:݃26`ǷeJ`?ۑ >qoX9 3P"F{kՏ>y]F 'C@Eܭ{+ +PMВF6Jy4'B(%Z0!k\dJ*zNj&xl`W)2`ÈgYZf328b789bee71a1af932c41d38301657f1b43bc7c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c