SQLite format 3@  . BBh77otableisabelle_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   >5d4 ]S HOL-Nominal-Examples:threads=2elapsed=557.875cpu=1034.984gc=112.352factor=1.867zXZִF! i]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[F(fuR:`hEPGߜ"$4؜=vZ~o篘&042}p-4+ҁR@W@ʼLTBi#fqѓwL:#!xpO"Aa1E3O0aю = لp .ܐ֩h{Xgs^7$,z33GP筺Snj)VD$?y6*=ߙB]pH{J뻻kx^.m$8X U9ā$G[E%D륟dn$F6jn+.A<M6@ &ⷁ?H =UaG8Eބ0$:Ϯ@?@~sjY{ű< 4ZmGSy ˢmg7>h%oH.*wQYR==~ >ÆM4ߨ%haxfI8UקW.GiC5mQ . 51S>q}eCUWh U(ӆԯ v%](<FcEV :q^(6m㓙:j_/V&-T Q낇{ Gw%ݱyh5)"SÅĖ Nj63=+=Q뱑ʘpPOexhZ/:"daޙC!hrq{ ;GI)tA>ΡK;t/'x. Z ?:p1pnѮdK¾uU9K z\gVcssD‧_6:](# q۫Q9(}kGae9^S̰pZ8˄_ϴI7zw.?%ozG5t dM^S9+>ӢChbXJ.6=tkNGrTZ+i غ9Aqw;=:`v/UOCt\ye8k7oȬ?v'pЛ -3) z{58D-u M̓,^&JM&(8iq3 5 HOL-Nominal-Examples(wۭ_PZnK}/S[k1DŽ\{ 3ϖ5Gʁ|tٽYN G~q!ƍ|KoiZ]KwtٻTÒ&u<{R |7I83Hazb2uWWzQf@>`bQD}ORҧB9NWc3xtE ؋y]<{4؁ ҇.B rJy晰ZsRX%orQ7vxX2]+"4B~ [$٣ik~قb~v?vH`7u)*FyoRƤ. xĥA#t ӱ%< wubͳ㊓ X_ S\OEdk6!8+RJ /a<lxbs'`(lb"lL$Rѵ:MۻOOF*mFv?D1}ʎ _³^JSKԢ(6fb'?i18:+)d2q{Bq@zp RW%Y*+H@nЗ~~VE9]c^0B&*]vFQjr ɐ $޻xYv1nNÁ]i-gRN`N t J$Z AwSo Sj!1F5O } uړIn,]wm!L6.N̈́F?<0;;jPυ؅oq/}vbjaŽgwE=8t ȀexH_^  wԼ=zwqf3L\qi'nPtC{1ߗ5nM|DV[_ZF X"aL]mpUBlJ uؠjSX(;T2K2vc:G4aiێ }^{7Ɨ$.vjýZl8oU™dBG]TM09wv^bjWqO $*Hm;߶K+7 YfwƖQ 4,~oTr"?oԪ=34ۮ6y\r3i]ğ,j7{bH(T\_Scډ>wEW'GL04dGXjVp;< d˽B)wA_btq&3v48`!y#c![O=o)Zc2M]hRIR5_-W$/1;뀴D}|M52ܦF~~$Fbkf'E#?^:w> ٝrdȜGG^JD)tT2S%aB?a4x'Y ~&Ts,w;6'Lׇ Ё4E"+]T#dUEH=q7`TRi 1τ+;0[V8e#/^H(YDgHZk~ZFO dMPN k;&osN-?pd)L~+CYQI1`|ӥO93`f쐆$v3M r>Xq#:o5oy~Z,D}[MQPuT+cťl:D`ƞ"[G+}QKgܐZ$wODO bP]}ڂ5VT TT16\4ʖ?Wd~@&4"@w3_3FuxR,5ARefQG gֱLܠɧ!ـK s2* ;2AbIݎ[Fv,M8(0Waܣh/wh,Iz+E$AO _p (GL0#?L?Jm_gʵLIƫ At6MkwPW'2'O?>ɣŶacXzb,$O .Y$ (D}/xjAΖ^daaABOdvTIÚ7[.NGV iwT.kg!K\3DF+WͶ('f8C#)#nkܲwԥ>`DGPIPq(g;r=)M\}u/uAʊInuc` <+ &Ȧ)Mr(vcefH᭼FV)"fSPԼBZ-%e8~%bh#CC 5@L;&hu2,WX|ao\u:RT<ﮂ`K@J)ѾȣiR>t"* ޱ>#8\1[I"w#Nl+Ҥi7q$]׮SQT; IE9ia:r7"8$ZryQ(bCqzTiA"F(`r:) Hf =4>/F0\&aB_IwHy!C-0%e_v[tX(Xݯz;-Ѹ9nR׬9Fz5S3϶ɎHćFz4`AN)1GѾ]YHs- :rlCm3ƻU˔h\+"bgU%hU]7NT4'EN>*3:9+B<6!TI)De"Gf$lLdTK "1BͫajF_ck)EHY+MϋO" ]8ك;HU,a3}݌u|p6lW_@[ru?=2,h4f>uTƚmczJn0Sf)$+`o:J5;:d~ޕn~ďku*֯Am'NO"{ XIQl|̢CV0# lbSSל]E" y$g9+ ᱢLQ[ JFRIa0Gc5$ɴ o$AԘ7|dJDשR7FCfH ޤhԬ&f©k O8j"!X:ىΗ{F t؛rdS-SIwcl$_B&%5ז\a!uHSr%3&Y:ʇwFTp\AhuXt2Xs/ . K dvacg/UzZ\-ёZOJfQ6IKr&-%t!{f*߭Mć0:]gR[[1 4aơLqzƓ}-d;G;@pwgFp)F"*tՁ!1[,^;#AFR{oEu tƒm+N۩^6f&eWt愒D9`lgd؝>F~ӵo0&A{Q L:6}ˤI>&_q( GNJ0IVW[66sMe}m@DNW"sR5N4TyRK6Z=nsզyf7ܗ%WZ3 _?<4H<ե -͢u{S &ךʋKkȌ_P@HK g3߹^XQ eA]i+\{{8W<?hp,}$JRWt8,/omsqkY<~ )>'/#rRV1x>WN1PnEl0wFj2l~hHa=fFͨs j59|DgYZ7zXZִF! b]ŗXiɟ1ʹ l93攀Lx3 C*$ZOiL,wZ D NO1DEʼ\{9EݰK۪K u閡2˸ބ)gZsHAP҉˲>/x0R|]4J1GQ1sE`7FRu1wܸVn6MF~9Hv\^WVPm5!_QW*Cr7h5s:2Oe'[|eTb p;y\;Ṱ`#7+}M_9@w4QGsVr~cyl 49N,M˶A8EHOBWc:v914E1㑚䥣41ӚIs)UsO;B7;0- nH>ÉS6̫x=#&SĞUn$UgYZ7zXZִF! lFvQ]ŗXi%;1`|5 X4stWG{5N-Taiu߫{ε6C!F<2'n^Dpf0zWD} ,ưσ oʭokPR|-=0nfLewcWX!ր5-NL)do$R_6,1: C =zg%{+|d⿗h?8A\:c! F~M <,Fq-~L_dTŽhhF@ 6k;4a0)*C"ɗeE~-C5mDUDIU<?x }Ikʟ 0I"F$Gz>p 8v {p)'ɿğ/R~GIi8rՋٲ,3&>zGg{C^v]L?3@MI0([͝" "a,%d8,"dPm8 eq,[a$/ T2!íkfpbSLɍ i$ Zd9I7OWZgNPGGl,k $YG>_'%1&GzS,  qBĉ %?zON_sfv ]mgSnQT3;!V Z_%,`b  DowqJXs_4vK!b`H^xzcxMfOe/`.xbt"u1~>ٝlEegi ߼>wUI$ƚ_q 7wg HQ*ztttHU%B4T325$8aӖXN/`Iʶa02Xu/&5g>RFRB{2I"}/Pɇe1DЯBs"~o?g;kS zѩzV (ӬO]:qͩf ݡ=T,j'? 67q(Mr޽/85 lD2lp/:)fIZo,MzЋ (G'oQ,_V #V -@F(C-$[̘336Vݳ^זς@u|5' "b70Z-,,Ў1Ol}`Ÿ3 +Tghv H1/(s!xŹzѪWtiΎ#e/xW:~mC)\3CUE bWiIzG\`;H7I+c9? &g*fFN*Y;\`TN>ݐ0Zuмa28<5UA "7$%өVKS,J½}bW|>*&AEudHbDɫU[ǭꨨ8zPI\p&eQ4ޖy}k{l'ԗ} N9"FדًP&9<=0< G;F0_wb\o@(GL9*m W?Qz ]*H% ed? i1aZʹBoeF)Ѣ9N1y{4aQQr _D-v .{T@iwN춆Dt|M6v֗t{hTW]IXx>i+t%d~Koz 05O.ƥvkrZ  (:Z X-޺˙&џ][ģPMyzCS'go֬"LjF6ˣbQM媴LAr+ .Y2쀐X/m~MkmotG12[#E7)vҰ8?RVwհ[AE9eb%m`8)<p Igrs6iV{ԝ 0bTHw/mb垍 a [{h<71NS0՚R֢=m;ҝG+1tL0Xo|bd>j{5?4Y=aǝ.2HV-9nb\hG>~,?]96\phQ!^nrʸ$2WStی )F0t~`E a`J1UVzwO2E*[mlt"Ui1kK YѦTؽFxK }yO$A#KF0|5V pfchȶh1㷷Olwx"%zKAwLOMku,5K,nu0E9lUd򍾝]Yn =<Ec2JSήܗ7Ѐ,W, (McoJ2) !y?uEI(y=<:m}hEfF:s2@s-f[rP,wbW9qlքŸVf;, qT?{c&~.c]\Xצ)ʹKŵe] $ŽZ|Zv$#1_k$@]UG{tHYoAw#1GAk=^>;F?XO8ZK\,D|BɈKM^`Oti:0ӱ{𻪿j4 L?9usAP5dt[3/5> ?YzV|$vk2$ = lpUA2ebt3\Hp5@k) ,G"9k8t H gXԁ `hߚ+ 4M`^NǍ =튠Zڼ|w,"{]NnpZr5QHˏO yJ]NjU߿ՊC`l+r,F?*5U b]9]:spwM~Y$!vL'g-#Aj9\d:.1cߌ >b0tqmNJI#eϓ'KW±e =b.PӖC"}1l7ظŪD˒3=T.ߦ/F{u=z"20ac,up!ۑo8!G"eк:)va>y0\ IJQbkt[(sWC'30V=&P\B߄8Ax@Λib(&N60iѽxBfe y=R XLWQۓ=Q'A8O3 YS%{ZkrRXlҨJBV*9d)M{G( O-ufxw;~meJދuS}:yú)TN f^upT^p O֒LW YcFmlj 8rlJOElP=Ypt3kЬ%Xy?MY֡2m+(*j +*ئR`W7ۙ#JOXcj.}εEHt$2swLj|$u >?Ӊ?ۤ2v"P ß3Nwk|ЇhbOT y\^"@oy;Ւe5S7DhV\ONO#ۘ_N-)K9rYΎ\}ylr(uDGqqz=~@Zr)ky-i .>=3heR\Uq*8k%?r7yƏrFUt)ҝ&‘DHmHUVf#cSA"ڬ_z`l֦)Lk#UV0Ik8} ;)$ՈD4QUg4 :"1t1!tNQqY]s&s9t!sF[x8´Musk62PY5qc@y ӒQr,-K5+ "!CXGq]3*Bඔ@j|KCXT#C&" <7zOjۛGê.PsT=8J-&¯eC8w_2[ߘ|}iuo1)LԚrJI-|aOaxpy{iTBC! n| _źקl k ^rq] YRE=&<~-4tcb TWuMIGI9~2֔#[<3a^5gahs;5IH>'j@zdŚ0f(|Wxn;Ķ\;:[3MvV[ ^oH[u"JwԕFRTBI/b>Z-TqwWxءrK=1 2m5y` ng7LvXqfgհ5gT)nB@SVu[%MQX= ongPG[=뼔g knzq'>eAҜ&Es6F~i_*]x|P=\0)Wt}~\bљ()sm/pOx-=-V_E*yV"M5m.T+:H7Sr$X[J͛Kj-#b)nLNJ6}5%$lַJNe *97Bd!m$v",O x>Y/IPRbZYA1z֒ͷǰFgyZACld  Rus]@4gr䔆ߦ i7#jp[=d"vEM!+FO*󄻝n:|ؽKp;y뢚fEكab4fwmX _|LKDN#!d ( "S{mOL1\&;{6D=7zgV[x?F~j[N 5'h(I Q7ۄp/[E쮙m ^_y4k儜r>id7/Y;L u}؜4W0>/6+ QRPNeX7bӡAOx*z(Mw^ΈЎU~oh.[C5fTVKlMaۆM<ןbS"N̕6^|iᴷZ*IC]I\0~Ǒ+!uHnt`J%_\LJHlY~7@J9Qޏ[\Fձj.kÏ%R"H[HPܨKn75FZeAD+9 'ku1<4qw:.xR#㧾}?sw[&^8Qf`ѳOW#ג?=SZ{ gd,].\;* †Q@xrENimtcNeȀ^C&ujh~0ˬ{V12d:m*Z;M*>UM ^ʅF13˘V]ΙX2<ADawVPmg]5) 0c`Z \zoNFM0t=5_OLvK_ 9ޠOq+d3ט%:x҇ԟn4"i(n߲1^6ѬDsAk6ITo߻1b&3c5|LDϊ㴛rnNvv.}%1}mq@Ԕ^JEjWL.~t9ċxij_c(ձ,>X(AƵѿJdTFEj h=Mư["@[˚/G׋I-o!c"V2cPG*$#mTYIvAjϠDbYJLKt@&r7\޾]nu4cOwwgWM zulUXk+֡Ua/xD]⹳&Zjr g:鏾)XBs/ml(3 A [b kn3XQ`v1z^+Ac:̣}itdP&x^XZi';7vq!U!'&Qc4S=`癝C_-ji@N;Fp|a)w ڜ{ʤGysz!CN}De=̿3i7Τw|x-0eҘS=]kH?V%o0s3V^P95NSaÃi]Qyo\r-><ibk荎Nn]CUsE,kAw(}smq(X.8G͒he2řnׄ˫ƳkwZ"9W/R\~O@ i?ڌʤU;)] "ƀВ~56+dU/:諅!kȰ"5B /dW^XR4ޏsSjMI¢N^Ts8R2$r?Ɍ@|ـ+rO> ZBgsY4B68";]Y*#X M5{`]>#׹K %n,j1WL \@RUWT!)Yb9#L9Y֭dYLno][)U/t]ʠܧгwF|˷z]n‡D(i%uqޏYŋ# Dr0/Ӹap{Ex}-ṟ̌<6M`,)O8{3֊^ d쌩 j\.#˙!ĽYrmFM;NWGbcؖ8c4,;b)JhLoQ({Bx]P昳e bM5Fl#U2П&Z$yeW4kėv!jRƿ+S$T{ɵj[݌GKup\d:ں3gw-G'CGz yEr(IgW(Bi,n̅Pҹå앉9:~jqŪz&noY-{H!"E UgڠuJm'FJǰ4fQ"BG.U[qar-7r@/u:2)H޻- ܏|ِLgrD1O'9A[[`Cn ]MjbfX;kY(M~ΏobzURɓ>)0#{5ꏸ4l$!*lf`P~_lÿzס4QQj?qy[%L!j!u% [LNc[.VB7_\D~f=K8@R=1EA>\^=0Ǹ[fTUS\#kt*œ6[ )|<4}ck"ah7r'0=N)8 cJ ֲk*xcb\4Mchqp G {@Wcr _r2Ը(k@'d՚WSބ7)>G=6)sx%FHA<֚W]v %9 K_-`=6cWM^ag֮eE d{z X2y"l;=UZ|w;z{T O^N:[}t4CtV}ܦQ<#˥4Q]A BֶMK ,L#{}H$ޔ,l,;/nηZhDvC~btf k=63G l}6ùq5F)JoWCj:2'7alB N;zp%WBm:e𮴡3ܹ&)g,X MFᘾzk)4[f()vYLNF dO,y?:\*,Ku ̦m"Kݮ았v-{#:0}e<UtE+\V12nI4smW;5f=<,Ĩd}ЈY]Z@)?>꟭E:X]tB(VnE[6@$Һoʥ\vFxH7߃vrԬ2ǿg82$r<Ǣݏ,ʄ _Uݢ#OW`K*e|QQLhP+7;XNi8"mV.k.Lq CkhI ?!:B\us9eIj q.!Y񉍃(vМ[y[nuI K$[by4+:܆O۔}QW08ޥB!km;lĥ l@ }ő5ZtFd@s8,j[!Qbg&3IB,! [eDh:\SL<}z)Cdۼ*-t0ϻ4iWoH8u8b:VU5wAc0̐BbRX-ƶRS4PGPaR!V*nO(ގi#VABqM Hꃛ#ͤ+mT{g έ5Yp)l/x% i .c_k-N 9sjqOڭ^D)@P\#.8z}]^62""old6|7̣ aNU1:b%UD5vTҘlp䄒/DzM$,,$1y=8JeD݌1'b6g&vIS3Qt vZRZpIƖ"8eΐ|#qcqj7 WàZQ.\ Mj]5+" qCFB$!>Al2iٶƽ|&*̍/\R(;V?* G7ChZѝXҹVosw )7@!tuEfQ]9zgpNFz)m O^:<+kO}8!&<7{C6,Wm|0)_Z,b>meKE\mيm$o7= $kڹz}{~vfemi3"N',KJjeDPE- uKZ_aRj $N4% |$뗷:Xm6ʼn4dbUW^1"aGjV:ZUzw.L*=ɵO&v\,|w~3f+`Zc^c{Z Zw 2)bPuYIXs^::if< ~H nD٥';=<%BLEI&"zGIPL:OrG;1)W_]֑^<۶:E&V@4p>a wMfaH}ί[p ZU;L]U DVoS88 ?&0۾*d(,06 1W7p p#^IQ%C}"tb!UB)h/<.jUtBޛ%O%$ڲ&6wvf<WNۏ6?D5w(CThWnH7Z#d fH$u)#pNs ǓA(3HX#1e} AnDΘf;|g3*qn_LsZc;%daHU%Y{Z$-nIg9LYjH*_᎒+2h"*&;˟;)A5nuP琞~?߬,Нo<3憗]+K:굸#ċY[ÈR OwL.paT[!X@c sg$H_5hX:=IϒgN: E\!J+y\c5GW*EZS}#f*{EG-,-%1DMuI- @nY12)š4{GQ&tvwKJſj$Ȭw mcqlHV"W]eR2IMF^6g.ѣR pikuKU8Ufa!MUbRA݆N6 7CK[OCD=ͱ0HlgslGЍT F!05%p%8ȯ[ w1' m ; *cuSY k<1qoj{Fλ^%<(дٿ5vĻb1WgNNe}.jAt]'ʽ `ƠŘZB~&d,74z?;Y.RGPeO#F]N]^ԇac>IwՕ^^z@vࡒXa޹~2'M˩O1*zBܰi\^!,xV=m-{^*-Pn# xU7R<& (])V]` M\JzϤ]k~+׫66tSt|:Ժ->n\`tC! B(Cv@w{ +-h7c{UA fM >&( -Z7ei` 2k ŠO29ؔ$9Bwk(|{jǣ>eǹq\ =A0aBdLTx?E)ik v]+z_bn|y]5d(Wu01׈2$-Rp /)1=]ɃW3d|U'pLjw~NHq h> +n`IE۷F:BCm{`Π6 kgXEvTVY~Z0bsѐf>P"*L$$%uGa5Pb@WQ &D7賭18[3L#9% 0! p;*wB 7S1H:7CWO:ճL*[&)H, g“B.pudosZvMqfn t;2z}n^MpE mnK[ &1-zd9nhhXSmmVD'QN[g&d-?+[wՄvտdyl?\?.6K 8*S^vۍXҷT}bXAO5VRʸ OD1_x"CW~8 UZ1$A3H5y|0PԜLUb i$UDY lݴ'^0H58*IXE έXډxx%" L>|.W?A=qSw0~E?`WNST]jEѓ~&s;k6.'Ⱦ?OUeJ. $Uv@C\{u"6'iCxK1!gSz"=u*nC( -: MSs+Ƥ83\n)js- [Ä&VnU<&u68ݽ`xFZ^*\z. ?HSa6AXB($j=r _ojІ2s TŏIRKhn\Z }XM*R){۞$' w]5>4z8rDy,4垙J|=X7I#j޽Y}4`$ FVY W:X~=N,Pݽzvg7/^ 9OjVuMwlbߠmbc mmkB RPɳ' - KlmFsw";PzFd!fu*o>/oALW\?JY\J@gf»iUAh.e"&(g#~Ԟ] z۸/*__h6ÄB?Igiv 5ˡ{6͐.c6zfo1ēv Մ{JYX}lkȻ "Rϼ~^eJn}j\='UoI.dfj^Hh˅+j?D"!/NR6Dl9d'%$q@P܇Qiǭ^%f0e-NXr`Cr )/{}J8uaGfbٯ/̹VMFոW&UFp?׎ntbnS(G),MDep^7n> یR xccL=iivNF7G蟷 K|ڴ$ 8죳K^E=>nV?|lpmB4(tx]YTB$_luhvikj_7 UGչvxѧ!{Ⱦ:~|[ .Rp kvjn/zN+86|hx;ӱwe B>[ߴmԦʟʟp@er3IPps c|S4I4XlіI4R>Si7G~xϬ!R@`NwRg*\s{M:lp*]ӢnBe~v'\@]'u~a jB~%6dm˦bC Zsi13SS=kXJQu\|./ {KDz*mOH*m ;d4(] Gsflo,J$5Ҕk%I$:/tSe7J[AC0_kc#6iw7""^Գf]=lm䒸٧t.WI, Šuh1:9%g^` D7.Kuy5A Rp~fߧ\tԫSš({G%R ɦL7lR9E!b;UЅL;O/^(8^QFzg9X"qt}$f~k1˴{U۵5d*y_o\]kj&JH#DH}~k<͓IR>ȹ0$ igTf`"$co&SR,ەq+y%׍J^0򍁐f.pR uMb 4DNW}:lQA$HPbf^ ;idȠPqhLEg&8ϯFLL(w 3e4%Ga`*¼ۚ1W}زs>GO-0Sjb4pmJBdi@@MF'!KR #[ vwX+^g?Ep 9|S`6E8@iV1<,7614R-GJ`bfgj.z;cچ7~)^q_+ uKkqaAF-\\Ľ eǠ 5;o''a 9tfU59/jTP*z0\ݼxMLZUM`XAisyWv՘@ZdFJGhGHdB -n |IG" C$;+<]Ӈt/lDe?KG9ٴCs.Gy-R)X}gC:H [Q`]Y%I<.߸+l9J_G^\؞`ŜRʙZLZʎہH۷\5lnfFq ,6A.#wvu1…Rt 6 ҵL=A/`-^w.hH> znr=;~ :%ʝo3$@*dd4dzH]*#Յs%'+b(N*(Sus2xY6B?#.1+%./cG?gbzxHYFNrĭnm497Eͳ%ՕԿm;EXwta]qܝfkQWJ9_ȞJ|]Bf5֊RnI^4+h\Nqo9 ~s9`Pp$ 8h$+A3C">-%d!.i'-QaÎ,ăd=ıWj@]#}"8];r\8 ={+ EɒiȲIo}4~꘤gGD9X4D0bI}N\qP=p<'T?|Aq8? @8:ʘ| G<[Mt[@䤑8TfnV\h2`يcD2NSİ|LwNoq!zo)VO3x1BKjn7}+Z1nþTD",f&=]\e;9i{ν0N|0<ɿOl2 R,zcWVԜk(u:89' gLK4H}JX %JcڹFℚȻ#@j-`dJ\"@\,7wP6oCn*2_FgY-B8>R/ʻJM=j**l{[jF A~zjδ'(ꎘmӤx.`Yp:xo\vS4M$cJkf fR?6=7Ys s v a[,!Jɀ`![,g0Ҕ BRrvGa- ,3"&1{:O>q,o"hW~5Ӭ }`E6MܩǑc4tT$/з폜JQGed=*4&_&찒t5M~l aqG)Qx&KϽRD@HToB'W{SgYǕvf%oynV\q l5C>0O~4=t_J^t8UlviO8b@kQʞjzVs v.n'P3rS^~,"mL& gZ3s$zbMJ!F+yڐ& z4Mq>^Wsu{-0yUC8NkU:2iyϧFY4 FjgJ/"$ x ֝d)JfFwbd &٢ eIh mk{ >|& I_)nv*O>45t}Kڅ~//G\uܸ-\tDr; [#uLȼw*FI,Bfa(um(e}H'?3紴t]c ~Uz7XKQq`/XhcD7$'|$1pJ_Q. $A~MsQgkOqj[D8d+EZ8|*)f5kO:-(+boiZb[9[WH1|^5eekx(t@8zw&4|&4Ⱦ 4ONEj34Tq95o85bdhAzb嘯d0vxdT RoCuU(GSȚi!f^\'֗hhr-Ő=ZH$Td!\ZYEVkHp|n-%pP1WG׎ C,=B٨G#C/1 (aʌ fU'" 7T6q0Xa/gNNO/Rhd1@cb 6R&wގ2 "NEw.م.D`96h?VBu&^ufL]| PYrj']{ &c{i$C8QU,9ۂCS;Qg6'hok"W'8cf[ k 9TJ?Z<Un7&{_nׂDmT)fKIfp&82wG6Ȍ a6?lo ;"G]3L ̪`WFg4Aq,c0aOmuaF% ʹnljI.? 7<7Ck3м|sgH,XNK f)XЖ_}8Θ3XrER6zŘNOAY@EVu~-Yy}#=/p2HȣPec]ȗ^@sV$E*vDPe3KȖi0lYj 9$N^R⩈sp&ȼ(Ǐ8T5g8r>PGL\Jya_Fi>%|΀&&&DwӞG'P۱"Ж{jG~ hSQevա322F$O-4BUFsyaIT+iaT>Xfpv6аNN]/) ]@(a%sM+IHϘ-̉-]ib6:Q./þBLwgKi4h*Q$E@$&0M}ǨY33tvϚ]< ݛq|_{J#;}T!vg1qG`8T/-J)pم,p]k`4?0 _~cE4ڷx`4=GL" (o} skCU2ن Gj:C)bWߠ#}GZO%00#j)/K_YWiUoGhPVkw bL?TM}DtD`YFr uq>y8ݦ=2^Gxyw|tM1ZaN)mPA Z4YM)5>^n asUƷ(-,Uo 1ѫq¥m_¿l8h;*sJjh(njgq cS>Sh\9L\GeS=UlϘbVQg IKucDfc^YM(?0hN*/{# ~ojF7 OM?RY*Lrx!z0AHsCTkY &/eX]JQBXa qt(#ocQ`AuSտ3`ГU>g-A%Ъ|MqhPq~9Bbnp5b5N\1}cjޫ ᱥ] Zk;Re}><D BWfyƚ=m:տdKGNTm:]mWG^Ϊف.0xxɦ/yao<y'ѝD)@3S*S@?%bF &v,~N*@]8~'ش ЫPkB#8>F4{{q:Ӄ~= `O~hhwy'[Uc=(w>R ^6\qP nQx~ޞo̡THU~db}y$M_ցp+ vHv%>/2*r-UjI\(29Rу#D ISlvD֊s$p<XbOӬf2cT61[BT43;j5pne[<RG;ecō# 3jSNhoZa,b-u~a3uݳ& 6+ 8_س )^ ÷ '[DMyq/F4LAב(\!o<&*;#`J}LDӛ"fN#>Nzw.ءWk4#:A25;~k4hkѮ׻J7vN%rd0{Delo%'Gnk]Tn _ _nlǎͅx^0$}qDzf_Y$<U4Jrh_Km7 !>Rbmt"ɏ%&-'Pw.>{Fhn( rIQ)ڸED~lg@43蒎i-ruY\E q^̥Vg{.!| pqvxdt/E\C@&c3#dM2u>tl¼f g+VND| 6ħ֯ $ 8&Ϛ,Ơ½VvnH06`K8~=%wZ \u/ߩ~I0My {-hN)4 ()n퀹01 (tkt`laV}wbQ".Їe+GB knUp4& `ielNFC"LwX [}fQdژÚ#b171dz[hAjUHTI8jy7@1tC@ItU76ՉlrCQ?e8qp짛$ cN52fЙ`,tcQrJ|]kF=7?{Yd+mX 3,;ØDI|f:rϲq8iՋۖ,ΦH=("AI,z0z)ܨ&2yT7qC%Ew%W#-5@ *gEd\f}Zd sMpٌՍӗtDTXלx#c =rrdzarI\fZSaCNZ1Bn}@VbT+wO4M}@Cud=MJ/skwtZQ3;oF3}C>gOjzFQ|OVm!ZVtO]G+.Ϗ&bdۀXD,L~[DȮjwġ%'B&/(ybDUR o'%ԯ/JÜTڦPQ{т'w 0kAذVf`{ʒÄ"2rגgVV ux("9tHT:ݿfg.5Qfú 1dÉ,}CkΨ@Th9f|*xƮ"6&LJm99H n^ɫ.z@d&C<"N)FQFtdNSsIQpfP苉T ;I@Ͱ;Mp2`GVU[GP)IFx`KT+Qem»IE!? _}x.{CZ4ElPގI+ٮ+_\;w6zȨok*y !ؾ̓&a$Y] #Rݖ\A #{BC8FqKQ:qbѓ =O_Ɵ P0xd"i2sPV AIv] [Ӗcpj.9s.Ae%qc{1O k_dz+on*^mhKMr7眔_ff Ok-G G*ȸJ~ 3 A`*G;Vtf?upi1il._j)1;p' ! hqMw$Y'KD{M+d Q,/{L0xɸ)`Q+;;lR|\>Q)g`]ܞ6*wIK,s6mE~٧w{͕ R-DZbuXPJUYAvCt.pWAk4WϦ&|J5y0=z"*x)ebɔ<#1p`m 96JvxyLђXnz3%I =\6Xü[Q^\Tv;2~M!=w 1Xۛ{Ω=E$q"IH:M$DY(9¢L5n?E^DuXfc41K1f'P4!tMFզRZ0tY8#zZ4ZʻH?>"n' uzx{`@WMT$&dghU-eCdF+KȬ bTC}A[KF^֥ܢ_vB*p6*[@4 G.m IP8A܍31 HRT[N)b].p,7E8r+fp-8gMU:gK3fxpSXof) NU2.D۪#RC Q Xޑ-V.6C" Sl{s 葋ϥ F0 ̦#GlV;W*s\ 5Lm+gj"T6߀cMbg'1Ɉ߽I֑ۖQ;G$2bGBI"Y/`J3bE>Z>M*+L8$ݒ Y$ jO~[Q)pck4ŊNj^|`m yXxȾ&}BI0k%jܡ5Zdr]ߟ]- rԠ 0_Hǵ?iNhNwyϘ0Gv& -KGcN0߬8uPU}< ;"{])i\ <ďJjmQ\geKt_LnZofHV !1Zv݅Ҕ('Obpn0483? FwZl`YӒwݚiݙ@/$XHRɽK~6:851/ @j|H8cY@Q^P+8cO2Hl3=PN5KXkg8 Y 3}g Տu˓;yIJ"^ldcR'ʚR( ){$/%Uiϡ:2XV:g:18G)] 2l;Vs2G9WoVMIh*IľS<lj;N,VXGt [K7ITKO"ҙ/pI.wOm3{įDPd`"xl)VW`g 4#9R*LSx6Yb X2x`+cbyS3&5 @%48m}:ǎC%r(߿2u( z].!zU (9SnwL&W[; +%0Ѭ'2 %1duƚ86Ii{~ψ4 [Y r"Doa&E8/?}d?5{$-R5TJ*VDݱdaE̺hWW~Ƃ09 9@K$8dc%6iBWudVt}=UoT`DvT;IJt唸u%3:N$CœHTszmIۜ 8Y.%D;q7m%>גZZ3+ڱamBFtHvc&_'g+}es0 ZȁUfN 6p@jT{9'x7ȸ-ck=_ޖY8T Iaƥ:?Dwu!v-(sQ[ b\E%z̖LKP"zg4K!Zbw#)oKTΪdfz}SBA̹ HnT!Sq65&J&e1"bFWjz"%gYZe007f51e265267eb5165be80edb93358803340f5db6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5b a57efa7649a3294a1a9152df50ebf74ad2bf698c 63c10f82b3707c11de4bcc331fbb1d1ef1aa0e5d