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 UUo!4 ]I]CAVA_Setup:threads=4elapsed=553.298cpu=1931.432gc=76.696factor=3.497zXZִF! q38]ŗXf1-q恈͐7ӺV PV[S‹Z]qتjJ e4"V!þѿVٶ$I>fvN\3 VUCvƚͺB <| Ib[*x2qg"UK34ֺ "K'<9Ъb~>q~x.8yclYI~+ߞ؊֧\%34ׇ{f$I:/U7a,ztxV?R?2)'|B~ S^>r /ê-ihbP)ݛ5v,CN?~>>"UVtQأ!}7ǎr^"61ʨFv$H"y'h<ԸSX(zq: EIts:|['6f{Ξ_nyHIɅ ! Я|-\'2ѦPzDDs7oE-~CQ)OfDU~g+PIS[E+f˔/4!4 lE(D %i+Amʄ]|]G,*r HN vfRȭLr/O̘Z'SJqpe2x%nj !ڏzT,f:Q9°cY T+v2Jse:T.\U™NԴ+ +  30$Gf|o¬LsPlOUGoCe>`zC^ĥqj~e#X W=W cM؏sÔXtn{O.g7YbȣzL]b`TWQdLb0 s"?( V˳@] /ڜ6[4w+q[HUb)jJΙrLLͣP4pF r MPYt*[ x:Q8}<H ="Hl 3OWaJxlL B1Brp`1*l=ƉgoZ[ 8?#B;^Mͼ(Ig!=ײD ̊{蒃=y|w ÁZ*LW!E0c.,..dׁj&\\ w`<4\Ia M\X@bٝajRJoΊ̘ Dtj`c+- ADx.dy<7[Ą{"t2%1 \Kggj6-ڔ1cIB6pk%E (c<+~&u,g`GqyF4h\UlR]<K(Afʆ\-z&j$j9)*uNi" ̬&Z d֪!*~APkįvT"9T~PL(a*^ R4#FMwoLnLMp ̿Ʈ຦G<%ԡg@䩄IjevtFW $1rLIxOiԳ~d74QY "״A$;LQTWfX.YF+Qe*-{otHs7tS@!F@]+Q0MVQ$! %VQ oe%Q eN39J --= -9 d𜊴^#lt)e42CIOpSRx ?JYmA6d~KtG yZ7\Nhfb `!.~3~wtP, ?U ͤɼ Jcv0|-|}l1 S{4~%#Eu'6_Bw×d |ۆosXp[< ~ɀ#I3/.f)SM,*SF,9eդP%Cx82<|,GA1d h#Hؼp!_{Wv;HerAxtC=>i;3Ç'X]HAKɵ^p*aDWVM f xrB$Oc-E55;.exmJffMGf9U bpMzV؋)H '#YiU{IJb<%@:֑4`V֊tjBS ѩPw'Y' .w9<53Κ11Y,bzEeVO\Gdjg–O[ksj9x-BҾk&ַC96J|{aJB~Ъv D8YȪ1tuٽXp; ~WdZ:b-J/DWk5DQG?|)fujYGSw_wICx'6jʇe479܎M*IsVmIөcd|kZRg`i͈$)`.Jfe($,,U Az"E, LV MܼFK8r$Q6YjD@Y4Ǥ@L M`>6IکfqD-gc,P/dq9^)p&ULIg_:dj02(UYag; P\ݨLIC}9oA*4bKZlWA q1{l  ! CAVA_Setup  #-M1XDzbӮۊ@-i4NJBjk#;wLRNV![- 7f"~Y!)S<͂[hl߾9h:Xm3vV;,r촍2*ZPS1®xNH VqKW XV:Tf`1%1pzGUn@!I_ R;v&)%(n[R~ sT?w=Kk>/ᶵONEypf|D!CYH5_*J7i8sZI26`01X:7d]key.3blJU~ …ڶd;q&BMHFF,̂*S7rlYxt)nȳ}PxA>!]ݙs^4RȾfB9;U >hA^n[Vy47L71*9"_((a1=s=p)U {~^qa$*?UM[p1 :P#^d Ӻ uWqUeJ}qDBSw;0.#Ʒ\ԶYݽ<%BٯVUcm&I`XyTߺp:ݝ w Ft Z_ w^_'0DRG:-kR+3TЅTI!Mbj萲 3kfM ْUUKw#s)#̝֭;8_SHB#~b/ўهͭm-T2 r/huK^&(?%~[ ؖM4Q1X^ g3aL7q(؛_ٕ7` X 0*(8'KOju+w=i IbC])Xc`1%K]*zU׹Dw^:<^rWŹ@{ݝdϢ]شj]^lId%*)ܪ4]Cՠ"z7`@@֤(ũaCժF5e654lKs_Ǒ>́~-#t~+-*HU{q@-Q4j]n9dRR( 9J->VjH֢[*?Zn4\@9($+hV=\v\ϽИX#1V,ύݙSːE! mjIa~VBH^'A6-ӡW ޤjjNZr2|`]1Tl%m:8vJ`XDi<ćJ/0)MEVQgtv)3V R9aLRrpiwfhEwEj.$*ZLG ݸ30,\`>毛R9qTƃP&/Oh´߭eR6Ltg. $itgy$Y/M@6uP&&lnw ̀G im>x$AvWfIuݤ[5ސsWYc2]yqY07yA±ʼg LN&J1^.1NB4B\6i1v{̰ 78WW0"je%YNL씭H.#Zl®\ԟ$,_Ջx,XwM-{H(s#ax8[+UpyB MUpڣ'xg9"'crJeqWЕv+]JW+g3FHDv/2@כHnhʎL2{]G0*ۯ b)SބD!hSj,">&1 8cRnŐ}8)qҌ2v OOcK2Sveً9>F;x9)y]{'E6 @S_E:NZ._*Ry_>[\; rjSϜEX0o?a xrػS}/*X(6GP_C\ᤜL/ QϕҨ Rʥ&.v  C ;C [P͆ 0UjU9jEǨGdq ,~q`TF=a)$Ac3)ue~Ҧ{ᘜ=6Tdh7^\z>Kq=9 x G2FJyvh J. += Ve(4&uZD IC#c&TG1h;&$s"q[D<:WK3UP3D@NRqU`q<7+ʱ1)eh9AW=O4tFb*Sb2Uwzeʧ.Xu\XqE^: wr{!^3=w-AݕE ժ2tد8{!(A\?$~Pm\)Dd/b>!hA닭aOr鼝'jDjaԫ~tbB˗ ϸ^Dڍ/|fۋMUvNi z9T/&^H]>zGyخU]H4’b,͌s?Y3C GA d!x@eA-MЂ 9њ&;;Βg} [W?"!4IW턠uzScؓd->UM?fZ`č|N @=fePzbD~C  xU,nt6JM()y ^:807&~ U8RyÙv9ɶ/2V'~B4,b K#_"MG3fHVUTiwR `ܥ<Roe'caտ+mJQ$MJ{e{%ū>r:\FX߭ij;7"?y[$N&/Tfn0'- 5 ?kQ |ؕYU\*ƹ TG,i?k@$;lqqLtGyc2]K݅ZAEk Kn暁ߊd-i%gD+φE"߯qu: ,F>^KV&| )!QCLo)tK}Ff{: {oexH+ )SIvFb.Wd.FrMbi2=B^Ga}A~2!/k}/P13V1{"y<3F:o_k̵lSj䝶ٯ^ lWm^R]]ʧHZOixy,R74׽x/= ,M6c(Vܟǐ7 pZyDb-%>EtQɑvn[ <myHf-?dx(:ˡBbO8}q4fZ>e>Fxs!'lQnkA)v.Ξ/m-?TxU(PgקǑʝ z,<Ƣ8̻5QޕP[~9ȫ,?{c7V:a P*ӆ90fپ^8r7nA(솦H?],;ٓ 2ۗK^ʍWXBx=>ؠ aĽ~ʮ r[fCC }@aYPk&+Bҍ⠀b' &ir5j`IB"w#0%Hp!£݃2;EG'_{`~i nVsWqP.#?xO]`DS^`s3 ͇L5'\MPҴ ye/cRD'*;HBJfڽc_/`w9/ 1բHb]=oy  OTw)f􂸒u1IW:3 ìI5 q)msIO\ _q*aH+VusI|`$euf诘qOʖ7zr}k_-4-9Z&]LܠA xji0QD<]h$1\qеiujDͽ{g1:PAQ5,{20ytIEKtixi+8dtI`l~\%y<":%^XQAט"mX3ߟHCA0^]Lܓ2IІ@8[ OΨ7VӦS۩g̾OLn6k"\A']ȹ9lșdyhmYIXs5&1!hMǁR^W~N^IoKG6~Nr83y>T&'trC%l~)q4vO)HI1}"@U Q3PbgAGml-3a$KQ֑XнI;,މ9o?3{#.g,%blg>zFڍkZ GYI43Fy]$"DžX]PDa8 Bv }8,e@#ּeat"d)wdZB1oR?>TqbH3fL=痬K@p\qJ/#2UI%Ea Ϗ UѯEqˁDOlJQNce ǢUɷt8Y3_;,I0/z,9m< Pz.n-twtSu"+cLG~EZ)oz[@wm6 uڵN7T;Y#DQePaMWJS PwqTV4om)H<=ްD7U( mЙ[ŐfKVzu8ۊևRyJҔ8*P k<ڭpbo ̥ͣѐyw4TnhP]l@h]no*UJF@3wŐIK<.o e. C;s*/s,T? ,޷LT-FkQ3*n\rdXy a i=QBg}'.-Ӫ{?镧U]yG@j^|E*7`& %J-YO2nĄ^[NkI7&G 9b޷g .c9)F h喁|7(ۮU'b63P qiEG.MƓ &/ī Zfk7/Z"1:'W6VEu`Mc$'4q5֋j[q)i~(avձ${Q([eᶦ3beSzdo]7~ ̽LF J'[l++P ԁݣX` <&fO*ExP?ebo>e+w0ZYMa9L @ǟA M8odbKIY;*>c_lJ:Id*6WfzL`^ KB0{⚔B*۝{^Jnv_QYƠ.SN|D.մƨ>! 'y2;gZ; a離 4scLF wBH/yׅlʍAsM19 eZ ѧKa9Px}y#2YTHf|ǧ3"Z{+Fծ#c]9Yمyj:QXVuGf`b<;.htEs=yhN%P\X%$"pl."_m1#7C)CGa@abs?>R1_`.Y?Շqd]f='V1+isIvC$oa +r5 c/ Xc9e ڠ],q^M[v";0~: +Zfrur]~2Z֞;[S̝M:c 1gk%"$8$s. 豵8p704}2;d*[_DtAWx:)_ (b"Vz 3ɩMeGdGkv5UQ'm^W2=гR#&i;Rjx.'v3ZM8M{u׺Np1ב#g^ JK_פ PRI.ƞ \$jYqm,]FٿG(O\E*<"m]2+K&<{ޱYdW-Tn1Lx`1TTZan KM=MX0t"[1Ukş1&O=DO;wԋ<t厀^27n1QzhY 3Yρc~=v/9`g])fϴnW+f9&ufB1j?%}D)s Mu_}X_!M'h4u/"?{Rrc`HLh8u~2$CFNpŢbv޾: z{,FwpgOUl~0A~ HrM,,p5;A5st~>4 YՇH)$.}vm[cR((죡hERZɢ 7رgv *bRͲk/D~{QEN `~̹.2!„67(b@pbFbc=-Ή?SM+ymXo "N|;#ZC1ε U p7"M2-Vm.UaATr/$TH]TZ\R`g +ڂzZ,"hP3>TCG74\u}w)رT{TjjЙ'6n  tڊsKhfy,sdA<:§2A] ;iυU^<)紖#Uy~4Q^ ;@:5BR'Vߞ/Eˢo;xͨKyb,i4GͽUփ:ּ@݅(-6M5xAymRz8Od8ERB[ j D{Ã@XAl)~akܟy /#j 1]c%Puo>_kpL CHfw;ܝp;!78kpG^#mU ;} ɡoW]#RǻbW=x@is#q]Ǝ3)quo"z4!H{ M8 !/K[;<&'rqhBtg 5tL go2BzO3wUS',&~qvp7)a*<58DZ }?EF>I%6Nz8rk_ǪNWwWϊq Mb#!|f- :!", &̡hf*x +yP;hR{*E۵}[täL"ZND6t2|raw\T&UNt?Χж D5{AC`M;e WRD3w[ďVP+(#*:?_ -@c^uBv.]f?5hUxZݡG2cҚV)n0򻓌o)x[~S`}F72M(&'_3Y%ap?6oY\BAAFoYw.CM /)o(TQ+V,69w"b7AUd\",}mJbduhϊ+tzPV؊~Nq˪6,vHխm!@8֝⻛.ȃ-38"=ĝUS`R)KEds"q v EͱgYZ7zXZִF! !]ŗXiɟv s3mU!Az|ByR:'0Od8gm1ylK۽1v„G(2Gpugu:7(iCnI$Wiˑ Ȩ_1*U m&Nr0/yprۘr9Ls]H|((+$}+hlUM*wcf0Q}FHLc@;i㰇,^Czf- D=-^` !;\ $sξO^Z?97e'>7ؕgFg/3g]u[R`ڎ-a'ȓnE졠rHat[.Θ$"xY Ybb[W^1 !%8?G?L,Oؗua2 y8 SyJx w 9C!?OLӁcuhmQ~fiQ&W^]&d0k!-ˍ]@a}B28=̑(,hT<\Jg,:#Gbʡ`eCdTJ?ih(vO1K{_8JOY޴qcx\Rޡ| jR2:C z:5@q\> `kHڝ.5}8)e+dž@E0K&be&(<&rٵ~ IU]ܐl jhdڼ%7Ն-bS7,*ڽ* y^91wtH3$3IfqR~0Y\ Sƽd'P~n'7oHFyDu@bPłJZ%MA,qC&AgYZ7zXZִF! EB]ŗXi%B6Q ;dzQR⾉C>ɒQ٤'d΍bfp )r16~プ/<.r]N/8>Mseum ^$v䨠gy,C̓\Yor-摻eQ%0+ծdqEp0B@ _U;p4{G!5H>#鰚P//fhޗ<*7KQAA褑NΓ>ߡVM!X_Xi۝>؞K&b ⽾xMG+a'hMdK}䚃l1COFv P. 0s,Ҁ+g]j`ʽM ~I׶SA" &YՄ)ZK PmWHkw_<׆5<_#"sT9*`Ƶ$`3۷8A!>#hX+'P4HQ\V_(h+i6|*-$Q) T N[ܘ4CGȖq/]LF~Uy{ *[*ϊш]2XkpN7!P]?c7&ĴÌ&vaS<>̗`-3Xŧyepqm;w 2,g J2Q6ąyC@XfXge_x=SrIO)|eq]6dBRe}zx+h^ńŊW0=IZΕaRY.LcNVTX9xnuE ṋľ֖8Q<y\n۳.AxdCZ4 CjMPj'=kTM)@Y+a>^p)/>`rU}6\Cx2<$YLʶTBwܖUDt*2qXpLv{:)`ŻO Gص&kvf'HjV0[wFA &(f.bŽ1+RA~<+SkON_ZҨA8Jd/PмqUPK} Yj*| *QXȱDI &ZK_JoP->ƶr}9ڽTcX6sĦSizӤfz#8uj!ˊ׍YL*[yC2s^?9vnAgWۀ+\\z|Ӊp%=HAՄAwF,{kB)șVTǦawƱe-\X@NUŰ5\:Rj$tpi4Y3Q¿ƎDڄ\?^? exGJ56EZ}U֯9Tw +K w k(xU5k"1W­Z|v4Sқ3T*ӫC4sxC5kϥ>sx_jC5()rKcfS= 7LDBC#&YWbBPw:FDkPH[Cب]m0M +S-?Ac@|.zЌ"#hRyX=nuoWp ahɮ7+," V(,VtqVv9Œ;11OiS9iC-jy^w)_9;㗔F}F(.KӮ$-'{gty@t\hI}AQ&d`p㨏s==DLkqհIvǏ[_{ &ĕ*^t=ҞP8Q0q^ٽi++d*$y\IDjp̄:$Wfzg,Y}2c6+4dCFǚ4i]Q.e!1) R_܅ՓnU V>#Fgwo}؅Sl݉n7~I!vKfd翸O.wt<$7y;J l'"WQm0ys1Fq=ϴײh nOB,Sqw T9c6KJDQ|SLelA@ZkF.F%*Q9&{ͻ&%|sd ASQWI;|6Y5V zК @9ٴ$.A:8ĸ7L_Ixc 88*ckXrgYҮ}|,:q O7XJ),W7$}Ș]0d p@"gr<},/egדv!sGvƯŀOGAC鍈 rz+z҅pK2e Tut(0Z#NQJk\~l߸Otc؀rʅnq]! :Βxk.U|$/O眴۔DP~cW`!K̲~$M@dQvWp<+kN7-\pUH&j ӥu콤>ՉV/S<*&H7ڗE̽gWaBj)ٙWs3XHtkCޚkɤ&OQ(̧r -KLIt99e<_" . TX+"bv_Gu.!!BKmHNqthnNX2Y3paFT|O0NNhu|4G͐$ ]:^$!ף#cPKz Q}I 8q!nJWE?/s%RSB]G&ҍa(,fziFysZlxCʟ&YHA'k{aV[ >RT.|?{dkO *piJ4i9A5(L T@_я--Q,Sa;RfHQ@uW5̼Sq~y~cj=h<E:Q^2Fe2RuI9;Ws\`rn/Q0tD|o1ϑK] %!jۀOQ'.ЗU&Tۡj߼dxFV2y<ӺpN X^7KV hp̟c{vP(D(ckiLeA@bt92~]vO!0>!kso݇9Lܙ$/8|}@Ҡ>D ѼSfa>gqOOt _aR?r_MtT\Ca;}c}VQ AW[Fe= ?ZfՄ/}jʹZI㩙]j|^24}CG) SRG8{e"ѬK*JD붂QE'㷂2.n@Iӝ[ZU)gq 2%Pe&{N@jы9gMH@J۞g'\2x yܜ(!\qPs*6ݝ1^)x'6%c&f Fϰ@faP`Ԫ͘BJ)lw&89Mre5f]>q4PlAץ{QP|hL*;>V^߿}캉P6ԧ( mËvȰn}w]FqJ 0==VLjWeFFVf1W bSX|y,y@9ߊ)Dr5A%yr{/#H#a<li;Y8fHEtƥ{:SɂӔ5 Zg1sHdSoך@G䡘o; &/.11׀*ւ>̴$ :L*E].|b6~0TkrKZ<0&+F~BA)/oy_-::!n%U*}j2F~,kh?=vܖ6/(q Hم}YwY`S/kzA.,Duf{% 3hVXuM{h/8]ZjPof,Ǚ`RNW)DtMfFARȵrKWլ+A=*E#r&TSVQ" +tO[Ხ'Rl',1fC;c;p1/g)$_=˝pCIe۴x97֓ذ7.>Ô|UEʄNQAo*=ԈpdRO+8^Tfγ I0$%Ij=Z 9(R=FɦogԮjiX 97@ɼfڰ:u 1^_xw1^6դ&()0 v"GMClnSנn *sEz=b +7c,Z$\entaHÔ ahu[p G9:M9ec.hJ%1ĐI<:pI(Ȼs|hX"SYj2l/qDdʱehey 0K"S Jf%@:hUw vIAa)@ l'֞Ϸ N|xmhR5iD0_dZ9{-'wG<1/!z7ÂԌqҮZZc ďC߰h!ML~ȏs#8M$*ÿoɱïwЯ`cds˪ffwܙ߲x|1'|*#qnv Bap\,c:/Hב;7.CE;*k+ZHNď-.7* +P_wSwK"u-jû)_;o㉵|.HQV!}KTÁrx05JW/oE.9mG_A&mBgJ4lt,kʮFFL!95O1mý̯3?,+L OpMagkvV` 7s4-hA>% #@ Gq-,* !hMgգK/՟8#APۏ:W[% /e1PI#%(O^޳}&q w9yӑ[Gqqh#YG6q7ڐÚI(>7y;"OW7 )Ld@UGy.#fɤ;Ͻn̓:Os>K[fMwΚEP杮p9|q+ 8[PN:ҙ5Wv rŻ&>Ni1qJELŢQ2~"k8d .^o4 x ܏VT%LD)NC@q")Cn XO^-Z"]E֨cO[1aL1Ebp q 'SY,oٌˇ(3 x펩Рs`6H?\¥^6'T>!IPyRE;Gs(zTfpgt)meɴ0ccٰ]}^.ym`řV$V,QU=Hū _)jh[߭BRªt5JmլJLQ8ۚ~jF5A5:~K3%/w󴠁gb5WH}* TaZ:L5rO5C~;3FJƱ/\7Nc+4NrrȇG9z* C풧W:UyH6(Y~N;2eWNɿs]Aօu+^1OcA@UѢ_@z⺘T긅9oygUHUQ 13L cŽ<9Қ1Cjrs e}hd϶9 pdK,&%YJv J39m_ 環&b#yzY[.*ߒJTg8wku[bfcazk#TYx.5m1H8c?GJ*24?u0IT~Uq'F|7[V0^pɽMiɆ.p^/#꜃9OkĐ. ˠK9f93k+Z{6a S/Sp0y%[ |1Y/ԛYMʹOyj/ kH*M-x2cy+[qՌl](?&wzɁ`R'P6-,~|.>#Wia-2)X>/7/FRre7-#*q7^çΪ@Dt{ODZSs~=@!‚PD[NބeO>i^UށV}AF%OcLcNs PP ![O+Ek:n2?@^ꍶ|_ӏ:r3V଴느pYkjO.yΡhΒl怫vbo~\GG[#D܁Xym;zʰ9FEvt >+H6/Z%>ڎqrc)^j.(]p2%~hƜH2F낊1?Z~LH^+?64FE,k%"o*@~x~=+K ްp2Q'>8GYb]hj%̨i1L(%C.iF9ۉCK?~\{_Kw2;VR$|Zt簔:_ @vXիsbmy?p:g䂇P `m)Zaӝ$Qsl5Q!o{0PAŬoG GI*+0+hPu/@he`;* o FKAcwCVRja(V~/BS=dDԶ[%Ku+ ^)aCn7 ke 8?^/30mj|،u|i-8ÓS.Fm*+$Lqbo_ JiEfbh uIG"ً?#AC`*:ؼ&JGNy" tPD )SzwJ~P wՁb%m TyPe=m 4I}97zEا?jU^}/ݰv=bZRxRƍRR\v -32X'S2Fo*R o7tXT Ι[d&qSkjP T+/^ QX(mg.WOuoМlfm |ǒu|BEe Xƽ;<v;, Wh*mۗ)-|70]Tgao㳺:Ya."Mڪ 0>8V;CѓWbG E UL_X^8IUezQ[$>'79 > с; ^Qx10iG:'ڦ5#Ւ ֒5$n7=O(aQq=NjisR:%lxOnA˥ARY>/ڭ>ɵw=%R JAx 3O𗑌#M($G2_B4.U.͇xe :9{Hh%lx R1&/#9?0ؾjS#F$Pb6 (}Vvq1-B)Z-DM mdޒrxM8AX-)$/b[ L.K]ro0Jyļ蟍<¯P8k0t ͐](B?uHu>"_!V&4uѩ>V 42V$KS!X# X\Owzf6j[iN}[q&}RGasS~Dy~Pϻ5 ~7Sa Ga_ g_Q*zybf5׉}C]P$gh/9@+Zʏ_1᭐OjK?SH" W 2hn=N'Mq NfCo=4<: F':pk|y6w\AL̨ꈻ0k+$rGZ9xl_t ou.LǑO4upUbSgobKsB+eɎJ|clAkp&D[XecEpi!ǍN* tl82L17<ƑӢNoJ.Ͳqd32t?R鉺l#Kd Zf62HdI?ziMC=EWmEfX+ ԸBRϼrY#MRD=s9VpOZ jqD ^?yptܺ ~ņ ?5;^bSN^?Cf3/J*)TÎg4 yDEd-b<o2~ϼˌGA}sxNl(sdl6BHbP`:)L Β.y 4ʊiY$#革Z;)ZU88_t$3ܢ:M絁,U|zøB e2JY2Gm9f0#3hޏC:\sJMQo2覆eC%/V\:;-f$CvFjUj4&_y(f^W|=[E#&\_˷rjiD,n\DiXn8'X N3̈́ ē&ՅfBw,r_PrI-Ob(@.ր0*I?I'Ha_xON- :Fb?oF~x%)ϐz2zMTm }Ӈ 9wP`580=f^ sJk`4C8N!$ 6zFHǼ`۸??0j" ASړ);ӎJ 3qI(BPgg*䟖N:WaMC- d3j= `m9oo0ZK:x|:^ O ]39llPÍgnQ nNvzغͅU(6q)6& 1:}ATVe<ņcmm^ I DO9' 55V$(`3M! Rr̹a1Cώ?j#a0W\wڸS;,x@NŖp 6І!G_ F=;!rXy2o` ic/[+ٶ>>#dGO*4 ,`GȘ{g]C٪._2S<Fw"M  q2b~Rpӭ 'K[D{[jZ5cl,Zi:*ÉeS[@I])=CkxYlu㿬%X憺RMst rwGO}NF#3kݵtJAONh3߯ޛ)ڥb)ݺ%L.1o3)Dvo:IoՅF12;i7Pmq{S2x7$L^نr2a˯NaBmbV.|y &/j'y{9W"OBO%'dzS;1(t &#V0+7ΰ7*i6?HIi OXdVch'o坓 'L'+m|c=(ObM X['ykA3xo$qwuKm8lW٥m8/1rvPFD?7n7\E\kRxc>X-|]b2F뽤xtl(P=\q+eSk" lh/9FfAnj~Nr&8;b̰+NjL^gJ^ICnhz7IQ=2@SR@?˵Yfw4#%|?!`M+>,cg#aL@'>"Zpw3W2U黸X &ú/Zi%Uȑެ0Bj˹MTyIMHńb~ 0 TD_Yh 9{H_{j uў_@QvFyyKH V kM%'M!Ք+kbv# RNc-'îw8HS0i(I 5u%&x w$jnTozwZ]8_MOigvÕczoOGT0?*"mwPI~*lCxsS?Cob]u?K5 D:U^9rt&?>u&Rq1)k$G э߬'@Yخ*-[K' ww*Ns i*sbĚR3j q"`Z z5 MJwHH19(DPJ Fҟ]?!x%ޑR2Go"p$G$E{3nl#1o2(c&~i!H%*$g=W(l7\z&UUroB+Gm&znt ϵ32qDTr?0it>UPTp=ҥ(-:b.t%*BPy!W񑜠k~f)OF,uZ 垕\/ 9q 1 ]PKkR63:BV씺g-,!aSqkG5 RHs&`UܪֽߌnTSrB?c<9P4ĂIt :Gwy9=( c)N;JDLA<հ{TϦ| QEjJ;ҶDHhG3NK+u$(V<$fYkL|HQ-&_"DA4@{Wm^T7 ʹ/Sy)gĊJ$\l|ޮ4O+ gߔ'3k(N lRXDG"S(BW3Ab́|}1W)$P Z0[, l92wQQNKσHl?P`A7&މWk#.]6z=⋱j{G{.8XJ݌A0\J#7H"Q zX uqQFk#2mIX g}8trg>˰lAC0mpbcXp*>(e3MU'%2^`Eڶ f>I{!f||#42*>/>FCB0(ߠhax8 x|bQszD=4m?k%H:;J`%pky`-Vz0pNVɛ =͕ -xrMA\')X;V*0e0Ѻvl*#9>+P cF2pF4xgoOXXA拔m2^w|r\KfJj2*؝]{  s//T'.c=DTTf)&cBHki^>Oe6}qR7QG4R_f 9λəV4:2Ќ&N_cT55Vh;A-ZGTujJRgWovi\֗^zusAaP3 }c5o %k7=WDM:JWOE1>%^hsFH7Ì)mid2ĘEk|>N20I7* ߁WT$˄m=x?`VPcTn}DJ!|a/+cOzaXʍG.z *a%7\m+su.cӶ hQQOg>Qz2D3ζ!Rfҿ̏g=|jh%{_E+#LTN,2-:4<_)l BpȯO=v4}׫~үz{Ar"$)0飐ȔAFyRIYp乩.qOCU\Nn/EHS٦`_:9hD,~I'#H[&?'\xEg'7t&,0kŠ] xK1@Q{e`}8pRH+:ڢ|q{u'NB՜'dXITיߌԛ>/x+UケlBiKE^7DSZYXǽ$Ɋ:+ zIMx:(,dcvZ-PX F0JGڗ# _d<Je5e[q5.DfzR [Z!]s]M ѝ Fq.oL~P1k  ؔ/;{GKxlaY9]6>/(`aǖM{^Uz(hFV''GN&vWUc{Inz#TfqBƪfyGN-Hz_6ǘ3w(4G<=Q CuH]ABUrNe偰 ާKqu h޽k6E{[+H~%ݠWOStM̎ J k *VM&>h:_%Htl,?K4c5.*@r܏S!J_dUM0_;#&,J:V^b"Y(7Tec`/?rGp7uQPk.7͸'NPG,bŵ63=m qs |+INk K(Cqd r\F/X0$汋10#S#f\k6%lV&ז'T7{8hvv> k,)o y:Ւ]e=$tc'dcK'Ru6KT;mt?/|d}N MCR`wqGr)Z3A Տݤ|鲓!Aޠ}BΧ',ICi9W.pV_/BH<(#VZU]R8~9p+/F>|o/6BЃ[pELCp^R@DI![(6ŏ@ ^+wK UFx,%,@2Xp'E-t68?[c%peB7(x~՞802[>$ɡ\V;T摭&Ҳgy6ߢggꭞ"@89x1pvN=i.jW> F}ŏ-.Q}Vfqf8":\B4镼GYyO s)zrcPEl7;0t}_4ĠRt,KC>7M(-yE4&5%+O(/-ezJ jKa t2̇Sd֞gȜ"Q yz6#qVUՀ̚ [J>+P093Ǔ]OzVxZ@pAX>u|^d!w@0p6Wâѧ*c@1fTXEW^i HfO[4*Aio^sUNA|\%U)! 9ia=&R}4`(Fn"w$ $t2R}*\]`I4a5P@\ǖy)0Pq!6|o=ZLJvE{^Y0;[\k(E8 ;fá/o?yߔۊ\0.!\t}J%(UntvقלlXO> si4z]Xm#͟)[H3.jbѾ}-R!_sܮإa\}0@D'y! !IlkaĵlxtL5٘n&OZe(ر۬`HYMv 2A+mx`#sJ^ftiMJqr0O/԰(3 4I ]fyjdF>~QoD!F5dZ9tU]x0X$]?S|= AyKg,+J\5:D̎;'16*Sz mbэ-)(?G+QQ %F ]C^ˡ!D3o(6l9+¡O>FBJg׶ڿ{mq1Ţ|!`' ۣVE16vֵ8{QKzwI;T*ޖbbb)ˇёaDIZۦ?)M۱$̓\+KQ-|>Ul?V[*[ +WjGLVtd!TyRR`u xD HEzok1]m)C]2)mDֲ9LW3edRc i60o^`+~Az[`+LX$dw/P \ }Lm9\o 1xOwxA">c'n|HtſAbS\wK((/_KaLi+k,rb$md>s2OY_ٙZXeQ!ai!,E&mB^=}5R+p{kuJ.e!uasCAC3Q=)7ޞ vhxer`-@"0oA:xT=.U b=kt]}zψVM#2F5#^F*e>=n~+b«wQ{ يC[s pb y)cҲLUiA _]ŋ{]knӓ YA=D44v$sERcV6)"halbi`c AlNq$k|Qg'K=Zy#` #+wDoN# LpN`{?0f^##ODo?,M2M<7rCij N,ld(5Ny9!y$A>nd88 sn+;yٜK}l+; bna dBKn<\'5zT| z\Iq022ZJ De~:Z'q’ԫ#E&2{5.R c%hElLy6H]{s*qh\#{wYM> jNPhN*Kw; pѝC,|I/i@,.|B^]CGD&[M\[b:i9)Ap\x9Q̝]yt[Jw o@΍B)5]%ʁ׵rOGñY;70}w3qm9A;Xo0bpkя6I@`bn!2:kz*gt7}|4}bfF(1ֱ%\-M?F1.qN1k13€ژ ,I\'ӝ of)b[o.tB 0U>節Tq#{o#rD ]j4 .6&6lrQr (^JR]/@[3ú /g+#8D|n?#.D@h%LVx{A۫FZ\$9,jYH$$O׻WC^ /w`G͒ @qIC_&}VXN@v!FlS2\vTh.%ۙR{_o'I!#XfH;3 ռ1TfdEf@a1Jľ4 !U*i =FKU*k՘ɭ보?8}VZ(':G ,pGZ'&7dϤ؋ 2.nG_#A §cJ%e]H!{R`3 { _4۳\gR Akj^TAdUmD8I$޳_dZe X'OICc.yW̭ ^׌D#0!NgY.X h,BzO[_p0:&ֿnjV͔?ð*bW#R`>ZZ .Z@G)}L?&$ϝv,&!&$쏽F,xvq&oS2 N[E1L$j=!Ev٩2hzxPexՙSr2?A/?M UЁF~rp!KB+*#<`vXLj3&Pu/TVrm:1uh: K}gqGAy ReCrVcP6'4 դo?)zF=rpBDġpzn_rN$+o?u4PK3J֜4tg <^H5uo oy )zooy}\l_yvaQ.qVw-NI 50{XitM5˶)8qkJgͺ*%ϩnh"h¦se,mU((gsJ*BLBIM.oKY^?%Z#|=.|[sgz =ի|kM j"!}F>N.F-$7ՃI,ng'BHA:t2GLKq|M/Ho :ZRөhlYhH/A_fAJba9uHȲfKŁw d?>nLvE x'gd=i,:B!7. ?Q|2TϪl0TF}H麔NR]vOlQ%y lXʹ S5NcCuUϐ}@ MQ`1ecōCk@l =$P`5˄m$Hq{;tDۚ"&@ `ֳB٧8YNCl֐v\6cҍ~[=60d*\- )8Y@H&fZ/ӕGh^F=4z\ua2e|fU-'~2E3-Chv{;xTZųݖ<H)j)E4@ɓT HG"S{MpY ?gT'q3LsLO x0nkUdКIwIA~1Sk\(]5u|NMq*j cr0ءV[gL%葶LDZe i߮qů5+L̕6"7?k̗{%o9G^THfSd$}֤"%LmVtx?> iʇ8&~IE _c\d ]gZJ6[h>Gpj%ָ\5 E%C^F(~:CjӻsaVɕ$-Dag+ i}U09a ևPaR&k p@"R%a |$]  ^IUTJ>dk"pRHjZ^FҗǾQXH9 Oߚ bTk jg3GLjDS?rnDeU%׈rDv -?9Sz.2 RUnNOlN/s>CR{ Dw̬)v42̀p š`5. W("7bAQ}S=<Ǹ1 ;lx2PW@ÖEL=!>qG'S(.Bhg^po4{t%8nn32iGO|jG\;%Iz6\RNA Ἕ@|*NQud5#Ev _L9Zt*(xgS–z Ж3[-k|luxEʸ؋Juݎy!z991 FbF׼?wߜpI($1Fg*_xrO8ɏ .?FD㉍ogxϿps׃ _w^rijO),g͹1$ȭ"Q!ؤ4RL{Yis=-$vk#MՌx!,ГKx l,EP"Fg+#=*`oc^ a y3vU 묑mq@wl=2dZ9M 4Q4%UilaŧQ w3v@g;Qҷt*!G2XYk=U vǙsH,߳-t`#9Ϭ-i1 B#^Gv".6 3}`W- ,9j 26C'ȋpYO͝s_GOIOr# [JslI%?,?ml$:y'1ɱ*4_& [Kp?O&˜؇(!sw2(Z[ƲC&n]MʑCe)Cfѷ(h3ʿ|YBTf7\ v ȍ\">vJ~QX7{)AA DǸ.3{˻?)暪i y_R;Ɨ^[Q s~:y Ɛp_+ByhEY튾R-[8_eL\H_mnBE4ZE!@EZ2X8 rK0׺`rLS}CC"*J}S|-ָHm Wcs X.~h8D:/fݡ0GAh8m ٦h(:*\Cd(lO/Si-V{MaH@YZFh]ZhΎs{m=S+qr9ᕈf\ 'wʊÃm8,yv<Dx"9NDE][׵tbJ' ]YK~s^Ԅ[`,,L< ̍QHl<4D4* BBUq+q0ـ7ST7/Ĉ){!fҙ`B0dɚ;ꐈuO5{A O`xmǃgT^|LPZGS0Cqm?D\\wc@qlĭ~*9 #Q9 Q,o`͸I VR,`neW~ޮ Cvoؒ}q+/uI,R}D4\x9T`WHWM5čb: xP3;'R%>)/ϸHbU>6iGRGC$M&(K̬͂d&$Gä*$.LB%ḤNnݺΔެGRu+0$b7z8%ߓsQkFa_\ޤHm}X7$E7?\OGD^dۏ @ӄtS*w՗QdqTM?('z;01Ɨ5B "MAkČO&ssay Y"R 4wO3w@o)Zd0b;l}2Z#IZ]˂rzQV#ś29%9q= ;zG@誫P+;51-ӥIq*VvQ.vұpn7P1\AQq[8Q 3f ` Y27ݰӻqDaqH*$ =k'”2^>",L*~geB5BY3Ҝ / {-\uMZk mO`} '(>hc ]ͺAg US/ZE^~|<Td)a}ek%BXآH[) _Pn69υ`õr^ިZ>y;{n Dcw)*2EC4jZvRݓnWNrȚTk>@U2I[AMgUjJ\lh~Icw1~M= -7>O^-FӥN\p}HxdPmrQ]bW|C֎¹ lIa ԇŐ s}בȎ3 ؕ%Vlo:%*XW}7ZrPJ҅Ķ@u;#NjRvF@8zǼ2 Ŧ=iw';-,H!`)Z5˧߉qz A7;Wf q^ 14Oz ${:yQ/؏r㔩9Hsl ٞ n=>B80U=ɒڼ i l 4]Z8ȁ'pdzVN+ aާ,x3`tɪ/&7q;{Yd >-t*s֋D ibg2Lsp91~dXǰGXPYpP/)Vl9PMI77! S;QJ)9.n]aސ_I ںg !;Ji4<ܡRYH7`''1I!.) us$K %'Պc`; V$/6O0%c gGTJWF3%INJY(`Szd.GT59̰*M{WE&^_)bv o* 4XP/ ݎAh1X;$grIaՃqIC G_ ?+^u^5LƫiQ<5GbY)0VF[V[ൌPNzV 8~^tvi 9܌e)U9.@K?$N~ڶ-ILGf *"Qh,{r ~2|:æ*`;rJ`,blg\01##w3<1쾷KL6X1 3N@xkC:Q}F6U9m1TC=VK#Kquҫ x|Mv0X@@ }/o.;^W?Zv[2WQ#wΆB.SW ߻? n;^ce~h?3[WZF`L`U$#PW-;c QzڲRU`!vPnK3vf+/ C-Þh~ѹ!҃a~VjG]C@%IZZ?$XpnꟉ,p;Og ꈁ^ihYqB;n:E yi+Wʔ(y MaPLVwДt8'w.*[<- {99L$6܍uFucf6xJ!7M?fEN*tϰ_rbՃ ,_l,D?+E 4W=9lN 7q4 rU2CStP.2V?Z[N @E蜭mi-Ȉ^罩 1a "c,OW%sKH mV/G1*џ`lmtvfTe9Yy诱BQ`O4aO7f"r>I$cܴg).g5/uv-VKT~*=3jn ōb:!#ڹGiL@殑AI0DYؒĥ:vŧ$ԻMI;DSww$ފxdI wq>ujHo5-*56]taD`&U1>Od8P e7]P/.f+֓OG337jv5w~1%a>CYm23:l^JÎwuޢn_'Tc 5O3;IKFxR( D#f!ASg`5~l1 ͆ œ^SݺWeZwiVB[[o265*jJʼnK|4WZs [Bc0E(uur.qQ?_m\nb\oZj?&Q2&K>C@ a ~R0[6l{70A(Mo^#9J R_\Zh8l\:ꟿlN tŽSKRP lEMsJE%;QfN4]- wSLqɤͨ.!㏆: #uL!c+=*1mdaT]Q},[aL8d5k X[;\9Z >QLYhW`)w5朷0(T7tFAs~R-D MW!q;C#}-vS9+HE/v*-ҋhCt X\U b: oXI\B]E4@hjzz: O#A'tR[N`DPr$ ;T$mJy@ i|p#c(=!gk-]#_^B;:\~36NROlǑd}jEy%X7–~E1<As娑܃b/d=/HZX^lms&) 5pk(m]yG]X?MsdvubQ)} $?ÜQcH&e5(]Zpu8 f:r0[x4a4Oi)@Jn6, hf̮r;a#_̢\n? b-ZWsD`ᕺ< !}14H:P[_` %?׬4HSn*c=oL}xeذl1]vgj8c]w*v"Aa6u}7Y R> <ɍk&|d23\RnhwvBjtlJK?Sc{6Zn^|8QӕAK"T i: 'JP? :X !e_֜L3XmUBla jAPcIPCQ;p~[I Bv ո4(h%U7M">_ |"|flyG71M|Rc n<d m̖@x$&SAM4ΕJ˂W:A J~؞sP xTUL4Җ蜱_ZT<,E?nm;jka_ŧaCM:DɄ8[f6MЮA̹:yT3A5q!3^,tjt@~콋.UL7Q69RQ>r.5BLIJq m +o+Tz}Bx8/UԀe]ր Kg8vtZ:S{-ݹbp7 }uLL۵@~.-w >*.5iWNܨ6Z;$|am YHqdٽ!R1_AA^mU8clz$wusƷDWC16 pФE":Lhit2qv_ U(X(>Vs@K!2a60"wPu3N~~,: _.>%Dj>Z.Y,dӌLzJH7uΜ8XbI1fQEWԢ@x#$j7}*~糅騑'Zϸ":Ø7r1qgmY||=zD\dfpq%}(21+c+TJMA"R8^GkuJOpX0;_Fd*vY9ʵ2 1 $Ȁ/4.vMEܪ/Hsdi@f'K<>fw㗿ĎBϴ_اJzHӔ^ۀ2B Я0@;a׀A^w ? g襡y X炭i^M)24ÂITߎԌjC5ftuej$?DpEv+#+O$<9t7WxQ4fBǐF ƀc:F(7l)A~#ʼ4yb 7gu8M8jţ3;'?$¸c'D>ޣSƆimbꢝ,|Sp-5ѝk U TO/Km`l)|C6O'};i, [>t^E P|I\ z;ꇍEPmڽI,, uJDN9庒ؖraS[C9r]0_qٖS$zVHg _,&`WB]deT§Yt͵s3 '1S6=Ԁ'k|m ) EXٷ`49t] "Lzq/j&l}Ę*-(S&ZwT~zugxwdDh1bgU^,g9,G-z՗4[O(7ڒ]&r`9d2"HJ~#/gg_RP:鎝 ҠF ~&s& @'Uaj1!мs6x*=l; cфi&T^5'|mR53x)e?\R ~1vh4*cO,d/pP ԣ.B@Hdض1ZJ6:-Vf?(Δg:ʯ3Y S c9` 4޺iݙoHK^Fx!52U쁟Bןo~mhscg9 1 ]<IHp0<NY5)o:>yK\V#Ts |[*04^k jB# gtƑG_LnƢt#[a 5ߗA;ESs#y-<,O1wcJ Sٴ"7ܲ`%ÔLl 63xRϱL=wmoը JFAGd\Od!ty#Sz hͭ>[ʴP[ #xZ"r^[73LBNPh" 1L@QS"9mKX9zv@AY]#z($ƯJ[0䂢HuvilGIœn XZ?J& `ĴN[v[pp5)JZxfZUxa):"?o|) le˄W1U]Μ9ZuLopYvHۏ\K~&,9+0?D/r_ъbtEn\*7dD9045KQURĭᐾ^3ds⽣!@Z0_ _܇.+j"VsbX;7n?JmY{j x?S, ..7c~)):~́퐛ÈkI-yadžkX_d*Qmr#)ѯteH^Aq%(ۚfLb\8v .=kjE 9ΝVE Og-CRrmcAZ(3ϝ|5@k**S~"jᷔnZ+s`ѽTa< >; .YTx? p8lV/٠vW j۫䏁?TP(f=8Ҩ04M1:l,B>;0OY~LyMx Dwt Ԇdgyց ØZ@LUj5a$B-%>QT83r"b.CK~|Aw?2䩏L"3^,7U9E!p@N6a"=}<E>D|ro&f*v'2lA.RbGCkl&G-צAk GvF5itR$mKG^xdR ߸G͑oq";Sen&?{2f#tx"G5ob:}s|bKcׅ'E;(YuӾ"DGSX$Ys^pߖJ#޴ƈ0gYZ0be9e8b50c3962788f718198f256a1cfd3dc1ea6ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 5325db3fa7c4c5cacc4bd4baeaa62f09ec6906d2 ec4a5409e5d335dbfbd5c358f267c13f62ad1a5a 9c98d8ec469fa30c047d304abfcb6470a56ad01c e0598e7d52c993741fb0a5cb6cd499e5fa3a693c 7c23ccb73ce75aaa1c33ae509f17fe038eaf574afd9f32c04a8cb65ae59114c327f67fdaf2cd29f5