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 ++13 , ]/ HOL-Data_Structures:threads=2elapsed=597.906cpu=995.900gc=35.928factor=1.677zXZִF! `]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%6'xqyꌱ:A#B[BgR+(Aцsܽ a`?%bJz:UY+jc4FTY+^ 8kt:%񔷤] @; qrW"<͎ؓ#˅bGFs$|NipDagz*bU0ؘoPE(~(IhӺP'`O 7=Q.#(uYQ&׆0{aUV"p hyQe\ƴZmj|쯛!Yąi #c/V@m@v|6Dκy\vbiEXGn욥v%9xHžOtAE\_l4B ð|/r*tBwTȠR3?cJ7fXaDݸcb V<_YSr>qQVƝcNȃok}ٸf܎}g}EHEOd^EiѾN)wԷIp}dM'%5NZO1 ֙W)NT͈0vrKfW\B4i٘/!x: O_! (0Nr]؛?!ۯ|Q:z?1M؈)Dx.B'O 1^@aMv {ar5 n-:^ҺjiLR^S兲:a*2 iRLƭ'dS' j Hw9ui#>} &I-of% -\> VڬCNyeQ !d`QC\4#;Z.G?t&TKƔj|1/l0nI y#?눏>Wu vq2ay׶T*hȢ1ySF PW7ھ;JڗW0a /st6 __&kCBD(]Ji{n;uU(JьTײ^a%,qRBs99B:;7[]sq:1V:eN: x kÓX9D13xѫ-~Fkt9#,aiW-h>KOIO:dR l :k,HZA;z} ㅠ*5.L~%ÚM(Ð=M xz\aXD]YcYۡ_fLrlkP(>Ni؂s7UHez p^yiGԞ=Msʘ 1\5%)h {KVŖvB{3(kZ)TȿJĄtD6k E)U7ELѡ7eQ@(< ԥH2!򞓊: )8 FK8Pm&v/t' rbiOF(kj)> :eK,еSTG S$ Χy=ki|y ݺ]< 0CUt 8G\ٔUGx"mӐ(U7M/Lol/לVdq#x{#V)xLꮸ3hzZy곡= $6 3=9K$;F;Lgn.T6",u3OƥȬRK,f=Luz_; ,Nw&z->7-w{|*&OX]5-yږ<=%DʪslTgT`Fc]WoBNYD 0qYxoG @ͺ])Q-~r^\H ,('gΔ=0cgHOԳW5#W#1(LOjQ;`T5OX؀'8Xaވd{ו,׹UB!MKDz(N,BF2T]ģ/+'wxƊIu,IK4[{ $$þpRJVv۶D5eቱNW_ʞaZ<a=+`΀w2忤&.?@ LI9cbJNd>>d|'x!qjκ` }3hU;D @TݦУ*A`%aioH7=+3AiGf!%Ҭ^7u$3 ΊV}ĺ(uA38uy̍.lR|gJq4V c!.8A]SՑڒ $bJп_iHMT6I?R|<Ѭ!CFBZF9I\٣L} KC9ICdڹwEb>JkRg%; iMX>bfr~ :gk2bc c,]a&hBIkՆnc{Hu16!̦xvmP~|+ (9S!v@NTc]'R[p9"4蜉&z{oI?c969&EB6AV䤝_أV8ڶoq`H>R$qX;6)+4>}YSHC:2— +m!x$t1qwU@8L̯%%RBcd=Y"rUq癱V&m88Mց!2I8Y%J0ژMNjтv:ЌO28.z{/P%ib;;n 3.!1!e5:6vȬ +Weu9ټ 4\|h[rm|'fu(вѯ4Sm~!Y 79hsA-^ۑ.TVv'v؉FʼnugYZ7zXZִF! K]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻҈+C1!TI? !: S9Vw˄ /p~Бx9 vTLp<ڡѕdy1ve23˨4r'J ΞTq@Z)8$i%tho וR,H%#ȶ33bJ(_V[/lIS'm-%4 i=~4!S5G@XP6\ɕ@{S\n_#ׁ)6ijKlq: b^v0 /_ԅܮ'tM#I ,)U/ %K!ջ[ʨMϳ[G=mK)VCS*>kУ7+݊4$f[,J}xRc(4UYЋSS[*jŒmq?6]ă`Tj1>V]7HTl#>UxsW~+/Vݍ3MǴ?A$ҢRy Z[5⼇2?Ǜ'`j?aQոMG`@*YXp~VXg%fQ 29R@*) SږHw@" 70Gq꡽>| oUScnR5*m|8M(;zcdV22Qs'c7jk5)@cݱgYZ7zXZִF! 'bi]ŗXi%>gk(}؍:s庅) n 1 =trJ?Jmh6NC\|"R?[S࢒ nnGbL0h4msia}\L~ߙY#զ;qRոF@!kF :}Z0 "bRg XBhChE'XpMNe1*s$Hh>IHO )ǿ(pPx2sUt5j^ svȒ? iYMAS;\1>q_M8,lE:"qgi`"=۞ h;<h]F@՝7B=qI IA!,J!/aF=#:f+n3@ҷUehτJCy .}m (ŢFDVcg*ui9C >U=KJL'(g& >]_xeѯK `3JHÌ@`ZTYIieyL{HlhvrQS$hʲ֖vwIH12_ V+?7#Pw;<#iss(wksMڊfqN+o3e9? JUāMɏ`iEoR 9t ل mvNfwȬ$G$}Bf@)rUVL$>jڟ)1)ָo-uGE0Czs8Eo'(j<6n5$ՏftaS&f3VL?8rH aDof l% h* Miԧn/5 WsRr}pLA\_fh,o2^DGح[#_.*H'F6A&ƽM՞.|[. 9a|yz_zE5/s돬jIv,O tG^Թ~RÜp>gA؃=m5q;t n% < J<,SwY6|imY+)[PQq/#fI_Ii&팂y9 oB˷'sS4 4 Ty+/pc?;efƽqsOi2'MmT#HO IʟN6ѿ}Hc%f?y u U=GƳi8,4swb]P|:dͯy}ўy^ Gm⶷4KF5$m윐mYJx\ BcmU-A\sk빷+vA}fȷ Җ݁>yҙ̀4VXX&}Þ"\/}Y^[[tsb%(M̕g/ nL5 dּc̗35AQA` 3y7G6f' "uS!~>etN6;s Cs@;tMoZ61ُg,E%-yJE^$<\4oݗ֮2(oemJa7dV*YE4X[_{H\2;)agxdS'eL;_ gǻU r4].2uVʧ0C w! +i0Ѭ`BlV9k=񋘐m4 ~]:zzJfybhxM̫)ڇs$FvFL$+'!&}(t M'Q6ld$ p\< eqA%p>.=3X&;Ĝg'>ݝɊaNLySa Z$63p/ \+*$tix 9Cܴ%OO>&g'ѥâӯ_=2Vy[|TWnЕ^_D-m2O*|уZ(Bms[FW!QSj] y7-HsM=>s?iaLZDO VU蜼ltU0f@-#%αnl DGף-֩<6عX"3{[L|SSϯ[̜/+(LE}J AnqJHSU -瞽dӶWQ̵O"ff(l5z׈u,$|xX_Td* S DHHm2{8WC729U*g$ ! PK%B.Qц VrG2d*JZcFo&g4"`ԟ+idUDbbb|`]2#02-47@QxkEx9DT)q `ݿcfJwl6o |v 9/Oi{nYj#vnBuU^aAe '39~PXTSnr5 lkP]KYO/M [3u2,Xv M 9" <4~"WuT/ FM|-޴H"A]MT˹QUK@{ )S`̜nċjPU9<z`r1V!/eT>۾<G;^vŎ2 7} ftkM&oOopya:8)Oc0P ')'gɶ28m#ue{ܖ.})Zu^[~OB8MsU~Z"`kf* ! ߷0r) c[MkʀpGBEObZiIuhÖ5|މ hzJj:Ǎl ;[%*Y]]_e!`g6F\tANNFN3$$_PLt:>5VdrU=-*Ē̎i'voOFX5.2ED.#Rg?4 '~-" th-VxN@qȮPͱ{ '䮈,3mS]81*Xi6loг9ӣI2"Bd&4|p.vPQ$-W\krȆ&&N0~BO%`^N}ug>IL`E;!Wn2v8I.n` V"a]#* 8Oo}'|eq|"XkNg(Fl4$[=Wn2%0xL-\!BKkTw!]'}uVݰWG/1UXN.o Evl Cw I!:0jąc0F%V#a`aO`kl=yy:0BEcL.K9ۢIq/wP{cLJ츐t ֋捵ghy> V?E_E dtiNf;cr)LZ<{FskbFkt Ux+/wB*_ Cfi޵5Mj.BOڠQu9q&8);:k߱cRu뉧Z`hS69 MO=Br5N(xNU\{>Nge2^YhHAQA9!ik3;I$?hȀO:g̖+i&o]jSpf[#GDw$"K>@ ݿ)IY?GFy 2i x+cG>b-'J iaU: AZĀ-䷭eQ4 ~S,]:Ʌ tپ.rBF(?D۰VR,ک?1` &zu|H'ņ,̑;~w~5 dʣ#E|dč 8fgлvzJ\2 k E\4ܢƢf?qK Zý䛔s, mtyBM[~NoydD~o( h=2@>ne9"!ݾ!ǨEv;TN)J)_&2kWawpˠ o>{pkTF7vZOm%uiXQlwecH<,xE+'bl ԰\"e.Ab7"yu{gY)e-g2IBOyȅȸ3 Zvm'^橷&C|g6,s؞ 7HkqWa3HAB^>OwZ$l=NRHՓf8V7k;^yR%mG!Zyޤ&ia4C92B6F௟сx)w2H6eDIrk1b졓οz"!FV#@p]~K!GS$znH PmIQj * Njk@>ѣh)sZ6ai%z<тC"n0P*f&!8yȬ`VD?Z c,0>gg-OVH~-Pa|>«x+;;c9h1EH^v$sEѻpxN7`d(ꢪ̳F[ lxiАW(4rNOp",fQ?)x-5^" ˍ.*Jϗߠ#ږ߿ `*f4Z&D/; ;8t!FDnw|0 7:%Zy:-#лq``0lN{^3EbdMAIm .Z>3 #[gRB_ٹʏD{fS>A>߇ [,_ z:M<]!3_a!/̄>+Lx,CS?:31+#6@ρbAr^<vӹo#z+S5JSoY g0s13)U\|j5 E4e"3S&9,PNL"dʧgzR%Ŕs@?腀2tnw=1 l[lDL} wCAo64{  >Vb4u_a`܅B`A?DtBRˢy8PiJD7[pU @hD3!$O_u63]%B7Jss3Iy+ =cvר |g!G`h1m[9igԳSug9.7\hAO8y/\lR+wcɤ~XU$ZvKj՞8U{׽ @h\;ԧL]oR]i)<6N=v&R I4}J@E)vHEBon[u%+>KMڃ/ rV|G!>J}$,m<{2CX&  |0Yd %:m-1"S2avpo>GrVK)T}xp&6)HjSgcn~o3~tK)icM~'X3+4T}wO7њGA)E|Kӟ2PhJHTYUE Hڪ?@=+FI2/hZ{‘d'_N7Ol3e r ! f'0 %>*U &=mڭq[I7}wq>鋉Y ,[l8P]#r){F:Ug x\CU]?7qv-QFٓE(l@['2!GuW)@&XŲR#Z1И=Km@ Ga{r80NRgw$q8ʋd'&5k9C7f-+zBݱTM.5P@LK%lΌ.]MK= ť6;`} Q;Jrh e@үkz 0L>'ZdծE.L 5Vcr,XpiL eE=gKLdO7D^P07({j8%A\N@gЬ_PO, ;A$i)hm]B+.hx֨r-nuQ{'zP^M*\/9axB UٽHZ u!,$S>CllIw".Дvg$(7Wh {CWCk=>a$kE`a /:"1Aֽ$~iB>N1R ~p9 īE:BMr&N7.zTH6@{]] T\o”AR)^u3gWi* ,ʝ"!>nЖ?jX0jG_Wɹғn1;2r){(3O8+%>m1c'o4aĮ:N%/1Gv,fQ?}~#K{n'%qv]+;Z.HTk*t[.%X n;xq;W)֔v(OCam ijۋTlm[G׻!bVI&%0"[؉7ɧrV A#]. C55ćU,ꢽ /d\SPMa*uݧA pbv^QJ{zwiY@]J^t_&RXX)~׳1F$,Fl\eZ#%\ϻs^tHEn'gq$*lxG|4  xS4UTS flC>F("u^V^N״T\RKG¥_ɝMSrPPucP@:?rӹlqU JJ^:=v0HZ(BHRnXwh划m ًPSKvvtIz,ՋXY\QJp6W0 N4փ (ڎmܞׅ-P6svDk=cڌ lUi3̂- =*캋zI˶~rں(g' Ap>Wv(1Z2f?>?;AV^JUEI #KKI֖roFRƜ+^R F_ene\u]9cJSr L/[Lm$CW#uAӷܻlVHJ`}jiƴ_y{ĝ}&A9?gi۰%>oCK-(iO#sbF^>hZaw[5DMKd,KJ( r9\F:DQ؋Us%y AݰzPZP[?j;'",~5ǺFHukleTE2@EGv3 6h62j~~ M;_O;*0/ N? )\6R_M=g7Piy:t3S`P㶀 O54R˾sESE,鯡/ -SfozO ]%6K˻BSxxj giv-I/(sQtœ{!Y/лya?\@jޘ)davC/F?ȸ3PMds S؍*߰$Mgc~yG,Č"𜇝DBGZ.w?f] %jEz:M7Fu: /$>ayy~B-Y(UǷgvrK9<]2dEC[5im8OmuK'4=O:SB1Vh'2r=ݶw.PB*T—aCnہ|8F"[:U!C*nυն &:E,UaGmr=ֶ὞z!) ?H&CaE[Ыlcj8W*t%op1p)I1rp v0^u%hR&%A$4v0raBm$5#+[aο[Nx\H"pZ)ύnLha AιݰS ID;ݦLJ=Ab#OnϱP y sR{ܳшON)W~f#?9W2#3q( a3vnn[oxG9_B$%+3zK¸rA|Mj3"dɽ lA%\/V^"v19ga7c#j1k_E#jsOB?sa"lb밼Tp7- }3ۚ*\l|Fn"!im*e|"oɄ))#s=[`m=W—;ϟVn]]k+esc'*l>R fZ %Xa&uTn1& E2)ZGFS5˄#%4k Y-lMۈuduc8x'ZS> 8a [X֓%r-G ~9YEREA9x,sDp(Ͱă\&{7+I}4 @qֳw)?ѸŨ1bJbkYz*%msz2ciG:Upg<&HF/\mSͼQl|Tm#vnj呀WT+s'J@vGDfMf *S55kr~*s5{;!媰8pl2f@Y5Vf\(E;$DO1]e4qs䌡PW|pz߈V_G̞aTN]-[=27tL3 Zjcr4FsL$r|C&.xR(n""E |'9Ir~] N Z\+ݬvkCB^QBG#L'[Yӑg4G-&a=^,w^Fmܤh̞!{ M|҆s*kFWVm@*M}rLP"Qn5|sm5InJ,%OFD]nYAOTajZ@cشi^CV;ds6J|鉣;jLN[R\C(p|ChƅWYw?߇T- .;3p<4 &$Y/9OM9taƵC{R"O,f竜wZ }G i7Ca4EGY,79Kka& AJjYx}}|D'@킊k+M4Ý#*/}tLkyaب,0\\qaW/AsOViyQh4:n' Y$7rNkXaZg1%} 96FġzEukGSxvrq|,`01,qѾ)@=u7i(3”.{^X@dhc`~ZR|&>/?~;ޤ qY [ šFuwBݣͭb{B;dz?Z=E]`ӂ G }{V ŐWY 噰T˓ 羌&^nMrhspZAg&b氘iB='I3 A%4I5_P1g_ auKM ^eQRދ-NU}&8sᗋ8JJJi{J d!p Y7i\Xcy=5[wC`@b#0px/SfӓHy'zѱ]#= X (o 7рǎ(@i<"h95F6z7)Y!1[[!H-y~gaDv"rSZ:iQXT*LPpe~XzBK Z9Hz Y4~EIʗM|ۧ"ޏNؒaj N?t?;#˳y\-ڍ3hi tD]2K`n W",I7 YZ#_(&֜A\'g5O9 T=sv!<&COc%Σ܅?~|?ߙYAbL.w/3ov!34M- RnP9cYBFVՙ4p7zR#O: W:G; 0Ğꊬ嶖PiTb_jk!?F/ȣܒV=AV/ cl_5Ҕ>fT<ܟ*ΕPykzC ,sRi*udG5BD< 08ڌ>ZB$XPfLڤM+bG!oFDZ1"IC.PP#޲}+C!R ^b`Q2ov`Ba_]בhT?̀?w ".CիdRe1]LlVdEoHZۂԖpl$cj >ND@V1 bU> =ɽeӄ-N\ 6Lh^P/g6͓uIL;{yIYW0XzE XJBDBU:MMlE_O\wnaT#pu%K)Cpja7obl sNQLck:[47p65 -G3!G~+4eŢo9a3I\gEj/VtT0ٕ%k7A^*b˭|1U}I>\1ixCվH8$S9=;P伈K,fUc^'CkO$ix[R4F**Af{iCu#魺sVm.WwA9\^vMg`O֋tgy7z`>8c]o'H 1ԃʑ }F gEŅ,Om Ps$M1C6d@tGeǗ!i?JD 6Ad{NP7p&-@Z<l١B80RI;[ 40n"D9jQo#.tݣ88+QnI60QMVfVy\mWAI_ wu%~ wVkTR#gcq@rQ3_ T 5#^= tXXTh+ZQ)`df ije8m:v =gMm>|{IO?5IPok/\ KZ ug2AHOm,U*(N A=iHev#u0ea{ IzjAk !Rϛԇȣ&D?ݥebs/W/k$^Ơ֖xat?80  5ko=2bqe)F"v3%a+y{QevCs&vp\v9 ^aܮ1h4FKYK-֧Aﭚ J @IBK+4]+kY6D$4NQjj^~r#F%s%rR'וWZ#Geٷ#":BMlpy@jI1ETPsG&*λ;OkAX:dq!(C+ݲZٞ咯]\{G:bZ/\̷uR'knj7| WQID[4p(a7sh0'9 g9Co{'Hnu|s3PSƀ9Dc:C[vݒI2" IDb|ODgADc3cav/9 lԦ,lh y$2Z$9hQe}ijِ@Y]LJ_;!YpWgC@r@_j')BtooK{RzM81̲ZQقUoG9(dOM]2+[؂ĊHl| w"dy;\G#t1H2v$=3iA"n2&wL ̠5ߛ مe$-O3A*F F¯n)N׷!VyRB2}s9 lDxKK^z#yZ7 'r?d]bp<; /?`yu#+/Qs_8N$ *^̦R.d kpMaॿhX kjm9l|!?(ǫ4;j2U4IpP6EifwF="$ˆr`(}鞡< ?B"r'V_ҕtdCA:5e7%o!ng R3 Yoˤ2N}z+/ dZ^FJJ{;QU捔04|0ձPh"ip0Pc`),%ړ}N.cZ>T]:ez84wI s&ޗm7ZkBqY( %7 $A:uLbGw?0Rsx1 yo; ǯlY&V Vu[:3WK?8Pm thXR3U<.󝲓 "eqYzo'R?;ctT=Y`q*~[|܋B?_'-oVܰ|z SkRz8,|e6D"@6*]e#b zK:0WX4ut4hrc!:[(U6b6x+^uh$ ɒ-B122j(ug\?=: = QA$y<R,^αn~yr%rԸ,*5Ն=t*JùzJ2PcfVģcqE/0m? Yp-%&&&tcT4N7=;*=AcQH\hl._?@,YyrS.^ρ=vX mE,*ݚJؤaU²-WoP$B \NNښ=ɅK$^yb.oUS.ɕ+j^ ]ǿHm?C{8jNlHP*cM:q#H99"Yw/X)Aa6x.I \wQD;ԍJIfטB9O8}o p~T:UCMpk/-+ީ \0`KZbTHQ 2@ݩ9#_;uub@>c[v{ !Wߤ+g@=? ʫA~iv=O\FX*l,'*4 ,Zo ۃ!mo mXbSF"8ʓk[}mZvk ~Y=h tH[D=W.TToeOF5WnM`l%[//dC hð 8ZVrQfWBr{b)IOD8ׇ^tq֥ I;X[M0^Yx(nO=U<^OB,r .$7ݚg7o(BZlO;t=պö:>n)ʷw2_HEXb&2k.^?ŀB"&,jn0DI%a*fI\ 3Bńi)]Q'*w415UaֶÁ*ٻ1Ge<Ԓm[']`n)H|YMؠ'TaB*Nĺ?=N>I0nR Ѳ-P]`bg̛C%cO wo>ݗo",yF^KGcx֗MX,ѺP{sJnzOg PZi|%cH0SU9nmқ$$N7Znb_5{ؘxXW& S=HOtM6ɃOPc&"4UܶSOA_[/Ų{[R):P/ vM&N"}m#4: DyMDȿAfYpRxMAI+V k[񰷋e*m #40U"9=mq*!>^ ls`,`~sb'6rӮHl7OYD[$.2$D,;(HdS%zKv0zeЃװ &D{ gVAY /tW_ 6'M|&ѡ:[u?Yֽ{!ҁ&'Hۮ~yz&mQm?)sq-Ad9c_GfBSat ѐ+J(ϻvM ]5ٿ܀ d7#{ `ZnRV@2+j2M~.h;1H'_(}(fM,]MLQfi`cl2JWrqJg+ДQH͉D3|tOK5fd B`Ey D:-8R,/73WMwN%Ӝ,ȝ9#)ɡq#箼8A8̽a:6Ya@EcuSK:X`P.YbTq]o<}",rpsyU(O$N}^0H7i׬ >{q!Þ$pL)5nߞ:*/kjk4inDT(`C p8¿O8"lO;OgrvCpd_/QoE̞X&^nz-rʷE> +tqFSjdP,Agߺc%S fT 4A9ɷ8->nrzFsüL϶4RGgt\C :֛HtȌ[n3ZSq!ͳIk0*#_b#j8;j>ɸnٟSeײR6Mi9Y=cnf#!1 UIB?-UI)Z{W4f8K4O(|偊_rKB-#;57ԑUycϛ+s|'UJVjr6OT{CQx>Cl0J*Jz1Ar+nfM\ΩNL?]vpt{tVatSMcΈf2.nܦ@ 2S32#HUr-p|z27oEqԚxCg{OM'jU)wE9A1WCA:bLUX"WyU,zrv)\^:~&YW_lX$MPԄo\+#nD"߯p)\% Kl23 Lk'\Y":q}'K {#+ѓAQ;n{b E }T /v>SJ; ٙp Y*+B;1ztm+WWfSib@$PIk+fT>ClBx$z)K?'M_+mW^>sLmr_Ogƅ qY =C]ߣiBYV_؉xk& \t|̠ rɻ~鬟O}j'nJn\6 wO265V hji-Й "tx&vg5W?\5{i{ZShe˚? 5PAX<l|E[g)laEARR< VB>Ֆ%!aChE8:{A'[wgAtA=*-0H0}5C"G}9EO?Yib".^&OYR*{m5BMn:;"EdFJ*8b9_oDiUp9Hmk@wV""au2 \rv0 C4%9 g}?ޫ;t۫ Lf+'eyj'qwo{G{/JgVMXp<>uǀs 53+z<*@(ܛ^/ɶ|YACf *}+mB 3W84i,,V` 3~N]!_pTDC!oonD/?)ntF32N_MX$wuq^O7:< (B g m0Ү ) #^!~i3 ai[H8F'N*1tEcxy|@iQn2bh: swջFZVއO84)%ܶ}Ds1O3(xIJd\~dY`QdFNn1˷h.\Ⰻnv~9H[J]Ltb,$OT$[y'%p$պ=f 2k7|uUVJֹ519I2>BvG!/v;e-1rO-Bi 3f$<2JZS$MJ_H(}S F3\T[k/nmcto<%0- y<,'cAsS5$8)o!Q^)pp2gtW3%])PVcxmɉ FR85oS//F^֟[ hppW$FQ_Kf;gKm*CC@y6;n!+nk:J{$>E.1V9ztGu*5ltsKQbpKq|ɷufviӱ'6J"M hgN ¾NL`ÚDW+(-]&yQ_Y /S1ܚWr7$!76 ]ie${E.axЪHfNa^ÖEl#WrG |j`t%w@i/xMtW> !MPk7{hEMb|{+ nGlW-K^XA^SŎeZ;ƒ;:\.l^hj$ŠNߓܕܓKjhg:xSvƜꊚp03)X9<,Ytf/ L*Vٿ. O0<:0Ҭ qDH+eڅ0 )یte͏(B)^f$7`!5pU= ju̠N9%`r@Rf6ZZ? 5)<iKUC/bY;E+"p]Qhp K"썮ۿ)23qVB8]]ϗ0:3h3Q<+6O %YAm3ͧAt 63@Y Wr2Q!Y=tge=9Y;k$s;3z?+=~Ro=Mg5[4"U~z;Te>OpA- {GE=~*r7ZB G J^ԩA@ZJV])/hBDKvi_VOj`vrFNZ W{^ܐv#(6|5TDuW:rҹ6ͳ-c_}6h&"+Kħd wKЌ8sYNa(oR-Zv3[82;iZc~h*FD2Zc]X|.,|>WGnO*Y L6μܺ-MfS%[CwrgoӼ-{zNx|_e׉_22#A?$,yť Z]ZEd#e4r1z僇,v7gYZbc7e11203851120694302ecc56a4796e17c0124ea9ba4fcb27c61f2722def1490d5cc6ffd820a523 3e35f1f1494655d736fa0027db3480f1ebe85070