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  .5|4d ]S HOL-Nominal-Examples:threads=2elapsed=595.123cpu=1079.112gc=113.608factor=1.817zXZִF! 8]ŗXf1-q恈ބԍW_8FW'<㺊PQgdj#\,5e$u$kczPBXM˨V` g w'|o y<{6mJwc֊0md]?!}59dX̉`ڍrxL9&] 0ncVFQ07yFQ||4G1y@>U@U@UxFm9/WX3$ g25Q@ H (G.U0SA* !-?ˉ;is3Z6s f٣p֖e< zD41Pt_ޢ'cdW!GPك΀?W2 S n? w*H`;4(۳roa IĊD/٩ 8=0m(E>6'h ')r`Վ=n=*;O|0ˤ- =˦S#$@OP?퓚W\C"F.4u1)$3* N8rȶ4"4# -sum :G2OUpFl>y6;)/b9T.M%yuEa__jճFg;Po 5 HOL-Nominal-Examples   reNVv *vvmo6a_+}y]-q^`+tLy(,&vgjSj#xC0}WMjI|WX^cS>-"/MJ~Q 6c-/`K<9B*Ssk3ʘRUϭal]HtG[e(7vӆ]Da* .9O"ώ’B XS.驒t"Ġ>!eptɮs r0%#lb[1À|羅pgm4I+?"T~ܻ޲tE9rռnAf0Bl0ʑ9b̸Ø}zAײ-t=^ݱ,Ą9% y~IJ_w^u9 :彾SG,iUy__D>*sL%7D T0CK04FTjq昏)ƭdFhXen8F{iO+ .uiZhCf8,,:Jp* &jY[9"^׉J7/SH^x)Њc>N=񁁉jg2z&e<6Yx2$ W.Qׄx0XM>!֩2;vgj[ճo>W8/00z-l(}19eG+Z_$u :u%5=W:9fODy7᱐usseՄ[Plzó7_mÔ@ACPzM.$Ɋ5<)m1;MaTl0KcM*`H>iȔ׍l'Xh R]rCfJw*:Lj>${AŽ$raքql$иr+#s(~F PDrrf%;ZTz?# *\Gud*N_ل7*Z0 ӭ\ګu6_۵6`e _?F^&̭?n0-=B8jlUۂFSf$sGaLSMrbZ`nˡx{ ah 2cx9t^v,'mlW3~8TISK9vŒ{ ,aqٖ{~g#ekkٙ/+Z`Z{2Ξ;ZnIl1đbG Iхgtk սWfsBbNvA; !xb@~+UbH:-8.[{ˍb!ȭO֋ڵ{8s[{\%8UWw;9Ks4``NUk%Kݴ/$"DyFT<[qF{A}V6C8pNz:H) )>o[}C{e1n"Bҳ^Z>|!dI\JT>b%-ܺO T}p1J;閣=Kk[I)oZieI PX+tUV5qxOn]#O A/f;Reh*d-5t'Z[+ f{]t no6о)p g; Xݚ1l^m78M#hD: .@c}[9XFnMnAu$q*1e;'nǟ\=5+dYʦDJ" Ѫ 0d4r7y{ J2J*d#[~&!D:蒈n-sK)dUGSsա%Vq)@nSG~;RhL"\o]mO|,G.+krj+G$fA?uKWry!NA8^)+^le62ܳg4#ڊ+{?jтBq@oe `Tcwڠ:YRܦPLIfF#7`@25$zqg1POqt:IgCgBI}|٩b\l#d\a`5AAe ßh2fz`1*!KwYsK N>6'[*t_Ҁ$Ё}kdtKCͳ8X-5 Qt..'E>цw*#+s8k{R?&-( :M!ψ&ȣx3i/*ڸ?Į((5mJ)MߥJ8c?.i8fD OeI-T'>H)W{N d$!o|oKR4J~# ITDp@[STVgwe-/=&W/BP! Xф^u2av /|V zZ:fPV/[ amZVbi_0%C9̈@ @%΢Z.P `$/mݽڊu=}KU!Q~֒}=i'U)ZzkYIy3[%bՈDT0eI\9 ;_! v-mכ.ɳzzƺ4kBMWUɊU2`cd\[GbDBqܨGCq؇̨'L0#ሬ:T'WdJ2ؓӜ 8sywM D\n\:*<'H&I/]aY%kQ17O0Qq~5k(1Ld . `19/ƶ;kwxYwӉfձaRnks\d/jr>LR t3Ʊʷ9x:qf(!Yc5j ԜsfR_="k҆*Xxf%v MQZf2ˎ {H 7QyOjxlJ GsLz4Ij rIvp1] 0xL.sZN9DݫElUqP9ݐ];0xArj/\fųeXԮAVȽGB1p6rݞˉ4JLRNّ^S+{+& ΃ꀳI<9w]{:!3hE>Kr/dI8/J1z*Z4h y;ک̾x.YZLG2r1Z4g\gZ^ݵk4`7k6"cZ)GJ~!CȕأnƓҋ"PIw/͕{n;_ ܼ͢Hekٰdd˫wNZ?Zhagdv[vkeNʆQ ̳'tBGOR}*XmvsRjNxBL;] I|5Yj\Mi R8< nc|LYDcC;F߯2r(%*8"yYAt^ub++`iF¿CDQE=lE^l Ax>5C5? #0?}DI;ڋ[BC׎;TY0@/*i`V 75z):6f@t\(0F0ag*mါMZ^͒f EAyJtʀF=^䬣րRrBj$6MqZk融Z{ pZ Nşk<v~rHQ cH/O{dԿ$c/XCowhwHshT &]k*=܏엳qgR۶f0Nc @ ϣ0Y l}q,ZwQ]T5ZZk[ 4$(O>X.9;K{ ︾mߟ`)-~<=Uk R%>++7!O&b4Fh明@r1ۧ_JNk?OXN~kUG"xටA#~;\[%*ē@]+B>@@o za..RJvf:qm-g3QX2T^Jp)C*G]BEim$k;/@a3똄`߃=${ڃ[!Cȧ07q>/Hr=d2 __ٺsm.(m:jzn^<`w$xGcBW |[ Y}/=tsqbؐ()@H(:y5Jy {W|6ߛW3|[xZQ]MpZʬ/Xt ]ڦR-,E* ,>qRLU͋B)֪^t%`80Z;fLe ߮cJ:RmB󖃎4*D7j gKܶ#}ȟ|XN&W0[d*ˊM )iF ɐX[@op.`lՒFո c pS!hj iZJ\ke6M<dR![noG\uP=ܲ(dzh%OݗI  u@Hij|}Έ|-Y);keQJ;簒M}(a!NS]mJ P5'&u;7ja ?yh6*2Y߈%JBTYqY^>g|NH3@x ^ԁ$)UX8lB3h3ޜ2[Tl>9FT׀<󔮁 ca ;aQh'o&*PU?.uK*5Nf8i&(anT $71=iYK`U&ƴESo* }hK5KxxyMv!(̭GRWS]y:BAMpYȇEmp#w3pOL(2!܉/5)j*O]5tYSl6WX-m]fq6ݫF4ܗ87gYZ7zXZִF! b]ŗXiɟ1ʹ l93攀Lx3 y@K&{2+3%˵+]\}s[i+v'ChdZN?(Jt=yDQJOg%M|f!i]-#?*|oII3 Ğ0,P wh}')>bJ\# S"UtB'CE^#v\Q'I+$8츣߇(`/rl1^cyX'`03=(0m*mfNa: Fۼ ڀ=6?ԳՇ%Fj_~jwJ7 [=Cic7ZپJ["Mr^@="j@:+fSYcn4"$Q3Zx`FK?pdjɛ6*^f#me +Lr4Weu/m^ϊ{OwάD˛16._-MH:(b Jr_۱gYZ7zXZִF! fq]ŗXi%;I* >|uт1)?n_T2^}5\؏UJi5\KMsF\&9+ޝK|h9qA&$灟Z#aDoP(8]X@ OxIٲEȇt2j⟟2ѹ-˦HZf4sKz).wǐ$H{IPQt`d6 O=IM.R6sM1)؍<RZƻ!ؽ(_ğP&2E-\C~qH1h.8q㰗U@}.P3x (èg坄4$63 'J!hh޹SkOz;Rb>T>pNn Yt,7=$l;] qRhPOup}W&a& #M8^ 6\5GM*l޲e>,]ړn*@ ##y@kgeexf-J|ʁU`yE䒌2@E͙5DI_9'DSx#"!&>R$R'pXaf>42, vjiCL.D3ߛW?u1𙘧e|W0m?Vg84$==GLp51PȕeVۭai)f}Bo>D0 WI#fC &Ukx|̈́|&O35[ ʨe֗Lq~ Vs;PYڡn%׸,` j<uq6.@ 3 W13v)BiK^#Ṑ~ }(@ʸ[ - 6Zv\Ļ#@e.>N+I4lp8mѬ!~n"mQ/nKJ~թDK5>M}Ww|@ t>ODe/2~&.VJg+ .vaZ$6ZCӮ8'rp[ B}7t]f`+i/"WזǽsRcT8zK};d_81hwN+siWp̴mXXs$6$﬑JiLcN>d G`Jc̄mkߝ|QfwMJ"x&\pte>}7:ǙxSTlVƒ$|Ӿ&"g6A ƦNFu K.é̾/#_&_+q]>(CP QG4_.a T'5 s̯C耀wZќB*LR?fI//)ۼ$ oݞ$7ؗ} A銑7Zy[q׹n櫅*QZv /8Mk޽2)su{[FdE]sW0/)_jIe>D\$wiDv$t+N(+Wt4OeiL"1t.>O$:\Oq@K9ϵoxT!3S,,rb1~_;+-lpwFtj:%YL1Jt"rADvTŕ,5Id.ԓS@-kꜥ P ̗ bb yeVnxhhMsm =ǰhK+/ %UԸ*(Fg=o1qtJ' {8z쒄xħ٭EQ׃*CJUC S$-1"F~YN JDzU!l0v[9D(k u&]7 dzǷ3 l݈eJ9S!HV\/3{L׍8M[b]dиĬY0g2F<*G*s4<7U.zK}6UǷU'T23A"2gҞ 4} 4T,B@sU'63ir2=KEuz Z PMy R9ΙwJ7 !E6qTJhBf1yaҬݶ=40$I#ù?JibW҂;YFu `;6}=C>;Hpӆ F( ?GuLay$l[&`[dbQ p. :];[$8yy,mF.gt~-7Jĥ >\zT!@n+x g+c1:g3-~mHLҢB,v< MrJ~6 P TZzKy&s~y}<[δ0_uKfشgO|{8kx}Dzl"\&EO$qsw0]d5qG/Y73G[yqϬ_Ԡ(5ZkvEd|[mo*m7E 3zuQ}Y`ȧ/BwlA^ҫB<)Q_Gbiɋx[h)^Kw:ȶqI3TgX35faW4* 1sK:Os68rL^VO %5#o:?PwާrQj ^`"\?Q BG5xyZ=,,98x@4 eh2[HuBҁH(ZUr5DI*<'2?a  bL)k_,ZU^qe*;\{bK딠[hgL=Mx.??pWL DE į>sڎ\![0VCiE/jAsjgܨBy#,mm|"-?4T<ȿB>4`lyI| nqd8Ko>bCXN/ &"`meΤ* QR*/P->".=!uԎ ˴> N mzeG++iB5>4-ZTh*h2n7%;}Lz"d/ ~Gԉi}(qfYE[ `+Ԙ։̊ڡ,q 7~]n!I:螂wcdZ{nڅ™.!Ԭ` N)ʫt!BRQ^%ӤN{E[jR['PU_pnQ@V&1 Pu9|u;2HI3#I 벿ޠY?lt0uU{+!=y$֒+u*. {?nZoF \Әa1}π틆B-4hS+FvĥwNx/&q$񋀖F'c8Q=z}LBe Agrn /ź/ r$ڗU7xH4:s[j 2"3EoA2)2~a~FPC=uڑ"$u_,aw23` ;"o]8*wϓX$,1KE|8֓c _ UӡxX|.ac*AMxR#ޘ8@xЇ&fw|Qq1Jlaid.`Vqfs$YGڇmS4B?9POeKVHK3-NYN a*bx!{7=u9c*=ESX[B0 ܠ9c[!5WqU WƋ#17E㽟Zc-VQ%,)P욛0kMcp{xA,9LĪ h#y̭[:pׁ81\y @nk1&{ےϡ4?ϊ:#N8IN6,P6F ʄ֬~ Qd1@a i)Jbr-R b쉩2ޕ$-M(pur@[IV0dP&o .Z2LIh`%>e T~9[[:@~E?&#/hD뼜 l GTCQ )p-^'Wg@g{Sd:f~A)!nlq1T#4n++RddY6~{$К ۮ/]*Ԏk(Ǚ/6c@8Am!#N%Kz~QZX}mOlk #)LH)/꼷-"L孹lYBcStOB7H^6tbvFi`өYJ 'jȕ/& 3{}h`ŏl9&G˨RF"VyAbE+Rw>cIL9mE[BקiD\SXl2G)F-oҕuR)Jں[b:I mgEUY ٩@q=ۊ2ݗ߾) ٵqT#t-<`av!xd\4Lq͟ǼdEDx#jlP9h*' zTsG}E$ͼP@j.a0}&Ҡ:$% ko 1E?tOL޷nnO(5o;a,,w'!b%CcxRHWY_T*hp6%C`YChfLc[v-HojwQ0}/^ԧ{9e߭#%p̴֣WVtl ~쉵ax!5aQR{s0+w@_f` Z6z.v>╠hJd-Mr̀dNKl7{lssiOhHtd')b"يј\QojUav7edHoxm LYȎ;IT_x1rc&H Wzy4T>+jIMXr4=N0fr˞E2(>yl:zyhE=1|zg?PL  .&[Hg|j~D{.\#m>XRD6`d,Q7a%Ƅ  QX-o,?7z/{ mb"H 9sx$<o7pGi͍QoyEWzU (Ћm4"p4EOmɂ=ёnNJ\#lc{;Ag{J6;RΖX$h>YBjC@4 r_$=b6zSuh~MIkNDVl I2n2Q~5w#wdJk+%<:3[f&\f꯬p7.t `stÕ44'i6qvxm2g[TG*tJc 7}ħRoKygwn6Ɠ/Xbj"$8Ye&+Sǫ:ʨؘ\'[aDn=]͆wKhĭ7Y1 áj,CޏusNS +YcS 1L(rKpR"S)d2fY3+WÐ,R `LѵΗPaWL.y|إ Gt-'lT$c[ @ol8_(l~ϭni#Тm@ .NMTVNBA0_s_vn z\-1p3Ie$v*uC/c1IݠzҕuӜ*kHR7<;"@_&f:T9_ 3켑A²%WG(z7wE@JL،6Q'/G|T)2!>.#2bɻRE2_$)w!W}-5BK~o֢f2dg(y|ޜ5XSЊA Vp>\C7d6k_Զr뛚B}u[w&s@dx9bs*wѭ%gD}E-9s[*ܰÙduZ#ngoM=#"O.(w62;hv&7)sw|yOw܄;A>|V5DV5;z~cq 󟌌g{zה~nPlQ\+*fH.`gGU8ATIDQlY`ξqAm6؄!=S]eEm8J!p~?Eef_ kݣoȁѷn"x*a Jܱs}zP;۷GO7;4oGoe[|r{[;sB)CP BMWIZfQ9Zݟ]d ?mM-asڟˤvڲEA>zOD]a5s:hi1-fN?PJr'*W[FR?=J}h*.l7ؐd D*??qevH2v@ah^R*LK}ꩩ6n vF`9uZ-;)Jߔb%PnbN8Px*!;4AJ71cR!aB=W"wa_\:%轤T_wݨNh "ҞLk:0oǠO9!tQlD@M'$Hr+:GzP%z9`+H`@++^@=*}y=+ie2fs{v 59 wv90Ϟ McĪʆa0{w-ylQ2UwtCaGh@1tghHZ3Hl&ߖʕs<ȑh+׈(bY՝?E#xN>sG@2rG=VN*ŠoѲ~|0o8P~%s&xJ4kOZ4CYjj&7 jgdDa|La.gyB0ӻdś6^/@&ZQt1475rOLNOxfZvQz{[Dƌ^zI[?q#?ڄε9>5lfaHτ/f?X˧ipﻇ &yls^ =@z9kAҭ|Ș\G<[Rq=MB`14wE*Q&`!~I*1:=Нw]m %qK ŧ6b\/-hzK!K1'{bp7$ P I G ?|jդ!j_6y$#2Cdx+$Ni!{8Zzraƪz&q,td}, &o. P.g6*J6ZрXի['OW.؆y>[P7_Fml? mv m`WeX( ^M9AKǤ,_g9D0,'#vB=N=yQzgi\yC3P&ESk^'$F&Gu<{CuS熫!{f`uٻ.?ƥQyJ؍Wc]YAθ_,S9n0ɟ)hHg#bsG_<ѯT-PM=oA|,6e8Y-Gˇ1T~uIRTci*!k[Ɲ_>1iEIe@}mr$%72 P7XxhĤ"3DeqzAѐzD0| Gu`^PCL4Iٯ:,z}fOELko 7A_2ru-E9$4_ nATVnWalp3-. u $/-OBhgR#wDuRlǾL6pvj{dK=pW{}S!d>2J뭝-驝I"^鼑[8yxT=.z?$w+QTT0Gy0GgI"+JvzZϤ<ˉ14ъyeכ#,I:HN1 M1-%ЁD^^ 2 ]  I =u=]3ؽ+N8u(z orB͚lZ[\bdV3b&\̗0j܁C ܬ E4kD[.v}t_ބ6q!zE;0ߤUO_ MYyyWvuv-&+ 蜋aUhJ+T9J?eV 4qj =bbU zRE$ńg`\1]I85dNsjUErddI?8J\U{7w~SCXڨj).ĂU_ xbȻnM T :Sˉ TPr.f .{epwH#jtu8b,GQvكhޜ,U$ʐ94V=%ri!TL`Lbr׮YvXxZ0FŁy W"QφMBG. ˬ@ړRfBi'LY.(|]Y4H&/yXۿGѶz$Q*|EU`KoPϻ'D؃xY{,xHo ^⛝/"!s}Iޮc?0mTY IF }CCBKc?h8U)u!y>OS0O^QdȽIT-%wِd\%[?ڦ_^B\nUj-LFТgY$(:QX`ux <̲%̂F  &u Nw!SC>3`?0Rɖ_^E;HqMPx|,]T4ٶBمҕQ\>p!ei555Qs"i j"  U:,-DZKX)LP:Q)î]BTx,ؙtuTӓG" t13x޼~V\A' 1RG|ǚgȴ ~W.֮x%%Z}`Y˜!'ZZrcB~k*팻㫑* g#IO,#FM̾Ό8jZ ۶".Vp-A (w@`[o3gvoÿ5T'38Gn5PXЂXKQ'̵=.CKXv~M2g>Lt4@#-|ee &aĈ\!2 zid/? Z3cK呟PJ-CY<޵mԻuyhJyAzYϴDoEi۝¹.`)*$%u6357=].ƚdv0b>,@笲%x UEMqm+eҕlM:u))ދ}V7ѕw8CN ?+b4-b)jSkQ 0^u+M׏?ՎeG#V![Etg8Mź,vNBse |-0J=*kiejNm+5?T P$PkdkmYl,^ȝ{b_-a NJ.sCꈝVWHWB3tfJRͬ'm1`Bg/ pX x`e ޽9}\\c5.Vpٗe|A_ ̠ި={;} !rN?!-fIm*(^4jDW ZELdV-Ӏ2%~NR,zĶQ(p,NO"elcΤlC~fAKRFͤTei Xp"Su04+jTs{1b1\o{V כ~ijP2ڍi. öc=D?M| Ewh@R];cvr9T@g}ZAuA\CQq/eEn˗/fiCD蚦J>:ڢGcITZaBD?_WMɨ_X2KOy;y`$Q Tµ;W'"qC6$8U^.4W,$'~pG7U]YܕDśKA%Zd˸U WF=1gt.1kGt'Vʥ}jB͆",7e*{oqno(gXI8~Ԓ9{}A2u.6A~*| diͪ#G}گ i9'Diճi6]nbÔLo^/l-JKI?>UwUXҖ-֓@|ҸM#4 He]f 3PႤcַ+0SN@”ۮ9OJK_Jk+(~sSO9kJptgDͣ6Jc1d jXOJ$~xK֣IlA<:ZȤԫVK 8"㵴k=nw#IJ5(e @2vbNΫeW\1j%&^VU5>x4jE1< ۨM}H&+ a/'G<H,3Ogf$~5ttPr d,a=#MQۙcӋ lL5[]gj֘ ju)kqdQ +}ky/W6>}R-f}j/ ],ItXϊd>ux'~LjQMxH@BAuamT7/Q%n4ͺ9Da~8b<&P%/;]C.en}]}ƥh.,|5NGt{|_MlŁ0~橒]wmfF-'ǜ~"3 '#8ygʤ,)3z+O%a(P^ wx_(=!(=tm.0ofgL(Tqpҏ9V1&a3R&$,rK=Ҷkxw5ebV|HLDekJ5d?4Nc! b^TN-CL+p!j8)f/L6W *ۃ9U~c'  G5GA1wy9iSpǺOfǒ=Ƶ+FsJp]{${.pԞ/ل h7id0! =m=3m~WnLBd}tn㢣e "K霕gC{y] @?y*C!Vw>]a Ȇj44_lT~*c:;vD,./J,y;2':]! {RTh@lw9Sݓs I8wm<؄gxӺMY#|5.^*W\SQB esG>RF b7M'|@&)CYR]o9[$>pz@\&'m7 9C*]kĽJ.hع2Ckʯ'd8|ݳq4l21ToD/Y@fX!APo4nI.רva `]LXޙ_v0Ah"æ 7/ Ӌn+GŻ(^㶖 YT,{^s&Ḗ97"Ii\/b*#)sKTn*|z~jߗk )2H W5 |h<]$PTZ\le,X=>ZGJ?te45ǤF QrѠq$pFM,>L`bUƗ+w슨L&0^G굿^_Ӆ_OkF7Fݐ02jwݮRզ~lt"o++7_z+KH8/CLɏB앹JvJsLT?Hkۥ C);bAB 8zqݑ/J&Fg3?+2bSoit| 9YLד=nVkq`}p1k!%hhzC:g6XjǬoNL* K?: > e8@^vL瓘RYq 9+i7 'XDoۯ "ӑy}Kv8a!Ȉ!pq<8Z9EZdgԾa0erڡd rH]?ڭ]B?|Sek,v.!BW*¹*KE.gbVE3zhUڧSD?=3Ы)wGob&A=^CA(]%[Bi Sn&"OgbVLVYP`3Xϔ7ZRUt p0(L!5GplGg=zM1P^B_I~ۿX;Pt'p^z44[c9X T{h9t~IPaxc7u~K?#ro[ΖrKƕKw]kBLnC|ПxXHmu/qXjЁy]PI$xR #<{cu~(-o)a'kN9:>Kރce[zliaq(i^Yo<57N1Mr] aՄ/^-xcUnS"]$Rf&s-|L6HmYAW7hNhGq^ݲ|o%#=ON¨p}]~ԉq$e/R̄τ~{_ 5 Įa~zל8YyZL|T"C"T"LcwOXPh%@p cӫ:r>5`Ƣl̙Ac9 v7*$}>] ɲENyޙz UIӞ[<~vCPn2aȂj;;),Ww{cܞ٩ mEaK!{鱸'dd?a~ b7(>…š჏8G׫s2yͮ SuhBP0G." 4>mOu: bFES`jw02-ۻY¥d Boc茳.U,]ipcA5{G6vzAb>=ףCL)O,/$͹_ Wm96O֓@s&XNeVS0>~MsDYQ>$R؁YHsb6AD~2M,ܟGMkתYic]v*N.Ѯ*G3M _x3jrfl22APzANeX=EHXétVR nN胭rG7[O=Wߦ'vaBw%7PVZeK_(M?,oeut!`Sr҄CᎣ .M# WDd#4bsrAaDT7AlD=^H2M ˇN;_,aqL.R:X뱦\6/VcnRZ@0Z5"@S `hMy'C|`%]Hj|CcOI$Ru,]Y 6I\5_ԄN#:3~6`Et!GTo ݛpjSVt0_i=w}NVPdvE6 NڊuC#SϮdEisU *J}"&pxopjvS>#^6B$ >YqKmĻ쪕y2UVx@jZ-:!V&Pwz:5R|[)ʅAuH?cFn$8pƕL*#lO'iKk,̜KϵG$>0-8&osЛԕ$?q28#4f-7]N7hb9>BkvR`d}g%wFj,r6E褗/L9/+iH䘼ObPfi(Z p_fsr2B"_MV5./_he&hюj|d<5nIF3FKEev΋{ GEU *#[l}<)cysfE)O/*3)Qe6b8g{:v~"FpɌj9+~hȁD X2ǙK};([<(vmEfRG\z`{**")}H>1&A'(`aEzdq o ¨xgDO@O{0&DYD9'_\:7hP^ lj 5̿I ǧ7&Q%z+my-CLfd{ \M pta0ud׃)N ؟suRL]cج7NAܦx>7PGOKx{@D >闿em{6qQoXHx@;FeL؜yv"<NвȹN{8/Q{croit>4E=XԀ}ٍV>L6on¸ISάbߎr#u~vy>pn{wvs2j{Y]8Rk_'CߞmjՎm@&;Vryϖ~g}lM ܃뢁RI[X:O*T;Ww3`cSŪJHW )_QvO3eH)`#}^7y<0&Xb:ڼGA^a {f,@1B-EW @eHe^$[syĦoB$@ܜ LQ"r!&zo:"ue[ Smex")PlSJ;G:-~y+zSu/y6SmA2 ɶS92n9KMcqB>/k檒'iYQmGХ;8ԑA~h vkT=Ffg95zdwӾ.$Eҝu?f#/'U)i>MI (K p]FWcuksSƫhܯqMH l+t *Z'b'w4'P9Y\lDgXhBݰM7n EγW5).FL9Y-/p7[}& ޥwtSI_3ayE`+7D&t#d]XsÃJ9Uuv떜.>h&* >r}\S?Xj[La* {s|omU*K$B;% hmvbg!1DO?L ьZAzcpOw>{)).2.y!ǎ+][x'fLn/3%AP(%DZuzE͐҉2yV2fMʼn@DS0[!_LP0yxjp[8۝f\{:pqDSt;1WƜlٍ3>#ⳉWZ9O7~c> E)kXyjxe4LkiLuY4(nV2#:jxmc|kdU D3dqds"I ܸl!#&zǠÍ[&?:14>^+٨Cb'_[3Y/D/L6 .kRJÞA4 z#NWUIg J1Z3أE5*zPynd p`{z! Rly3c`@eMcRIkEr&궤٪ԉ]:.3QǰY0k{~QL-+jm. )Kmp[Pz4BD f"4fE@z۬0T-7hԔ9.MUָٙLM_/[g4pf+Y./cןo@=㗧qF|MENsZh{ߞ-ehI\?~D|ܿZI˝@P!Ħd9l7 qT*L nqnZS8- jΰ,?>Pl3DāV)w4n齽8~pd#i3`S-2M_D SihKkƻFA(,ݮCtqN3a P@xu@Dq듘ERj+Lri/,иm0P#VqBZqr$3TIE+qy9?$>Z 3/iyȏ V@Wq&Uprd䯤ЁpB/Y.35Q?Vsg({b>^[]w//~xyW,& {bM#uqz{xf ܹ5:JDFuu<^Z,/E2h4 M5Xk@pW\I&.fh:tܭ^wP`c)IY"lxܳ2S({n~A9 {5gUby_ `[ 7j.6cF9sվO-z]q˨u<OZT/* &WGrI U[LNjGt$'⹽RDJDJr#Inͤc(G+G\zZ/K+ [rU9Kh5醁;g<S^W<, 칮"wu/d}8a) e~8VȽ;:U &S̓Sp[{=#/ɥ B"`wJ[t]B5N,X61N }֯3첯7nX*iRX+Nǩ!em_0k52oDwvRwJ*: Yw{O,a2+ogMpu$"w9/!@~rlxҤY̺$رWamDY:>B;G܄d1J=n_) E;uLGU=r*ݳxukV2ngұ鯑"Y}8CyɛhD=E Д)8Z%62g!!TNQ -"jWlc4KcuQ[m^'yzkX8T2osHjlIjz \HD#H˼PG~OMv*VϢ7yroIdc%[H9 \rrdCZ+: mÿ"CAKD#NC,x*GC2p`˿lOSnX Pﶙ+d߭Y'n7"̚3 .BIM$dmA/6LmvKʇ=^.F2ŕ#+ʶTq= qwCX*amҝjjHlh~ |uWayR SyәB;_o'l : }zou|^CK]<>H<*E2zI~ۿV<#1EÈֈ[vP6Udj#%8jL"|>z`@iW䥼jעF!wupr.O(b>Ka~yrͧkCndXCkzue/9LqT#]z w ,%*܉WD&G&<iL[}7-S.oy}.؈dJU#s/2 Y7+߳vgEQЪmf'Sk[-ퟃՄRa7Oƀ/ra$sɊQ(*NMlaTFNYWO&^hJ]4H: ?8?gI.<6\-ǭپԴ&c?WM\nZqr֑lS+ N{I!%PYJ;)f| y /n`F)R^yB}}#pNq8wMbgsEglSo8=rw= Iy ze JärW/8UF;.'&wD"ȃI؏O{=(;24G,-,JKg:A.Tisk,g޷џyxPBˆwoM< u7lnD5Qߌ%y*`XOV#hP #Y$ =M{n"tcK禌ZciҜLiNɾ lI gA'z]}I(%7ՊCY^!W;q#xKRR2ʻ++gK @!dYKvw[{.=9T"+%aBpZswQ۟'ju^*̓$J_x5P5D F <|<؞A吱|#2̺R }6Q;s)"P<~Tqqku;ziO8t6b{h7Z23MgY&BWTg\nž; FG+tYC{hr(nz)Frk30PwdU6"of΅GfL"*mD$*HFc Dw +l|˹KnrQl\FI(ʽj̪ϦLx^wT0pX }9 \1m߂|4jEu~^b^^T#QS%1x{$[[xS6'mD:͔}mlY+TBsaȒ@FX)0i6yN"&űGgf 7޸a&%~Fݛ]֥Y ߓ}{6 _ܦ 34Dr) Ntb)TuuDC'$"9tQPfn/%㶞/d|`lϡp\) >J܀ɪv<3U#~٧'V7҄B}ǹ/'E .jKxDQ6dIY6,d<ѥ #se2pҨQ7w=X ~KevJ\|tBc7B;)+ԣ.@\]՛7No:~{[cr Ixnjk 7%cOX-_5kوGmEgdVE/['kn}#J.q8- C!b8F2n5bt;p:_=RvB8rH؎ O$6'ڦ|tsX<ӤZDQ@5Ҿ,?乇P`Ial8]byk*W*ۚ.{RZl\w.SwjX%_sdʙ;Q/N`XK}#:53E"ߵ.Zl*-6!oceuBALkN| ꏯȠSY8eGaOF O#M?' Th'K&ۧ s(UJ5KgvJjQzGݮk(Ғ1GtƸ3PPz܊sWҀوL΢袹DڶI.H&& EQ9d$)-t%ᥨdhzC1wvSVzۗr`MEDWIANHRП=EK (7lZrX-:ǷT[EeҊߞ1mS]T= ^y8ΌȻ\q T?Ɨv}HQt]f8Ug5ѤbDy핥[J{]2JHɸNN PPXm M]aiaJHP=ԁGYҥSRB 0d~N᭛ƽ&6%ma8E`م^שaun栛6p?'G .=DDӎ_b4o,/~7,pOoXڻ@(F ~ *$h7xYF'nej}tя9 )u2d7_A$<|$_ ʦ DEw,lLLU#kg\T$[tx|'vE8Wʩ*+ zΓ?'sWZOWoAl\Eہ=70Ǵ`TCfTIpOӋ0K3QCbW4B8O3HzCL=Ġ<7`_m8ۚ6q|S4篽vŀJIb ?0wgL EB)FF݇s.2eHQECp~pYYMqFj@4I<=aT4 P !uϜWΊLm֠Ú8aXǁUoa.N U2J+6;v$ *b벪9VvUEOtvP >9Зݝ0Rrb"jGf P)E۫95xq54P*dרLp/uAVgE1?T5;hR9 n^]3{6De/E(X<xɍ v sPgӝsrp)֧ǹ*Ha9%B*Ku ,Cf1n!Y' _ŁX)Ѝu=Kg&uH^Z#&~.eg(_$,QY}ֻ{GcRVLazPj6ge+1^{ne)||9@x B^`\2Xʱ\1l(bڋ\(4 xf_2j3uz(`5HT}DDhU"YiaKqlcI B8n*/u! j6 kZz%RdÆ#R[{%@:42KKQ2⿠uSWɰ!_˝-1̃ B4"yKZWQu]SȰU& Zwp/xs=EpBg]-5* l: JtŔ yy)}e҉GbiƢ#/T ƻ`dUO@"r4 ACK{*2sWCD8a?];`2`y;З8='0*E!k2h{r u%4bE^~TmnV#Iؑ}&.&a>+W F6sBciI ,:y Ri2c5p˻v#LdpPN^RC/hD4uKii!ZR_M0Od3*mO* 0((u>mdãa} bfۅɏjf^Y"AFoN|֯#{bO:a9xGɝj_g4 y81+Y$tr>gU\{nˑWۿ/_g*I. ?-uQa!m(9+|J묌M;@$\:*22- D`tX*p `ڡѼ$xngh׈RYRW|ME [71d۪]g"ޙijnx(2:K"W+r!+9O+N6ޫȕxF6瓇yn S Sb(]=R;Ofx*a.iU bXZ"I-5-u:#/d”\t[o4F=G94lS)*@c-l \g7}P7wLT PU”bB){:gYZ98a1cd61b087553adc4b850c56770be9ce4fa557d2fed5b8463a719e2f3fe546c701ac5c0e920ab5 cc137faa7d41fea458e730d08d19187f36b2fac8 915082dd8be765921534a4eb0d5827ba5ef779c7 5530c40983f03947d503017f389661f0275c5bee