SQLite format 3@ .0:  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  \%|T ]/]HOL-Analysis:threads=6elapsed=317.973cpu=1562.336gc=63.004factor=4.917zXZִF! N7]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$\/1 yI+6n,Ec[VE/1yd~|f^v#<ε t} n E폒YEcusѡ8XPU!iŲ#rbS\kU' U\jV d ]n%BKqUЇ!rȫ/Z`eTb^: ͘mo hR5.q^Y512Elܞ:-іe_jqnmbvFn;CRG)8>@9vW"#HO#'3,7GOofBY31 OE S6GgzA-8'6t\,$ita갤YLJwYwk6/GNׯ>y =*MT3I928{3.V> w.晎>>(9P 6hw01{4cJa^fHKRM$ҺWCWD*ʏb % HOL-Analysis  }X˽ 3e~rjB5YF8c+#UeUV71ЩwإLP[Ҙk܀yE8f;4e|-Ud7g/m}5^=-AS+: fApf:v_6we5Lkt͍":lJ}ڿ_~ WkY:$Iy(i1$j}MqA`gx!v|?"?]!v??bьmٷ$HX`lgN'K( %^2NGa Pqowzݹ?nk{}CWuVM#^ }-So&"ߡ8D~A?BNpL6 )5R\CEs0;gD81n[ԌȐݸ6SY?7XlEĐ>Rl:ǃHBs)W$(rģGM'nr^~)D3H=xFWy6=k[ bG91r=YL"IAC v* > X1ЩoMτDa $3B'Ww\t.k/2yݒcV1ҧ]UI) Ftw?D>* 96Ihg=]×޵l 7wt 󂔵\2rqjê{~(3 ^ ϟ gm/?t IiS/44e3.I<$.~9Sj9-xR K.gS/,t"uo s!o! {8zf?Fw#̷ĚJ ma0>1<ںWGSnz 7%h' YCe>HtSZgKX5Ar:6e߆p&7ք%L)ɱCc'b?qgcc,wz(]<B~1Tp=,Ku ? `+k㸧 S{bY~!YK?a(kiz)OE {"h1}v()Κx|*ِp@k:дlQV3_/ӦZԄ7r69:%SeL(Mj@BA*F|)6$"ԩ] /3 s"ŎQhSŁ],z{G7w 2 }xF;^rDoouֹڡYϋʥoA j_g^fN(pYH$g@?UQeb9[ xpAƂFELE7/k>n |m'-uGPrI̐؆$1{&RAjΥj\JB1@\`<ﳷDK pd 0_Y1 S|bԎ0a b}D!TGЄ-5ٷ:"[TߩkŁ4}aw(>? /cӜ) A%LD|:aʒ8(H>H& M u֛}4:@hxA [#& \.Ha+K{%>ѣyNDq'P 鉇o{%{Qs&؟<"c$`-Y:tX& my-Z_ KIbvHUUc;l1_ЉY:`. fq ^p/b|AsۨUSY}$G%I}Bf|'E!m3HUo V w%>^I»YV[ _:g0`T/`7mu>w3/ cMu#pս4NڟtoD5v#c%{(KE66d7d0+F:tb`7 ; y/L+wÖ?'l\݋$r#vfF> |'PNY#jQL] A/Ks5fabO(@ccZŤh T^u<)We[`۪3k:{5khn[@(]6=nO^*`Ұ仳m)+܇oʴFGND܆%f"N}F]=?i0Cտ֞7}hiRx$?7_9h J3D1FI-!b](6LH=(&NxDj5>3שPx8* P qB ű΃~LpS&H֫h2w kUHPѡӜaěsY1vY3cΌ,~ZjQSU:Ix)7鏖}>,`aVdâ <ŶDxUA|sCᇥJO?+Cn/RIjawu^L6@)=~"V4tkh`L ru&kB=|=×-FT^8HY)y;q2$,eH {sHYL]Mۧ8PmCH)tЪ28^pK|,yMݯS-ȟF 'CT22K7&ىi-ñɪ:t7s&dNc1*%y ~u#AR<2/]k ¶IQH}5B^{/GfHfe[m 2ףE lGySdzt6 yʡy%,(< Zꑸ0JeT/@*7tv|^ֵo^\ {!llSdYs[:4~|Mv >g ^2B}6aלp)6sSw1Ã})gHq7HC kM KX;8ep,*^vyy"N513*˹ihI~=y8D;;8?C(opzLs ȋ~1RTEu(AI:*Lpê3*VoXiPPZ-_f}zOcc0̝iPKֹ%XICE슨b08!lfATACG65dH ^w{@IDjy|w=yXd_Hf-,ƤW↲ҩ(5nͩ4?d[)Z8nDN{lM\ AXEpu;kf#!_?9$YήNRBd e,y}WдQ+RmLi79+|\id6a1} /<4` ?vcH#l9aΪ=ngkNy{ş8*詆nr]kϱց{]l>/I]S 2YꪹM:eT]WHU&l[#*#m~M%[#]D2F-D(B~^f6p2{WO斺oV_B@|ڋ R9אyl^ߊy*sٳqL.X(u24Dy+ikz%g8c2$g"F8_Gb^3l'w;6m=CZ,/qx߶=w3j<@|ϺoM*]{VUܴP&ftVǥ5(])(n]VrՃ~yhRVK:lahzBX_&4V@XX)g,E01|BX| R8U[lü`/iGe)V=}X:%_0ה3q*Sm 夐c=vai,lя5MV%y5D(Ϟe\{2G5M!DUN]2HU)p""+ D^Ta=ZeC54,ETY&蜌`_ṃD30و`BTSYFˋ[fAi~S'_y2GuC窍&Ǻ![B/_W6>1ERhCv+<^PA!"Ș"Wm:qRDaOf{}ͥy.l(1-JJ1VU{EGט+]wřcoarMs~^ i< EY f蘬0;8`2MwN鐖~WT'pTz=DEH՘N?fnyNOhˡ4 d%~&dVUV,)궂!2\eYGy*7S./A$}jJU,yx>nl@g| C~ yoN2BW^Nпk}4?:Wn4ȏA 񒣹졹MƇ"_); AްrROY/JVV- k5 wYIiT$dKo4MyV$ey\,{)~tXI:A ,mUjJK-mF MA 䭑hqN/wf:C1sc;6w3 E| Xx{S~JB,KTj|?ZC,LsU%*͍xDL{21YA . "xxIעCO)jp9M!Dd% Vk,cueuM9^j!pOa4KXJl1<=ѫ,0AA]JPMg4-?%n(94Nѣh jsQ%Vu'$Tv,6_Gh 9)Ilu ]%D}kI vwӿ`.?ab)UgHԷZU@%qJ8[.ڇ Ư@o0y+/4]hzw[Z?+oMI6D#um2%z0*fiZqxIfj!}Ib+{b hR^q>QaqcK⢊LLnz-î82!۬ܙ49@Ғ}=f8jILw/οƛ&4rυ| 4`ĴM~?I ;]F52~X5u^J cUcJ;#n- R}ױO K]&$}%k²ݟ5讍qtL"%8d/`0?`5BkTDw yGKQ{xF?bM5/NMa1JIhvC%]{)7 KMBNه!"|P:$ ˦ aFl< ŋ$J,gȸQ"zTjp(/0qlPA(zĊHC?_Gnw,)('rD8ӮQ {>j$IL@ G P7H:,=e%G^0Isz5 w3cejS_2\0K";< }g- Ofj#o |$y>sަpXZ ʑ2*PGƧKVm1Yd6K0}4Zv{ nYQwYh2iLps)/4y5Bj{&:iۺ*@;@v~V>8Xpnq㴷K`қf7C,-Bi0ءDW֐Mutf['6\FWx2筼:%M0:K̵ Owl9# r#Mxnq!eABH}vѣi3&tWc|RT =;.+W V>% [J -ZpT- 7iA㗴/,yLnѶ_kQNva'lr!e[0WE`@. Y!7aP)y(}`Q}uJL;2vb:gv52M͗qsdGw̳|+v| & c䠯@[1l \%Nejĭǟ0yGCk]dZb +Ûݠ9Fe_z}S^: :nyMOUy՛ >wҞgG#Ky:omb}ֿCxqm}rwOxQ"‰:?2CWb@SiB 3l,k `{>ӥ0 7P2I<0k!f'jՒ79zcG"A^_;|HF5v'8sh8\iEHQ|=ٔy-r+c@ע~I9w#6eh=y[wdD_G뾆$UPL eYhs VW~ؑ7VRR0"U^o Ves.όd,ҩǟXu [㱼!DhX~;hGBJ=>~ԣ}?=BɆG_6zcDI%#<ǼD|cuuoxMqc#D-ͨ&|enl ~kӬ5v^ۀ9樓g5bí}'e> HGOnS#7*Av ɋ\;4+A Trk < 2 -˫Qi{EArW;A3;ؾuيC`89*rsf&'2ItJ0%%7WP*24Iz17/vbz.VMG 7ƒBȦ wW31t (,HBu Y{s]@]/5vG޸7sb~PC^ lۣʼ^ь[BX;~J)t4pVz X~T}+4rǿ'5;paol:5Kquj>>58=wye9U!DrnLK`_z&;O,62n{uݝq=VJd'raq˘%c~]]Ɂ,xJs/"VԙAM()l(lV' 3%d"wrl/(hTs{eׯTI`X|_(rcH>m4" |"~~:`=! AΊﬢeYgK\ JA˒4S Dx{ԍ놤wj>!'b~#yt''S-'1!O7/Y!OXtty2}^`d$mANѣtj44 Ї#\R.Dٺ 3CKyskEI6[E>a'(`.DNgk$)>>~`ߨUt},Oj =$].R7[Tߤ{ӗ"J \ۄPUFbocP[ZKSL"(~05 Em~=3|Wc-xU[p.1crȒ *k iHZ]=r+OL\gN~=3Zd2z{R[GaZ ԉ5$p:bm0uft쉺4\ԣuZvSx10Y6M㳱2`e/"xKQQ%Dx#:CPh #yd%z/0 8Yݜ 'T螜x k^U%Uވ#Zj!i$ԙDC( ? dcQF #`}L'Txi"urQ^&v7@*ip=ato@WfcqƨYwejo8pBC:$ j{tO T%Bs%T^!+jZ_|/YK U$#,FAքRn_E0 z}颲HprK%G1 ;[c N#`$tƨ83n+oƟO*dCu66AUJPڐq zTgiV MZQd~<ݤK ^HPW^yiyD'-Yd"w$t?xSs?#1'h4~ J~&wVPEIZML6͊Y'kC?B_ADB.W>1ħ߆`SR_ѿS[K7 T` x0O{Y0[#bԌW*pgMLf}v )Xsƙ- ? 6h-GHHYrYi mݾ}LBtЮ2/[Q9vկEtm F#~2*.sMq=53}엨]S1&fԗ##7`|y<0cqڷEb)H1Vy"kgs`!\ܡȽhltXmЄp6hu%Ye)OYJIBݛ09)pҩzdr_V+K\* W[QMQmGUcRpE%Vn%]h*>&'>il3wMbƿt8g@J~ bGl.x%fy=j:RF/zh,Ik7)RRH2B\E6}1a4i淩S@X`W$HJ_jij—xl>$hP:[D2!TEcq ^ⅲAP`5-K.FjNZ<bGu#@X8X>ĘG o VfEw-Mգ\v?'EPѫ=*&k1JI|U*CW;V(2þV4p`x 6Z>.qks>@- _bO#9eF¿p]- ))q7F[Zaz%ErHO@jZw׼@Jcrǟ bxXrd+^FQrs))!pYGҊw'+{Z2e… es;$$d.boFHU3h+7|JH!%QfWxnǃQϲO{Pv$tN.]{js,]}f@ tuXQvXCe#N ScDraTԊ\K]eyT+^wGMwJ/5ڗ][U鮿iQ$?1mAzhaϙqf cBؒ)$J/.%R\ ׫"0^H̎>YB.g0=}̖k]`1KCCKIѥ 6\` ͣ¦.>.YlP|(b tooÎEvE+`][Ó4dr{vshj3>1s7V{{ -`?3-`[=pk9maGpl3Q3hU:T0*"+˙;TשׁV@Adg6ʗ\y?Al hKGjgBDȁQ;'y:P/*Be:cO]?lS. Q*K`2"pKW0h <#hSx9Se>5$\id-L-8qfr-$ꔧ5ŠPN&`/I^#F-N(#Hl[gGIU=a)xt6YPp#eͮ~F C)'+M.} Ih:g~SMU.cfb/GclK3LF6oa u%!o{W)T7UJJ5Bbq0qo]5s.PDK<'T :\$&ճ j֣GeE%!ƥګH=ٸ~0&s0)r?wnW7R$p7[spVl#)3a얊J녶q}c ds?oz|C8vؾ݅?D6#޴L{{ɓ>J_.yW4 V*5S)/J㌵ ; `)0n|7/֋E=ܥgLVy~԰ (7-UYyK+v%q!WiML#,~o2KsaYEʈL**h|tB̙XoY3f+V *:oGAJlk B[yl t4kQZee}ɍ43lI%0z [D˞ p54:fTOu$k2ħOvPlN!t|R1v*1zǚ'ƯNpU qK ᄉ/aײ1N+؊M)sI0qkҚ4 BYTa~2-w!%L/CY$wr(`V`Ŧ"JWwNZާQ"ݫS*n#c䄴or_2[<$ur&h7Ns~ 6 CfRak6Uo~a]D7RQOw' ,ư¨S jB^lVeFWcs΍= gݻ0g\XJ׳ !8أK.Hfx[q+Y?6J4ƃw%6;ˠs:3`7w4,ѝm6`:"JV?Dqwy8v')BRR|{pmw-;|Jw0;4nъ6P[lt(UZ {Ez|*K߻ԦJKy wȖ+\֠ TZ&bXDT; me!K?]5\ڷ=a!TB ė1֑ln÷CK`ɺhu@4U}!]8.>R7z&SR<gpJ՘ۢ2DgZ9M!}L"d`|pMZT`?y>_BLH ;RM 5Q d*lhΧs6GtQ>_h9ρ)W2ES7aܟLuiY8k6yڲ^i^jֱ>f {yP; (iiQ+ƿ-D|;>k)ODc߿RX3/@zʪT􅱢d?sJVo7Gu:U`tr,КwKĬl4JouNkP@0[*ᓔeXRQ:[YLNN2`WYH(y9.}|CM2h>Lgi- K|z=}pbBnw;B8܈>7%Y%-RU/rz:0|0]0uQn.U֚Z[ J|;Ni[CALه2siu '>#$@NVWd9[ l 0a^2شe*c=ç`w. c[0qָĻ.(4 SMK: W;A:S\T@wGn4rDz[BRu̱W $hJɄg+CA3)-ǣA 24`z!re{X&ssFAMٛӞ_G̈́.06Y׀1Uϩb<=I8 &låzyOowP]ٖ?JyzǷ\jgrRYpPe.Y ,@Gg4!,gU~ ֏p7Ϧ18[Y8nG.ܝ)Qay [䊊eK\y:5ۆef;@R5:n)Qd+v&Ds͒,R%L`ZYaOP~G!^|Pӣopn8LN|ƛ CŊ8L!C"~H—SROwLzOv)"qZo J6,o)+QVꚠֶ=wZbʭbS-F~ƨYw*ρuadzYk8XSMnlVimCUgv\.q LW!uz_1PWi ?`q>ElfzEvAc-˫RZ\ġlq1u FL<&=(ݘnʊr:;x7#/d:tq2k/TPgq{Y[);, .-xqawai< ^uk-QDZ}G O1/sm-׋~tiyԻjcr ze Kw6ސuPS* `tP/`qGxYx5"%-˄FGgl)l*wjxy^[UQV2B!mJv/%/rk܌?3yJ`J!mn ,]G&%@kHdpu^پEǤ H >z!?/zulP4̡U'~4.2 V#ø`Cul6'[EO657h%'8l! ̙B| LGg8JľJa\ȬYAqmcDc:FM;BBQ~bSObkoö3poN2謹!u]xFSoA7QowAw9< Nb7oP}N"39T1TuU#-nk(I݃x'YXJ,!g9?+̴ր -4.iS, R :~Be}V$6xcw!9荲x-b'?kG+']Gk=Й,Z_"- mWOzMJH)_wRvzME^3XDٞ'jG \RUZ跱6 #k&kk/L (e}/0:M:jUהZd&D+сz&%t6Ї3bRl9,8YExHŨ<2ڊib)?$Lzk^DG<ĎxTFٶ}Hq Y|iBfHI). ^vzWUTy\xvn'?Vt >˔$hn3K1lB&CLUPn'.0|Ӫ@GT*14;\P lɸ FV=wӬ"XQB‰Ix7]*>ZbY"z*s?mXRӬ$)_ayѣ[10 ; *rK N E:"oܒBMq24&^JքuoZPMQȜbw*UCsgcWPLBPIEފD5to<~H @#? ? ?H{{ I[r!_,ZS0Z˻JDs4:uZUG4(W|+w`2U=Ux[[+!tPJm#B>?H~ʶsTI\X~ԭ>+N#P]"SG`w/sx[t 1vTT-#u}\SL6h+*'.L^uOFm䬚z"G*^[{콆֪Ci/bS[KܧO'Kqmž:?{@sx qҰ'<̐ӧs@aPe,z{ gﱈ&? Ivy!qо6xj^bO;3f0(>Iv mf))3R4hOq]4R }X9ld/z]*;s!btHh})lLq3?N!ٚPm\g'h%J8:6 O]!('Nhޫ.$$^kz=>{.egN{;Zs= g-DWZns[%C*[7gVi]ۡ&D'VDdT>`F/~3ENMB(ou0^3~7b# mwhZ}_K?eU˒㹡ia ⡱~Ã- B,~cx$._&gxPkd2 nAS*Qv8%ɒn]6479U$sXv|*o.U:o};P ip)Zvϋ{*1Yxu$@l%E ~/:b,=o? qωqj]TrdS`VuEv.AqlCQ+$RȒ)PK[T\-BaBwX6o:A*?ɃP5M/P,-m49m/Ln;:g &u6"9ko E@dGmr*l(;B(c>x)-:4Vxz.| FjT6~K2FXK9iձT^$k%1V3~>+=d#s>vze`P/ 툩rghwXdm;y@hiREi,tXx4,˜_%o(L&q+1U~%pifT~])1!SshgVψhY6޹_-oz6 > Aч=$){K;&wXӖNF.##ɚ]CvR;HMQgp(AvP[=״A P-fy@Ǜ@1E!%s8Pe `eKgb&L:ԓI_w/w$1j/׬O @SЇ?-C+엯it>4o.8&CۃjF7!p%{aRqɍH;ZmwQc۪\`cq:p5xrY\ҟNP TK#43XG(BWM2nB4zfN-1WNˮF<}L& rPX63$y|i @-޼˚0Q|![hF :zRv>䥋+)WV N/tg9^yY| %wEcA3_$` BS3ӒpF9=] noԜq)K N`SF $߆<:&d?6=wKrv},%$uV&dv| M )C/XƧnt5bK:v䫌Rg4d<\y.ÖI5nY7<@-TS=Jչi@B'JWy(3F_T""$*fZPqAY/Β#Y.$ EqfG0_Ċ9O}d14gG> zk` 7n  Yy.9^ԧ]id/Iݯu&} Uyק۽*#VruAkVsd-j))=vcȍvJ9u0S}bt]Lߤ}"+RЙ ѐ ׷ɩQK*E^32ut@9ʓGbEu&xSťwh;4^A7 uġ'A$usp& Lv١5NTPv$e 5旛!Lp>x)J\_O}]o ׉XL@$Q1C|]HNSFSiüM dᘳqRg/׳əݍl8? (.jx9D+w< =HpJ@ .bȨN`K9GW;W g}?QY\ Q\ݪoj Afulb6YGȏ־U.0ʭ ho*?܍AjRh*VB~ OO!?o?]#U"\&w Ph+$/+j'p\YY]l2=OZ ԏgVoIܕD. ¯2%B;)G{@l`f$2Uh%cLt;[Os.t.C0Ja=FAvyӦ(Gt76!Aij{`>a~\ {l';㑇>QS6XB ,2|;#^mȴau^4~Ž0{8|t2bNF 5(-7R^yiS rXAFL匓Ȁ /}aG&VE6k5qiՑ\\{iH^BZzsK*XwݳV3 I ڵ(xw.@?C(JQAIqQ`g*#[/oǛk/3^]0-81ըВ+Di,ky}ɁM2w'>ntJ0c)*YN%9/uz>opɇ>({{9m LR:n0C9F+پZkr6(pĩINDB5D*szvɇ \Uv:*]B%Bp5$C3߸h 8zRCb@/ +K_&d2,.SFDJB 8F,>mm9kߖ`ښSLZLv>3ID'?"@pi,̣u=*8hE|rmKz<r&P$c>gK=^ow$#0Űj}V ,D68*dBV-/X rtP}Zu'ddԌlAWY[K9Ɔ='،5*c g$Iqo-v{w-~r䓽`a-8M@[;KpԳY׍#'-;oEZcyDVpV[@}IďXP2w<BFg^i3[0s yέN.Byǣ]8n'rgݽ#9F73hz&Mw@aط,F3}Z/p$E<N[y٢tQڦ!樔Lx:)ɶ2!'*9*H8d%fqjw;)7?KVU.4+ 0ʩ>δ >K`4s#/ɤC;K! nEwɯZ >TP"%仕,WCz1"س1ll !$mr`4#okb_]oW(5$n^BbNv4dpinQ\R".]i$nfm^D*vyq (])ao.{Ui->yҵ9pvVRB{k,T|%@5G?O8,|{@r+P!lXZӵ˷;rÎÝ6ۖ|L3ƅ=TIH1KW0<ŒZH"y97b8J~5*[A,NEĂW<`w=|iR I@VTC0Ws,%g}i᷅HA|(CaHB`HL%/{R QJ[@Mz67)yd_|-Mah,9uXF)[ڌGedcO @ h|8,l dTP;6cgudl~ e&C٘c,+H-F¨!zm>$bǡ{M%~XO?R,D`j" m&_u( #ؿ0"Y@k YC:473gݔS iδpg\v7lb WZdV}½qXʏ3ƹt|ȵɒx\O kq q'9WdԒgafĮe~V>1m^KxS.`*[+L]u\,ԏ 1w-- {eg |Zqf{[׸C"e,yPiΗY34w.>0Fnc_"J"ښ/<'iI SŶxl_LJ@AE?zdP3Mj,rO,DyoSHFP*A6%6ɞ{ *~( V+8.D 8ĕz"TvKt<6 02&ؽoýɼ)+iFPf6"*RpDRTv,~_:CO߈S4HWXD BiP -Th88?8a&OZ1?v׶~*DQay~)>5k{cPaPfoȰJΘ%q`h r wn| [ǟq0J,}bs>I ~-.1s>sJct?\қ/R<+4s,l5K2Zo)f[3$E˾+}5g6tثɛޥuxI̼a5TSF/1?K#hGbM= yV! [#}$8(`o:QKfv$W yKqp@o OJC78i2Gf޾ 0 v xol9r]frEpA:SB#ݻTsUbY?<Ʊw%4֏u5z-ӈDIDqpi0uuNo<.[~j7Ak*8 H*t~H2c+ ʁ"DZfa)OM <8]u4+`-Ey/U.]BݎgE$'#*!zVs0qa7AK7*zV0aQ>ψKlEMgU_lϓ9< TrVp&pj|aIĆL<6tvbFWm9g&a.CKN'$' BKzߴ!z/06`o  o7Ң szf!)DvPiMw/DQ l Q"(#2,q۷1P>l#u.&XCQo8`\b`5{(9gkg s;tg`X$uc`Il")*,+qVV1^{qAi!6h!D27?khC=fzr ṯ]}}8\](.bI 6g`F=?;Y+^ݾ:`~mə_qo ,OEqEs;@6OB3?S˹s6c4 pږC.lW,s`+Gkl̕E -{շxk j i+$mU+`\kf͈RP]sLo[R聚E˶]i5% DY!ф'Y1{}x8܋L.P2-Bmk5^йvGS *}0\{S@:1E&YMz' oObz!kÑ`OB95ͨ֫ nmQRz{$ݨ+[,:-/W:q;$ŭs0Zó5yt4Xf|aG< G3rqX-P+_b^BZ ^/DwJTlCo$]U]o}ymN1ia+2꓄>6ȁ{+ ijCBӅ29BzlrPLqȱ.h-Ùfï^]8N_?֢ˑ~iPQ(eQ/8Q&x|Y"_`1%wyVbl8;&24z<}Y; E✚>Q3HKN+Z!qJ͛mQ>]Ċ"CkO"bz 8rZhPqQ.BZRA_(õʭ thQ0겜ыakNMO+Hy@JϱJԉ~1~0k2il|6ԥ/dzͅa;KWO[]`~^-W?+?^YsCH0LZDAs |DTpӠ?e?~l1TChxTg*x"SxcCY]ט3ݴ7Pq$@Doxc#{҈"x{=V@0|]1y%KmM"A \+꫈8Se@XWr_5]þ1_{.~%|4*J%8z`UD'jH8v%2df[Ϊ,6B"Mn k?Dz-&Ot?4n1^<@+2_dVlDHjO ynK MQw^K5yGH qV7)%k/>RMjxؙf;ߏz !>Z8SmگDv*|Wm9nD7o""^a =sDX,OK+GW@ KniFtwd햑wA8]!ܪgw`аa⨊mm6kre)Ё/>=nŖ%1&kQ;.V cs F@H4Z%b2s0n2l)3BHJH@YrES`nt?_{Vo)p>o VUVСT>0jsbK)G7+u?Bc,4(f;_Y;S?sR㙨3c*՛{_j8.U0p/3uߠ.>4*,\Ik9C d oXeZǬ'XFԩ&NǤhÎ΍&OR:W!ݔGa0?P0dDٔEhi{h 5s9ۀ}itS(t&{x lƮ!~U~k P6~#;Ye3UpfT\5g䣳~궬VS_ CF#Z sAmB-U_n8i"Gmh:xɂ׀lO}]O=c\J0%9fgq4_bxEӌ'E֩i^A8?Ր@_k I%*SX:>vJO>:近B# $(bc$1B;omA/y]?PibHF0t9(#ag' 9 Db<<'}6^If/8 Ȇ'VLiFTykrQ r} zPLI.egg^IP%.£ddlCLeeo 0 3 FC9/+BO$^E%%NЁ,W=~d//邐Sfb?80*x꫼KڼqϨSʀ>;>}.i.UghwiPᲀ 8f/jPhpq 0g&Vx(]K_Ɵo}8[MOO3v͉#HM,.B>fu?E^mQmTOzt!-ks:> ],鑑, zeCRޜ_h#OI6pt;k 2(DU;1!-1,B!CQ \9,>[a)dz{4rh~iSօe < d2f3Bprfr'w68r \4ɌD7R}P!',`K&:Z-@o4cv-߸ ;?~~ǩ1koĪ-7&E?hZܖV#R~?1IC140SdIg*HJoLN^~2Բ~]-hhY|R'(x1cىsj'zO?P M(U[ᱛ5I L[ ٟxS,ozF,bj)ѓ73Ȇ{p9{!(#Q,IRP=IۡȖ/C*R [NA?gg=&3ۭjSdV#?wø) a`4!:*ORS!0UwsKײ\ fwqQ!Fb-e!= MWz-O,e<+]k:e*!`oHsYۮw8ُ5Pmp q v̑@:'m3hEIV/vq]Q|$#Lq#;`޶T) Hݳ熯' KN"#Gؒ^lĒqo/ϽGQ:z{tp!mƙA5(Q8%:a`5P{Z7wtB+g#al>ku~Rc:tkͲfNGe3&TvܻƷ`'V9T`ѷ;B/Yi qx~}ɚ,ӻ%d&ٷIF |k%ix1١'S=7}F 7/DljP`=Ha2v/VoU/=tʇx=/0C;"7C" d(mzhz^S%(IzdSp]AIGlaODI-.WR:%>9J9 d)òyP5U.d<=IXu,\}i[IONj IPtXeˑ0'MHfăLE|cor2` _т+uc08ćj!QU0$Bm`3ϺևgAluI 8%u o!޴a@#jܮJ]MΗԂj "|.N"K5:zma)eJ jur7، lt"BVHԬ7zR0;9 i<3Ř;KFJ?q[GN @~_UJuU}]Cln;Tr x'=_8m#͏uUm&gC-LAg*KvɵgUc.:uv3&vX1sh0n͟&9wL-j6;w~'B-oɮi '|MfJrizsQ-{gBr,r5M܏z7K?v%CT )?LkiܒW.{tzhql6xӧ,-q*X"!I)PSq6/TB΋"~kc&.d4X'Jij ϯUQ>۞#\Ƶ'">p*kH5jD0B\2tnJV6(^5DmO-aD]K RK'dz<Ha=%7~xty`t=XX8w6n] ”]h'5ŊF^\2hJ6MS;UO=BqKx2OA})iLk4c__Q_j,cVqqLv="E+S :>HƨVrj= ücimnO緩+/DB6d$'Ё2|γ;ЁeaT"d..=мDFa^qlEݫ͎)?ޑjBv: :/ 4" Q/ʝrW(DNRjM<Ż9(mbͭE$fzhz>cf8<-FPkXmԲf)iLi[]"nB~&Lё-\CW7Ih'z2Uhy~|g}05-ڵ$Z^y,[tyȸm.8Fim"6oXZ7 ֩TlF:<ʮ1]"S`0mFQoMηOcWE'DDs[3N[멋P}f)ƅtu6H~apM\\hyqz;/?抨u~HZ0)taROhZf3͎a#N|`{.:?9_ardN.s1x#Ŏv& ka g f̂2(m7=ԟ6cFL{Xf5PYz@b4Aq߲wdxy {QpéLfk)]f#2o~Λ2Wӕ1JBT7k3cDIrL 1i_L/à}?|ag/7smEq֑mvnX8{E-'&.Y~J!kSN9S|[1g*J[2_K!#? IhNsMJWsK#xYŷ"׈5Ori\*,S^JTx12\Z$> c#VJSo_e'ޠ/>XyݽSV\(EF NJ!dQ7 z;!ȿS~125>@0]hjr93ЛK]$G <*)a V9z^H >Z(f 0lPP+ʯ{n >ZTSBj?un{"AxI> bs7ZҼA_?F܏quj.vtVgv\U;+o 8ǰ@7otYg >z9'Ţ$3MZo@8h&zRP˔u$%,g)e,UnW;.MnV42 FyvJˁl M=o/IA,I1_)Xr~3ҏve|uXx+y[Ԁ]Ā{3IqDd ^B=fCOd,@5\l}JMa|rIm0tUumұ DNVe1@CRuoQ2SmCT)h~Nnm12M\S] +jǒtG*r9H 0/r&=~4B]M4+k 97~۷xaDo5"F 1[ќj jyBvpDj,bltwC% 9˃g&Eg/5E̊nR-Çv=|{iU] Ѿ0Z4U37قe@׃ {&ޚψnfܚlwMNF#'dS,.m'&)ؓQ({Uw)K1hHb4H]4̵xNp0b2ˇAhe>fFP+fVBoa~ lrɏ7p`5ff&e-)O> K3"l_B *L] Fק?nyXMh1,5[P7E-N¿*zL-9Πvճ:2JFgN:, >c.PqTՠ ʨ*N#(X& o4IJ}Ș$ԎVfZeJysV|ԅ~19(.Ti(5N mtvuO3uNb*,i2|M.)n>04v,[:ȯd[ƬIjU$sV5ls:wL*y\)>+e@NANjJ1k /^`|$B vfbg3ݦ{Zmhi5zeZ=Ӭvֱ@*23>лlDd Q1T"(^H`ϔsF닸ȿcIb\0n~R;ʇy:N&*Px>zgz`ir1^Nd#*aIfAè/xçbӦ5ŵ#+ `b*ɌOcm܈Nicd #5hmH2aʳ /7dw o#a2ɂ &^> ^fŲe!Q5O|TLCLwJ9շF:6Dv x.9E5wi%}Zcl0Y} xC̓RT:@wj~M4r_Ҙ~b8&KZ4[:6zkC3*N.St'xsgK S#VFvs-m O ɣ炃,-wY*-)(e& 6vWxTtSޣ;Z2z#t[T&T½ Vr9pPWm~ uK N1u/si 0cX M, lVt,Xe_K/BLq^S̡>GzS%Dw;:.<@M!fכZ͠+5塌ggf-X<6b |{^j#Y?-Eg!C}D=lne}vXl3pp3y{>h`/> OPR$:=TAuqK a޺B>foǁaΘբo(ǟ;6= 7M>G߲\}քބrN,fnH{9ЍTH*#KYKszx?^fOLZf PԤW", #Lg! 䳥%+uh'!*"i |7`Aƾ+B71&R*4MThj= Eyvmtr[񸈲kdF\!8itw}B8Q=d; Mr0{x޷m*j$lX6_*y#įCj* *%JK$ gZޙa([?&o#}v,3Mc(V`hgk]"dP|\ %T&a(tA)?OLKeIROPpk+"Re$*abJ&\y]g` vٴW7RG0^vPaT)Gi߀a9$qAK ~`GUipn *Xq Hڮ._?;Ogժ#95yK2{zʅC.֘v˓Ie1/+- }|ˠaz*ZUg(!"^<<,!rrLhnnOw%WoHHS[GilP$~p m38< .K|!?b4Z_k8~qɕ_6k "yT'"b76̲|ϡd|ֻ[J+ *q l:趇sM$*3:Px&!'gTz##gҥvKHbLP0f ݁hĘ!A BpєkrϻutN1vGһi<Q^ա baakpŝ+ɖGu'`c2W HM%?ITnvUV[*y5RX|mNRJ0},\볮dV&ziݷժLb5~ 37fLL/# Vj}Ȼ<3De^j7E[]/Lx+ZKԀsHG4M1NW{E`xv ǒ K|AIh@=Vx濒GVX;[]ai! 1g/aPrNrn'4eƈ~iT3?:{^K2Ā{q:[齏` [%4&GS⾰x[{oC0~n-VY4^7}ˀ SFF -SLЭϢؐѤ#T{ȉ͞Y +_8hQC7Vu B^bF >]ņPLX"Kh3D)e5X8I>X`YWtisE1eƲuA 7\>$[=0K6P!B :z5~sofyDXǐFFNIu*&2rg-&y7i3] zQ4"!>,׳q?ccnb߃"1guXvUb=#'_jN:=|Fg 0yLv?-׽X 7\"x_YI LD+0mT_Ҩ|eZ ɲR>vRd&by[#@o'-15^'tt!>;c,Bi[w7p%|*2 6zn$ 29uguזpY(F0ptl )D\f2Դ_2:<_wZadƗPMIk`2oϩ@~71KWK1߱%זN&e݌0JIoD#.9O|Q_7曙[fk}O/_JT]R7!=;o _FƠd Վ,:Qd՗| ӫRJ€}ԆV}៖e'yh*oEӗQH]☶1dh(19nZd\ZeS"Ӌw.TP2(lB_dympGf-8CnP6Q7v8_soK\2<"=n=+O%ݚ4hDZy^@̸/"*%m{JhkMj7R^*J{$0 ]Y!n5O5{wj">\AG 4,=LjFđnƎO&xdF=%A?{$}ICqIXj)ӜZ?j)C<#_Eѽ0eQGxíyFi E"v+PY;}4"OB"6WY4 +x%%M~y5%Pi<;r1 ʈ9қpNbrJď^_PLj'VQb8K"T!.UZ┟u)񟻐 㵱v/if6/y;@һEN:gi0;K7Zgv@\&"RS#Q9X&{TS>d{"/Hg>Ɔlz:L^TCޜqO/HYWhpD6e(?GY21=GQ2(F)W [e?<ژGwܠ܊Z#`a&oFg x O`Cmݒjs>u;yWr*L|bgܟꉠZ}b@,=Aχ{QLOI)㬌 "nf,d]ʗ>%Dzt>Bfl!ZqfLU}", ~McG8lx=6g92 ^2ݫ$',fR% t@.SAmvxcBscIhM*: * tY?8qPoQ mPyصʕ b<46go]$TejS pnx_v# ˂^uG6y#v"rD? v&da!% 9˷- ^O=J6@f#vNEf5 !KdՊIŎ.{/aqrPWq$ {Zfz{lSYA,ꞙ84E֑nrH5X/$=HyVƋ!^`^:T%>S>>Ɂ0Q.SP;HI$ w[ɛZR2ff:Lqڼq5Vp%*I'( |: mw!$!ht{F(hY UD=\3=G4Zl  U?QK"Cz֊XkP"ƈc2O0+\_X}U9ge# ځ1Pn=KѪM55c[lB]AGo0ەӺ߆C,ׯ4<* ̵3)2S\"tXZ'e_$4CBro+][Q^6"#>d<㞺и!0*t 8yX..@zљCy8( #@k,'X]~[:E_X5,!?Q y(OtqzW.L?:GB]G0,nSQ۠Jts4-{"%`?c;-ʀ@RВ p1 #`8j$WkuϺBc>TCw w쳆vŧ%6Gm)1r[u{%]SÃ6)p풒eeΠ!th ±1<Պ)-UrOFplT@bS 7 fs䙝;6.U瞤KtW4.qrrJ]㏙u.MA4G =@E/㭄t$r+L{D!>]^=5 6X83+lM0O^L`&9W&Ά`|k &O"aW ;溃kW^_kAm.?+g`D?pqV5 t.\Q10ץMQۇsQ omr;4mScM4-yגR(E8``O[i2v[}th:nCO9.Qh5;MCj ^+głe Ir4n1DnEնP:b#>|ar?ttWQ /cTڜx\ 1DE6:Kuu6~rصetg!LJ 9@FN$>܈ymx[HBqg*eHY C_W#@U/y:D :jbCOpMg4}ws'YfŸD`$tN%*5 &! VSL #U<uIk,+Im^X`3|fB8[觵w^|^^/K%v ӀI>:uo1vPȔ2ca[ts@3c p2M tNOeZ 9i°R@rRH th3UuABbU ݵ y2 -,iPHb,Ec9wi&Mteu,]:/5ˠޔ!Bw//rq\ij*=b*@u'}-90peJ!50EGhIAɆTm3Ժ/0GS OUl*N\<y+xrk&* ",\F q"e>^2#l> D’ɿ-PNh/ %k{4Nʆ?_2@$+c/3\*BT sS(e<?٥%FPSEm࿦ i@}V@V+eBo j"B+}=rɻގY9+hg_Bқ˥쇬ܵ8$ج]ySGz!0*~$9_zah:v4\' 3 ~HO&R Uv[O9yC@zbhapY,I'PzM-qԘҘh/̉ZPB>*&vTkBTFMSol^o |TdlQ;_m-zdy .& 'Ӂ0Ǫyz=gʝ, n%d߳b*Ph]>lP)MahvEI 0thN[B퓴@k ز*7=_`efN ,|HܥE/+f0`hlGUyBuJ8X<]YRo *JMe)Z-~"/pp*) ^qۋCrh`X#/2PeJzQ + Yd=i5-p20K~ZxHz|,?ntz;ܤDL!x;?g,|/h'h_0RwYԊ{W M:$= Qsb?wK[%JU#dHaJ7 9 Qr%NqWg滳WVfrj|OzlԗvݭJXD{2UNE!dcs__1Z>]jF>zV^Ret$BRy/q 46P0.gYZ78bc5d168ab388210b0cf968d9f77f63ca73fb6c3e4e9593d539b8de84137329a766b1811bb0545d 8426ac7e4ebe67d06e6b6dbd3c2ea4d00a97ad3daa7953beb174dd41264ac6f93cf80437221f646c