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 D7$, ]/ MSO_Regex_Equivalence:threads=4elapsed=579.454cpu=1807.564gc=45.756factor=3.127zXZִF! ܲ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmthJh~@wyHRB}< sD@G=Mz}YQqXm0Bd˾_x GJp_FyL:q{iң S|64d @=f&ڄܶfxpf`з 8abR`27PVTaR!!lq[ `^g.`(՘Lu!>Dq-m[Pzˍ-L-2 T^&t$bu}cZ8 /eK,ppCxW Jk[y)9kGWPw75yP@9:ܽW_}P 'c[-v"ѿ{Oy,=Y4yGW 8;xJ2oHgGV\xrp5I ~TUʸZ.r\A9PQU?_]& dpd@T{7}d cy,At|ܬYuvggu:h;au8;cxھ@oj(}҉#E5Ҍ7c n/A-/4Bc6o!+t{X(R Ɲl.TX|hWqJ';%&F"Z"{&k.PjKh,ሔS$'i 0o9*N[wK0Nj Q t LLkܾ [ %R%siddҨ-&NK%~׷2@K2ntԉ'ۃiDÚ]VLLRS%sX47Gxv8LP<ڋ s5YBש` V̎>eaPJ}6m{vcR$C*+0c̒]upN&o^m/oئZXܽc` ؀Ri8o?4@03oh۠5"b=or{H:wot^ P{o&.2'2LcPO*so#,Q!"hYWҏzM2* ~Rmş,3t\ƅ>xJCd4<_{f2ֽC>ċ)6}!tsfe"ylQrm9zJHR{(|>U@d _TLc̟UcB8n`MhOb~$WJ`CZ%E?+GF=<7ޅ18;U m1 Ho\榙.aզ-dǓz4SRN#"AL'ݻ 7 MSO_Regex_Equivalence  &/7:}['C֋ϪܘMNi9MdU+dVi U5̟2uyÕa ۮ%3gW;2ƗA]"X_㙙2ޠu#ZLSpS8axQ\o$`hhֳJI9(Ždu'3q*rKK rWBUI7ζ]to_x xoԏؖ}%w k/&p.dɻ\C̪E%7/貾 #'!ތwZLKn%gg@L)YDO*yM(#]J UxLFaw}M݅uWTts=H;ELleOAEL#ewYbšbj͓^]Uj:zDs >^Br Iey=*03Jքq8D GשڐZIJ㴋5 2)yά_&Q2%!OZ=_]I8Afl3 W&M<ѿ8j!5ڈ([ƪk[UC>yrJGxr!z{n{jlУdr}ȸ?Dsj5S^"20wGV˳/KA~2B>&-K PE'NNW TXzz,psITQޘ^WxPU ky B2&I \%Oqy1ᚥ|cE)`НNS%eC{~ 'jTc[Ohռ\`q)% gYZ7zXZִF! j]ŗXiɟFTp>>cP$qXLE۹ːhO0v%j9[ܵ{mL9l>SH0QNP0)|_E;7NWKd%xSPGwP7DT>`d15@ al4U*YZZZ5ㅰaܶoZtTL {@f`[gZ0'*2{Ȍ <uwȩgfGp<;x, ReU8̹Ϸou`RŖolc013z3 .[Kj 2f'5pŚ0*cs[fk.n)v) mcF.Uw)]>MPDY WyC2Y -L- n[`;3|G#-L6G¼zm_? V5?`+I !x5{kOROE_!/]g7XȪKIt6 ͍W]v}2gҭ|+~=uaTq|{2`xS/'\Ā1gYZ7zXZִF! ]ŗXi%L /GL,#/Z,ҍv#_*X/+ՊQ)$cAܗ 1WةdOaXEB.B&:pQJB}$}Sh>8}AwB)VcolmLw6(*ōf\ FUڿ+UA:]Dj$*1z 곱n~Bӱ0ή(=?{F,4H!zd񧂵<{XRL&\O6Y$U ߝ:n ҦӎVI3mpJmbs=oa52 P sonsÔrsZcvV̎u(eLlWSH?c!^K$@Nn. `DԱe21zdDO)BdقF@A hRDsqYΛAxia[MR1K}߄'G cϯui)k-Aj<"I V ͑QΑgE(x!NZFȓ9)?{ 3q._ Z{ʘY šb(1nI&&"=ep̥d !ʝJR@[n$61Ǐ;!_F:NqRUE|ئ*f ~n|Uie{sjhw[pؔ͵ a..;wN[B J^>XbA`^Z$?"j(1X@%hSK-݋hߜD<͂'zEa8nE{ u/ l9?+r~CIi)chHD)bQoM9 'JHwR4?'e# kj] tXv:;J yc#MÉ;DܶXC*w#fR A NѴ649Tҧk;ߕK0PTrb@ЂG wQeΉHRky۞#pm 7Z@$t+<B;IJ^M!^;RMѻNG URU8n.K> _?:ȳI!U %OAծ hᥲR["gB펗ܬ!GJLP}2ܥ3_ RoY%"߈Q!`,^d.; Kq[!:K~H\l{^gyF`^8_~/uTý/E%O^k:rS]UD39B~9`~ԹK\rq9ažb3A8s l%fgE 7!l^9cS0$`%F":Ե;f yjY{_[(rz^0^M =gmrjm97CB;4_y6rtfYcɏEz+ly-+.]"nM  m5^E쟣X൒$lNi֒ZבQW`GrJ4QF.vPR\D\=vl?RkR kȵF`r }%05Ѭ/ƹLTVV|$9 w G4kZyqlFzn}ʸӌ 70}.=C\5n'4Am(NnZ߶'<\=y! OcgZsM-L ݌WW.wҨ|ܛ0 SeDRie:ye#U;fn@ c{ b̻lY6΀֌I^iSmRf`}OhT[s{ lqKTEc*I"Z,QrY;?j̠!2b->9TLqZ0S'BCV h@ʀHھs\X ض'c~m=Yo:w!sI DEAj%q[F/%w#^|[$NYz3TpA''- ə NȢ(fK{X2 [hr9QN *44>CtYª@γ2`ִm7^&/}{p@Yf{\{ HKQϋ\6sA|blD˸L=!'#UNJkͫ>q%Ա~H_ް~\ۅ[񣃽j?aH^i#oQ(ÌJ\09@RImU > FTi!M’9֦j?ȗq6Ka~XIL:ݗ"^:l6N @ڃ7Jte/yKYLcϘ/9 A'lߢt4i59^m.ar ݐ-\z{ A~A鷩x !Nm[73w%+ܭL9 5wX^'|_ôhC)q1Dlna//k39eb!;n'xT?rAη-"Jl[9ƺ'PPGAi<-2!>--Ӱ8nF{6 ԧ!&IvO:,_ No=7Q 槷T!0'j>Eީ\ CMrZ⤬oI!?C B؍,҂ؖv4cZBAM|/ ڽIpewe,=Wx(fIH.GK~5" P8kx@MR3}a:8v;v LuE6ɮ .2]m$Oj4rfk*3 (y##aluUVJ93DW {ׂLc瀹;ʍG)"~1>k_9W )iHH ;6;I͡[i^Lqytg4QkƘisWkE> "ܸCZl N+&ZD78tq2T_ *BYK "xpn$V9 L('8OmS3⹇vڮ`VSQ8de/hނj6qn݋ +^֦mSHrgt1sr-:}(: k?TCyp̊׫$C*|.D FfXĥY(ss}8S(̿ b8x3@"qrg;&3;@.&iq(Y-. Dyp]f -ً7Pl}(C >j8Zg, (d\reYRNv; vT; y싑br(DŽK~vo|f A1F; ƭp uuҚ6x1R>3`!Ґ[ӛ!Dxl9/8CRbDӤjA!Y9qaM3kE/ }I˒g[{+kaiӓrh+Kᯒ#R' 1a^eӘcq)%9Q:"aޕBކ5]@p=*UpL زƾL5||gq\CVns+'rU2is/#o PyuE=(bLC@JԞn)QGxl `?¡'C佹vFo mpq~%VC4%j0ՠM_Ov%yYNܱ?zz.8S;o 6ZgGMG"FkxsaBL9! 0"sksJc ܸz]n]Rb8X@&98\JovǞ))KVvᴩYrWj[s`š2kf-D ]L  üoU.,]@"Fȧ3^ COy6/zKyD$!\RUi(cNlbo6d=Tܫ{ov<6rI^ k|SE"5\UxǍ'~X\$eGz ՞>.F ~ 5YפIaN[SgSpX9x ȇh(˩~I?:!~x!{J >B u(y:r/a<7?x!fF@^YM!*e9Feil7P2pkʤ.?iA2\ =X 4nE, ;,hcbqχ=Q-ӗSlȎYst\߅Lov@P 8S%QګL';,ib@R^ 4k Kkd;N= MF`7]m$TT U?Y[>8 opul|LjeN2w#CK;]#[)kF(·K$qf|H3T΂Ĩ(t)1oUQ0^b$; $mMM\m#L韌DxD P6a4ͲĜFg3l$Jd|cć(փm))6'g}RuPb"klw(uÝ\W &i 0k$O\NZHۚdH bO:WOgb~n:'Ӗon!r^GZSֽl=DPq8*- G\{ &RpXJ L$=wȣ@ [ XD*FEM. b+E9 &$cvPtX{/oλ7K&^ErA)̓<Eó\O1&+1RII3W{ԃo[!=OLLU 7-¨n>1-))a%AXCCw\ϖV3/l:GP Dn9M`AqTXǿߑ-*G!IOz"DW*8bQ1w^}cy3vT{)T,1/W _?&: w3r.u)J[UA&^a`HP }/tJ] V\}92>0rG'.aDݳoVޓǘ4:%w߸\IZx׈a3jQ6+3yO [>Zei]rh~wYYwOV?5_Xe'G۽ p6|lǏ)$M ,;`K#~j׌ig4(ރ|زzR)pad8lcMg(@393/t_^:-qa 7I/禉rH#ԛ~2b%R`gKqMϪ=Ut̓I VbHSXe5rݻn8 2 מ{%9u4]SFwэnn`V,p47;lܳ "$P0#'JqYDO.>&t"!6͗WSo!V/Pd#TgqҞwk^AW%myfRfb-T/]}U'Ɯc_(#j56!1]GӘiG]@^]׶w46E]^6VDZ`=%0~KCBظh.AxWOk2@I_)LGE q&Ttɮ%imw?w#4PGyq+$mt`> ;fSi^ܩmR~7;3PI"Hьc]үTQ1e3̅D(u+RIFb[:%ėʽ S ܯ 0otT,pX!#8ny*nGo1?h(#4u?Mf=WVF``y``Æ'V+HUCmlCb>%񕛌6ksرSr*>C !TEOgG%ǘ̉ř E(W][Ug+5b|R~bklZ-@&e'oX`cquLNvɕlS@=n+;}Wo#sHΩ kEz~~br6džo'p?5Z3>7ckQֵ׈ҏoͦ1+H_|ٕ%\Q;ޮ[[Ϩ3Hl s+Y=n7x +#mՄq==0<<77ފhx Nc暭 E{KƴVHY%;m huF/lCz&Yf+ѱyߣC̶pBha#݋CjNfjhz4Z*5_vgƬ 7D{Jku(WLkN qah2!5٨nS؆WPuldچ0%ţtцPp|(,Jo~˖tk8+Yt!Nȑedp"Sdw<\nx`peLT9~I;П O{i M)wSf ;g;τڽdy?Mg5̼[92OêȔe/)JeyJVӁP"(%۶#NVK\s0FC6ɋR8+P☆*['B/TL B BÔΆi$R'g[4մuR%JJOEn_`L M>c9=`FhZҶ U;XI˄DPַ!_U̵}xL.IK {Pq[1ZLٍe>.xD6#wLȊWkBie>77t|'xYݢ4}4,"dpXP7Q`&3\sK0Uԥ,YgE/0= {4u z C4- %SKbzZuJ,6W˅H !x햺E'd dxi7S=nL\ A>ҵu:tʶy@6x~ ȟOWl΋iUag^ ڙEf-\q76Md{Mr"SYXt`{9 ?-ǹ^x](N"Q'O d[jvnhCΐ,$N J? m#,TD+ `W!cυ?g| ' kwVybGNy+zԅO|7/`XA\ K_5ODz}L_'q{(!Jy1h ^ϋ +o 7mzoqdbEi0餬|,OǛWg*=ssV#ib. )B`@wTM!LQ # צгMu!0xmVL4x1kS3.]>=t$ 6'Koک 9ނ#k{"EYJ-b@z^irDE8ʶ^*MGts66G"R,ބ{ܼca7UV=}̡D!A:DnqR]=G#7 qB׉n%GVr);'9 YO),-®/2Rss@á ;AlP"ݓy\.݌0X~Gl U+S|`kax9KhyPr{9uYVMeeHQ$ 22Zԓ`߄@D%y0Ji\y1 3oM,-bXpLyJ]Au#Ke p{f ^8;7etJ㞴okZ 1}Pd|1c,y&?n{J@%k&kW`j8yO`܍lO6yBR! ,v?5mGP͙٤㵡vQY9>ɻ\ϯNSީ:,4\78[2gPˎ0 ~\;(N5RElZ;_k 8 hGB~ko;Jp,e^U&)uPDGiD:FvmM]b_eF/uomƟtIؤZ+ 5fГvxwс VlfA[נD!&1qC[LF)nKT5<<^GjYkuqb3A{H\u%A/f2_X*/K\d:f&}s2 yPYlOt܉ku7?$Ub#n"u!? >7pCޫ%o/E J&axctI(m-k EXdDlCO}_.IZȅo{$ƿ um/y%wMU(Vxf&䞁Oc H?4i!疰㘞V&HP_ yz4(dHMz."y dr˨6 8~Wuñ e0d Ҳ?`U<֤"4 Qq#e>m~۷ʱxٷvSYNռhQmq=llk9!R&CA}AZaݕDʘ|ߋ|a:, ں"Xj,?mWsvG<&jO(x }QZWڲNyaz:HlI |,'$P1;P7͎-d-8/v-bxZT"'?Pa}DhB+ɓij%ڶCAo1xk)["*v()ȑxH,4yS%@seCUмI{JX g5<\}鴜Uo uB{LŒczWtd+uhή|9fHgyE{=-E KXVdiك}bߎ$xwTѢ [) !b(-z2a֍8#I~5Ov8B!slHIhfK"R \Lt"%($Z&SNT2+yRh3n6Kv: Lö\8ES;#:FO>ڧMkBUzz|7-\<ˏ&`~F|Z7 jWO=ǙEζ5p]4 ,@xaSQ+0uO$=A2'MfQx٧E:l4gd=ݛTm#Iv׆(9J&pkxSP OVec Yihyϒ Å*D t&.lSK}FBԕ(yk|UC7]STk:zm`K?l%HMi eba9J Kgǒ+qgl,"?(Sby, @"5Ҳ6NG}Xx ~wvZ~Cj[Y n͟IBc $< c,^邩۬х^V]#אΛPzK1;,'8Ї{e w v"<50a̫ɳ3)96;)u?wUv"f2Ü 6!0@!_`(عg#N=Wӷ.э!_<|;N9ס]I\A=&ň˷015xx8fja\_N=Cu-;eߏ&ca6bYA:ҶL(r/ <zĭ8+8u ʛ`ʏ|>C3sgߖ{ +˛wiܛ h[H?Nj%.ift?/ ;B 9*aŃ?7l#Tn_g2ϫe[zkM˟Vʒf%RF90]qϝSipNTI G l˰r u5t#k8![ivNjs?}trWlV@3 ; qQ}WRoJ[I$傖*b^*z@6($jErN\tVŽ~zף>{+؇dE<O. NGQ\nÞ'mL&D# cy@7Ი㘩T CuY{]"mc o 'eY M3̷r*nҶw{2tϩV&jلzԳG&yb@d4rExwqgqT1Idѧ)qŷ.O 1 2(BQjpjӸx(xS?dAl@ƾ%s &bYc~(ϳnXzyC;3OOHnwkc4.7]NlM7 y˂I[JEGq\CӁGwk73̆@fVgfW}w虂$a1_緶9c&(@)GnVj\GLOtD"!% jQ@}}85&Hun'.cԀoVHgK&auFO.s1<[x!@kŹ*1S1:!=-TC=jJc8{.yV|)'={`ћ p}ͫjA$R3 IxJ'ժXi+ChG7}o=W_`zeOƋM;"| ̰2n4w~chvM(#c( 7"lGq7-Cα>21^LclNϗs,π -XhconmUiH)*9oai6f{EsPa xUv{X'v̂E 6zG$8OT N:ʶU{a:p? l7S=H(³Oހ(~.#Q[續?lvH3K D}4Q5bedizj:BURXń汜5HV~flj}}ĜZGr3WiہJ蹨2Id/1"J7RNq7J7Da*l%A3LV(?E4@P9xh𤥄JB}(0V,<4 7REb#Ic聗 Qe.HMd]S3a#Q6_YoĜCg,],(_ df|0=B %1@"J=W_AHߦ)ecT1[MJ\V#xAX ߢU[HB_MJt_Af<zE(E8@LaN34m;Jߚ}*Ȁ\]f0qI;x+.Ekfg$4H`0 Q_.qP*/.K!v6=zcît0~|նs;7d!+W橉u+lٺa@fC{&C a#Ôv05 WW8DE诙с|bD¯B1j8' fw%  @vW m)ۯ|(13w2JN@~^jq㤫Z#QstJ';37 G}dyCD&̺2{R_7;WkCp[䡘UNERaQ|091I sks cpZߐ3L-&lN2@()J+ YST\J3ygEx<Y!U~2Ɋ\Qג9v ~(}kNƢ, S׬E?莋>J'"o,\I+e=X&vOEEĀ e~#slc7>Pu]QEQklCBs53aQ'|ˈZyF`4 Mv{s2m="@0D";}iHPБyJvAx?;ςs&ٱ(~ZGymu֚.hvt,t^ TxOn(gr5/M&8Їg;鐟&v|\7G^ehI>T1FG[ 7sd7|"t]GQ9omj]0= K+b6¦\Z|ʺ6plr ,K >0\l7(lls3I*Hf[cLas U<[D\E~ĵ jCQ 犈Ǎ4Ng`\µ1%~n#Ȯw10 \fps#haeLWnPSaʞR&FߔFV6b!-;eħoi^o!Pv/jFы;` FlCF?\a,hjvqgZѨqY\eO o^Uyi0#h: I+҃P!qT[87 $OFyU;'wA!j/%'Uf)J|?LV=/a-^sY2N^M]Lm1 sC6TA?=4j83z"%1I }aO|`kWlUt37T6sCPYƍi  ed{Bm67n՘?^"CǴ=\C}Jp;q ml1OPCygA!/NDD/$PpdٺgScFP/O}@{8rojV7RTDi'_8ci] Kg \dl2?%D.<7"ry̱]oI5ZYtI>""GfڦG1`|jf]6*.wi~^(͙G|~Ӏ;:?~ sg&şbnt黏A4#8 Uc\"ᴸ}* ,\Wٽg΅X[2v!eRA+L93#i`tZ1U<6.3CS'Vm wgz!s,BAa4*S -u"'&PQ8yj/r(?[:#C],_73?{20 y' {SvJs%׽3aږUpHC"ǕlꟆEB,tx\vyiV4GB^ 7d%}*+- e)fL XkEYIb81 ُ7?=M:Sy>?-$9\Le9LQ (Ӹzk}i$象I ͓t ůk* |E͟%t9ª9;Z2{bs>1s^Ӏwm;2ط?"fJmɣZ6??4ĢyOղm򊜃îjIS&=jY j~z'B{nݶ9سdHX֛o?/2E,>))[k_SG/{$l k4/OsE>bǷ/| ϢZexJ~lR=_cL@!Rl2-V]:w(7F9Și+Ȼtm2̄E{dy)x`m7`^ԇ4A,E:UfP9إ>P}FHE ET[!㍃E"#@8d=&j o<[>c& CELGik^һqCcM޼J&&rdX>d{d?[kVe2"u*}klk"X=0; zs*k?bP^Sͅ%IA&BPA>U {g&D$,09_XGm12 R52LY{z#3@;1qqqkkґ7) z RyC oyǵepdگ ]H!X㚐hJ"8vP8rfj)T@':y꩖*yavbEE>k]# {:o9%vx+kڣWҶsJnx-J$H?×cu^ K*pCMWPcQl ðIDŽE9%u'2x]6+HŮ)TzK {Eij %9#+52;>^Ckh8elFFr*5_+vʔYen| Iu` Xxo3tzZHja+`V#%v!9C9$.m;!!f ^i!QJ@0y rV NrS:9) РW>kڕR5/H>fFǬI&S VLSfU~jnL)T3!_W Pxvw#?!3lGIk"&=hvJo6yDpls5&u:ԭL8]|\!fGSIdEO=*5͢d>5@9uPb5O{!hv#$(g$ޫMI% Q&\0;E 7{`؉(zM'o+ cuwe6%jL5yOg"Y`K`O`lkQy<AKf7LLS—/ ".IKK7C΍<+nC֮~|+6մ8&9#iPb +;)dԖnr S}ncS1s*Vpޟ*or;ߴqZ{+xpKlxJ>UMrR[{+{: #)G:dXl(9z ^,Wk^7&sj33U ]ٕa$9+s u% "e؂763~iKRI}S/G9*zv0U!xZH;2`&p?P.%.Hҡ}{F18o"),{dkg - 9(o1]ui&{n ^'z{Ab['sG8\>3LGǘ2 B-I-"ΉPOwàFqĨXKȩ 2tI+Ex2Zd,@ t̎h$e,@Z#4ǟz^Y.̻&˸1C-g`F%>Rz,dSpkw7~@9/S 9I;]"EFCe;EZk WխgGl,p+xgept3ɕ9j w) i0w 2frNK^+͏ U˯ݠ)"0RC RO? T&}or~r{i6<<2aџ~Rst fֽmtoU8moJNldu\DDX"J$r-kDZ'GJUu.!=Mt2^Gچ ٨#~+P*7&YXoO01<Ţf /=߿t>mLF{r< FFO2Nx !og נtO%]"ͬ+pqn)缶oBYu駽 LG17ȓUCJ_OC{nonqO{/J!!ܝ,`H 3 cB" piډ:P$M/tzԟ'yD.awmX(>@i8ˋ ꅵw}34ꗃ:ї}o^3HLV3y l,4xSU#D^J:SP36 Bv6\P좨vU>y_=5 ;I#G/Dv9&uœI`>`QUՏ.+琿ٕ.:iNuU-e'l֞6wKfH]%ͻ]=jM`Bf*N-i}aًNI [BDG' 81fot7Z l鉆b:0 mj*PXt% M\+zC Zæ^?nzEWH`< k)U!ICF=y{/mޅk8*v}=^mO#|\hhf7v`2:7I_H\C4ox?:su1͚cDǩyùG> Ib fHXڲIZT)|8ulsRDzv?hQ433o.v7 +EBڿPs ݓ4 k鬙BZ~Xl+ Z`B:O 7RDT[Ոw~˿gA' <ڥVFW d\Wα\Nlf\0eEPl򮣶1 | RyTjuB͹帹^0 #wɩU"Ids72Zh' GhPa0KI}}lp<4 _ܭwF+(~8bU\5.eN6_+ 鮏><%Ҵi*[~#8A=\ U%f30lDYEj<U?"O|pF(Lת"$XRE#o_pMM482.AE;hィy}DiԞ d8 {7Qܔ|A<!e==XS83K@ܲZ`.GAcѝV+3}8\_Q^,\Bvb2Yc{8xT2NpDnB:(Hm"sʼ;9\f]^Q1Y%aSw?l履̟3%y(njU][^oT8OmH3%QDz9V?#^/o[ܰF?gOȘ)sEH/0y'CVܫfŌQ7T Yɑ |T\BJkV;B@b;05*iV t,@&K9ߚGj\n6<((b*gHhWv!q_%Z,J>H[7eJJ%BNUˑ1sjE?&aQ-k#uC"ClSv?"j]iWiH~q}(Ҵ+[ ^vt)G٬Z\g|Ď:ڈ fw3Ӕn y!$;)|Z-鮝U@̛\YSn.o"S}=@:;t|;%fn'a 򷆦}”_rwm ≈JW6 D$rP 7Ɓv򿖀\XIˁ|1Hk&n"fZ7|}{P ~RO k yۖ{o7iHUht,Ne WqTzm%O/3ڜ"&mP;7\8LFyjGCO2D$7ϫõ\{y*fνd;+MVjuI<"Q/fǓwWcL[LAtlx8qm 5O(ם04pUֲ6Cg ~?1H%2ˣk&R5cRY>X:G,;qaˆ]ϐT;P`^sy3U@n>B҃}?n9|\v:t<r,"Pn[q尕1E1__]L Njs͔?Yo 3ur@MHZ"+e1g?R7>d6ZoտE9sڟk{Ѱ^2#Mkaʴ[t-ޟv׿=LgX~r4\R؍m4wn[QM6P'_HLGwLdN?-A4*mPtb[SKXH}\l' /Ԁ.1ыY^Pl%eHy(kE80S8q v (}W^)d=)c'\-VV󒎪/KFܸ71{\D19 }#UXc: L՞Ks`0I%3*+P ba ںfO4:[^ Nۄ60"LjOXCHځTQ7[}VPt\W\FQ!K$[%t}|wOr'һ1."ٯl{Ai8^]sE*RTP07:SQq&s($ 1Z/dXR<&4_nyR#t٧b.ܳ ȋ:=ܻ\]}Y%-}֏ ٟ)q179uHc_@: +{݇O^-L,YxE]I| HyxVu=h3QCZ*1vaOW$Hp̈ǔLOY"B1%dhૻ!`ēf(:U\;哦C(e-$´A8Ɨ z]o!(PXuf& n`/!QH#Iͅ)%Ep1v[ɔ=Ğ!ZܾU5\]lϥ%pxƹe#d?cN)O[#zLL g! SIVcMzJb& vAşV_LSBtIWP75z2/%=Ԧta&Z@3)j$^ C V\Jh'0crgfȡUƇ&Xhl] <p}87kv/-}ly WkfJbR ƫg>&ݫ|&cZ(h5w/t2 Fv\q~/<̈wx̖WϘ}S"S@=jICFy +VPШF^ fO)1 FU4"`F,. 7Kdsr2L@2IVҢI@Eek܍Wb8-k̶oһ2px)Z oEL4HB OX cBs4hQ +ی#>u-K[ \ݍ8 lkj>+dV>8,gv^xP7n?6u@KbNҜ(\bID=ȼľDi LJ a˛/'X7G̪D 9ڦ>](ʬ |P'czCa7/%hlD} y]2R1g[C"wZR"xaHRa -ikn7L.)siP B~x%7ϼ`tζį}AY@qwiKD [>8 0y=.Q+?So&v^[b5i10%fL MZo`}w>5(o gSɪ^O:hO|Xl!r {]R|k$GՉ%#ĕSdBS)Yv |r1*l {;a‚PK_ΞtJ.Tqz5s5W F @HN%0ֻ_:W?C=Aѯ%bPpY1IW Y9?2ϖanKoJl*g޺iKcR u/ɉr}5J>r)4Nt;?zf1u𤖜yz"<] 1 5 nYո@j#` ZqnNWO8!DRð--,cy%:w2VO=*f#g 0n OF~џm"84/4˭Cgh3T A PH-#~WpQ'@q TƸYiyv1¼:-6дҞx j"UD\IW˒37|.,[NZ<8u*L3%7cb>C%BD;yn!" 2j(_o6r+4&GpaNۮ#܅UY8qF,18h[4?cg Ƌe˞oե(YjtmOiȃߦYij4SQʥ*'k$)sލzGvz= pf17&9Wri5u&P/)֒}`7@pPX\y*/̖-} vm%/DX8u8: ݒ KsG,$3%zY)y4 h\Ft 3|?pR&}D|0-lzD:{ù<穚#2G0뒣ƲbʀnCʂ["=}XkmBppUE/^=`ԗ,KS}5!f)>,Z5܃;'޺,aqW! :U