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  l%d ]/]HOL-Analysis:threads=6elapsed=301.800cpu=1464.296gc=61.128factor=4.857zXZִF! sjH]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? 첬dOk`&tj*rh+h^J j8{AQ^`,{j4W\t*_eUtK`1MJ'fƣTzbD pN ۿ R8 *˵ :%ݡ)t@5 g v"LyW`3=z-[YU mH&jR[3 .:bI9TM `,&]ثO)_lW|- P6t$ +F,hxh${E{y [=U$=!Ze,k̈́7w'@J % HOL-Analysis  GJBJ$]J>') 3(/^99=-eՏ6pn'rNav(N^ l{Ar,/i;J$` NMBQtǠ>9qaɠMZG3}3o7!]V.qF3nh:?PŇq9E.-;:"Y5XH}`YD=MVŷfr!l/SlIY/a$ ǫ? 6E(xCk9\xʅ\E=aȪc>Dil`69jq)Ż& ;՞?;;yj'AժSl<`+TA=m29nDcˆmQu'> |U"rgD Vv4=_Fmv/@ʡ151NҺ|1kL1v~rKa/a҄T|~l4 fXYP@[xf>umD[ 6˂֠LzW.EϫA{teqWnhef:UfR iMWw'HI7II&d_mC<d 1l@ʍtjMmxvً2`*w]/*UPNҗ%p|2!並@ k(qS<^0EqMmi.o=ŷ l7b_-\sT2<ѼaGMaW"\!Q 5#^k&fv)l[=W;G U,R9obppPݘ3p4 "GXjZd͛SRiRn8خ(N$[]k)Vbh:zyXbȄ7ϻd*.o;eE) My9䙘 QbfS)fn3cE6΋JmcwTIKu.=>}S,6eGdD;ĎI[|| y{0FjV򶭥E #@bz̏lJ|AOڞD"yHPF]B܉I\fl>_=O~h&!-^P"?Vۍ@5]$[|66sV44-ճ-lTRZ]ur3pho芑0HhHKQl|gBƂ H9mX+FGҏmY{?fmȫ;|Q4`ɉЇNeIM{L%l ?I6<~gx$&OÇ+ƝWX8ogM:K7W̓] NUZlW.Y 04 zz?uZecy{^78$|װg؏3=+ ש6_lmp :y'0*x[97 1Bt9JuT+8.BD106`3}^Lfȱ[T0`߹c 'k? R-,Dܳ3@MyW '[Hܹ5dES[5Qf龥qr6 X=:Sn*x/@M%\fT(tnw~swN9BF]ϫ"q=2~.D4Ic^=Sg/d\Ga×}>YSJvVCGΞ)%G@G#Z= _In@.)ոEik \(ȘTTZicKdx_ 8R/42E)ߞtѪOVe(TC+]NaZi$[|Pm a)l0 g@]`v}nTyU] á1͊ UKK{R%Hb n4GtZnԚ>ױ!I@٫ 60l7Dd/b^Ϥ9>1X^#3CS7:mr5{x؍1+ObL$jMomolZuGw|Cg g6hu.bS6>jyf.uad]6'Iv|1DrLCtܥ6IUmQps~YyRaJ'sUq3ӄ #2MkR{_w Ex x0 j2PRl]% `M Tv! KQ( ogGӌC`..p+}D@q!Q{lT*FDЛ3^e8- A,&`GHÜV($2!i79_u3K(yF^,%O5?Ž)>(bD*׼h tḀ&>#4X e$qm) WLAO{6ظj֨JK@$A~_bd?:]Lh[ajvJ/ObmanR;^JQ]!bjԣtH9ʒ`PO?x~M"Kv%<=c5w1L ![ ʣȗSO¸򫍓_:iw\vTr0x/?FQk Rd*Jun'ZCϹAs,Tmۨtцe~Q%XW>qSis`8-`IR6MAZ9zms\z)9Mi^׃РR٨jB\#z߳x"Q7zl]thO9 bSd`T775GfӞs38ܡ3A4=uѷ1(kCOI.4#!C_:]i=rVd83b)]ia՛6.mFtiˉ~uSh&2ptYw .2۽Nf)(1 rQ䫏'z`#מvHt¡8/eTTݓ-vEc qvm0҂;V7gIng.= z&mTF1K z#)m=I9;L}=4hqc75W|B"kv-U rϧ C* ? Z?:V Aԯ' F 24NQ< |h){x@1IR/aoSTPIn?з4̯BdHR0davx\L!HҠC@a>O󀻼Yvq Nq"VJ2R܈OX*pG0j~61QDž؝q dpki"4hr%)K]P\SS嫮w"mx44}:Llm3 qy tRA UEgm%H:* !}¤IJ-оzrH<.j/6Yli,B>b3p0uEcC!HSȘ#q> 9]@oj9eWlgyپW?ž1S[h9Ӽ!k.9ڃYa~"CŠJyC..a1cl ݘun#CmUL8g J3@Ns]3Pډs,Hni˻7:l|,ո \ѓ2;*n4Q4p(ir8bDG ڀ37 v,ڞl_gFǦMޔd?i t]𛢷lfuzjkΨl%B=^j<ߖK#b\:^z{5 1XtX8z?ulhqSfST4 bZʧ7;}#E,)}P㤭1[[ 1: ׹fWSle64@MUwN;Q`L[x;ϣIGKiNRrR dS{]!ɪAjяO3)?nG͈)FH,SvK3y{hTtv&;!wnA'#7x  }d-$u̮5A=}9o]]AC<ސy l8!b*1&/MK2_=-9޷4ia ?AF=%Z; ȗyf3;6`gӫ>I?8CyɲP`kCPhdLL捍F &Mv^ˮqzKiZ$ g]-J1p9 ?_%t٨^'2MmaH˒Dqa~.SAr8]Rf/ yO[FiLз[ᖂ6a9;X;W)ixW2uo.G&',@N 5\pOBM',{Wp/e_8ⷳ$,xg@#aiE'ӃqcRe~slt@?-fxYBHc"@Bnڰl$Gu]G[֨r%CO;$RΒi^LUMh=8WyG,IMP9yZ 6 :rņZn:O@zTޜݬp,}PVL&7H%*M. !vX2iW*.\d.!CK Fg"%V|"jafkV{|LK 6 hh*sEv|͗U+ 9Gh'u1܏vŘW%'< &i{U/ g%^W>o%%=ۡyjo7DZJL$]cyݯnD;ѳOmsq>AN{F%=>a/:"h:i(BBiG4ijcO+Jm9tO)7C:{oYl2Y |ap5b4Н"QXWͭn{38x6~:0rEy'X"*C2;Md9>-a}:!ՆmrqwL3j s _~<9ٹa(HCu¢j߃(kg&ω[[ąjcpV]'Cu9^.I ͟7`g!_nΒȞY0 gKd^nHol=ztR4\$7lޠUlĒ"s=>=ₘ"YU7=ǹ&L ֱPW; o @|MD(5G3$-¥A[(ٻ ;p@Ҿ+IC6th<>^ynHk -Ns|6DŽ㩋nE͠z*{6frAx NN0 4(fFKQJ~J*xFD|=})AxnILH6lԎˍ"ڹZpڤl<| 7gjF{5QWLs6ۅ;ZFI2SB5jȏUTnQG*7:QGg>bFhw/onp.4)(a{omg{ n -5 ܾ Cwq8<9Pf7;PbE=t嚔=1m5X_Q;-j*\(=o g]? STC)RiNI_*onnx}L Nm3)q0UN2oro^ Jky AdDG#kN<=(LHM@H/C?jRLuLao0Ƥ[P{U`pZ话156m!9Sӛ)J-g{ ̷S=}xdhZS,lÜO2%0OmgxE]P>I6t~EJ W@~fkNb2T7X#qHm>U0 w7ԐY!mZ'ܡ `Xd; {w081EK}KN:t'I HH7N9T*b!ݛ&Axp,Ri΋Hb՞?`ˁ2իYI$޲(yF`B.>B4FۯG"c9ӱQ^x S|)VR]4+M7e^)*[r ;ĀE7W ߬'?s"l\|*OHyu 7Y2!?lѴc>t̉H5x5CZ5g@CjSxlj_)/.1gDo`~hlRYդM/uRV :DƋq>5h:Yc"!qթ E7;NԒ?]XH le /ifna ^B2tKp*<]bSkowSiƆ%NtNS}8 D욆>Z"<іCɃ.؇9N늿*w3btRz=]^zr4qQS#*O&Rí-$툝>q4seV;Ikk"H;5&IKl r$mV3lFXHX$x%AuTC@0#FuX7!>JIuǴeg.=0Z  \;Hb#RҚz-soSeU~(۰Yr0lE<dc:x]8 ̞'WB c'tݷNy{tLp43| /qF2CmѪo0ew e!Y"Qt?N抅rTrSd%&AgyVvcCv y*c(>NEJNokڴ5ILj"ǻtv`!+|#ٜAj=Yf\9XM 0kHc2>:,j.nAYҌY_潓ü5NjQWlkp/bӍQs&VɃZ4 |2&1ދ6-CRwv0Up_0,lWzw3Da6$d%x7e{Jʟ>yt'j&X &Mҙr1 Cc Չ En׫usʭYg, "ڔkF@#GқS}.M@LI//m!0J*E ه$vVoӳ~jOv[7_O of[I3Ӄ 1D@L&Қ )Z`$Ɗ N_zuگeاhew:ScA]8Q+S>LolvvZd< $?>T8fL]#/ <#) *2y^uI B9 〒0| I<#Zw^Bq)PdY :ԉC(|e^r H$zh10Xƕ7PBD*(ˀ 4;Z{%[?([BWD]4ǒr"艃9n:4ÑP"|PDža[ I3JkSrpkC(j߉ԓ!Cw2 Phkw;O\^\a]bIfM)pUMtPBzs!NI;_usV Mw3h2br9tY?hgS-F4w/BgEd|FJ՗ eB0e[@8w_`+N zRȀuPٟSӫnƷlWs*Q"̄&}Fӥ&ס5AB39 vé]R_up!(SQ9vV%1]블MW@WzyVIO@vy'yg?aègB;`lUa$ۚ}̀*ZsP=yƯ 7lt#:;.>z{7c&Y;i8*OaDXGC\$vӧe%DDgv3QFd_VZKL+oPjuT@TMt"s.?CyDCLƑ&1w_YO;ңG+FgXPj\#{D;< xj$D^>~d0%[3sL(5MKvE ->V9STP}*)R[$ݧ6n7gt%`&D*$&/B%.ӛn! *":AAA;o)QKH"ŖWSP3,z <7]ۉ3/,;FFa¼ ܈T:TSn˟غXofat%Gڃ~#qAQѝ2)uهc-ʀ*0ѲϽoQtef5+/_SvsPJi;`諨[PbL,D =}H37L$>wy3KMXUp;xp^A:]bt `j/_:."PR˾" [e ،}/S'sp|W+2B?Z=ыN>.bX@3m_.!_^/~>&B-hzՏ#sw1k'JߦVX#>c H-} ^a4FTe:F'jM],%/Ec7 !'W>PǠw?hp׿#Yq5 25KSpZS67h%"8FήTv iL; u۷"n)lL$j/Gɧ"-a @ e_PD'd&]p- M|τQԪ"e\:EP]]{|}$nrfj,9N}3GCc-6u4ʦ7(E8@^gaQ(Q}mvLJ/JJ΍~ê:7?kze^$!sxbLlzIZ1#ogK|Zz8{ 7};ūHL YB&ܱg't997h LX=?]"kF5Vp:ۓFnDjЍ R8]!۠t:sƯ :uDwx#q΂guPd~\׀۬(5IYy?\PP0%ܕk)7y0!>DchY>FfWo3U8eؠHLTiLHF'n7SN y5.dc^S5'Bi\ɐ.=# Oj6]*Dr2LW`,҇~h)5Ǔ?~:m+ ~?y=1s Br?~\Rā藚TYa!"JF\UᕑӚÑ>3UX]~8?`N~͢X'WJ=B}\tPp`~8vW}=T({t=2q6y񖢠;oz`d5\*usa(Sxւ`=rx8c`XsS'qLK"Q0`{CntSDx8j;Z툶d>@uՈI-Cx~IgУ 6S=}5iuR(g)s:A}=ThR>#{qUky'5 eN6P?+P\rIL^s!Y\jY4dcbK6=r3뙋:Ee`p? ^Ҳ~pI~ sc6YoVS%⍺Ș `\ ձ}ȣ 3⠻Fo^3L"X µzzA$hMg&0v BfOrmjKP=w%o9_Ubh~6aix;[9ǭf)ѝ"ymU¦|'YB^RFf\03qiXW$dNq),G$}6`?RG*E 5 l0%k@/5qL:Ռ{%xD0O1ʖ~ܙѩ9(ArOm'4SXL&o6P;o)[eaOn8R;51$״w}vnm}hϯ1Y3: uo| (4U`ZauKNU+4bhKV*'XKvõg{&jDowD%<2% 9,^x/ǫ EAD8}PPJ2Ɨ)JbWlEqͲ̄/{NsU+g%CB1Ď?JmmhĞo1 H&?$~kfWv6v1ߠJtx(V4"UPg?{euLD̗g~Z~UVwNe ޢxR|% mɿP᭙g٥Lhmo1\E=3ǞvGK+ Hpb0Lģ}x *gKto;DM}J)$ϰ1OOe2xH @xgW$K4~1BZa P2ɍ;E93s,3A1WԼg'/Ke3|tmG529A'H9uWVPNF3y XͺlR#6pqzfgr1iףˌbsnTQQZ/.W O͔I;镇ef^4n{=`$KKf%K?; -)qkzogoMk`}[UoU0}cZqJ74`lV١8}J" Fz⊓_14|w@Wo@7mE@C ӣE':vn>ZV/*+ oDw^j u?KV|}E斐3t5?G^5pTTL7ҖYd۰\b*j ͦAK˲2=}I`QH8cW,:*uHPu. z5P"HC{04uhhQN@,lPLnoсpƨ. ~w(櫮d\E-2}OAKiP7zx- >,d:Ҷi)$$/zȲd oA-tM;z־Qn|"[in ܖ" 蔊?3>' *n>vQxS`ʟ\6"nCHp>yy'<0V`^a#3=M#=y*c&u@ Im4}^vbQQ{r|h|/yh!_L0j ٩Vքjc\l!>YAREo c"P h~;V:6#*?ީT vNwI-bQɱ|1|m=Q$>?)rmH IoF#Yufva=-VHxI'L٠)WEO CO3?R2Ov_ZM[eH(~0e0<=)D[=!j\M17CV+㘻({ ]X4[ۺ mFNJkE#}ϛ8Ym>{?$jSȅY&3oxd󴈨JmweICV,PaV Ŧ Gtה,/[$aV؞}E>2ۃ)eόhvz+ o-@諹DsBGseR#9=Nk*VhoH:޶U"k/?)w].ިǻQ`(,);=VK%+Dܛ핃|<]ԏ0 (\o.{ SBqx'Lz}dlz^Oci?; "J$=aVl[5ÐO?i$عF |͡_ ΤVwjI!2/^: JTp9N\_zZδW'sF'%֠j[*8ȁհusUKZh10nZPcǥrPl^H tba+G`TE?9ȵ?KN`Q-Ҿ}JZe 0ej=4#~Y)$EQg YZ7zXZִF! ^]ŗXi%>eXì3.< aH8\91e=SaQ2aC"ӌ B !XF@2ѼUb6*I5z&?'A}hMΜHcq_ lXPWbW >ͱKS<<Rc*Az@<'{Eg_wXp$,[=D 7cރZ<;&4NjKj7kY&ueSԦ BRBS^#v~dj\0(D#k㫃[Q r"ǔYZ2ۻ 9sV/xEլxioK3C슷H Jx8&^ {a`o!IFR7 DŌ X6Ec#ZeC(:mFՠ]BFI2j+[X)ty2#-@,,˝lc˝4y]΄VāhE~G?N8`V(d[>ց!}>{)_ș{H&Ϋvth,^F৪]>]猄"!.o]'ntu=/-Xζ|. @RIQmiYÓS]D=8GUOr;k*(gE5, 󈜐~)L/gkaP^տ vYerCV%k 'gt3D>y~%@Y4Rh?MJ0ִ4p酀J{Vi_=*uݨ`O_ʗ9UM1t6׭ҍ/cɦ̟3|8y5 }sX&Rs.C̴-uoˆBdp CNE79ajijA& JY4q?W+I!5Xa`9 c yu@RGZf #.aaYN<{t]B`ۣHcp@X3շA3v9Q}i |X˅o'2FdW_& 4x} ƽV@^~b)8.\ JNԯ1Q;~eRBVׂY&rnf/ p\w?('EFf%=G}TwtEQGÔcGX&ՠUΒ9Мj [|كno/=QeJCgt*)iL2M{ C;_ eDO=z"+)95l]R^2xPCY:V'-mQCd^^pΧ̶%q$/}ؑc8K>d8/i8CGvhnTtx$OF'Y3<,e7H)lUړ*F G 㻲FgdQEPNy{i&JatZKl%b*fhG8fRKFBviCE=*'8$qDR3~@pTك,]G7#qfҿ-`JMW*1[{;QeYPi7ȗ"v7h3EP"uw}J1G@]y+ov+Jgx;q^MMi/jos&ȚO@xhҔeWaD8 5(2Tބͣ瓮9n#k,Xr-swd #ncAB~)b^ gf"L&m<5c8viz^V; lIN[cxN40!TZ[S"g(f?+Gg5XA_-1BFVɓ8tL,#:{?'s؟(`SoȌ ʝrâmyhIY4M΄ k.b|XЫCu񈑎 `="g-Mjj0<1/7tK":KiZ[4^:  ƠaxUm:v= p7˞Vg&k}QYqUYB4u YEB!i8Da/ qovfMzy݉M1Aj;@7Sa۾t* noPX%QY/dAc䬇aa2M"}ŷeSZ13:Äcw} gT[a^Y=;,O|i{-}+6M 1Dߨ3#3Aɉ=V(W}lqP쬷"z8M=}e͂r_ޤZYTV6Fl2֨]ݾo&4{Fey`,rzGle>Fh4knqe¢cx(O; S22tzs)fT.2.HhJTSW j%bw 3(첆79*1JdwW:% qW\(%.CHvf 8<?@峐K <: -/yաaۭpX%׾ 8~Ym;HO̳p S"^\(A*X5Ѕ>qH,ͱÛYL@̅v{Uy)ɇK6ICP©XbZa=@$pRW JC\aG!P)d 67%ҷlv4fZ.'w9e0HlԄF*hV]H<M!hpv'z1%;=Mw}4lV˧{Ky5B!5V)`b&F7iPtzo0'f4CDJw5Q/DgwgDnC)&pT}|_sdVBK'sEfgz, *ry+T]Ia'Y!Ӫd"^W>jPw#{ kJٖ>i3{®k*[:LeF7OH6NMn$vS+C] 199.WPA~GCx]쭵 I}+͑- ;_rI.= AYs&"BrAP}ؕr/ЕNMӿiR<2i֫E3Ρƴ6cZK@uWSMY$+e\!Prg|*7pMXA2pwlBLբqo([RHTvUUFˀvq [eYDZ6η28+OǴ(}}zhkrRw$S<1|%vM'hIuxC7Ok^nkv[5VDJ( `s܀_b1Ȃ\l^ȳYRCi_7brHc.hwcAP6e(G囌^v EC nrX<$WD=[@)䘻=Zls{*]%&riD?6JXڵU#hAO,-VIBN"M"Eumf,lEk:'wn!Tݲƾ'()ObIJ>-tc$ _#QM"oS%[a^{`͛ j )&5B¦+m9Mc)`- = guܬ/NMwSbyDv&g-$Nf FE?HqvjӲ@:ϭK^mf0:z0jQܧ*njW/[zIEȶ'VBƔaS Px/o,vj-۪7<0Cɒ#mI˹I\"7jò.B2K)=Iw6ϧN/DʞQy:㾸[%EZx{u5?1?/]2U.dTd^j|E]߶^3gO^M/3=鯪K27.F}4:aeTH ~#D1ذ5ayZ_h"1RRUoM1! -n F)c(/aEY *5yx'$;xӷp&$.oj\j1nO~\1>>1%Zm\E18i=.~qP¦,?aˤ\4ƷV3 NǬtz2j*^R 2|vu}^v70$ǮZ@IM pXG^|GANf>=fBp?&v7OqzA^]q\nV u YXt~l+`dY8EZlngqBdVQl>Yw F2yH?'#]Z[ߞ/eOAl* IU<98[$Y#~3r?i8OU&Sۺv]ިr\$?%2' Tik}ǔR挎8s/{m86nsA?kk#n?`:~9J+V{eN|}> Ȳexs-`/9 }f/U^:\;dV73Ƃ-4Ԁx#~⛀]:k ys_Tvj#}OiTr{f,վ~⩆ȕ|STL[&SdԈjGAwUA0Vy{f.r-W+;+ցm]h m$eSC?S|ˢ|szp%0l|#hQl 옷'qZ¥ S<^iӪZơW0bcWEc=*G={lW:RHgi hq۶(;^0D~%C:GFy:TK;%k[ `]bVD? w28!@C(LEԘLڵނzn8a7AyctV$n^ Fgy3e,TlK- h1n'-ȅw` WWǩA cXr] q\`3?y$R `vq\rB(&MyቤE87kC7$a1>P0ZwO7OofHsʉn Baki4E%\!Ov t'Rg8h7ce<\ `G'B#:5I `X9 -\>ڙ[< arTM iK:nxnq̵hEdD>Zrsw\( q>W,}D}j-S6i6:.*=@õ:CO_4;Eok^?P}c 8wYk9"3P12$v%PT J2@֣t̠Xq޷v. \ igԁ<3mHocaPƇxA|n*I]}o(aKdȊaPSm )#B.:\ bLqƜ F`¶(B2{u)vn\==_䟤?Y1m)> RQz glMQZ'':Jك"=7 /O@+bydTU#WA+ DL I3Rs]K]S /0㆕< _@NU|\n v~Vs ] hqY{gӳ<Ӿ[g w_:\:Ib7q}Fa7H/塻=ʄ^Mh>64Л$e~oSJ Z7O8/%>^E*q-Z/{ }bT[hϊ^R]]:}(6ܟ#\oAt¿M2[i=R%lM)"۠Z ANT`\/_ӘWŮ  20 ~l?p,UeO/m2" 1'6L i- tMhvom_2\=3?ʝd`Æc$zH\#@~KBBGj-\0ŸW(LL66g]iFvĊ̦T+ѪPttzN S|GЭ'M;bCF$ٺqFuŭ=rW3 Vkrb)F^4 #-m~7#©8>pGY l$`HSkq$}ot#v+o*NU 1՗ML]sVz,ʷM:w/wTf|#EdHv\W4?v[6}C-6RI)61xڀYa'N5ZŠ,wৣTRӻ4WUs|DM~Alqq! 8WՔsX8/׆+_̛qCrJ_ Ȅhy+]o!IO+)`!Q~1Ej2Z;':߈Vьr_գy[oSׂM5+UiYQN-3/b rhdOܳ n['[2nG餐Ƅ |NSmEC*_oxtlE1!On6CT0q4g?JSX@hMF@8(2B-,?co> yBݵeS3JÊ!XIvjiti bG=IRO*CCA#W`zlP2Lk3rӱLJ;g;=֡yٷ[1MF{ ܶdo=w0t2Iq?6|fˡ"M ?uy+ܝY|I)}EJW=Kc +YL7=O\5P +r_P%mPk"xӏ)-㐫&ۓ <%D4tj1 ~kKƧΜuv匓'  {%HQSw_hտcU섫Ray=bbʝ\y3@XGPX!~R#l`)&n4x@Bo۪kxm!{sW@%KX/em\aȦ W%M_;ˢ)dft VܙrϏ}%7bjā\ꪏ:GOG"%aɦU!<+W{wIe,۟]yS(#M@@[Ǭk$u2 aLQ S=v{y}DgNuic/wޥ -g .0E yPdU'T&"Y@PqʠD*& )"qg[5#s41xhBy7zۓ->ikWZ |p䰕Gf @3ƫy?K2zq%:Qj(pٿFڹlJ; '!Fga"8εn9Mz˖Ɗsᙳ6w{RF, %MVj>msKEg4u2 [+ptMxeλphħo);Hbqd`d c) A:(OH2@ɬ^;m&U0 Gd@h+kK‡7 /4&Xy( U}|50g[-Wo#Cvf 8b?xhh8FtyRt]N2>#3]!ǫIa$z쀫$TC¾[&F|oQ~T%bSP&D|c@Qh?ܭnGLчR fH{l1ÃIB̪v)o0^dkn gkcrW)_%'V,,y,& oc17o#jE+AFv1/Y7jYJY"tȃ0f.H 'KgHO4LߖJ!_H*ōUyL`4<:DAZnW)2RO߼F# PoT5->Pլdvg?ftSnyL^Ka:?#,5Z?9a%˜kgqZ뒹Nml_14eFs$F/LM}I :!p[uJj!L*(ոǞ][瀵4YT^k,%nB'p og³vo$yEl<^tİ#4έwGhat(%'{k  "d~e"O .aj<[jjV儸pp,N^cj_E*P]hĊ\e|t-j*gVM4NP{Ql6'ͣzSy+Zل/ikfXIvu[=Q b;ΫdZ dsTu9? :#iI[(B; owZ߬ZӚK˘TSl;jE$:7r|Q273,4 Kw.Τ(\eKj&g8F]Vp)H?oO׋$ۙbhLUQ>Nc~pia|˜h{ ..%8@ \8\Ewy ݮ2C{`3<>|v6<"ʵboaR;Ѐ:&\~l0ܿ v6YVf4#S2PLQ|p[ֈ # 'BhdQcYf`͢wsS0 }Uþg,?އ٬@?q'E}i11u|vDZ-3]LN֓ A,2ܬȟm2w6r{cngB3#v؁kM.8@dT19lfۣ+c kZ_wlvReG;lN+eZXQ܋HcȯjU=FJfK0-gꅶV3BhMs`z:Ú}kn{ QmQu].R' T3c<( !*"DXqFg@?mJpVljm}F-EĪ.DXҴ"vh:d,ݑaS aɯʦOOl ^\Ί1%.hlgTϫW uE/W o6,Z:+7A&c h}wYP < ?Yw)1:Wʓ=鍉K a LSЌa% vs;kZ˾{ be_YgzaBtCZ4 LnEm0? t@-U)NOi/s5U?=5,@ x0-N™h&SoD u2R7xៗ`ba7g k{~v6{ DŽ}i0|9WD9/5D dS/"ZEW{j */% "0WR/epb ϛ/"{>}^[v$6d>8^L-lrzct8)&~s"NZ@}oRV;Ǖ"x[&34M^SǪu!˿!LN<~uq7{0>t(].ͧKJ3I/w 83̕T#:Q*/'X6Hmhlnp:iuGF~{apds>)};oP|(Rb!@Pƈ?`Uڋn4YVp-@ Vi3(|,il6]YٕjwMU; pIb/2ޖ0>EurK#mLl:8 XLw l';0_(TO.Hpykou4,-eB_Dp8f.1 *1B-"#tX wL6wh饂*ǾâeA[9Gp>z<,-+"ѽ"!f t}K(He3#I1  {*7dM3x}T_]*t82Yj<.<"6ݾBI^XjT⌙'lF=w\( W=CQ N j2Sؼ~ *iJHrhSk5o&O&}*2Ac$[a""K2^I˂n7F4a Gq1V% dG]3+dK6D aiԵ\ $g00Ms9JFyz}P j w$㳌;my C)ZQy@Tvk3R4"Ĵs9hX \?R |ᇇșö30nLdEJ,lՑOH6@qK|=r sz#=dپLıTdߕ-ajV8A[֡.KoK,]ؤ-@$7޽ϓx*-zn# c;|'~>ZP8\)n!{44 Vs]7f攉L.5ORq+Rӏj AՆU0}dRWa9 V3*9]ߋK9g?d*3 tS ~fHV!Q'߈%Dr ^?| sH˧!KGՒ'.w0a019UϐpoeVFPW~5E 0p?sBWh+*8CXFA5p'u"2I06LpkX |ƈ'fb2фeFQ`VleY'>gr+QfsvyX2^wQƴ?LJۆiĭ@ARQ3NSӊ&Ӓ 1B$QFh!%^hl,b|B_o ,'feHGt(SHBé2:$.xOJG:H^0]p!͗czT&[썗 "&u#C](9:X0Ú!b~md6f"V%y%M3滥Ӂ((4zף=щ{\(ej-`p6_e\4lqo.wЙv5AYg,fwv z#RKQtvR z5xx,9** ЀV\ `~=q ӊj\ԇdoym4ʀ]ԭDbf u""?)븲q./eANAg༙R۵|x|EX}5k֪|D&•Zg76uFfFMezPY6aŭ-xm^"  0~eV%'diҸ-;sIq|,%< h*>fP& r\MwK#8L.^(C j#J?.̞KƏBEJ0`MKI S;!zh`*R8=(pZ42g:` eFe#BVۤi{MpF:'Wj@E+G=͐,?[?롡52Z A=3X5c=<4g9;>vVØ#2TĆsCko&Pts;|0\pWB6[nȗ,zہ람Һ3I;6`\DlXOE[et[OL$d]uzB,ۖJbf{z%A/ FGl;W(ÛV-8 &M֌JmYdIucUK'v)nBNbMӢjbM;Y#]{};Tv ),W}ʛi 2QZcXjŒm/%ATQd<k{'4#7@ՙts̖pbfUDg>P;<é#I%F,iIdgˡ){2K-.'ȹ6Oڣ}j# >țKYt| %6B$ hSdrW24#?*/2l6Ap62TH:Vĸ@JkŤ5i:qOI\V d愉$QMxlvsؗ\ļ_=jY\ӏ̛̣@Дls2Dۀ#jFb(_12dp }"-S`2V!oVH5O&\L Z:w<>.@oٵ=KJ)[|%C2BU¤߼AϼM}. o8ܘ9l;hk3oZh(sO=8 U㚟׻H-XY$-+zm^$!ilχt}ͤ(U-gs0ˍ{? kL0׿2!]?"$w6 }q:|(hnwʹZf_~)?]&$tɹaSCEylo?(Q J% %onw E @:j`K s{PHNp}!{pk!u0fPDAKh[^jqI%ql.m5W,_=$%]iĂ $J`h oWj܋"BE *Z0e̝ZQا  tJ>*I>'\YbF+_Ya#ҹJacl$v7x~OG\zm8*֔˦U("") 3ޢBy泺WqF_U;4K֦V&P>W}iWXwə?7HIyOt0CLY^mOvi(hjǴ4"0G"H**F#>hӓu*F8Z.XHw8 N#эAm߹YQ4ŁϺG`JyogjpN/:4FKuMKP0$1]p!Ǎm1#d/S: #cd*ggڣiJj H7 ^V[Ѩt~X2]AW5$SoG,6\@կt+`wQ ܟtz@̴g ʋ~(] Syn ?l)i~ /i@E+qP|O~j`a6{WU͜MW@9zƃRH1,8Mq//JH|MQ!ΠMX >\ 3љ'DZ|拊zVe- Us"ܠ=$.gҝ; ] ɕG5vDko dj.^iZ4 \~XCJuiH.cXWP(:RPiO%; o>х^i*%LQQ8֗D(!2wTeWIٲtoO4s,ZKR@rJ[H+Neur⠚teXSP= 1,Pƫ6iaUõ@gua|meDܓr}|Qy1XQ @ي&V> R_Q\FO\*L%l`Sp{y3~M*&60cαG pb"MVT̒w'v)³P"q^ }Kob a-ljsCbPlO6f٥ u 5d}v,2e`GP"8ق f ?ZPh5ܼy%ẌP ^ \ J 0ruL9b9CbV9#TBlvn׽KzZ6b{ )f,RykXoaTpbg( <i񅵹ȫO^+̺^:5ZsڰTK[o>KQ*f¦q(03 :*o_|jʫȱa],U0%sQޠ>r͓kzޘqANw;67A";/SClvSKBual5ogYZ67509361ea4b0d23d58000d03d692be917b3f78b8bf312bdadee5daf8facd55eb1fd3c8949cfba8b 7f27bfd5ff52a522c1ae591bd5bdcdfd37e380f514b80355dbf0e2961c3325036035bcd6d5656b8b