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 B3~ 4< ]/ HOL-Data_Structures:threads=6elapsed=237.788cpu=1355.508gc=131.2687zXZִF! ]ŗXiɟH)0!h]?W ߹ĭ˱_Eh7=>me׆18oʹ6cU>=Tu?D,.-;҆$RSv2jGw!܂/Ei dZ ]WByװf-': O"K`\ih> e˩ i7 6EYer<|yì>Vkpd&c!f{tH/'j>@3y}*h!c{l+2 JSɬ$ŧƝWU|G=pVǽ'Gi3' }nj׹[glltcLޓ,]sP{IauOfx m9N;48h7D;X@P|L]]T el'עxSCհah/Qo;GhR']IC j!#hc4SN^Q1BԝRpHt+,tyNsc&qkO)sM.? [F1 A dJW^hxsNIT9e!KJA R.P,V9AזaO'm2Z*B(0> x3cl>oG& @TE^gj4VLLA[,S 7o 7@9G -4dlՕs{u)hExj֜_p`4ųO13}r?_Ŕ5'8yl};/t{#3KcxRT`ʿxtVTTNѝ[_8.%p2H_4xC i|4EL&Fcf|T{b+JA6^K{Ouw * ;hYgݥ-Fz;MYQ[_\ r>Li; m_%(rJƹ)OXlKs# ׂW#UlScgE)/_f2ڷFCBlKAoNv6pk=X{ҪP8p(>}V9j&5ZU2B֟-?^چVE_M? C=YA+H:_w$RZw)h*`e=6ڜP NʮuEAQ|.&`d dYһԱyRDCa`M܈.$g[H8YQFn^w휎]Jœ"7ކ={u\"— N~Z6o[uc*aPp̰</| 0̨Fb(x0+eԉbxymDB"f' 5Qh,c8.'xȘF6!`NCc -j><74bЧ0G/pчP8ZgZ)>"g9Ȑ gIf8B.g6>e?fZkn~Z*D.@4ei6mm:ϠClUecJ䒯ޮ# [HOC'=d|+?|c6|ǵbZZG訬R&u"s S-/E'͸n{lUse7D7t-54$M~7JDԩ\]dijN||Y3ĞJ3& ٝ! o~qO.12iÑ"@o{㫄l;5L@٘q$vx[r<ڦ$hSzW/\2 $F3z'뱏E@l[c].$DSG3Bnk~{$\=Pn& aR@^ $PBǞr/_e& 㥧>!{q?ov[NR gz߫VHN)ڱĹin ϸZ.Nj5KBݔ*£@ t2fNg-頲OQs~y7ͣ 7hsCKAsއB*@I<=6g v*C1XfQh*K5B$tTZoL<< =NvG@{097|vT}_ FKQ lfv9~%56GI`aO$lb!NP .ztitF6%e4ry K/MdNCm_& e, %ufHp&`BtZ6J*J-Vu`yu9a3hu2h g,4QHi/lR퓧n>+ 'J <;nu^E7FUp5\(-&tzU@W#p`pK,\V-+'km0bLN$kvXIF=ws,ƺYn았XRf @p8HF+9njpa f\HؑX '4ODΨgbћ/wv,OaVTsi\_J^SJ2AU`{"oh>ci|O qgҴ˞E]!a_2J5p\v&J[fyRtw~&u:e[\E+gMGyQ~yJe `D po0NMS:4B8)$4nod'^n)z LK1[{fG3"/tG,dCR$::4ٽTd+-j[K}-k SLG}g1I$(pHpAKyI%p_v~*9ن{'lpnwp'fPXJd64uG @l/oF &zDŠ8F$cF@"|~mkXmw6 ]ttt[rQ3L0Z|$"sqe5In{e,r~QW0R.J ߏ*.LwᘾSF8v s3<%/J2yx-Zte=N j11 .VZF>=Ox)̙C!qQ0fhJiD*t @?mX@ter裣$?M&Oa0-͇-˸]nT7j9&dYIP>߈ lU@y޽t8=WҟɮŐT+BTZhEmq~_ fBh!QyTP6 ω,&j$HqØӤ2pciBOF#@KܛouiԨi%V[+w *o?Ť!I i龄aawTHɱ&:gz᛾aQ30Aa`_#fJ>u~#ɑ9&J/9ZC ([*.ȭhV'n_ f{ LGOe(M-ݚh $G2Jê9 n*egYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓt2fL/F竮(ٟL\򔚁ߨ}|ʲlKrng=xLh3Cd \xrX{Gm'EMcCd֏}c9׶JoeFؤ? B9%l $iI1Ҵ3љZd*]gf ma@ɐP[1yQ %*A1|ҿd;~M o Opo2g#pJɠ*+C0SU5{VM6tzAᤠa^P0 x,Boନy=_= O㙚3\-H>{o!/1R̵ǜXX S!A91m8hVaD-W9"pfcgYZ7zXZִF! ad]ŗXi%L(n K 9)v)3OydPJ& !‚(7DwJn罡^D&\B*z??`͂3-ZrdIn#K F_8 Q+5?+J7;bm N5:mU|p"r6smj:NgV5͒!R#k<*a2 -H*`QpX$")Jxd5#~~Bz~O]¶eպoP4f+K dwlYX!pi؜a^ ht76Rd+6 &(\Mfk;dv{f&hغܻȳ4E^HN`z3@m=z\yGm%#Kx7"նm(<:b艐l<f-=ˎ%4؆b Ӫa?J%4/Zĕ4(FqDY6p4sQђ\5,43^[DjIA +˞ רޙ)!~zԦbUdpeb!a&-ٗ[nK6v ,Nj?3։h1U5oMDFq5%~NhlcgESw,KQ랱 hw!hp>wFS&!2:*Fc5}ީ4dSj3K.8 ;aB5Ea7Eůo40";NLXU*exz1Z>gXp^ W 2s9ý>x y+QMD6x#3{Gq#wun9(5 ds!#YKpeѥ;aZЁu5Q28w0J8b/+kO`[qT2ij":ì[&e +A^<^ k!qAQ)3{`§wY2R:y:ozn?c؊0vMo6Ǽsa-QjVg[@`!ݻ2wdQWs:KIRJ(m'"D&S\ +-tV·q.RDbZ9H~pWdbhkc±}6M { eI _tW/1?5 =x_pҙ3Vh& k⌾[M`:4ú$\P $ glփ=\ lWA:jNV9DH'S&1|j/䮓Bi; fdvU#LOg2smC3=(_f㘞ϸ7(И9JcPج8FXD$d2aY`P Anb'3&BH+%alV|b￟F[b+Zp/3<,|\[y?viZz$}Hλ!Z.@aAM!xgv-dɚM|<kKKWW<YΎ&#%:,Ir)yX=O0?hy#,֮ĤDc,dyWE($Ff%lb}#[ZW+ԑkx>qZ32a]hy{ m׾DWvStBﱻ?g+p[)C?`Xm5%h>4q1wOfrfzJ|Q_Bph @ R&>~ǩ{wK#HEy RE&Y'AdV}\Jwb bC 3qz nGfDvBUk_d؎Q/]_`m64P8{gC ,2c8a<r:YJ%,ҽ&{Mq* lIu#6pHǭt!byT}HP5+n[$rKv#[mӶ OO]BBj8]xٌjw7':߭aBFtKծ"ex{"Y^|5z\|quW`9C$&A Ivs?ӧl a~cJIܕEYIo @o/S<΀Pa!$9)p^c(ƥ3`P!SO8 [H=Oꎅ 㭉4G4|gtmOS4$v>s8^뺶)u=Eeӌ]|)FƢa >=kʌDEFͺuWpk.ƉOW|Dv̈w ovgnh[)ҴB*K],}AJ?gcDi#'ԫ )3wqgq#O=K0fRwB*ʢl FBRYZ2>+eHˆѶRAmggm qLcwuF# C'_w_`('oXdΌ0j>pH DP}1>h^fˢW!lS`ݛ$J|d ݭ.D퓴p44Ujr~Huˡ) ]M {9;F\M2-]LWW<_9?+]1UD#J_/8Ir>()b57 Nسô3n%h|dm:5[PR6n9aZ@De5X*uq$~bm:"ZxSLH.8D~~aȘuOpUv,2_j"xp:r [ ΎJWq^.? p+&Y$Գ/ڹ%o{);Izl x_#c.|Cṷ?7 몯1\f wEekeI'՘t y_6Qyb HpNp^`GniQSCSp*Zͤ7?uH[Nc¬Hظp;2x=FP7¡},hO^AՑzMZL3~}2{bJDo􂸒d^(*-lo[g1 ؋tU{e3cvfǻ.S-V2i\ͶF"" H[̟ a?0dY.e[4:${\Y+(EoR>ƒfUIC"-9YWo.}/./YW>ۆMM}Bq疄SOɡvݵ>>CVHSI Ɔ@2oVd׋z/Jѡ@??ڴPs/OUG,*Lب z6ذpaf<.?PSW‡ 0N%5(4%g>0|V[# n_ hF1s[h*Y8z{ejUf`˗2,5_?xڱO>(c4N.;+!.&`-o9쒣/SET+낗t.+ Kooח!R4 H(?N⟺^0^P#e )=%cfnPsAHa5D6K0hƉĀeoZWapsҥ=9L+ teN,k5Y-cAQDTu{ Ql(C@)^EݨJ]M6t Ʀw*!Wv  p.F@O p_(y8'} sYUj@5jV祪BZA [lĹ*Jn,2 *Q;oq;F mh~ФG^N7o Q2G^K*2dvpϸD| VGo` Ml ;6$.'#GCwLv-`9Ъd/|5Q7MmA[~A~(Oּ Ypk i✔$cꙓyQ' v\DP`*\.a\ȭMjI}CU=s=$޻4/5?*Dߍ2̜n?`YE(GȒ-9KXcfx73*#/`Rd4)⏗bDE#Zo2DlJ6r b?jTw|Ehf[n&Ⱥ 2p a3>]ku:5OzTwIPADACP|Y<N\!NZC:z xOObF˟eN^:ޔN!w|I<4OCRbWXuV/^4{mv3Sۀ&&V(%[a\{"olC Bo ͪvE lx?4SmH-n< >Vq=)d^ZǾ"j$<-p(rq=wƓ({@ro}Ib녝$̗3ʮe{p'Tc$. WTS1|m6K/tl*KgNEZkG:lqeT$c^ʯJH-&Xπʂ@=2Vc˄knӳ52B9q8|@QwdJWUQ/g|Ut$Já2GZW*m_NdU]T9h;$5a ?akhf'N$/W=7Ƌ^pSҮtdGLCR1 WcjorՔ#jFjYFW$ȱi}FFgEzY/vRasR#Է w^ d:oC eҡB-GJ'f-SXl(qFyBvruXHohs:<3˂cZW|䥝<4DLX٘Q)#<1ӂ1ՐanuZ $e/Uh[Iu޼}ue 9.G[zV1}PSZ&DP/OSgA6s7#MkR LwڧH*IΕlWt~?F8R~Fus&w 6. 1l$Ԛԧn OT߶ SV5+V0G=܋_~ <_sXo>s57}pYc3*(Aj#Xo0$WBke aiqt EUk]W0 Oz2+7},Hip}*6A&/7\gR IO MO2!\Iga+bgUsYI\JKSy_P BgabmyAu.J̲'6ךl#ҹ2=PzVrEdh ݢ)L0 w.]?JO=c`wigucSHY9a_}UU !0ۉ`mr;:, raCw9q1DqvBPM -"Pq;G#vC=k˔^2Kτ0H|arQ%h"'k >{һHs lJpVgaR &qG c5XwZjbJ|KߴUZF\ƹ!I^,PoHcMe[ 0Qpvhe#kW¸6ؔ7)wVfu"OԋoX8ibr'3ɿ;ke$wc.ڸZz}hv, j4!sR9MlWZҷ@;Iݿ8.uS!M?X9TM/Db@&@ 99BM&OdBښR&<(p' >fS~p5Mz`jߝ8,mqL>JqJ8}hi_u?W6zyq۵r_I3n̽k;W37?p[e+yԬ2cJa3z>Nu\Dsfl:$Xn9IcW R/Bs{7"v4MzA`3[hcQ'H{D)bvOţV"z_<+'겸%#+sYjQ$ 1JS;%eX'BfVeoedET92_"3շv^/RѰr-EqOqA?rJM:(G~ə%G҄Z$/& 2NHXn2r7,n$G qCp/$LDTTu%?f fHO K=S6J( |)]e.7aD QUF'U[LU+Fx:~q٫sOխkBg+G$$ЮLq{~fv^^BAd? ѿ4PK)ӌ~Ҫ{ 4C ﴇ˚!3bAE%D"U=TP᧮B GgJC4!@⦥MJr}Zh\ito^ ĵ]kS;Ki9$ Z&PY ԰!0JQ9ᴇDl7uVvņ@3Domj}[GTpb_ǥ{Qa Vd%dSUn.!6r1nӎ sr/8;HK7O!`ZA4@i(BŌe"C޳ՅQNIeET4w+jg ".~aS0ZhoKT .,&hpd`"ǐr0CFgq`cI-DgI&gu{_!ͦ/! R ^nH+7tζ#,$~3ʰS]9SA7YW Оy;⏅ pg5Y׆cUw,gdz_B,kчzԐ(6}E;?<.95 hStn~-n ^0G>OKSX|amNJG;ZD$KQ^=h3g6ha]Kh0`*<ljS~U!y@e6GއZ{r&HZ̑R 9[J5Qa!曪k.vP{>eׄ0>A) qޣ]^uT#4 W-?|ğUC ǍRt$pNB;h33PC 1f ۜ ƹW`vl.7:!ȡ} {*zЯǎ1vZcvVQgq &Jֈ/a+V -(WdxH!?C#FQ]QUB3j}aQwb*[LPCUD_ O!E yYeK b]W#: 7k]&= +Cbr#_=VY8ktDnt8&Lf/Mr29?_/?D;#sAdrȴp^sN6#rWBb!TuАVhCg$U pCd7y5FUb7`w3?4̍(f¼T(5V3:\c%Gv"r HQזk<ΛBErLo\Q ,Q;X!f=nr7=vv '9U8-r*W6˪FWiZ-Z=7 s CU%? )tGxK(~Q=oMEv0BTkGkCy &RroD̐J.!{)G٠Rm%2~VWjѬtNsK2m*=|6dѯ6'5 P놆-tvO} RIgGX{3QtwMMz7v @F$DNʃ0e8ܴnaytE5ڹB|uLA#.GLxKDw;2YĸB) @cU(FxoH{ lwDg=8>TJ} cSMTq8-ZJ#+( EZ>MEU@oŦ,=_p,z~@nenv6EYA~;xW hpO&o+(Td$#xZyj$tr[)ں#\PlUg5_߱3Ce+k!=F)xK`l+kCQKM7#+e1dlc!.Ń Ut<֤_a>kі}zkk]d!(DXZ %Թa=ﵒR 3z+]mͳ6= B@_v#B**M~XzEG-\\Z!?ؑv:\ .{d* ĢݍjuyO$4?ʅBe"dHFupRa 2B azZ= ApbvCNY;qr?.I+*%N rGDv|N!z /,f24tT2d Z:D)ВY>-qBx2"CH{ a؍XdD/Fa̤@M0[¹OJ3yL9YQHKvC{ 4 vg /Gq>x=Gj]1A;_% 2*2oF%O%H U@wN0%:hvh4:wG_Cf˔}s8ьgRN‚¶?db=~:`#sYE^ S,(W}(g*g5HASaLYyAU+]# Oy|ʊ8D$`~c.abQګAj?};#}?$4,PuҁqT| me6ȆHa^:i3.qyӮy}xEI5Q~rK~+(-;I] :g/"|a(?H@p\S ҄ AG/=_>JzP J!p+ZJ!zt(ޗ{|r lo69c+Fd#1G>:ύjŽ!NҪ~JɄiR%=4CВ۠Tj% ;̯d%gp` PUS'#ٯ8ó&qGI0pNh:BQ+q@*J:jvdOa7 A*VU HTQx]"=n?: Q&]XzK9~tNM{IZnJk xG]G,6D9vP464VĒRSyHf5C~zCaxR,*G2I-:ĘW& NZoWب/Xπ.K^"&=tꁫsrfL#+(h-6g"fƳM I盀w=1bbarcwɋFRS//YC˂s2u lKW64o9Ӿ-Fݦأ z2&hAIœC=td&`!T,,@3,qx>#F慖?BC6(SCx&w^ ukC 2\Ux}|Pۍ6XMk4r<)7;z0E;/ł_v;lDa)kCPqЕc~0j|tvqfٗjş3O ٣)l@)*E+J_oQ{-'-k" åi:%. ΅,唄C$6b`qyؘ7rUtuBL?4;%!zPip;3OZH$mM(;f1M+=Rxf8^tߢO^vx\Y;<(0,a_%bE-F _]tD9x]hqdKKV(}ot{wKU,8,"al7!3NJcoVvWl5("σ_hIe*$'|jINf8`utcq}*yTp1{T'AߕIAVfqNsQfL)v‘/a E^N4_p3TL?kS&hR4,RCY 3*!̧Ψ/ہXG==70O/E 6}Lv}Ci'yb&9zF#б_#pBBz,iɤ'o\30?j.F?Ѯ#0c.’zqy̻b}fmX[#/rx*Ր( UoaO}t ^ '|M`~#BU[ g9T.+3-pJ9m@2;Pewz#sv7rײK}~mFTXqN k^sݍ&jt˟V%͏ & Wfz)Bx}_ `;v4p!yxM1m$(w}E' |Kw +"'I-Y?Qmbd77AB[ز<|0X M>MjZ少͑>Q^mTIgaz&Ya;ji $ɿT'ϓՃPB{hHzxQXpO|R<`,0_^]Z.wjўP|^Mљ+VFP%` SЏNb :(u8=Y6qjmv,SDѪ2|cXSE(f\CJ6ѕ?PTݏg+f4QCP*RsX1{}n|-DaMwciMei#`F9g׳!ԛY2dko9:.Bk8FI/«r%O_7V9T^h*'xh18(f cbK064o0O{#Gv}ʚ8ơ}TMGӰ#5ؤkّ<^hǀOD6L&O 4L2$zpQ;Rv-ڥZDJS9<:C|\d$ry-o3-&!FvՈarmG!)0j숂ӯH)b%=+;7tйEx&V@sBP!Pyk3Y#푃)f}$8 G/ז:hVgO1jw>ɇ^$6 yo0X|B;LJOrZ 8Rr.J ńJUo2[aj<ߡ{;t_JOZk~E8$.'sg ]Gr"*E +l0 /(,j>^نɞON_7;=KiD,7 q=: ߻%LK_(s0gm;%KS^Q4 5Tar>Q#| TM}c"XQ/(ܹKYА|VJ \Tꕾݻ'4ƞ<].-Z ~ gɘ6ffZ;H4q([`#B!: ;cz904;5&\XfpSmUM*3%>* O«3(Ct=AE5 41ۀ (H\UQcw0ҕN o lWDٰףz*W{)$Dt.>80s_|mͫ)_NY +C sV/)<$ 7,Ilfm.3ATݒq%ZDQtG:!@0yknKةZ7f-WV;RxzH6\#F=1lj%V/Ilѐ9G&";ҳ+qh'ybDĚT]~8E&W&DN$ aOR7N7 XFqs" ꮴVIiiڿE_Xy4\_p+-hp'ظ" 4bITL]}-sVݝK4itA\[N=@'Hkfgpb >"c4I%f_!%S!SOhᖼ cj\1g=;#o 6[dcȖ2Zx-F|AHNkTQ[p']LW.RTC9Ke%\(Vq^*=H[eCsqAxfKڰg Qb kȘn[L**OILiV"mxaMN4 >LMUw `H(=5}x8񕚽Wz,5UD_7k5w(ΥKVǵ|wi+~txٱHNm7l*~ Iж ^N7D[{[WhC`3r(V {V-l2[3mxEL. _fpvnk6N#YC/C2`z@dž(>w_ M]N+I!c+xEoxR|\14ܳNL7k;'vs+ڳ:'USD)p*pe}_@i6`R-Ea;FWn.TӨN =C6D h\տ @rMӛw 3?^a ofw[K\o*lq"ٻDr vT1vQȐ//Cun{Sj!A )l_%L36~A55*O`QMjFЛ"i8 nU $Gsg ڔV6=Hb)GL=(Y\ۗ pG[w g)V*P %c'E93g#EV]~s=ˀ{<̃opp%=(kos~meh9"^)qRqgp-qDAհL2n P/b׬.oD;9ݴ9p|}m#yE\udn Bp̼d̖ Li"U!scq lWz;Ⴌ. #xωog7=Z܃ cɛC e{oW U3ü;\+h.]*ToֺN %ZϪQO4V;|>Xn> #ԳD3 D"eك$UECPJ/ EW l $_Hq=(j>ApV Cufi{ {vU^mTjĕdHV:j)˜0y@H.o#q#.@eŗN+h#n)kÿ;}`c̺~'\> s=v1 &&+ׅ+v͊I 6>(CjN`>I{퐓B^9Grj*~Cnɹ1Z;"&B5OG}mv'')kỶx_pԁ5hꕳM,P,H^O=^[9}<7JnigBuuEP /ﵫ&QM(BDVZ )hzKԀffna )Y0ح1*i6=[bІ;$2z@ u{-w9F㽅fjgdNL#2JgLb͌v?Ƅ\TuC+Öă[V$j NV0 FztܼN fWzIl`n(a|p;N!HbYH's3ym IC}\Ҹ ,p:;EQhkmH,qcH-%ѡ;|AKNH. {g`!K 3oWy_׫K\Z0Q,g =r[4G$;#x7eMx,c+=2{0a@'aAm>5X'Z“b 830,ͳ-. W8x$Yb0Z, *ww% QE cJkУq5{ z^VUe1Z.=˔>rHL4.ˣ&o(:N]][|+-ŻoЉؗn>8Z{݉w@F`` 3ka38Q (PM͉5!F@%UGucg?T)XgTCZ ЌAe0|Tka#S(t?="'|OD =hP"E 14*Sa_.>B?¥ `O6H⌘D1T %ڱd̍ sq*V}HJxj6io(>DE >iLW~0Oݽ bG\ɁDzxdzt1rΗ_xuLF?!+F1adS;c`*:#@iF4\}#[Ï;@LAq_p 'bfrRbucObn]p%a?dWkɥ`hJ[Kxp@ &8?.}:/b$ֱ۞mؔ}j^ֽ78TVO؁:8a6&nT73#U|Yz둩+"g{}W`^%U(Oi`u0$F/ 'ԫsϯ)/(+ۓvFKA"Bא>5qC f^ 8ʚe,lOVw U#B{D#8Qq_IzɅw"NŞL{=ۍLwDj(-Z2nt [xG1PzXõi\w`-,Hæ8iKǻ P$o g؃ Æ^XnZ:ӌQu Wh*g)l^.k!ѐ+a:v:L_9]:_~dWDKr0=ӓo,u_ߝ6(@5p"¥H"]֖ vF,S2nAQ$ubF|?^[؀&Lo1x*qB`?XoCi lCْJBOh2۹;źvcWWkOV"} fi9C:6V֟g}| E!]F\1}'ľ7WݩDh[i]Y ' V@u cޥE]( /}ƽ?]íHE>m#őy2InT;r^fY "n} -lQrraS U)o&% ; ;~3<=}\n1^Exbŏ9_<}$ht~ho] xυlS .`e'mOv7[mE{ S1 ߨ5Qd5C9 d2mì)~#uبP0˜\>G.q5ЇMVcӃ66> ffѯ=Jҟ}E:,V@&~y&g[/CɒV!van Pfƈ !YG @NLC|/n8sjA`>̯&g\ +]$pK&ӵqҦFc|jτR ;X' q6P5[U_l 08cfIw5 k]3c:?WHsӹE8ddFIWcP"k>N͈V4`{2n(E#ٻEO_˼ݤ`&_mr{φErqd! /f^~rFK>T{f ߊ\䔺F6/~Aq2qD4&ɩ+'XJAl)aX"$qPD1?u] ixEJA-`9$T_~ӛ7HkESrk:2L o~07jB4tf%0Q׀?K3 m@Oրo$>gaۇ$IkJy-NDȞf Ԥ,qexkV'sWxw ->bz؏rY\4!!ʥ{䳫Fn_L/{;ǢxαWZ;!S _mH8v)DºXW,^K=={ {׺>9MLCҔSPEVi~NME41,#$BEA6V`ZXIֺ"iT{aqzXoTUFOUs[:+F$4NS[ ZgR  {٧͂`Gx#u<xM 8vr1KGsRIaMn m7n#Hdu-UuM4*P\MXN>?S 6wuXK6퀭N~ yTgU=@%J- k'4Ҳ-`kQ}fǐ'`GZ27.ƏOd-tZ-5T\t0ӍUr@F%1vzq|ϯzYk{O{qgҢHʴ_ gfǀI1 U~^Q63G=-Xܖ YW k[cgܑpVICQ}&pˡr'÷(u'h% cpA759~x=Y1PøKLL3V.7"!0% S fL ҈C ABߌM<uYJ'\yS0sIs5H@7wX&YaMw"T#hhWAQ>/9j3L3*lAlCP[Xg=)zejcuQ1`Sh{C9.9h a>6Jv҄)ˆFĘZu!2g)A Yg6v2+;~#3GVXwx5PL=``v=Iri".Ll'R`:oә쌁Bkc߇9t4+(^6/MnPXo#~mck<(@O #h }cg\M#qr}JҴMo]N^ӈpG N@Œ/Q2Y>رVԲry;풼@zS{L_zj$;Ȕt,=M]L}.髽&@"~ p>Kr:OtZgYZ9fb0ff6511fedc0b12506f473494421fa24bb38dd0156923f0ad172afd1e52e8c42b320ca81bf477 0a30aa7271dc7c235e210102f9965a6a7e549178