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 33-/ 4Tl ] POPLmark-deBruijn:threads=4elapsed=13.311cpu=45.688gc=2.320factor=3.437zXZִF! a]ŗXiɟH)0%ozt]_VhMr2]10薄:J*۝gvg; ]I%9v J}`Fkmp28˯KP")ӂ@[JbbL/>2M}HNnsDU4&DRt:T.2E ˯6HڵQ<ńvvND48yϽ;v+)DZ/܍.^ P*نj6HDN7qymi'|Q kJ6f@BZyǩVJXb`}/:OvWs$4S'nV^jM.qHHA"N6~7R  /2lOTB(ƾ*)2k m0MR;wj/F8FiI77EVy>ElJ|%hXa \N8vv!i8r4vW psb>8oɱ5fe H!] N@9;sCutdn.>d74jX5>k:~XjT:ѵr>Fޮm>U b!fʽ( ,ߑތ#݀Y%}Sv, ]'V`1X6g{-|[ڄ"+Rs^10.@T&(j8^ 7K7Y3Fu/˞ 7۶)3^{} 9]T5^ rN,Yǯ=S蓅9.PӜyFϗݦC՚[6r]Z_Z.ɖ&2`z Do!ۛ"1<˻ 3?t{$u8Ը%FZWvY7DWeJ`X:("XRn~.q10qխ5A5pGWj4+@ zŻO~#j!h Q7<%ӠC.l-f$g?Kwi 0kTc`?jON3YqN!*2N3R+I(ښW?{EO{OUXGtQv{pcbœpOҜUut^ 9ųUkE[_}yV` ȡmb(KY%[v<~v/>EqwE_0 @G9(>Kh+Ԏ=Թj:Ad2ϝy"\[Ƿ힯M/wǟ \/aMe`#Gx7Us /w oOguEIyTg)SܹqtR # 3H&3V=,j:=#qEO 7ċwnY5QUN⎽Ioɳ8inY`xIw㗷<)E(!+װhvD˙c`fq^emj@ӕZƚxqΊ?xūrAuu8 '#ͮ |^و#d&>gkf^qI<^*$ƭUFG1[BJD3R) "O-ZBv<>_2RQa5œ isGC'&+hiyxH-Cy{M$g8mCz!cx~=F^jI|ùqwҢ`6W;21\;4%Т"~g=QN2 [r gOܕihjλ|@=4ɼ&$ØdFV3;aq5.gS,,rNӇT7J] QUqh/@c]ߝECIQ-H|ܠI9Wz4 fWM]*ZT"xv2VE / POPLmark-deBruijn  eFk-zo[IiodM>3EzǎOabiZwYUyIٰ*@ ^C(1CLt\UU7k5ҷS~$g3 ܆ګA9Z%S&4v)un #5vi +|gXkXk0 E Nxa##v)$D56|q]~a9܋~8uRfV B$s(9!Ғ֝EZDZ>۱VO 1<ɛk[z)b0#]Qy8*3=U\rtj6APh;&#y\UVCuwփ%ERSill?MաaixNi=|M.kUږ*_ȮwKjT饕%b Tݍd$vBq4lJ V)kҌíFA7zR(4E|3Kk-R . *4:â0uwGnH8v1-:IS7]:?Y@.5t݀m-E;pH.aTM++{l׳fgby(/I7yVaPn ?`U /&秞24sV8kCF-CH<$dRp,eL>`Wpfhen+(O8%lVg(AԃL3jLBB#XuvRQ LxP5cn+JP-ύ\Su:$/eу#؂OR}e݈Lx2hEΉLb02|fK% m?Tq m voHQVR:G m۱u W{IŸi Lc=Yʐbo ZRLꈣt&qVA֔1*'fSm92t-0(}[jI?{&J* 74@j -oX)Æ`^%ma >{毬T(w7.^~G_teMiU1`Y8,˩Pj|C2y`BBWv1]=5l |R5_eۏfwox7jv7f\:) -9oYV=`|<)yrPE^ ~|΍26=d#&($~c%qȃ mDO(_'Ǽ PGO 5N?pi><Ȍ?-R(0ɺnGXsYRs%۵EZhT"~"tBNU]`Xb ԉd mOs5Q/3CFb[O%+Qnz=x}jcZ73E@lb"xg> QZ^ؿ~uUv; @yL~x>RwMD]aB ˚r:q-[43z[Kڎ%n/y Nכُg< r|XNxq1[a,"ZS;怩Kj`K-HBW-1M= W*;|ŭ@YsҹmPE÷mo7#p[l .N@n3 qݗI'Qo"_0Thq+v1ҽ<3&ɰT s0T/`KmZ|ܱ#)Bt>>vDvr+h.k';Vٟ`m曋$fGj ?DE#gv6|ז9 Dgcji:e0dQSĭʔΙt8R*Ggme>SPe%-eKPgzqfb8 BqJ ÇgLj*f?pآ>4` ~r\Qd>Qml_4*z ˙7rm5 g|bDZM:#0vf\;>8˓ۨ7)] ĿStcTy'vM" [l|`~|Iސ)F33BHL˂1M(_Gj5eg jg?.b-x7=s_pL,:vGUAv6O8rW$ݵ:++2'0v&bǴK7DH']WžX?-‡5`˃SqGOql se%:'k7*래2~-+6BLed}M=P~]t=>fN~H-.LdqhdT9@0^řuYdc/VLkUVj" _Noonm|ՎZDCk."nm~ca "UMi@76e|dB=Ńu$MȨ:N40s~|9a!m1sftIuOH%_+7+!p~^$O'Ƌo\j\f%>cu-n`RAiVINQ({M}pґzNoN;?-r2'uW |,k+,cLwTpp=6狀ɖL&sHUڴ0L;B,K(_m/DֆePNUJ2:FFţ*șbi,ЈOfioã2oYGa)էJⶑpпUkQvzJE' e{0KD7J#eNX3'C)̪\J>gaiv }G@p >|jd!ԲX<$o֕G٘; ej `HRraw/d+1dK[Vn`Rtj m*MXZX*߰h7{/po2pmg4}ΜH̢(VіIU"Hsg.k |=B8ΆK ,0O^wŧ d pاfu̪mrVPA'˖|ZݤȜj-̿³Q5(*0HՉ0u6^ȝN$5%*V85뵯Ĺ2.3<,AEV5ԾUo?i`yP֍*Na @yULm79OXkKݱ,1!/>cI;Oдؠ*Fxu="WrU9z,f7se ?v*k 6\e6 sU:@dr$ijdJ(FM„iXa-[B嬜FR=V@LXu­Q]aUX`+lǑzsaas w(}wC(lUÀZktJ%bJC1*z:*DѡVd}{ɏG:hFwQ\qFc]@cfMfv&xA\:y\M!KШ ~z T*U3 @UIK<=̪6`7N?(GFմ_J],W㡬t Ц'^;UnPVר!KB~mlr.˘}EqШf2Ql:|PX߸)YP6T03[vV{y_ΛvQ-1o(Q]@՛/̝ VRy18QMk5z@@cK!/Ļ9ȁ-seU/b<Ω/'V.qm$J BaRX*N]@Z\ar޻i\y3Ui0bd ^8@^UO3wJ73 9> az ݏYOKM=i?v/G$V&,tzLV%AOq?շpP%i$8I{fU<+ \ iΆIdl{ZbUPLW&1iGԆ()ֽYQq̊.UHR)<tiE!hcn2"1U Y"W(T\ Лc_4hD}=PB.)f|݉ \7_i!4eG9iEd'Qv@p>f*$J]qGj T>=NjVOqPn `R ߻u@7{S~MK 7+&N@7\`Dt\& aB_@vq:GFr 3xIae,\5Jx#j:(  5/&31 F̻ V{q&w&$KH n `?Hol{ނ EEnX6)o'e$}xcsP!X<~HMsFz چtV"Y_MkdvRCp址>'ȑ6iN`ţ>p!G@sWWyebQX|]]e&}CRQA;Ծd@GZ' <h$Dޜhk?ҳ׀9 j^rפSi|sHwU>}ֳ-G6~^YYHT /,XSl~v0Hn1N3).Y1 $9Z"$k#lMo} #_J9->Yh݁)<@1Dk N'o0xDs;F39d8߼EyxT~s-qMnmGl"ǃGmٶ:W _~y ¶œL 'Q.0\D)wm38[N2no#9'͜VKڙ _Qn!D ¬((/N!AZKwp`1N!ܛofG}F/CNEDj7ByQX}A˝?#ʆ`}H튋pgڑq=7ߗO>T#t*%<}&B#r2;.O FWRC 󄭪Jn2QUH_Îv-ܔ L/)L |u^2@#]{ /P>${`v9Bm5z4xO$\BKlڱl}3II W2I<Ϩ ?nצ}ٖ9"u+Uyh+-bB@0O]#z̴ eϤF LұZ_}ls &{Q\,X,&  Y ,ݘ 4FNZzBcD }Hnܯf2i>F!ٯp- ٌmW`?Asy=T.wG\ffUht*dq2ax5LfE=۞֚O3rGQʬ_[o#:ـFc+F+7z -6IW_jmlݏbڹBaUd3`m~ L`S4~w+  xܰ 9"'`cEjH.GZ9ޜ5ȥ'L;su\:t#u3$:MdLS) ٝ^ k9t^n،o8Pfq& 9@gWjoIL1 ȡw3G*zoo;:(\nO-3",Iٳ HJ 3 `r胘X3V#S3؅\gE l_$dP, A*SVW)De޾i/ VK'=buc#BKy9s6 %r U wbH;|ƣ ˔b#}&ci)=;64١=$UHo+ -F!5@4j=ZgI x(o (]\#4i'X8-ov V0A4NQ>F#;65P<`37* ur0Lr\ DIcIzUnG(|%ܒ㗚Rͦ8XpRon o{݀:p^ff={$ Q 6C^2~zlsKCnm2CzU[NwefMCa7H/gw> *G;<@#^*)My5:s~:s $pם 6K`"#[pkX`.nm+-/$,%b!rn*IJquɰjS{Ngx &q$UdH B>jF\eZGY枊iQ3TK ~I~ͥ,x8!r( K<p?QAlhfYFtjΤ0ڴL掸]+cC;o;`(|UVQ`Vh{D`!'B_6-kHUޝv:yΗEӵi+PK7fN.d0"yY)l}UK􉼵[ETTac8 ^{6t#_BrK7ը'ec_#6UJ/< B /Pcd?oD|Ӕg`̊u8~qm)Ȱ6. Rnآ3[Ǐ٭j,jFC,nk-D6-t 1^xSnM܎ =Xg3$w=z@i7U;shR#L&|X@>`.Ԏ'\ TYUSM]1ŋ,Ⱥ7B Oϼ"?a֐ʺ*CT|˥XDR|8 C_œwKHR>GC0#%[ 1bq͆\?:&fz pEhFmjETFBE&yO|~q@46co^@ħ Kp'V2rLӋlfq lG.ߢ)eFdh\4鼟\~))6iT/;[\lWSk*Q>$7*Sb_!ah m 36;N\Tngڧ{>|G><Ql/ƾ1 D/8u8Y;/'Y_X7 , &fe#}^˅ȉN$,c*stc.41RlWg)%B<>s &ힶղ'Vc͠B/z_C<:t#{ oorm7aMxINb/g':Rē[I~WLM LKWnUPo˶h'w`SݠZ\P2 OI/9s{7ism!/h;yCFQ>Dmm1 f/)jZ1D_Cp6%#|R . 2(T`{t1+eƽۀșa]TX7X28Z)ߣyh#\Սgkϩ-|}ul!_luo,Ok KrFxcTSp:bzXZSdWWvlOX-*@;y&"EvwHe:ԥ'D`(33oTlm21Aee=g=PxNqW5q]f&Ne5wKG&)Wsc*TekZL#UޮhKAneVn2u1j6_HHX3oa5g>k߆c)vsn;hsSuc!KɟÄ\ԐH@j4L/fkϭL֭O0b5֯+^. 9>fiYuL{y.q |@![EZ72:`&¶⚯sǵ?vni\Mvz(ꙺ>S(#mH/Tkސe<;!+Isl!:$B1- TJ;F:Y}zoCUs5_nq-Wb. g^>j"7&vze6wFWD}( ۈn1s#䠶fjV;\V@OɆ" ?9!DTY)?}i*VQ-_!DZ'E+ 4:Lvlf6Q4Z\*JD񤭚xK^+o)y ڲ3rp7 _/tӊ1؜FüX0&OUpQ|4DT|p dhaF>|We,ʫX6UR;n$s׼'=1xY0n^ o8%+iT\6/"ɿ& BfzTJc^"&i}!^X㖺QR.f۳D5܃su暥bGż=ཫcE;r!tF '&6 .XR:.@g8}\TqhiTj- n 9,6 g7L0SD/ kOu(r!es43cO8Zk_jXь,!䷄&$zr%EJ# QZL0.QDqGWܖR'TEQBx,j.!)?zi*`,3 _Z@StcIDxVHK„Faf96 %X9[hOk> mν0 2%I-؉ _-HU0zK=t{c0 qjΨpX(9>\c.'n|)AE"`rtE$r`kOOD~{/!u_+lJSv?o% Ǻwc֐\ϑHÒ E]nH AfMq0$2 -Q5dw$UW܃Qҁ^gآC9>Qo.5Z}Au=wչ GZЫ`v*UpOE\rn˜xc`Zɛ@`6Wi,ylANiAK8Z=Y,ͥ?C G}'N)(K?:g # Ye秫[yShhӓlť̩͑MCu\ISA S O^7]arfq!Csu E m(9)vo+"wsh[oI)A<C/O*HVџe%) Ͱ`>$"0HӨtyܧK#e,0 ]-)DڧI i-N_8gL(>!V[`ڲIQ%롾(ݴ3خiYyt T Z3S@ǟ?.YYp 7% joxeWE!.L<<2|RRpLMG[i aW01!g˗$>.քI*o1*sHftbd5Ʊ3{H |Yl\u9N%Gpz].h(w"2VKdְřᾳ+!o@ek2:&-J84l[Wr@C#8֩o(wqJ)1 C-kgǵ2 T6g@U5ؘҞO1ܠGʖSݹH@M!^oÇr~e\ж+l}*Ux"nHXWn?9v/6^5El}!O &uW@JiS_Ea׫H!GdLLq`NEIPP9o)@yF7X:1끣%Yw5 k6Owx`UȂ_n?Kz;鎡M, q8rwXO0'02-`vM!|A)~")pJa!=2{`^!sR%͆ d27WSwBڱ#`+}N2_@z]Kl6Y\zr޻"(I>F -x}חYXeJ.>A)7}L,p&p7}r+W"tMbVz. L8758\`u^M)PV$Q':e<vdy3)2h^$zn5iahD;ZrXĺ7R/LoI%w}8Xa47[d]ym7M6F{& uͣ Goe ;%KTZi`#.${ZwBNɉ?/miʬ!QƗ##kh I=]f;L.'Q{YmP:j"s$`.CUFZ,1 hEWro+5s<پrMUS'܇!Fߞ *0Lг$UIjQ3Cre8Ǔ2Ě^<-d,*rE ![e¬T=7|`T!U4eVz"HcjΜhgxT_o'`='OsRRnnNMv?XR$ X?n fy:+DH5 !%1f_L˂Ϝ<ŧ2[8vb?mCnaH4E[OtC'ɟ%JEb5YfŘ8z>JwM)6g~G0wsTRSPSUAM_helE ' ^ JUΡ{z⵮Sayoz =tP~=8?Vhw9c%xg]2d(2Bx [ 5A]mGE[DZC|w(KIb?F<@QB~hPxϮu]L?=G'Wn))lq5$Hm2,nK2*V3q 1;,=CX Y-5#0c+1?f(LxYE1@mt| FڧCQ_r\#Jg'XC9X yTl8I]xcpLPՏ/ö́߬|h'|Y`v 2ISw#FrlnB$Q3$tOO*_5'"@hL#ܰj x|JXZM> "99]{s]{վO΋`c`w}am͏͍RڭëL\E}YH*YbZ^0! R:o8yL_61iO{]o4eݲJ |wDAClQ ŷY)_l$l}XY"~|\[\)xOBA^ zRUc-zdBȨ1ǥ8,p1 aUK*Y)T;mNp7 = {s:5LꜬu@_rn]HMmd &MLD ߼ƦUfW)aꅒs ȭUw Lmf=2K8aUOl:o@3K}_op-~TmT;爿8Q=UܡJM]LLre默p2WMxkr[G1|  r`sP*=:,Θ|˸/tHCȧ1^ [ǭtC X7P>9N!G1:IaWYٸm?ʧ[HǏۅ?"MdʦfScd &^טoL=ʭ>,ee`x/Ұab8}3gNpw<]~%sX&c-iQ'0L% faoD O(h8ؚV %=WB. U^?+NİuBK+`nzͷzE\>1Z_SRVzi"Y6V(Õoei'wct| 8A:WU_ːؑ[k|0hQۻr0x;gr6w=L%vx +a;HἙgH?UhN|/Xyȿbp 2M/4(0 ض90d( o,D:͜erD܂#B͘ka'FbL%"21&%OC==5 fM`76ʪVU%y mI/F`(D ёty~4b>p.XFWX9Ȯs7ɐ5d*$`ijfe2WЪ}-?0ym{AmYx<\InMZO[/7jڿ ~`{ X8ń\<>Tnfk0;TĤ?[JΑ[S.?Tɚ&h&ce*JD37 z$uJa(\}HejelD7Į57dwZUĨkk޵ n9?}yh Ff,5 <]q0*^o=a ֨S[e˞4QNfj4ypfhyqЂ& Kҕ wZc?|Bq @@/aEv q[֋L"&j%_e & >)2A5i&z+S ۫l҇U8Q.$tN)XvAmw_T@̻t* "fTFղ:`׭xxP ϭZ.A9ȘG|>S艎Kg6Qfjyfn0@|ZtiſB N! Iʏ2؊_(?]eWUV{c18 JIsonF ^#yI+98TЯY|f龪ґ[Tyd7`1iNLTV^&vS1p[L<-[ǟ?[&5h}zqoިS [٢6`Ъi8^~_eW0։%NBM&Iy-GB-$7P:Fۈhxxz5T&xD9DlJտm[ ’SݢG6&S|뭐 mB(E 3,sM3|DBy_63G]H˯K z Y@Vgi^]&[5(XGKg'_mLk_ <-]QUyIpv6P war;C";B盻e\~&j"LxYIƨs\=7 >OBG/i %v%ZgMP3k)(rJo4}4?nU(3uA9' -l2cϳnTWvM诞ɵOkkq}ҸL`d ~j{5 Teg'w@ږK]4mEfljbs9_X1l,P`hƖse ?LmݴGPkPIֳKy:%q27;ð3 .NJ(;g,,}]:sψy2h$蘌R"ju nĕzΏ$ bi.XM~ա1[Иz*=T  7JE%Pd"fZTzFپ"lzP#:+(E[ oTevX) |HU8&x"~ .e dXT8MAr+NkAӃڙR4x/ XE2C6WNv\DVOKr9~hzJ|(k_>1#?Vg+jM;&uy#E*5F0u 3=D JBb %cw>f&Cjʱvd{Ίis`oT\sk@qIIƛ0؉yPaą~T[0-C+F7JvGŠ2Z c?^THl^N"0"lbP&Ή߀үaR<>5:vF%LZK#S;<~,U6C g˾p5wNxM ,$ٓy芤Jb=_A%Q|*?mJNa38e*\fdbnE"F9H񹭞/?ZKW;9%su8V6pqA1Jz :C⨞DT 0Qly<\eB ׁ@2  -cdbU -Z |n:4G.qXM\Ub8:M̳Iu _zǜs$m-z SߏƯ4lept3aRm )ЅZJyVSrjp[~kW(˅M^˵'[ ,{z:&:Dٛwˤ^5%iX+_L?uEMeOXkT4c|Բ.R:M':W=ױ%CAGRK#^_G_b̗mRQVۥizڧZr q-h!6b :h7 rS_t=$E`:/pOS}gT…8B-EPWXowz~={78e͘`zJOㅷa>DklApWHO@Jj:}2ϓ_ . +>}Z2UD, {ƥ<30$~NwB %0/VPf8 Ym҉LG0Oꓩ%#%xZ-y+y+b̹i{LM{E?,^ SwK2drWƮYpSbKmr's8*dnI,i(n\g,Yho{l+8#+`QF$4#\˳p!|A+ȣa;.1/f¦}>Dw ]x@\pz&SM;p75{i{H*@Ad Xحs4^qpPȮ7}FRw[(Yգ7@?ޅuTct* yeY:es5|~4XzbFւKcJf (ġ=\5k={r2>yҧnW' o#:hxlW>ط~ `sSd+U1dL2>hCWkmpҪd&' _vC"B8!:.j9 ei /A^'Cʃ&qw/hyGѾOĸw!<2ю0¨,͛W灐Idiky({GNg͎t__mAuXQ]sD(N]7vRCR9[G);R/TА.rr2bB[DxQ5l=#U'*tĮ{&Ơf& &y}k#Bp`,PVXG]0bbBيk+SdA[!צ{f`%îp\p ԪD1t_*aQ[+"*&9K5m(:0@EGXEBxe{eeRޖB]+0I:ޠ^bF>~::?+" 4. [8]F蠱q:6$QoeaS̀u㧍}E~6*%c'Hg%#C\Df`Z#[ 5J-hș 8SO HgD<:_JӃg2uT'Z3(^ۖĽaOv#;_:ԕ|gϫYw]]hgQ'x,O,,l\Go00b?sx)ỷ"}0L%aQT^4?(\~}Ǣٻk26}LYFiп]2tdsDӶBt%348+`>b%*j̓yث< OjwL|>ӝ:pnb**Z cWeZv(am W߫@6uC{V_{d٪cvK3;jCê4w3&L}",U?}P!֒*]`2.eX~HpT+hq8!)fMu`c ^X4&JaE4mN{o5yL*}O]mNj{( Ȕ Lb+LRblEQ24Xf8I&]D!^i!:H.()6Lz)ը4-Am^pVUSXLt~n`VQ .ovyao`yh%lX$ j9&j6TYPIɈiRs!uHzŗhKSO.L`tю%5/۟lIap3ۂ3ǀO |{HI]C6IƁ0w=M:8! ܐtUcZӣ;Z(U3G H'a!g{X)w {mK>Z~%t&'XdYtZyU>P)ҴvIm, $6a,U0((M𒡜},)=_1gnS.ac9Ғ?ybRtnTzkOo2ف/ `nF7D{@h &G>^Qg F%_J5ҷ^!"TѩBkDB oCիI*sDʝJ۔?@-e2M[H(Ǒgat"Ʉ WvLxNt@&  %ή7K{J *Yf̗*Љo,|Dj=Z">p7HjH*ϷHb~Prn"Eú&d߇q@cC0]ne9ˊE=x*'y[6M$r?i9gI~&]R &w'Z |\$ȀH_LP duhLqhp&.UF\!,9#7̥fIy Sh@nԥ6?fVC?wU\*&`‹M5Z:[X=u~巄3J`Z+F~R7A D>7 (qJfƛ]Xtx%!S2⊬v/)[ʕT[A?P;=n̄_*ju26--\%6/Ɍ$FYpIǦ  gCfxŃ`OR,*~_mh8[vXl$>7A47FxtI6E%K>:iM)4^!wZL²R,qgC{G)1]*YıgYZ7zXZִF! ]ŗXiɟT{F moEhuFwz/ȳ=(pGL=\Q 6L DG@LQ5Ut~@aluJ5M6M;KBj6MDkd> 9l 7l\=gV>6I|^YU)QR\^WZ1,FA۷hJc-RX3Z"}O}^ϯ?\2^!ORzmctiV)]2[:㿂o4xҡ]ԢRsS="#5pO xÆ9_ZTjvר1Fj8}˂lhM˼ë 8=, TAlfZ%Ĝ*N ޭ6s,_i &O-^h kAcJv_szðk 6S?`g!p\O)H<.75[dC{͵p9YuF:׌<5O-:qYU/G;Ti- *\U!9+ d)<6N♲*2l?E.Pm _Hq֪rLOMeU\5R2tp"g'1j`_\nQ$Mv/]dV{~H$i+}N8UusS@XQq*%4wi5xrB ѧ(WEʛ&V2F{Z_\*C_ÝjhLгHGeu53_Ɣ@aA?jN?ʱ"Q_a?1i0~Ւl6o]s)pk5TV7'O1,`\?+權i|s/'aA#})DZAic*)*Igpn,0V?QpyG)j/s81R~eOy"5MA'h VXdʬ;:` bkvVYfizHHig,ޣ4U[ǿbhuNtZ@K[G᣼<&Hi'PŒ (%Nиl¯d">ڔOȑO9NYL3MΜc*zjB|w`b'N1Dm7Ct;sm!_aI YdZb3iuCi& sZ~O{~QB1D/WoIk:~>llxVtN#3vŇIXޗnpM(I3=vEuRP/솹:V[) d{3_ʙJO9hʘy@3Դ/`Myy%9q`,^8P!Nk|H Z1"t4I&a_H\gaV}i9! ySPUqo$8h6>0lfsk^ES65C59 A좸{os Y0&Z[Ki?SWW( .ȱm>47/k7%ƷKR4@qŞNJ$rSji1