SQLite format 3@ .0:  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 {!4|L ]I]CAVA_Setup:threads=4elapsed=542.669cpu=1906.412gc=79.436factor=3.517zXZִF! e7]ŗXf1-q恈͐7ӺV PV[S‹Z]qتjJ e4"V!þѿVٶ$I>у;'Y1N`_OiBꖑZf&`\Eԗu^w"5Ŧ}D~Yn6aD_NQeEI[ KM+az?S`xmWcvpt◊d&ѬIRn_nCԝZ޴ᒵ"G :O ϖPqxhA0P4)A0Il/fЪPk%熞S8zޑ`uK s1bSIjs%$K*hAnHr?jPٞ~lN*zFMA]ۧy;(Y:"QlRH+gՀ;_)\,?tn%~/K#_^D)t.?j-IO?o1!`Q O`I zo{+g 3 j1ux.W)I? ;(S ()1 3ع VUU, zs]! A[3־t/{tлbݷ*izvZj-bSh3-@Jиt}#y؀4}cC^tB̀J}m[;{b2ı-Kڞ%w) L*0CmKA:B?Pxh8wy̸/M+AavYk >g396-[rȀPSLu@/JΪy,[V]B)Z XWΆ:aP2{e(FtByԓDNal$1e_¢"u0_ξku+̸_~^OHYT,zEG(8G]3U0Ty_ZEuYEsE&o1aؗr GwUfx*s!9 }`3L{DH^QO' *YZ¡ *?00.wTGW#N5=Jbg+=I|F1jaEOT<)4mʦn"vETAYsg;%:^V!K=Jb#Cr$l?6Y6 DHDޑQ)kma 9 NPA.=; $:|\؍ $Ynߏ#pVV׍]JUt4B#@έ8Ğf, +Qϝ'ܲ g^9zH}q]kI8E9l` y\J _<` M{%%S>f'|"s/azTs$J(0l Lj1$njjd#Bg}|y3)ooxs=Z~>gPZZL.'ahiz?Mҏ$H7Ȟ˴1 QΒ6w}hL`e_.9Q SeܡE J-m?YAZTC .c4]z"IVU ׀qGQ SF:ABsr|^Ľ}bD6ղ0=ހpLH"FƏ]ܻ?AIII[tx()*Վ>alQI=Qf]'!Hf4OMkJ|C K,ԅ*¿1CY JR^= .M T aY+X+/>12 b $KS\ņ4)3hAh OGz|M^͇p5S/ *on%iC_/ [E!M[o)ڬiR+Qͯ~pLOeuTC-?=ePv6|:la+ڦnDbV|>zk*:=b]\9x}i> >$5/NXΓ{+]bci m-(>[)/ qDžWO^ioT|A\=с47h s yNn#L)Ia>۷1ޠ_@8Y?לMQeK{ '5JuYNOc~AٖZ 4y \D.ƒd@鰞dEt ;wЧTe>adO`}q p/ɇk*qҙ'*K >ׁ!PA41|M޵n!yMž準b)8^89yIA/̔Ǯv7Xm{7ưWe{ \q*#9bAo4SX=  ! CAVA_Setup  W[S1CƦ',"wϪp3!=;=CCsmK6l bJV7 zo7Q<0\HLwO_'ysR(*nt2?V?+Lz+B(!cYV:q$' zi6-FT9dtFγY[UҷtS"F &InZIy)OR>;Mf̈́3.Uj^݄̖I:4:%vjJ̛ ݍ?ڳ_dZ|װ@yJsukD"1 paU`iKmm`U6o}n~adk WBFfodUgoM~"܉pC;%бkL P {H:c DKXǥɦw ='<Bxd'J<^ f= V=DßJN[j{:8#Jb!rUxЎn.!f[iS^axtyx|UOe@K=)0oG8檹y f0KK_sKеUh?=_KgZoIBOSB{I)mVyE%Q0XD! 2\ȂY1̌Rը0_ﱺK ҝ +jFik|`Rq36*U-a2ЋH炽p "ƀdypbÚԼ _:$39s͕0sV!6#LB^ 7٥lS6 'T4Z@.8 @^]k/܄Ts\AxyeY:Mg9LE :TWm}u kbC%+-;8y.._x=w+>2bme` cb,1&y8O|;wzI bgMCBAš:%92%9W5=P D!s}!H:cgq9wrJӾeXM*P#.@7|9o3S{ʙeW#R73bOյL=ٍTu罽鷽jGq7eN\Wx/#u(.Y&\v\qz}Ɏ)b fn/u2 Y[ P "+)׆$}F8YQrN;s%2xp?Ƣ<ίթjy(vvOi{FƬs?*Y 3Bҫ,zdU@΀3fwhÖU|s3P;:])87#@Gkez+G@5X@R`Ate۹[n6o,i\ S5:OSiتL=4FA'sH=W .j۽('yYx~t'f˼xFۤ]̑Q g&MOV3=zވСco$gZׇ[p>eY+j+*97ܐtb%r V0ꊘu;`:wGd.?C欫++̔/Aˋ4GqpmdJof4`7 y{ܣ@T7 ѕ|@cZeseNvfC-pi _` A™N&% (F1_$Tjv-6k!7,!Zpg ^_Epd=*:fRLȚ%@yo56Rjfϩ'I%f}$3 '2~@4hE][͚HJ˘>ǚW[;}39Q€7`9ӣG;>IRxw{CuWa|MX6*Ά֚OTu.?*Ϗ!*1>VAMzUXUHݬ,!o@Gg"%³l8^ogMNbqvbzwߓͭ-HU`hhf?m+: 9,޻(Cړ/.HڅdeQ*MuW`Ʀ,kI>IhI4EVVbdnm '$ҊV|S/9Ni}RA'fP^6dF5vܠ6!Q.|uF|A? 67[q;B9+՘ށ鹖?d~}ߙ4M&KpG*axbq Yo"kw^HIJ6 #F@k8Hm=!7JOWLoPs̞|}Zd_-aE!^YM72X0 BݰڴQ'ɦzq^HJ*fa @$vK| )vrK[^c1gX6ZtLYh fKPu+б]_43f?*Gf T4ǫ_cs[U[Pӳ̃DeC쇺B40&pW̖"+\+ 2[m$) ^/mؑ^@5>RE{LEꤱܟ_I(a(y`s{ZS-gV{4 :ϧssSt Uc~ƲFڶO ;(/1?J{+Jz ׌\֩PN5d6U}o0X7PͤJ#a(@(*%]ʒfp"-un.ۻ")]Rɯ1axyčZדi`>4 N: E0uTXc}>VEa0[lHq1b= `L-Ebx;D_a{aaxs9<ݿL-aup\t̺Vv&9RmQw[tG\|]+(6OxHpg`ӼIY3fÓ&g\7ExXf,v?xo7"sWy%ov2fSc $NQgUׂHI@1JYaq6/nj<6"T(?H_aG]\SY1'>$3 K@Ƒ-Ьby0OaPĈ-t,V&a?'}ՐPBpЖ %p1,U͎|}^HSViEc12x(Idžl fCo~0͛fo*wӢ`kN OUT*_cλši[GǪ:nryY~RGa5tHc\^н{knf$2lSAp}`hqktzAB0kNv Do?UY(w1HD\i\@I9$KղO&[Yo&odh2]TCYzx/<sPsl4^yP?k%>/1t\ qY߉P hk \tDi/.lMҲ'^M7TzF<FKAPFϵrMXDZ\X.yH*PH *!(o _+Puw3icG@eeYMQqln!u{mj]$m1[AW14x*R'P|oj m,)E@dhMDfR_v<^'1h5((*ۜ?5ҧrWABpk2'1.: Mb&n4Mh0̓9$ p6E7b^; 5' *"A+M&VeMBӵfIHZR)lTy#c_#*>G!hj8Ȋ{K|Yp6L wdsS!GGe@ɅK-~v!@-5H VJƔk)<6K0DXS;ŜmFۏpr{)htSG.n&6- KY(UDXP1LG%Fq!K77lsf(T]?yi~(hƒq%̡́WL-|`^2F)2d%.2mګ߸^9f | f+[UF͓D7pZ9`Y7fv3D'ד"yZZBÎ|uKi31sVh:,NgcvS(PifkM\Gb y4(o8F{ ¢zC6.w@G}̍Tq0 D(s۪3-4Ξ%5y ТY>_:k'>Fq/ WxA܍c7$X&í} ;kps\,>\85u/)#J1mTR5WPR*{6.U.`Xп֦Aۉ$Tc}n}fa4ۂK7 Ry$_lJv)aX'',\nOݽ M&4ۭd/[Zn#NKKd!w lg_d"7 MR%[\z(aY+bP3ī'Ȧ Ɯ_,,i~H]+v/v*3"fq쀽] 1%7́Yjkfe#7d ~ iQ_ N~LJ3+R ).^sXZu\1Px$i>Rtvs (h! !EYH(Ż,P]5zRNJ%RDF8WŜ/pu ,XVuz4&o{H>;41(>-uH q` OrH@:x54aIa:, A FJ>~U0<2as*]NM%!u|2Iڝ'n +e)v2l 4kͮɄ­496|3vxre%:jg,Z5?ˡYOxt L]F)3b4 unܧX\}zz"i߭-cpu; TީTun gv] r8 [ޔ͇&n-h}G*^!Rm%ȠE{={5`tszYJc` NC_MFd-Tו]T'+*c.\|)3lD_c2Xl/aϑ/o oӲue|݌p|dz0WZA,bsd>=!Tu$c&iLČo %gYZ7zXZִF! !]ŗXiɟv s3mU!Az|ByR:'0Od8UᗴQ7k)7%Ŗ{Cx</-%Yעl^ *7ZRɟBYNKzbyi ;Y˩kab=n{>~B0d5*.:Ui3ǟWA?+3!伾AS49TZI,N*\)NB3[9_(0+GWOoQOl0[0.hY?w騃Fgg~Wt= {Gw8lPT{jq`ۥ"st+%z~QzʼnUι&lP.Um/LsAqdxFp=Lƾpr1 X[Q(}x$/_Xp{%&SR$[2>|A|+>$zQw@aoD o\bM*d^fQ(21}<)_!Fwbm=hkV8\Z8v>F2ch{442FS(y+Mi|'iJ54@?}}1m0 )CAxTV~UpO.ޮm4wt %H$3ܔE zW(r8c ^ 'K_ڏȵ?|Xh'*8E#c Qn]ބS[;W^'U+e?clDfjS"G_㔁c:>ojDYڿџ?GFMV?=0XN8EiL ϱf9H->+B_[إ eb&Qn'?wqH*P4[L:{PqZ41cBk)uDj+~KPos].pzq&M aT6[ØN ɾ3U@NRaKYdUsEK[Þ"4 FQpVb 'e^n>!h!'K'tpu)!-Po?kBWzi8EG˨;RȉEB宝m1d~MʗCѰJ|t9~ j1 nG˵3 ֵý |yfaS$<ӃXĚVaFr*כKF,uP0SCn}5㡏y?IRa3,-0(9̚&xŽoT`-&LJr_,:kƿ丟"ٰ޵ n`9ΦWyy.*uԮ.4/ۄ~M5Lb<@3- 04lՏ4!WV-Ti/+I͠Gs ?^~Q M3wNK꤁/+q/;Ã+,H LU>G"Ɯw#3')uCe18 S:]{Ϊ"9܌'t/?(B.$'ً$^!b4ZTFWUZ2 7BY~mHGڀ,,j A) OBθ='1y*M$xw_,-m8()&LHu7RȀWX80bF@z^Db.5><+&.J(BU,S AȬnPeG Mo d}{.x,!3m;^@#mЈIAhpy`$B-rwL5[!B7z_rsO&%q-FfS$qKêŒC7`gYZ7zXZִF! ]ŗXi%Bh.4Է*.(^"/ں1՘BNTFPTgD> Oa(K':r2q2i[pVS9F_"'0uhT Փ[&z(ԃה#Wf Ic{XKH':KjnA[or#U*b` D'8 H\Xs, P~ 2"VZjHo%|~8,_=0ӆ)О+Guլvay@gc9og\-@bD _ ygE$%6db&8|ؑ+yj5 |ugF 7%+o؂[s_W-wM| j?$`#uJ{:NP:b&l( F%56 -߱- vPyӀK%I ,|s=/n3X-I}.JrW$cVꖵs RϬn-'Q+Iz,lXb!lúKtq5!ERC E[~'t .͚To!!!r K@KzKd,૪x0J&eO!7[wUf'.7$)\(v, &017Ƽ<6`S+YLR>LGg}о<x&Rk q7kNI4j#7&}nh򩣊 sC?9=*pñ9) l0Fg٭N#8`ku Iů`,XɿV%Cclh ,R)N$CoY.̯=廓T ȬȚeϗ塓S=tߎ<X!1(oIFḀ~9Wk+!:pM|0V-tpKo Z%e{nT|^R3yis}M=*FMOܕ_u^7IQr^AF#1Ń 7tŎy9knf^;8r 8|}>ޤɷ0s{BNлd-a]oP~:>q|PFe}Jkwm-eZSS,O"J;z^JvVɖ(H@jfo7iRh>p\r9{{粵,cS6U=uLzW`,Y/y|JX u%& x e!͜D ,!(hvD6 (un3Ɣ X~_Uh$!9P9kkC"!)WȌ\ܾ!{.ް3^<^U\goQaYGfhfݠ UǶ nk*3&|wBf4M0l`VcUa~Q}_c[&DO{Oas| \λLϜQ^{#$$4CVi 6CjFVcE5*X#;j3٢HR$SH{00*$7 6`ױMzV>PYv ŁW@֖( w&}NՄgkaԍA+Zd5Nԙf} = }V'J4GYa?j.=<{ɮи5f:LB)qOq{yp~"n %,P$HUx䣦G{^6RN&(|p=s3<֝b:uD\̞g(K,=C XNxwؒ M.ms8@;FIw\$؝bN4 >b3~wO|=5X2y@es_arM/ n%\v0~zVdlyG׾拞9xAd WK܏l{_m0QhɑA_hP9p#J‫dpd!csHdefIO o#"hK5JG:hsk/₥&.R ^<9f*HEy"oY ~s*(_ZrֹEڔR8hWs$-2CQ'jؙaYCqc`pie> jhƗe #Z@7@@7&#$ϽR}d37_ʼnꁕ:C *@bb]Vf> FZ m98'e'@U PgxlTDnp9ө6m~'_dYVG?$5Qxqnh׌%w[Ȼ$ij4Ypϴ{%h4;ց(6 S\9嵫C^eV-xe(thJcfEcgŋ9~>D 'j.iG*w(Lu^!9ZS--p`aLЏ]zHFf|%]WKRF6.]0ffgj Pb)_r=7rNy7|; ah )`z8:2_.9.؞zOjD~MuQfƟ;? @:+JضGXLjm0G/Bfz-31H`|T0{SGi9dw*sbEɂ.{ K]@Mt$Ff*4,>(X<e ϴV Eh qa#Gta#PZ#zCg>%<:7Q,*tw0-Y@Ǎ4Is .i>ĥ1V"<\^ld:3*)Y(ΝǙSPoSAdOI& S*d;5G=*W?\B )]T~v#(`hK=ex!1+n`0Y[$JK]d8Y7oll~_عC@|ڽrVڴ;JR$)fo5d垂^VLrR};r'_0 1Z4={b[$zk[s,|nLxEAɁ"/nB~a ޔDl_0fXj?e5vꪵf_䜉Ę1⩽YH5NNxHrz>D@"M8+HWtf= k=u{P,ǩB0=x̾t&X$t_AIp]u _4'~Tf>8̺Gh^NeI;M\Ut-!3oo!gN9Bh2θHEzOp5c⅓/bBDODUPü;R!ZX]R&zC,"B/n_ {RVݹ3m㰸1{eb"iPoR8y4լGR#wℊsQ QobtQ`e"z+miK4憌蟾Kb`w¸)D00 0_WjWDWzDob=KsMvl|sƒ:KVvuII_(%5 0o}^ XlRoٺY`Z\vBFmTk(EUtgPW[iA>QM!Gg}|Ĩ;.@c+&+8- x&jNJ5+)Gw|.l>vL{~䩳aPf=~ȟIu&a/ٹ/h8 vr):?8 qECK>S)ZYP1cva` +  b 5IDQkM 8m@Xb^5Gep|gƱ`bBsqVf_in|Tg iX"N{J(aA.R4R ś[וbȬG` ջߞ .$~ 1 Y$kj9º KDq2|>uqB?F$L̞]2Ց]ldO4hCG&%/$fcSE 5NbF&2cev5 n+62?3΢ / ֽ ɨep*;ltD&dO3h߅Q**O bhPO{{GP73G>(Mvaz ͶyGo]E>w)"6q e||5CxV0zcSw΅\.j;NJ{(/@<"YR[$*/&:vN:@VsK{NmFHC[&gaABPnL^ja+Zrz׆vU5'ߓ~=6]hO=ј#me4M^F{T'է,1 GT(Z7]QGWGҌ":=jO&1twwWsb('^uGhw%r׼n@ |<0@s/V9U.k_X0W<1j&}}ρbHj ox^!P8dLJ>} u?jh/9siN[쁘`uyЯA+2utE '\d٫|[}Ʌ7s8;Fc1^Dh1e OaE>BQGYEXKTIv)L?g,<+ҤԈIuBxgfv dqq7UEvw3H{HBdRoS(BKJ[wZ-6A;^^O/4/9p#x$ #D?Λ(VsT{HH E%}KyNW΃q:c8FKXp7d+n&d$ͣ|0d+;=XkmGg7X~(%HeacghD#.,7 rw+xJ!w] lڋT)l?_ک*KZVBZH5! NDnYH*ݭ@D}=ś}r{*(sx9q⏙rj-54~Zro;mqj@.lfwP,z( /l ~YULxZS&cHLm8*4uԉ#,*Y^vu3bbX*x$leVq7%㻒I=Grc,.2IW+lQ$کv ѱٳuow(mVtZcB:L[AOGgVVJ&:Ђ1] [n0D"-e03{6VU:*|x2 LϞ@ZYxXby݋I\V\<:\6JVd.$u$Lwd@ Ɇh{!p.zˮ_loZ3c,JZ;r)x@iE4!:'48.n6wYӫFL ϮiZPk'ǁ: OU2ZpFꌚ)P%v4$`af^q'}VIh(bjY@ύ͏V`ѽч_&K9בk&"ظZU0cEUMVBqfBBEgs遄|/bI%f-jĉVhWb%V* ,ǓDͲbw+}8arj8Qd.ZEk/dZr(M7 rANvv",*^?5TRdk[}Eђ( <n0"d(* $u'B&`40XT^YxTmnS/ٻd?f{$56;X527pPU0Y7}]хY0 >w^̧ ii/J907Xoޡ.ڻ# ~u?]r*h%‰>sCN`fUE:Rjb"lʈh/y8X%5w$5)J7U/8WVN!@U\z8rY5y."ep/YrjѵyVzG&l|'2@lJnJ}z9RhO%k&#fF=`jQxv%+aD8ZYN#3rEpƦ\e-?=t*01uL|q\q&~[5Ku (UYѶD>*5Bq;ty Cba𐔥 ."'>)"e|@ ph,XK:);ֳ]rׅ QӁ!8pN&Q\6COO+&q`G/o˕#"W>\p ۠ZW`c(f]S{l6!v5Tq(bY䝉3Ɓ1/SKPlD)mi$# J4~0-/?>އ *'WfTi7!{D8wF\s^L;¸i<3`]ĠZ4/;`Y50"ݼ,Hu.&ǂbױWjp%tkErE+<]a6 0]PFk Ϗs>ˡGk6z<1% fXt89k2Yp{*Ư/Bu6/۲NS)Ǩɺ%3K˶^<l[50Ӟy_VWEutuL.Fp}#h'<;*܊[ nb{ǴZqWvz*W6Igv7{'t*}'FVr69K/!xTѓ(Ӄv5wLF3 $s?@|иdZү_y+@ьZt7}o}KpMa+cgЃw I7@M0%tȫ/vx[ uk=0e/S'=&: iOof2:]h[IrD2nfC75vߒun&C<2951C|%R3MqGP0j[ݷ}֕vtçAE"3e>$5uJt܁A'&J̐ }AG r }}_fZ6Yokjb:ETC!HAv#cj JF8E-7.z|10x Gsw|*:ɣ@d1Y j-L5KjHΧx!k'j*y* qnj sG:T'L*g7}hߴ"X9EȝvG^}:[ 7`ڬUG8v"u> yzyb8mu2i[e(z aCgcS.# LmopBٿ~^$w 'gviFV3q7>$$ O}*Fc"!)'Z49"*x^uHob- ,S]Oz8CM[^8( {:(f ҕ~J@Jzy)' nyƼE]_HR9pFOgmy7FJpQ=IPQҘȧ)qWY`D0JN9e50δ`6vVYzU/_w4ΰ 6lOn=C{R"Ge_`CuIu O){nu2h`n3fv'e"DkGN7-|v$'n%Bu@ |%Z~ m+[,?N%Sq w3vIQxl/pb҅DP'v)}Ia'(*A~R(NTeaF T}7րb[5) 3O_+II|s|FJ SRd 7܇E5 bK}H!="i+}K=g[%6.]';ƭ!0{RhPQ?E>qӫ')Ml"Wv-"PHEC8(D*g,uTGO7 RYa-\_e~9~e$Huo <%UݒGeT $|y4. +a9GM~TA3rQG ؼ2fD#5݀;%K._ZvWJdAۦy|(\)$,3y8O!STT鿣iҩŨb1\ɋUZpd}AKM lju`AUJTi0K]bHt0<:K݈-Z Sˍ_{~iJi# πu6&{m]*FY)D y /h(K,kߺU[s OejL2{JDur!g؏R` ۋ Scn4(ӢTn6L;:-.cQ gǕ 2dV!{GK,0솄Y_\ yCKR]4ՕuNgWM+ZLXc6dS)t^hbu?̻_D`i׶"//DI'@XNa%ĩ-m 82ܿ}7t'XT3(C& *f+q%sr[}>1hЋ4Q;$ȧvV \{}o2k< |m.H+*ރOLIkp1N(O+BߞS:%h_>Ѥ磪RGi:ºVac{/Ճ}7l;UޟRv _{c#Vu\d9b:2dA/5Ճ0pG_4g^sc*Y#Ʉm>¤j)*J`?TERJ.D%b $ N g?qφp(BcQyN"Ka0nZ ֤ʀ; =4wќlҸ3#q &wXzZPV)UpH{ݶL3iCt/2L" *n℀/dEDu%XK(xqv`G=b>PUGa*)= ڪլu'ұnǾ>y* 4㘂EݎG}ܞ"$OWˆqOgfPP*%bwV5W8Pf=qn/o\G ZKRlR"6X$MQ[ 8l&L^V/Vkw;!ah닒sDr {͐|2_oq`h ?WI ᚙ̪ÊB[kHgcf#qb!qv}1gġPTN(<7 "5Si Isŝx֞o{ TebYg$7v@5- .hуղ@CJYzj6--@×IV"\dʶQJτ!(yjg!Nr|_&&.c!N奣cz~ j!1ey鏚j܋ ⨪E/ bCTTt {x,^xn~Kx/>n$?O1~ EGTKQfzhǟvV-JSY7m[)n@Ax Wo=hwL(25+˰5!my~^ݞ#.:bg fv7(;z'x3:~5 6r0ث،tғJRL*kTRCv2uLl);QL҆۰t_( h2aAσ@v^db;7[h8Bi6Q9|];:Ϋo<Xe(M⅟J`I+c )af^wdyPc*"6N .]d{ӻ7qV'1hONXnavr;ۑN#m`i;Z%VHZAu Z1ݔ{B h`#d" ӕͅ<\+Wic#aqqv|@B[FToN0UMTlu$&vR.F(,+6ݖtƄ↺*O)/YW:\ö34#9%Woh \*r.brF8Z5V{q?U b͡- %SQ'h׏I~?2ؤ_1V?asKRu:>QhD#jcڞxv,U³?:] #AyS ޘ4v!@SØ! 7ލS;Z>} %Vf[ 8ᇆL(2Q :+x81_. VkŚ{1'dpw]i )~((daZ}*4d<ޓ`Ͻ`iRVvٞaZei3>J}1κΠsōkL7!'̯{R XXcfĈ1 3*/Rɀ1=RQJUP]ڗp6Is߭NuVG_|=; ݢ+3cOipY>8I$ll <ժ\gxvLQMX4wV+ apK"{ nLaX9aC> |* x>rOO@K}^mE!ȹZ6-~,~!T6nhТdMV(7W̗(})XU'0W"e@%ls!id.C.)5cu+ fVߒm !/? J43gObkQ l9/mrXbr{C I,{2w*j+ Smqe;H]Ź`%ȱ%ڦ1B0{Ii1Qsՙ҇%4C&@5c-P0O:oF n6 Ku^;S@e 8% m @O$ua 2:K/4sleOdϼDtgUDcj7\ >љa}l{>jJjȒ0(B헬,ssInPtq|q ЮΔ/HLR8RNz'~9~<\˅[IJPTj*ƔUv2 :dP"|WiH?/g#B ߨuS@SBk/5;2'WIIҬ@&liМμ4w ױ|7 IT2zMξґOM*eVD:i~7Oޠwp92{9`5Vxa?OgP{;@v?㬿r8>}DhɁ;baL GDgٲ$ͪYgz.w3|IȲd4ZPL:3-ksiO#p? g]ʗXV.|C D_ޮiX7?,yj̕*ҪC>dhc>knUQYKjl?f6r6 ;v\ܭ 7̍#,vJl%-bi:h"U`p@s)mn&ĖVkF6_A<<$A-4zVmš—̠"L[5+'Y.VFN0+خݥ{S[ j͟ƝEvhokBځ GJ$FJAWl 7un1G!lSYҁ[gȫ-B,^cP)Y(5 aIDصƌ\EX0 o2Nj՚SN>,`9T#.`h:[\ .~hvC`&pG4<zXS'c4Ĉۢg K"DX/_T%* ȂF}/G9sq%ꨄ^8Eh h+خȡ]lUwUƛIv}rZA]3;? Ōv7ӏ2/֠UiGeL>+Y%?|BNcw6N 9F{U9Z!99dCߎ\t EQ_QҤW@!`Aji=&S&eŮZ>- *DD51"4xǐke)^an @6*K @NDC[$a@d 3)E@Ӊ\UQ+jn_xHEQAބDL4lVDx2"dd{dgCJ3Rkq.tubG\/Kr7Ď (;H<N@w4.E$JKڑ!R4؎0Dr"h<q Vqk  :<ވҚ|ScAy0䟃hvĸm-Vk&6̛߆0dy<O˪#:8]EX\bcsonY83dgp;LH01N)1Ԟo?StLLV@Z_sH&q3 ?ȵ0[y𑜍žCYp7nMާ<t+/,S3=p])iY}˪x)WByD6*cK lUȁ;@`99k[/%cQȚʖerbǐ+GQΠ;t; ?Tfh=%aܻ)B ^s8a+IQv`F@^YCRWQCJ1)ng;ͣZ ̢_}G@KQD )z$Š7yXcٍ 1D?@q'v6PW""_3ٹb&ޱB:ZS\m)ALiXK~#q\yͭ%aE+1S@>Ҿ#qT€/FVCŗnoL㯐d>=w O@7@޴v,\ӗ-  8aWDЫG|Z%.ޖ(J1]0^+I蝂?,dO{[{8G ],]GFJ5rK2?{cBvjN;_^}My~ڙn1c 9fW ̧>Z֧Om _|L(rKbq.TD{V#Y1A|AQd1 k 9/5lYDq_w>GʘPcУ"Կa9}~yHxe pc8Ҷg-?oü(1FyYrom Co?##%~ kN|`:g- #J3 ՔBu0JIh̅ -?3n.0҂ڼ(MV{RcYK5trwx0'$lM&J.U;kĹ@8g.J;[,=*O q?|$/l.˷= #7l#Z<+.Vey$&rAo>y0y9̢FQͳ*^X^X7YEWyNJ\ ğ58D},(U2%P\d$f xe /y5䜅NqS|+X$9 ==b%M,}\kXIN#$>~XqfBieg J[@T-Kܵ.Cn|;N]@kjZԀC4hvNV6DޞhTK6r͍f`Rvﳅx5o|9el>\hr $cE'F 7(Ψe*I"&y-F*nRi0_]@"UJ"g?W];7hMpD]@j mf?-[*@ Uڜ>L,ǯ@RڮjYܢQ{mdj[ ^iL* >I7rҭ6,wE,](?#M>oIZ_F1J~i..5K/wlZbZ0kl4 s˂1^yv⃦iĝ eX)}dKhD1SM{G<tVOЮ`%`LTRA gPkF%\QC- n|kf^%:+dz * oqߴyXm. r{`ɡAraPT4("7 isʄ6e\y:l._]ِ-,|h0?wOhCݠ%PED^%?rk-?J/EM}7ͨdFf.6a2v5m!=I뵷hU4HQl V82OEA7+ LӉQ.ڧ8^4\4T˻N~఍DvJ.L GnbΰpIrq? 3ܰD_Yaޕ:luO޶eu7mFەTVldd b%yϻ"C`34äz9Hbt߫4w=ZS@O'RAޭ$yth)lڞDJe\`|J6ԫM q[OpZ ְ 5q [=k>?Hz`q5R<^̺ GCvNkXT&x1:ᏻ2R 䨭s[?U8#Ȭd\YZM/aUð}%w&-m&nX:I ,1rT5(C4B_Ď~fэ (bwj>[0cLmcYxtlV^ b^1V3!6ވ-;{T23G$YPdڋVngHQ/dn);Z6ӛ[Ftxd('k-8SaMbn|5"S)]1""l|'/ϻS?Tn[>eN:3QҟW3^BbV^H U_7OC,5zWEf [a!`>@73ʭcɴMv}˥ eU*d=HlࡢՌk:ޗQ$NbHN+\Kwg :j.*?M4(?FؾǦ>F^{CFH{KIչܵ@[y LL/ζkIoo:H^#iI8)Q} !q /[oT;XԌ2H$[GƷE'HmFT[x?.Vէr50AZ )WsQy.5p#YA҅~v< ¶"p)|2-)vgӰaƒDl2kWS; 4~-+pzttvs׈Wd-ĬtW qM e9C'pWI4-!eAu9?=ST]\Ų\ cHhXaK/|n1tFPěyʽ<o*b ' #ʁO}HG>Ҕx%D4P":(]C/ "^bO%Fi HFF,E$`]yNU cSE&Gkf'mgl"ot.BN$IUM@1i xO+B{eqe`zX̔Q:Gq|@clx*1Ʊ34 >e!AwEF`]PQjpi fX'ɏmB;Du0mesce5^ׂ}Zj g'tx.d <2."'Pku<]; +&/nUBM٪ht걤wmz`])K3Jia"Β?Or8*8s\8dbPb.L]vNShbCOj@fnoEX\pQ`-n'S,/HBSNȎ9BXY$V6~Q 'It|=$ob0Z2oHR9y])?H;A VbmRuq {U?&k>#2B EvB#zƍBXURzmz }%P)\ܘSS:!itmtO?h9~_:zrE{qTl)O݄X_TxtN3ixqx\:Zuǣo> }چP$L^u6}FPlNO)P'T"cydY$I`1Dx}QB=^+i?Wg41O49vA뵧˹YR7*|H^ -6;(=9_ǂuHvvӹh*eb5 Rc΅{?%н6\TVpnK75;[{_`^5kGh8%79ZRTQ.h<߃;̃ixÄ,:v%Dq ["FhbecI{uc؛ASlfJL1m$lb4_S'z-8K-`L|)$m_~?7B[H)5э~9hm k"DHCe/'8!cUatn(ǭ"f~՗@p>Ľkb%)D*Jg9VQG/cGS#\żY pIݦJQFM1OAY(%@x:&v@KXn>Tg_Qr[@fn'In'O0vnDWRs.|G9I`<|RG>ntL݅0A_Pa#m4DZ JCاɵ8{~>ck1 )Cg8? 4`ja W_ЊfK ƪߞ_g7ILp:֥9ҚƈBs[ uy9y\x*fnd-}cUP%ge B,4H~@*z\ܙ4;n<ı5Д/F( ~|8E'P1S@$H\UK\6#r{ҙ721L(k2x֮x<+PK^3~is` c BRyyLwm̫ j=CCQc!sSi~k2bm$}jp]׀/l*;`3?!Fyj 8yP=t/1#)H=oz4ASDK` b5zL^p$><7MJcwnKp#iAO3nd!QJ<1tJ> n|T^c\:V&dv3Ķ-|4^ aތCeV+{|hkwG,Wb󢕇S9Ƣ+K%+`t|yEot=_ rVr0β{q$.Ϻ` AOa/֦:Ĭ5xv4CC%ڂ,Wh'H6K ۅ#6%2e)bFC~!F8s8<8 mc\ǣϭb0;˘~6A,΋(r_ bo@* }zcBK54l -qoP=[ny !!wsH( m<;B1 K!O#{X-BhLTqF_5^=3~1;i6% ><'N>(?zSVsN3d&rҷ>tbf-: N~S5scYu3h70~T64Stj9$ v<]ĭrTcg~ vnx*5ZIZ@yIIMtJцX0)MxiLV/p2iF j߶Mű Lɟmq LQGC.cF#(>uWSX2{`x3Qd+>iS4khŽ]sY(Z%heF׼IcUd7H4iPMeT^A{.'<чA@ь<-;OriPieͮ|ꇠH,-x2Xy)DJ~]cc 3 KpXz-A?kr!`ANtwcQhz Op/Vݏ q+o !ąw*ߞltaނMѸeoKx[6EW]h:58Χ4]\L ^W54 S/Zm ʖM;jx,1J[9S>_bNyynsc^n:0\ l2^arԘ3_c]>C֒=GX@f]ЩjQfg.UD!m QaNmF=Iu&JV8xe!f2fN<0 LzI/Y"u-1#Fz@s̜%3큔hE\؋f/@7]<&ۅ:"K1KAQo=r]P9<_ʏ=:/G ё^rYr\5 3Ɨ$ ^}_jy(R=5S): d'W xs򶯂I&û1? Sʋd@,Ҵg,| 0B[Ɠd΋X,pQDHרBז7Ёڜa!ʄIQ66W!-Y4> 1MzFv)dg S 73-*Uoia>+ Nhlg =DAe/2CyT|2%?0ׂ){U|is rHe&aD-1B] ~fT./ 1㆞lx 39Vh!<^pz sj \OLn:Y4 RzJ_7O2jn8RC}JiT4OcA$:](>}R[Ӷ*b=M Sd{=nLZ grz_f .c_@7]aj%yH ]D,Ż-$ dS0b:0AANs7;\;Lw[Bt|վw? 82R[hdaZƟ]3EPK-9xQ*q7+E^o{rR <@"c6"OtdF'DbF4'B7@}*%:Y5qq8kmoBt.j,ʧ=wIꨗ]2 @Wae!b'>ڗ,hsW2.v*leQ}X IJ5oUwz,[بLΞݿ,JWu5wj qqo%,վ@G% Rk !^j^d?mJ GL󎼚ˎ|xe-+"qPl_B ǎ O =@)Q젋w=ӛ/.g$]OF(eD>yo?k(xp$P}n>ňauy#YC7v,qWԁ@ d?E,vz0 VObzRF(}]M3InŠw]ހ#Z.e^suNdYmJ=J|EuĬL:0l V/j4eGBq)zAt6_oUZJ@Cs p!^F5X|?cHY CCv4 Qز3m΅wV:鿍q:,>(|l|Fh>uQCApkfcwFdy4柵lr&4խB3b5?EhoD9QH-Yoa$l H{["ގoo :V{ls^M ,!u>,[K>ɄBaƑjpBkr9$z.7?Q5#5X*b{ɂJgA;g%\U&"IcUz'񑧋Fo O:66qK~P+DxC=MdF]_\;vFp5znptC]ɣuh隈Q VuF/ crV_ !_cX MV\;X@'1k U}[b :hBOQ|vBքA⌗ԇQ4WщVx (x.,)n%_uZV\ڿ5BM/?HZeT/fAvF8-A7*暣`W<+ PYmE(+k }`| -nwGt p)0cLf̧n|ϑCCiG %eI:DZv0 ۱wO3m0eP[˝Z +)ki]7^!$  pyX@ qpװK0)wB 7FoexvX NPh5@<@&s.~+^{` U"0~O( R?}6Ch8NK1b8[ oPqN<>ZJ9P*Y~\blяjtj>(Hn[)+ԒQwaB QYe<=9u΅^)pᘓD~Sd)uǝѭ 3ΑEmI*|N+1JhjnOp$ ĕ} Oocl_Eclk/{$ٴKi_c$NW/;sOVb9*4s;ٖDeكG#阶oUdņV80ӐcuMW>ʮɿS{} v$i_(l..Ra X%WuMa.34Ј(cտQ=L6܆evqҿVb:`|µ, c#29K."-馰S,֗^!ۊ}Ӱ( Kˆゥ4cfaN0Q^O`Et_a7~G[^Q>x\sC+p3G6 Pbv3eZ܈ uXv _eǧeK?E$G.rǮL\o`q9i-׫!\$)m]A9 == ,1bW4z8Z܉q40jkf"[|d` 9iakXVTaF3ඣH`|! ٲ~-Yh)&K&P{HM>T:|cW~m80k٢|pg:Z,IÌjx6$݇ґ)oV2gxf4L>u5 yf&]#,F!pL $ d Lvm~;+) 2F6xdק$B_X^`+;+X y%;y1>Q:=#|6DB}K($fd!KpTos t%CeP\ՑatC:.M5ji Q}KfM$[ _ X\]s8@8ÝyӀh?E'4HXd`U3&6+Xųa__=qaCOw\ܝF/􀆌)VFu6oZ bG#WNꁯw*g`;hUڴ-#2l)nT+oSI& l&1T?!"J_(0%h6gL:( 2.t1=¼loJ+ #\aj6loY/Oxޭ;:RYU7 vi_Xzi759d|v]M¥=$cgW^)⼁گTqvƐi6[g0x.Q&AyI\E'9U(q‚LQ:kN z|a{tf{QO/nĄV`c}v܅dQ*b(rb\bu2x [bQj'+1 *J8/d2RA=ԕ|*/hm~ of[03@E74y!1&qzT+.Պn6?D H~j5h|ы7 犲*-\6<w'Q%ۊ`\ fFI>^</`fFg< HJJi~Mf#&;:{ǯX=.+ @3ۤ$4\uzcMW\ @p*sT!=He-vc1vړQtFO+,eM- v{<Z\;(_U9OL0A_WP甃J]S!, @Lƒcr :U>ۗ =s[:^A_!9iTыa;]DYY*β, v*Epo ]µ +g1F[8q"m,|E#jnͣ7}-q;fFް 4)˶Qc, `CK Fۘ\ëǫ-i+X{13( rqMz?:Mo@zN'Ð: Iث.f{azv,fHlfgV{3;:oUuYwuzOr'YHҊ=0C+t]x ,;_xL?ؼ4'Ö .6kĒ [kMNwrb|_ZB%I2omN\Kqa/H!9_9Um׊PpXRMShOD/T@b%ޗK6L;>U3zy8Q5O&.&`E3SO~tJ{wPG%UXեa7s tch 9IsZUfmkESM8 PָR x›B+/ҺA΅J>O ,mYThS/j8=UaΥ< 7{ Tb0}(E {4IC\LW!3Vp}Z%m@WJ %ih#P)(p"OTV굫Pivߙ<8DK~\C$y ]^j79P\—_smOjx'% 3> }Ԯxs3.R.+Xc^ pXz.;.*܁=bM UdS~>7?G2zX}P?!|82Cp%288g,ZUdYlT UV+M>-M*c{1V4Y$+*c/)*Ɖ])+G|xQ;:DMC8'瓰gk۹$/yR-B*xM#MFU,21ADCU]yYKDծGN\C(W'bZ0I-"=\;px!+!l(*wT J115&fDic/6T4>Q}7JSPwIs#FКov58CQ0|ou/Z?pȰ~Ţ._>E S2%{ e&MpI&&j(i"<\]pߏdoB4E>%m*2 dKt-tdg}0KocNNηxAIvd_9v!`25~a,Pg 7_ Ry1 ?_rНI|#K nHVd^px3Jz m0]dkMj 5=Q#ՠv/h_ KRlul^>{10 m ֹX^R֊YsNhKadl-?lresUBqz)r/J|?I1NBA5jnuOR@aLY5]UB8i]TBd<=emZbkŴdiNeǘɄoTWĈwy <1I9`%tKLA$Yҕ0-k@i'= yro7u p)0{Q(HZH2d\ ʘsQp-_O?Mncs}Qr,dlTo[q뼤B&q_VԌ YI6;oTٴx1":Ԭ?`!ۘi!?] <o ҹF+au8]WNkWA PLP&`b3GgeQ?D~$sZyyEqe9x';1//o%EfTpZA` 86Cmn$%A]f27Lyl&V¤ 56PjC)}BsIt2XD\% V/5z&l|w>{$sﳳ2  BN+ZLwayȌ7^OR_0 .(=؄ul!;_O66yt#Ӥ8rY lMXo1S /O"{7X4AL G?3=L&}AI'_c5L)?伂$[\ Kz77;{0`dQ Go俭Qn` LRJ xe}7-|x>kӌ2w@ҳ[h7BJ|w*V1qA֌Yv f]]GY-y ~š>"v7a2̇3OL= `,=+_jmyNj M#5;NE7."ȼaJY)3-"ǵS$,}#fkB10aWa!y Z^^`cpiB2zB4$~2)乘RP +״ԕPԱ䱢i򦾐4}3Eo8G ^x֋Kuf?R%Zh64X]7/sɱgYZ4084ef75bcde389f48297bdc614381a049f8e354ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 a35514489a8cc48f95c293b75baa14822affac42 e3728fc3c4a69ed7b48997a3f0572f128e2e46fc 1b2ba2f13de0fa4a05ec46de0d579816413f705e b58475ac119e827906fa4f1edd0d64756c58322b ae70f163fbd81a9868a4b6584f361404e1d7cb92480cd82c66b39ba35014faa343a2ea0796f3626c