SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 (7 D ]/]MSO_Regex_Equivalence:threads=2elapsed=846.694cpu=1101.408gc=47.432factor=1.307zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{n/їOHM%'OWk/=G?]ʊY⹠P ' /+A?x]G2ɻ~2](4FG@E!D~X bT*5GQKzn^T^~?}X[zhA` Pj O#r^ )ѹ%gzA=[3B(fNZ5.$H`vP>3`,bY2j,\"}(6ou 7 MSO_Regex_Equivalence  +DblZ!"3"q:51"Ͽ>$98mEQj< |N: Q5zJ` M}rUm{"sE0i#[”0l6bdw{01뗖o׉ zJߢ{´7ZNu$z B.zk.zI¶jJU疢{xݚiMx. f J7dG5O}(:* Ӷhhj64Ub? V$4j߯쭤"h;(p!?!3[4)~(d'UHG5h:;pP; oFmjzpTfzvs!OF2{&\R'[f_ٻG]$cj:0^I-SV肈@vj7HydC~k!M<.Xg3_HX^$ӰkR_\ߐ'kV0D]Xa4j@ +˨/%3{15aUD-E]~2\xiyn!5t'|T(=T#xd=" 9bseh93 |ƾލ+y-b4thXHvX&(>軗\'j`~` c}Tp s=s1*4G̿4\>ONP[`Y q~i:un71 E{@^ew>J')bJY^GvT4ڂgU,؈]PUB)j>;jO4vt/#Mz+ONqa[Bk< 9vURb݊1teٰ3h(4ic/4Go D dQG!2, oLLAhsf"KBN+ܟ/*s$RJPp ujO*:|WFaY 24gQɹ4|=M|串J!y|>p$Pi!^u '+w.kqy)WǣQKKЅRƅDTmBΏ~P@ 0~'30ho)IB+KqP"kIϛg\erpu5()Ơp WXrdɛJga=(%iy_~iiPb`YAk. Uwճkćڡ @UL9dKj"@{o5]{Q,DQRG$l]㷫wɎU`:Pbyk9G~vj;UC$o_D«2'$U=~' cl;kdžo:rk!|^:hGҸCo`}xeBJUf)Dv$}B`EKۘߕ/="Iu 22%ct&M$O8xٔŒ:X?PM%1K]D$'YH `%wf1F?زb9 nL}/7-zd}퇯631F8334v%OKJp87,}B3"FJPb7x}b݊5K^xTSX Sh`'Sd翱[*rr2r-~M2%U+뀋$UGA&H(9vp2oZID|J[[u/'3mob(TD>"=l03F5k@|QÚSH[ 6Q}$ȁH5~q^<6@ùL+2_pi` 7ZoVU 3K:{D}dX ;~5/宊q0?:%?R;K^x=\U=ϗtt G/ K)M0`Sªfne};@o{/$~+o2\CV3A?-WYgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W&FAQxYeN32R|7q8⭰ .J>{J'ă 0]5aV[5(IūFbI[-֟iNȘ16O4`p` )x7Ԅ(obdѢbVp D? ~wP'R%QKm5V(m%+w1\mJ OZYOhp|?>)߉^ &I"E B/7KO0'Z6t>-|K:W\8be22iv"y/_5Ɋx5 RYHp~Ebݰ,;{Ar;3p[L x+ZެqH*!jmdf6CY|HӋK>[N~IQ1J^i撅 #/*#ҵ_6-uS5Pi#)XMNE7GG?'}cw٢oeĒD=QIwXg=*l̺[W :!`@T[Vg! H|x29dH U:SJ㸰cP[N]̶85|~ o%ZL^ o*c[cTbnoN!YLĎ{7fL_(TTQЊ {3YV$?ĭC1Ÿe-I> quB4|h"NA7޻yPE:,ۚ z6-pd0PbЅ]2M}1vi]l|,dH*c:"V.X9E{`bwm JOrHIDFSC5ʮyw3涓f\OsCai6X @m}Е:6dWL%i^Q7ν1S/eH<8h1Yڮ¿ 7Qj{ ##zATYsyntK|(j`JWԘC`lqOFl. Y>M)tfd?'yt˘ow-a^5JT33ȑ<3( Dإ_|ʻxnc_rlHg wydpJ+#Bmc/'>cd^#Nd5pGhB樌Fb#\M<~e}+:Xk:$&%dEQlv 'KM<>;;jGSF_ a% OV% U;#r>1tBr+":XHG!k ,qNw"IkVxxӹ{}i!I J3L$vp?;BaS(y3 凒FD"精&V`Z:7"+j]0x][[Gu.iؼ ﹮mvg,:%t%X+0?;?`k)qFײ0GFn:+A##Cpi?&{5OĆ*}֜nas.q`Xy ػIƠ{-z%j hf3MO0b W8"9FwB́ WfX{!?j&rcV=x5R .:YK%CjKp2\Y>QmhLnٟ'+2w! [9{9*XCϫ&]'!CTud/c-Ap4z*BYK_`1#ݳUMyC0,LK'sգa.L\|dl;;', v}-7t CfwJn:A)Ѯ͐*;lZ$wO,Bhk-ků|''7%dnWSP#IN-z-SnJ`ɾEY]Gk}\۩"yԐG)]9!Q`66&o|'^[$Gz2!1:RNM0' •Δao¼x)q~ /h⎣H{ۉG0 fP|9Yl9*7cIGp'~"+SFѷ1Eާ@ㆎ4[-7tӐu^8~bE6#J56/L*arDTdKpOQy& H|~Qz}$\U.Sa>9CH|= K1e8$:}ElU; ˯N{B |fD)t^,E?>ub*ӄ򫺝?2, trR]-3›2*JV~P7 E#+xkAHDgAW} Nfa<1'~0*cdhQ*.#f qwma'_j$%x}flkIoԀItH1}(1l_v`4ƓWFE%ĖogRE &p@:RkGsmW+y^&[DlN=KàACI8pzC&!iF5647| )Z7Fİ9+;@ە*Mb S? 3^g>](!bt!Pۑ!$ `qfsLzջ[&5@(`b/ k7L:RyԀ&}S!hv=NbHS]X6*?f}ҽ sfYQză.aeE?whY̎6{E\P_Ęp.c,.3YE>zPNYVYfٮ "o2'f;$_n(MwIF?ᘾmw(K%QDlj%6 w-Uk+/>Hj5IP_Zc^*hW&;t-% A[l6lm%qCxH E^Hԅݤ)xoVGcvfw-ܞdfcմ/e}4۱r%9PʴAGp X6IS;nV@?l#2Ǟ &t=Z-v7:I?SA>.?q¡ƾZ~Tp~w1.)+Z/]n\ul ιGBqyZ. 嵼,W1 < =R܍]GVh6SMB@`@f6ik uwJ$qN~;Ŭ0xy&Upꀵ5R )m2DыR+ ӢQ "!|Ϟ $.ArJ*%׵b B1 6 O 0'p N@ .Ȅr[ canh^Ogp稢-&;`P-|8vӫe%au{*'%y7SBAEBXQx;|>%D 'Jн]j2]?-ӥFt_r=\@S LT6[{9*r XbT4 Z^z@y%ZNhOy%>Eq ZV{*IB6)C/aWa!)_AAaR!Ao` :kPzsz̢DQ)R+&4žӸ1PShDo`z+{Kt8Z*[xp$ȿx5/9X8J"c/>c<"jYҴ5*FbQszl=&I[ iZSI+qyhOT?WM[ń5H$,jjMK٤X@?80XktN Xօ )C%(qHf9V"S*vYpHlcU3f5Uu^2РUx Tƙ[<̪GCǮF`ytE%s 6Uz0~>Ql؆ϋMTLlJ641h_J4__^, |?8"MkcƳ-] MG(C1B'z2ΧP c27:E:2চ:*,~H|nW;4`Խѿ穧w{rW#J΁Wmfvf =n7Wu.VʫpKKe싢c~6{D@ʗF؟Hho@?i 0IFLd@.2ᜣ*un".KwK4:V?%KIX,G^AH=Av5!xcǷ7d݁Ug'/}]>x\_Nم{.+6{o{o^p=sCP+iVsoE?`*\#,U}v4\"#kqa&=-\Q+7rdh~.DMj+vz\] Ap񐴋c SO^ӏ#i\l@Z]Ҁ3d*K-kaܞJ4ŋWxu1׌iޠ)Vuvl)(Byp>!ePr!uZWMS&I22:*qIJRS!F\G޺"ju/T

\,JBװdair\i"9!nt wM!nRlE:$6[4}vׇCEh PcqOGFi )Z 715xQo?ts;p|H)]c/([v5zG_cS:?V|WeO͈"]D߻ࠆÚ\]-M034Aoy̤'r* Oc5 jL)jټbcj%@_Ax NCPRa.nQ5N]x-{%;q0@ J 0SYa-3̒NOz ,'W$rw] e#R W\c (}MHMwouOxAW\hLܫzFF':Nw4-}l&-=kjG[)NDæ{4སZS-b]}xp4ᡒW.C@4_=3u;L {g>6Ke:!1WwC"{"$g}Uo@oMd}"ws孄yFquy$a&T(q~{-Έaj q3t|{}ECM6 e5_lG8ϫiYd|.gNQ+ħ7gua`5hwg9<Ϟw2xl̳H/= x6&\ -؍*R?!H۴GNA^7qY]|]21sPY?U'8TUKBNܿj1:b$e x qn](zj2RSBmC'p!V Vs{7 :yP[6 !AHNMcO;H+K#i6 MdP u\}KQmq 1Un#%ҷ::K3v%\([mŗVuVM@(8)v&;V>q6Ly%\)/j sD@#˸R›T71Q!L2E^rJta.eo*8NXdw@Rēne2p%j")OF"G`Eĝ,i( o=e1h5QY'ӿ!dkud5T;8{]Y '2f)ƹ7D zlrzME ZSzn(NQeSph~uE/n8Cmj#L<(AAߦ#\UӖ`{*2?=L86S)D{fk&\=a,'Pv%NyNoAHUf{_E/ZϘT8+3rT823F0{4%Mk''qxy Rl>ƬH?G.1c$Fc^foP\e*9LPURuA9 Or9Quj洑礗?Sf!6FksuzL&gMU~nNo+k^ؤ@ >lP)~k4y<΍Vҟ}Y*a>}FkS\>ӭav8e[1s3ڪ_;֐nxnA6oB c}z}ڃlh;b?P, љc!v~~:]F~XQ 30;'EF2 [,!f8+ҸDS4NʽnElLsC&pZxq J0<5Hj9"z7ba$P)ט{pC?_{񓄟–(Kai)YWl%X"nx!<•i݀x>PD~` pJ9M`@r+x2|(W+c[V|fMQשU@ak-%"޹,ڍ̭S`;pc}e| uҟI5P1OyqlX l/U|u0f37rj;8S;>Q/ n5 křߛUT-΅#Ox!:Kʦ\WBa?vSe%Doh*aa0СB$Kѽe?瓱ô&t$RlS|W+`wj>Ce qY}CzKљvtt`7@T_\oXN›%kDWrjtEղR!qVJ}1{#KNq]HuĿכ]gAe"`-u'0-0"NnHTOy=v`t_>#pC8gr@(Օ#6ިLq.sEe jp ߏJ㡪1C.GA@_?A=yP}LV:v>j~>.rՄ|FD,Ti^7wW/cgk.UtmfVZlGCkeYJmQn±#f75^F0CbPKb>T.yIƦ-kBf"%Ǒ2N#Toz 9,oAY\4̻!u^E06PX?-5Ipct.pCқWaLl- uʶ?XDcԸH՜ }v:?kYMQjZfj l8LjkN]= 倰㏣1΄a,!@A61'6 qRiA1PR&/vY +eQ>OiۯY 7)4(mq3z9Ն>ݵm~}^:ꨟU ɽ6y08?Z/]|0 rDlW롫Yy}_󦏎]'j+cd12Ӵj\EƣCvpU8lwfC4Ra93 1Dž$Q$w<pʠjޟ 17]\^]z?!FC jx^gƧ,j#gcrG#\cKÒ;inQV^3z^ F⣄[,` zˬ&Ϲq>CZeD@hq4K=oL8ad)S~&6]^yV&ϥ!Ȱ9$=4* fq\YTbYg(xORP.i!j@ P/t>qBc1" (WOVV6m# Z&O^`O*4ݗ@i I`̵,s;/֟_Nh{kz_HwCH(Lnjer!:^Hd3+1z@hXqMN'3z0?W'$&Z >݌o *@<^J#QVЙM{cN8Fg %(@X^Hgb5esɋ"c99zV3ÅV,x}*2MV~:%袃5uFDj!u+8@p%j5S&*Ҧ˫gL˖@bLSuc{Vy1IAX[daҸ%Z.3y(NGџ?`{ǰ?^&B ;ZzVɦ3>R1lq & s· 7{="Z\db J˾: =F.?)|ϥIu3,`FVhй1>Df#&<%.%Mr⊣o&1Q.pXl@n] J,luAo-PLq#kj*9u>ӌߪr2PGoeDL]ZCPV W\`8 $%qZ5aטYoQDa0Vou)1Me^\G`Mb@?zZ@i$jz@3fnTo-a_Wj,&Bi%HMgGI@IQnꉦjkdn E.+P<K90CZꌜ6Fk l.ِY4J!Hhƞc4ͧH`e u.or9Kt(wrjn!xۡq@WIʠ*fZ)Ϡykw&KA _ 78Ro3 4[ZF=BW_k.^?pYk,iןFb̠$Id),d֏`Recoxŋ4 .]hŚ ڃqeU^QφO K}|DY~6hAdD#t?=] 洧IP>fRxw@?JjX>ֺAKF9Ap=y{t o!^Y VwA" t W` E)Oh_Vy1Y}mХiw+ȂP4Rz Y0S Vz[՘ oYtd#_yNWɑ-:,yz-oKÞ@LV`5x8 fJ3umL xFCt-i1Sni$jEA~Zm(ԝf'kΨͳȋhm:Pg 0gW EeXZ~p+Ѥ(-}7LX_J,[YT>IdT}(Idg\I71)3ڏE45JEtmEPx>;8IY<:*[t7 zW[>? V0|mZ$~o@"rJk>Zg= , scLy뽩 BK,cZqQ\ilS #i˱|"KPdIi~)#?]BD#3D_ >nٻ, J qQ ̂#㖼MC6QQ٘ᙈ-<ⓓpٙZWa Bew]~`藄suf_!MSr;&¡}G!D56`B7֫ޭmbMW\gTKdHe9`Ct .NG'&7¯u/mtpa ee49iwxWHx Ȼ]sO]gar `dU4M69 zY/pF@Փ+uR2b$+$Zs1z N5S+1O!jăTWaK2 ŸJ ?כy)k<̆ř.'"1COӪ_n%0 ~6.Ĕ+jFx`n4gLlԲ, my:Wh f%0֣T@ 7:&X,)0OzGm-#t#ܕZ -PEjts|Py -4I.^q;WMCKEV3rBQ#ܶנYx//ڳz2ojs`@)oH"(NF~x:RSyy$2G#/^aVˏJDb:' H? " }qUBW@38}'w}b.u3N{GQbk4TdC 6{ 9-ɮBfr?܄_{!F)BjY֍jd{Wi Ai7sC%#p6-9 PԉV#5AP U8)2V|æ O͘uV+ Ŗ:`;HXZHi@L5.{+k^ c<o*aI7ݮ[0{u DC }ܛ ѣ>]'U3d[1O* KI?T8ѦݚF;52Zù2}iڛ c%fS~> aNq'q &@/ꅭ @\ާddN ,+mK2@ʸBS4 Rjdfd.Z޸nth>O!ڱܧ0 #I!ϼ !"GySx163*%\}q r}1 ݨی@>klg[yvն+)P\k*U%}6-YSetͬ/({#Ke㳓eƝ3%R=i !u5}_QH>v9I'ZdӔrcסC{h9\WɋI;}=2'OW?MpPc[isd :pM Lt-5S~e)f]hCnCU>8jd01(Q+\%O[ѡyL|YurI/]@Qy96߼̛bx4Priz8;1kֻApc^(_x1N)R\أ5n(e)X2 yT-ܲ1@X-WKsiu|W+ZQ>R 9Ij3qtN"teex m X)nV74,A҄B}4EYH*3 |3 SՑ,d_قUUN;3IP'O1G XVz7`N- SX`c+mOiBfhC]~^˖s\K-H! V G=UX!ᔄr.y7^$`s~X1jЂb!Q#C 1I e+Ьt9ԎG3k;$ߓ$f@?$_Ɠ8w,L>@hu^ק $2 imCe_Ҏl#,C!'d95 !pkŶ ܗۺL-7N.౐,ᜓDoԳZa`aHDmba9lV#yGGz[_h:y5?{0I[l3D\y1=e*iՔ CCa]Iڻ),q ";Fbɝ8_өq yGh0} g"V#yPcS1T U! EgcPE'ZgܲY{l&Fp<׽@_3Z3ݮ/bPvTk @L4r^OC6G~8pHJp,182Hm)'bRʇ!qvdRTPW] `WyC8c())E1Ő2jƷlÐRwK64ITOwymT1<Ȣcx?7KvUu+r^D$I8nG>.1Řr9Oz6Osߑ]A!/2}3m ʞJ!$yz}rk6u[*0'v#wl\., PKT,~xYڸ)\n6`r=~=6IΦ xPRSFĨ"zR Ko΂s\PN8Y_;22|# y)aPk ZxaoO&Gx1d`{ (B'r#IVfjb2Bz݋ ~[␌,7& 9j9Jw*Hbwu>nzֆϋuYc_|ޱw~v,[x$ȽPwtX"PD->GO|9ƊQwPC$Q/|ʵFخ=())cpxoiߤK?h&0/ϣu4R-<ߵW!"!>f:$.0.2r,ܠ= !A>oͅp7N4x֧l7+G~$pϠ!2؆Ms\5!Oi8ܼ0[Ol4Dyjû\ `WG$0P$(i@R3V~h˵$_ 42߻?]FNיe45RDWۄ~{!-""GY)\<|k;HYtܹ`'+iLv$J6vF ~_x >bQR8ho9INO=AÏ]R'=6Mނ6wYAGb52v XH2:qWm-1%aJ3oy˗;$>b%?ls{$K:\|1;:vmc#NW3![Ə)4~f+ƳIs:b&\gmN,RknQ^}Z.W aW K o:t{AALlN8Ӥ0]hex?E֒*!O#װ 1%f-۷ xcN4ƖXS?襟5hj6w%xW2A4zŪW{5ʹ%{>q]`3:{cR)1M-@zecɟ1鉺:NҥCQ(Ԫ $&58u"Ǻooe;n]T@|2ߌO5JlqFy}pT+"b*`KIPo׭RkK?c!!3i-Հ2ƠA\QVZl49i:hY~8T }ȉk`뷵:=D;kA~KӼ~QZWf}2DZmFT$⻴'s~LI7u{qB9;aRUNh:1y`GΛiP:k Eb'BzxL-ס7.t EYStEKҍ/Ibp|!K[mXfaQRy} VErrKЂ&5BƲi7@ټʓ70iG6}ك:ONۗ#~lkH(Z$Pʹҟ~nFH;Ȋ sL!ib=QlSdLTl~$|[*r:MXة9oOZILdqwc? A cK#l{U͑5sh0;у#A#YQa@܋E;d=u.FޞP%({@b82S&)δi} .is}瑪=7ͳß2#"2;TVQɧaY~0rsږg廢D05 PZ-%qEuZ\pW)w|E?mMF°'H"Խ݌n|@d#&k_C걌UAmCbo2v!b } 9K9&6eK9E-4d%>_H.4{px= 8HKb% hՊNL"c@-?q蔹okqۀ[ȲK*`sv:1;RټZ> 0%h` /$PfVZP"v$e[JnĄICeA% tJs(ơb& =bĂb|1 UvBDhMAB$IU(3k{zrD\=Æ9~نA [ b3Lڀ5Fgք1db +O5d N;Õẖ/~].FM !Y;4*`c_-đùb#{3d\[ؚ1{(Y\n*͔G2zgso[6㡕jtC knX<}sMD%iju :Fp ~1lM6,r@ob\!]=?<n4|p)& 82e14;^aܒJ?HRNʷhEF}[79Vf;]X hQؼW8Yܸ^s~*`玄c0'zp ZyZ^T| #sMcNX'8FYHiyΧ9N'2[ҠtzESJ3W;}no,#>q1q$z*_JS #mN2ޮ〶Kn4œ¸JE5MLAE4~q]O V$) 9H2mm<( Ebb{JRR1/۟= g|\+ct^ڎګMIWSvSf-9߁ƃD &ߔauKTakN? LB{6Vaɡ*fwSgTgQJ1"q[ӃZVn?ŕAtY:u0%X\\=%i@(Zdn=l^|s}rrt>=9V'"$u+?luZwAO]n}APv'ͨkI{;n8>ܕ[gT!2}@{IaQUqTcBLYtX:%UUB=4޽<-bŵi3X `-]ԥQ&bL>u&c-mǦh "d95X6lxQx^4m0\{Y먀u [ tt1FږyQ船 #=Xdd2:{%HG"z9917Jϋq?xB 5퉦pُ/O>#~QxȤ,CQ/:חn›+ZrQxe9'uháW*-zx Ai}48N1nB)t1:l,6#$Lw AtPo:amTc5Z޷]7\o|AsƫEX﷥#ež9caS~=TWWL-XFرL&HDZ,6+8$(oUPŠI(_?زj@C2,%9):B@sζ}ο?fZ֊u+;'@{R9lkֶ/pEAN5!m"V;2*wCAdc?ޚVqĉϱƔE~ks,ŘUhnm Т& Hu[kw>v߬h"0]7\:?9XuˢU`xd)S ?ak١"6U$yxCe6AHbNU_u@Xlj~ 딅컊$2 ף3Y|)Ļlmt)$P%FO%b Okg_ܡ#Rxgx4G?Q!c?\ s/f" hUj9Þ3AOkg>F{=.@I(1SFMuzib}DSQXkyhR Y~<߳(o1b%)'e4ʷ֗ot^[QdT^Ɓ Hr8|j,y.յc&s;tބ&Ja%Zn!e\8 ٧{{z7UzS!?y:q #3j+F:KGZˀpSB Kv<)*=L30#UkJZLiزe%(-A$I]Z9RX_rbʼn#A qX5>t+I?H+X#(2w̞rGO mV#_Nŗ]݃d0)6JY/@eW״G<gO h"Īyej`2&6~ͱ";̀V,rrDπ[4 _."xeTP@%jo^ ڑ.g6РkIiDdEO^],!gǖ%z y$?VL`d=\6 :XXZB|*t*9m۳U~]g$P+ݝ |JФ©!؛+qc󩤑WP]glj S>,V :t^ye Uf4q# @x#;2Xwp ࡠNeo yTĕHW~fRpi5znrG|.zliz,-^7Fœ]z} :H&Y@Y=L1:6K%Aw/ǩr7ppKwAb3+$akZRCe_bo7R[sv w+. 'M QL7![h[7 ֍cW%9"q+XnO=ːR UjH~w M+Ϩd+e6-k k.Fl)lst猋}Ywj`z1BG '9EK 0_+YnuX1m{oTQ]Ḣ-N4]U :-Up/` *,2J\V .PWQx*%쉵̧;mhssQNodY(HLYތqWBQ.]q׊L@k!<pYOeAt%j] 'z93>G3W6]myeAC=%Tв m[ucx>GTi#t {>Mxy V4\WC=Fz 4+7`}%Lyݙ7(}&cMmɾiT}dCؐJjhTX|n$44A\L楾у*c \vkʩ$!(*i^T7 䖌j:V.U,T]XI6BƣحƴnEQcͰ@o͖ ګ 4Ӊ<g  "շ.s]H(91NVaT^yk)@?Cf<$XuFgK(i=׸` ٽp$*lV`5 %dMѾbgAxVl0mW)a{e4tҁ{|7_/uQ%o[u9%zHp Vx4P~^#EƱ,miɂJ2*>2ίq,`5Pg4gGbZcX?tg*5 7lp2^kXJV=ٿ{jܭ5U6ߊN<7L[k~0G7{f{!+^O}ZLCXIODf\7$D)s>TjjwӿZMА}`pg.E,doTz20Al6GQβaK }bZ. ɜVq`i:G}U-ĝEKR,i o~vz;@ͥ& X+pͽ {y5ds@ְKk;5reވào WI@蚕z|EM󀤖C ؗ@]b{5*ST|NՑH >BS&D#_@&.@4 {n:gMrJz}ԅ~ήz$. .M>51˴[9^>gc2_ӖuAll$ˋmФ=W΀%^y-Rt ooG:b7" _Bo}U/<-BS[S/ߊY:-[d2L;آ {H245.[^iAVB -_AΏZ'h{$}8M{)=M#š8Ϙ]%jX#YIQC,#)6ڜ #&iAdF6i01"EȴX醙eA[ZԀDFNso眴UOְJ@IՃΚ#եnlVs~HQ^|ō&(܈* o%;}c4Lv52U &>#JPsˈ$Xkh]4ߎzsϧh8gShLx>."r+So$l5`(%0ٷDE?!"As/E=C)0EaB:¯ $z`D(VX&_ׇ5~11jg54= w=J, W4 KU4ʐwίDʊb^I(hXP/ɰP z0l2T%.7ۨCNR(B  ǽJt,= }RgyeCJkR-av0HAWMV\Mz۲"Dǿ?P]bQ(y_[':>* ޘ,+f3霠q|+,6fsTE]n[Ŝbtgc!UŢ?# 38ZI!6ۢ K{s;!+}qKwqa b~0"Kw72"0334[y"0t7Ao Z4YrC"Ui;%XrO q3Jislb8}+r v{W Wuq_l\Ǩl.S9HI6Fƹj"(tK#:ՋQ3yk,zگ?>as C8Z`F2sK6d:nV"E=),ˠ,i!SnWCq$t0Lj3;keI3+P,q>\ΥN"{P?㒆IQ艹$&%o1,ΕMլ+u읪KqQ`J.Aɏȅd9?F_5vOX?kڹt2Ė d-9 KhHjF'GEםz l%>&YX.TVZw$,X/Aȉă #|j:*$MekJ^y d%-MjQ ȨyreԚ[ f>ù:z]+@L6C.N>,?!a HL4G2&QM,P`)^-5$U/f=5_D^dF-Iu"khaob27wtf'VR3I++)$b6cǼP3\ Au cDz&ZVoI*)A 1Ɋ&qέXnd&r(M=-CTnmÜ+dK&?/nW=wUd !$Y K>׭ ;xHѲaw}Kꯒ`՞|_R2ˮ ɷ5\Bb xZ֖-~f(B~*Voo/ KWBrfhqth)2dI `1lT6)|.dKi!~(e+-['5W]\,WSpi>>4 ~<ִ݊>=QKl2BdRJ{|],m|'9FsPeFضTTWH߹y"_>YժgCI9&dV'j~FܴxF~SBc}cE w7'|J7⴨*(q^Z NsnC,s=f=T`%DgyA mS6~=k/*/ QIvBS|n3lmGK㗹*gW`J\4KT`\(Uyc˹d֪KRK>ײ-8'c7k;TL7NL+T3=[ Zy n`C7m,:ELj(d2>KeDEry r8Fi)ԛqסn`SXFQ6ktZ _GB`b'A- !)Z`6HNȺPLw=*p,HJǾ1CpH\q|t%Tr(O{5id= $k"Lԫ>x) %x7d R^nh3*"FsdezyKDs_Gբ<ӖA}tP:U![Ẉx7\W;l;e|E,4yĵ!g'9Ũ@X F 8< [LW4Nk5)Yغ#uğ=vM]6<su)(W! ɶN͟.~' sdvլ!ӜPu$`t6÷ƺ Z5oȖ8x9Nv߱%$[x59WEЀWD%J^2̽2ة7ʯ:cu鬞gZϓJ1Z:[/[ :I~Y'|.+A0Q/^H.ţN|=joQ`4-@u ;+`M`s}f}z&'Fw.ez !`>=DNd(*Ccy8N)I-"Ж_Fj뮜iy6K ˘Me?<:.@]B8þڨPA0L`1Mxmq=b_2f?!~V-Lᐓ~!NؿE;a ht@5A9HuCxܹ;RhRwF;'-JhevRYnNׇ`u*%9WoE.X\s<}aAX@5},Qn;x$Uf"Zm'|rxƞޘˁPi U>1wcQ1 òtT)LA mpru;RKo~|[YGQ ~NLb@vWJD&RnYq|GE/93XAn{IrCUrt:{ie4+Y5%zHzZ ^$-JB 5yS) :U:WPu9CQ1gN^*<;%>Yਡ:7gsdq G&qGv YC耣BngzjiB`k>RK%T q4cGF8Vy52pps;IڡLi~̣{kjzA{K-ruMޢ\D7>dhC{ynnqrYLG |*{$$$G[,R 'F<'Mǧܰa֛K;ma"*"5t DYrξ`7 vAzU0> ZSYգ*ZGÜmat0u,ϸ~.qa&9JHJ̣UrDmpzc<"ZM+t~ƚҜΤkD(u&t!02W>ωqL .E.(WYm2ABLwڈ='Zx26P} {Т=G͕n`YA [#9hpQ734v3WTVhɅ İDD3φ9 C{Y7$VD.E(rqc(A N$̓@Q#=ݞmh5bOc |Db&{vڦM8AH+mӧqtJJj,zg Bf'%b6w ^╿ؐ3vr(LȮ =H,S)IzZ \$i31=o,嵴 ӞzB~ew}8iƏTդWcê4em);P/Ήf<6a@OȳV] WyPL}(3Ezlt "oK3ʉ5&"gj_6< ZyX.;`Bb;XK)'h7fX*U3gHjfay0s-͙``GIA%[}E8'J LvNxG:D:$a;qbisz˳D_AV)(\m,*L}MH{c pl=6Po}3GXj<% nd(4q_YWj;Z>~J{H7v?[E /_~HP~1Rd3}& mN v4&Mt/qKXY^ 5l-r;Жz;^rDn({1G9D>raH@JSqEH넜[^ҙ$`K)׻~sIw\؂Hmvl"9FDGX"^0Xo^S#772Ƃ F%"3&Nx*3uvUE+4 v%ȑ f Dh uט 5gIBmQ3m܈- =-bo]PUGpޛH(9i;_X&Kγuͭ~>T "܉)~[m^b/$ 4o'3Jm@D(0bn]t?Kg NHo8}J}Xa,l#$]HoA2czU, ?Y3vJ18H1;Щׁc]},3ta8+W|3*6|w#6с y \.櫜(ʈ&w7' NN` 6$j{*ebGvR) e+<3 LZvB*Un=ڌi^H[~٬c)wve^43;&.4:$fƔ58*N4=8DHuLb[}t`4@y~us&ǫc^stڍmQ}.X|Y!4;[lҽJݬ.ypkɫ t径^vujtYoNI&F|4I )LŌg!=.Hn~3ߕ^ڲc>-ƚ29{g36LOe r16kQ,k㘵a{C(AvI6m 6 v^ӧ4G[/k5URr /6}}a2/T1h5{q ^cm;%!JjL4Gwk}^{ CZF>vG)UhZZ[v|S3'xϺw[{}9n?XO7-R,h&yH[혹Lc{hQK|W/{]1uѡMĿڀ[+M·^o}RV<odyM;!Yîk&3:˶")7y@b]R^pIDm?C{zm. ;ٕ"%3׺?r8xN4t#c>/3eŘƛ(}.naD9/uk6r;&,_qB_tNs9ϸ> <-~#mZ@z?L:XoȔPcd6zL[2Pq%Ęy5W43T!(OiۼU9`펉`YGMBf9V!'%[;^7)Iï[_-i:."+`7 ҲClb[lOnԍQBS>=dxr}BwPo챋 7Z[HjJ+8="(Ȍ'{xj03g5ZaeD!R') ]?MHZYkHզ7@͙ck eІl EWg?4@ j5rc"Vp1r,VkOo*k퍲*1h(9O@)eBn-Je•3g{!?"20ŇR`aoNHrFN@|C)JxD"1)&Ж_S-iyõ- `CV?pgYZ1beda834939757cdbde865b8a84a92614ba5d1f9767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418dc83ad5fb0f85938425099547d7b4ba52c730335