SQLite format 3@ .;  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 ssa#dT ]S]HRB-Slicing:threads=4elapsed=437.305cpu=1225.836gc=56.060factor=2.807zXZִF!  +]ŗXf[&n5/h7c| WU=p'K$:`WπP%^Gtx (a6 +6pa:3BQy+Wd s?I]ycABnрb턨Db:I`b D;#t ̙s Tv>mGIȈa;' #ősXtEdcw˂(n#ۚ{!#}-u&§Wڟ7:C^_fm)B9v^ɤ+ D>)w~@*۠Q%we ]Z$/[0cÂavCB!xK9K>lqG2p:^6%1u;,3ó edA_k"Q\"q$bL$DyK û<'>5[n?22_Aiֳ3桙hK-ծe܃ C@T"&3w[sW;\}yzT+ub DC🋭maO-A-+nfW<pbpP6`*_IG,#TaBЧUz5ZTRB|D cI0d^J)@}  W*M.. r3RQʷRh eID֘dyzàTT^tsQm+}=Z SF~! ٞI?[4BN'!j!GM\"pĝnқܩ"[J to=y7>xL2PϓZTr;]ސ؃{niY41qU7l%b;g5Ioҽd\GtU_cF mݦч'xθp:xGGlQc{vKrXictO7nc3ޑ]Mǭ'5|BacЁ>V0PmxIeD 垩xS0DIksJtؾ.%.)(Fe7xg?)ඝ&Ua褐DfB$5d篒_9HH!炵fRrmBoz%piߥ.$c}j7׮p"zJ ЁbjS(@:Y'tiΙhԟVm&{ll"߀k~ᬏǜmh_?X@T[ނ!ʷцb"QU#3,U%Ӫ2LbŸ9UGIk Lu#[X?J²NvNii#mbX/$XuuDaKa` 0ca=-vpp2竕8Z]χt'0WCRȻj.kv V{K Ϸ;"Fkn-fFJuL;MAô7UEߙAc_2vE:aQ552T'e>Jm]C_-q`כ<] ʄVWO,}@ָO\tгg &h/铻˙sޜ ]W`h;6Gl F@$czЀ^"~䲾oLLM401$=c2)[lLnӷs;:28ʁroUȰI`sd_zR'Q # HRB-Slicing  l5f@mrm'nh䂋ٰI=9.dcIZސ[ʦ;A<(ީ^Ɨ7Z@asoI[X'U@@=h ũKu7-N"( xgPh@ܔkA<AP1awB%Bb|wvӡil.4 c'YF`s A֣klWgp00W̓Jc$٨rzߓu1$%1Yem9Z=z<aL!':(/U̦7ځ8g,ӓD"rEQNÐy87Co ֆf{З_EӦ ?wg^*-|Fa8 z}S̳aP1T CזٻN9$ BzVkaᣈ Njk| tSTBM&Gpw_%֚XMe g"P?k?QgDļE=SjKP2wh߽4:UA&: bڭb.%6>EV\9(NTe%C 92!S_%|Lә@uU.Pσ9%BPtTZJ.<&4JjC$ MoVDžK$H>JCsGKF&7˦hwByc8-t\֤$_haxhT7ov0ԯ闁#n9EYwE!-"2'\rl~d)º ^||uZ=˧̕![FĆL,fܽN=˺uqc,}km^^xSs‹JNoPL>Rה[X!񴗎^(cgԂK}Cw-WS;n%MSXlSNI߫ ٓa22JHɯ12{՛\A.k˳@lkUzAؼ;cFEaW6aEj0Z(j1gvJ!5 WDcdvz 9I|! ®Zb?z|{Uv9Y+OHͭԲH86XXt1p_jo6G7tgCBn^jѭ؆O1`y!O1Ke۞⏔| Pa+KɐznF#6ÒbRlz2_HF[a:v&f"!F'z){in*xztmW.[r-SWn_(j)RK?[I߽N$\YpnW2Ye*Kg~ۇ#ĆX#JYQGT-? Bn2:2FrΗi'qu TҕN 8HY4ţ55jB*I*PՈە8gK׍K$ >oo\C+ä.ps:6QX(IH`U͌䔬1|/=:\B>>f؛7&U7cё!@>yʛ'_]|Tj 6B5}I_)OʴjU~32e;(墋&(|_擳co*_u‡FyjfGf2 i?KP4|DwXwETZʍxW=ײX[ Ogy%$:!SQ0ʾ?vf,37x\, nÓMx.YךH u:.ΠBsb:\`~'3ʜ, [aͬ1ٝGRעQ= QwwMCBLA0ƁVMZysE{My6;dgn rb,$‚(7Dx/D Ч51-ϒȉ&62ݞ"Bw$5離藸T{E0G;IXz|%pUd ΝͲgjAM@Ɏ'*B g@[bu ؀QEr5!B#Fd~V)j<&$7p0߬SUm˳rSV_{Bօ˨iҼ.kmgjq}{SBYcw벝1$ Iu>睡΄VgIbmq?M^A'dKHwݮUe_uLrn{O'sQ` 09ae7G(Ex`ty Z؞T1^A>/jI0t_j(5|ڂ~}tw ?aeDAIfſ:556JՖϜ60E )R-#*D7Nh?ʬ/O t$~a N&VH?5Jc`0l b#.XQx Pq"<(M3ydݥ}|;H!4 v4Haz}>R6{2xMk6LcqJs_d <"k=qI[ 8~s)G#kӵSCdVuu>x c.PD쪑 A]O4>icd=J}*wa"h--x4?bCU0$A>9'DoC2]ܕQv6s{"֚iiʌ5C Evڬpuf}Ҳx2+<@LgI?gıyHmcy˛LQsݨ<1*$ I" IVɆ'czAÅr׫=2$H~sY(}P,ii`Nd^?UC-ʊ ,f<" h㋓yv~cJ\XeG xՆz_f㬬 832`i5UHNapAhGC|>DVI8n뙪T-ԇ*RUYGez(`Q0lYFJT+PbGg+SB>}!'Wmpȅ ŗx3x*NO3aKɊGG2S}EA9ЁȡrLz/ę@.LOgYZ7zXZִF! d|]ŗXiɟYyTv2tL:ݽ ELmMƒ  W-ۜ!\ 'UmY[$eq!a.3`^mx*X.arQT1|m>tєn) V-_Y ;aҶx Vta{_Cܟ6`(š;#g5fqP%6OHYҞ&>|*`C/{ߙ0!OE)vxAՌ* O^v;Q !1Dhc=^8g:4<."T&(?젡f/[b?ȧY%}fcyN(K^oc-9a~jDHNdl/oQGiȔ6Sy̎-5חL3dz\xG0S~w9)1r;ߪ.iN Usle޴9t +"O{sXX,nx4 cV&q¾"y [F)yKCx6;Q=[cPwF{x[S/V0# cN2%#nCzLuoKbQϱʲG.9kj'w ͉ j/FB>,e>5f/ *_^FGOl$R-ڄn«LzHBbN.)1=kra&@P "lHJbŭHb4 Df? KSF <2P&h̬=hEQ(AM sw`8m&< '17O;7oࢳVa+-O\`r&j5ɋn0N֯]kE2|篑 KXqZ(=@p wƬVhhRUG>h~\En9G4|(BY]={FUsw>rk4hZXi>]9\8j:kc;6yyI4ǶNyj/vd|ނR#6FJpQw[ &^볎*QF]ս1ҞEJMaɱлt !C!9$r}Q@suӛ4-xHgt$Sl V:'E0lFr# f~7-Gg9^l*4ۖ 3n"-XF"j{8l4fVc;EgON]RJP 'q&>(I0q;t12'B$ߔJ?-'|:HЙ=)uǵ)]d /R1ej o齒VyZ]U5,R`i Wd4\΋a^y%Eز~U+E\0:RtҫULz͝)X5D"E/!;hf VD7,s2^@oH8רy&XР Iz'vs9DxX;?A[6: s^w.V"z ÂEGS&ʶRCqljOAgQ XWg#*MƹZ9fTZR*2 s d`-:@ۊt遅ECsmBC`2FmZcW?T@b8F/GnhqL$tkǰ ~(!k*)D2Mo;؛Da". FȎO<۩uO `ѱm*v_q4`$])%ܨN/w6Kg\F>|rdJJs}h07ۑKO2M&E-aCY8*-Z G0M^G%px#iB7㙨.b M 5Co%{rnG NbI[] Bo~$',XI%me!]jJs:oiKAөRVElv5 }]hc-u J2C1/9^WJl\O[7GJ@fp<0%W( 8病b Fk2_E!dwK?~`z[-5j .cj f*"Nfv924U RUB̋NMOI1e23_j4QRT9NIp,]oBmn6;r[Tģz&e4*1@덫llAO6l3܎uxKEye@Rf*JOe!o½)S2'2_hQǍr?omjh{bKO.mM~(uex,3ZUӆκ\D%-Yp*txM'/R1ޣ)J2s4"_C:K#,ϓYjp p>'օrS!|XYisU~)Ie} sk^|tgŊyt9PR+x6ixvʺ~.7bsFI_NoqHC+w~ P(g7 XMGN'4`i(t"l"}gfϕ < >Ȕ( %"^\PE>A:ɉ `Jҥ}')L-ί08kHKmOk^u8niЄ|upz>6>1GK6vr29 N&fͷ3^5&C*1:Vdh%8I%L:BX1ÊV|"feNt ͢X.W]MCD:lSLwDY܁- ȥܜ3ۚ6[6[[JJbS] ZO>0\'P#$nz )zImazާ/J=d&< sZ"WGS2UL-;D/ꦶ@@V֎cU%Lw Syb[f? \q͒dRU%7vCBlb#^_Tk /0KD8HRpC=v;s{h@-J YMXm;ƗkC!vMnՃyZHQ۾Y\Վ+@pqH=jGř\)x!9@JYvv=F* jձn8.3H\TX5lVZ^] kREoh8[m9o_a9'mJ"F,38 c8Ǣ %K&X{&}o|PoaGMZoRu'lUDs;Y]·-<.x]j~Wd:9! @[- TsIg9rd.bO㵸|<+#(xɵP6\ T:b/D`wh3sW2nL`~f<y@{9G:/g<)hń]</͕q&] bX FpocoNk]-ܧXɰ,GϪ ]&w{JXa I@ ft߹(4(Dݎw"oJɘD_K}aX#ANJձ4q#~8Lخ'vJ57 XcrZ )P]{d{1SOwwr2[ 72~ރؽǼ) ,=xpIo6h;R5xw޷0JV甧渦fhc;M誉|h@.Jo %$;s]Rŀj+#8Y|+|pH$3J(_ 6TSTͼQlyz&\4!cғp_0᯷k+9lD%F2f6(S?f: h:#9Ӓzzh6yGe*Zg%gB;}7cnقNM^jAWQqa 0Z@][4m %B 7$60rGmC R)/c` "սT-P;_vZ7&6IK<$B ?3 9O+=;uGkn 3 z(Wj87B~f>tLuc4 /w8ݙ;Zp.Xzotӳ`Guʾ3@: HMFIFe HGC\cWU$MKjg@p21IB^9>]E~,f `Zw F#pSK䉺mVnB<⢹LiEߘ8F (߫p_wRHF'=,K:8XiTBܬܬ hRUΪW5fq6}-4(>>)ofvztwz P~ʢ>0X3G̨wd=owf2h-:7Yܶ͋#쵻Ul 兀1>;`VvFi!.2L[y呔^s,X| JQIS_8!bNrC(B,8>JxH6oWUmL/8-Gw ϬB0_Ai~s `}M"x=>i-6Wd1VToH#D\t0| GmvEg$R,d\vg&iE׆p%!uOuɣ}DݐrB@_81 @ƈ~Ja?$_ZNM6!Qr+dWG/$;}5/Xάm)|tZK);b-1xK㯚g=2gfX{x{0 oVkх zrd8_Უ/558>m0l3oK㢻reyYX5mȨs^A i复DXKuxv]so5KG_);_qhdpd:Spz[z]ɱqϪ tb58BC$,$ǹ|Lm@l m@Ȟ8= cCrx槣ˆ*VNWۍq&,LM=SfSI ݼSya8qIu`N*w< >OfcoYu]E%"s*ߍՀq': %3ϟI8'.T*Bk7@6;8p$ X^|Ǘik"ώ^n ={oKG=>㟖sw B峵=pEr8C=CkDť>]qajΰnş-: ƪ6lPy62[2qgaШIXeMaI?xjNXrGCַF`q߬=CE,Y\܂z)qqx- >ϗM_||GD@-3cs! =h@ ҿNFEwSXMߵ t;7&M??x*kYf`bHIrrr?{y .atġW/{>2sSlhHc("GӺmw08uY:[ >Ks:UO}h)t=~u6~s~Pi~6U,&Mn]yŸkUBRqJxy+@'t:eV?*_kfFRS_G4r%d EzKue_s2/sp#Xdd B>> xhJxr7w`C'dξ5zF%F"^]@qry1"Y"8s^rI9Tah88mX[HVvq8ũ(ɱ>_JjGSHN1yy|rH+8{lko?nC+4E&Pie-u}ޥaV! L~1PXK25!4^tL4B3fٗ D4E'mx?AN|?m>}Cޣ<|K(^y\mx&V0@P$1H369^H!eI=1HyP_seq !mh߶y3Sԃw'` ezHNh&@~6=jHm]!FÖ1YkP^G#O7-?*WM.FR{CLw ~^>% »*Ŕȩ.l w]aO'%Ǹosl8Jn%dF0r]zޠcnzNY6oi8QjKW%Ԉ:Y@ N6>wVx AC5M$`UAD(Xg ir0V Wbtc Q\ k- heiDaQFe/W^)vH_O'oͯP>BlP|X%Lr'lX NP;6mBbX+R:yR0-E4w*Eidn)O%%mX4^c2LJ5հ\Ə rY>3ޖb*N[cG?>EM[IAOs o9!YK2]r+sFMtdܖ9-<` **9;%+PlVj}t}&P=tc` zC;f&q`>ism%?륶O4ٹtTji|MBI,-;Mj4 +$t;,k=+ [p:c<8{>8' C\AbfbĊ:43Ms|F_~'Et>y$neU+!\! Y!2)̶&a?Rq@EoWj(Rpv2 V!PyރEF+DzF6 GpVR|>m:E3fnb2>vPK73x&>xbK,5(ݧ)w󼊪UKب4%tMO }]cf7 Y܎Kl[=\KsA̜c!a6 CAP1"44` ЎyGg Ɩxa_$BێA"y8!XFpzxs-4FXJ1R+W_O[Y?(")KO>Y9L#c׾RF^{SKrj..m3~X\2dҿwu(iVv, ll'O2vsl2ܡ(I`P;Ĝ=BgEfEԦcnG0HD`Oi * ykQR܄5 *2>T\<>Sn8rdl>$@|h4* 1872]lEgOZ];OzƂT> Im㊕H/`Y,A¡-U}fA|?^j36P.`y&d vwå0HكiQ'4Ѷt; wB"3L-AߤY+ʌ!4r8I/m])AvJJnT ŵ_`4Щ0` iI_ݷN/ {߫/I+`6ѝ&Cl'ǵ,C3j,u[ RH|x{6j~%;o,\%BD.GG,O\@20|-68mߟܽ2c>Ϛ4Wc ,ѭW󾃴/+SSdy-ǂHtZbѽwZӐ2!dP5)4Hq@mG>.h2dMo!Nĭ~^K[0Bvi"х&KY]CM\␑tlZ=Q`L+*5 Qb N%ްͺt7Ou~` '*f!ϊcKBo.^43]$>N+q!'zqd۷ĜsθRr ͌%z7WneC R6At6oV%v?`9ҷ=O7/#>eTK޶pC~4T8r\lr?9QhU##;AW?E;D]:=3Y!zԃ5z "$OX7 #,P;F5¡Ll4~$YĨ~3: M_YBTal:%VUpr$>9!s,-ҋʬ? lrktm]1wxٙv*?ߩĮoBCh\bo6 T9Sj/E37)LPĺ-~"4-q#4 9cMsHd(Ԭdp\ywݷS  $@-u(@]Y(=dgR ܓ A= 3 8V11Lyv87zV`IBN")++WfƮ͜@QE#D 6BGF0ip!P"ZYջZhG"`@Ƃoy«@Sk}@225'ef3s>,Ġ Rǡ]g5mȩiUity[s?>qqNp~z xJDIsNY QA3=%%|1LͭM8 )}+4 ef_p QmO="ɑctUQ&c9<5nc A" @pdkMW)X92|u37?Ljm9ȱ5Y&zf: x=9A vV0\^WqSRF_p*7h,2 zߎpdL7,6sSQq _ ϸlF֧)`Ҩ1W 0wӋ’oMD!'~4p7&`ҡoXx4 +Cڒsh8'4 6\WJ6>bs7|fTA& =UPʽO6-DYT?d>r+)p*Sn}kUU_J'}8oGCB6d^;qRfz:xŽi,FBьq;nNE?o8r`ܑv\)0k2ٕ9on&YE^S.>4TzcR0Tym 1 ,SHųSz̳Ci_|c䉬ͪ* Hjl'*5lH;^l|dz0-c(.\aÓpmQS~ g1ׅYG?§tD^heA}1,U+Ew}=ó^=uk 05al{0b6sZc>>F=<1 LA W,uXَ)J)«b ϫX.]ef@_PBP2;Ɔ(C,|zt,C2n悰9'\.* >|*T$h*xu#L+8V߅8~'㉟L!(R;qITV SλyJ0B/0`l&K:א,^C] Ϗ%lUyv̗xx&0`bA!":r$)l3,3ԭңDl˅n=^/̔솛@$ I#7bl[g)G^RM9䈁5>6wf` Fh]KSg\\#'3lj5{g)=QrGvll<"1Lk2ecRew.EfCKpUr j*]FD!1!=8.\$T)'e'.mǦ5o!?qßezD"l~TUg& ,}∶q !ή΅t8xsEV.I {@@(sx)ױΞMQI-ZKc EL/= 7<{epdQ%uUA3^q?Aq:`Ӟ#KaѠȭ;&MfSl{uf ED`4w%_8CV?֍*k+ZӃ-@"QI"& pm܌3֔sܖnF)R,5ĎPޮ 2[e18UɳmI.( G7m0ǡnMI+6P*X0¶EeITS# ?DX|=G3PӑH $\(:|Y(SeltoFK+W~pAn@T辂6cVG˛RNRQKg|1X&]d['޸U<{ko:OWF6*R-S D&yA9:p&DJrTYD:4›zF|Ow^@h.Y4!^&n&Wah^I} }VUn2r"l6. h|>OO6ECLG^ŀ\GK>Hx?A'B%qM*͍}Y,1LK+ʨq<+g_ie" 9dn!4Gw(l/LGMa!< GGȇw1#b3wdĬS݅xa!}0+ӧєs#NDԎ^$]QJ# JȽѕo2]) %Xu&*7ǀPBHhjR_2 |%t*<;#VTwppz`¥,F/^ƎQt۫ޭ3؟B"Jζ˷ب:CϺTP,Uy픟͒ '%չ OPMҩ@ ~گ$nge~%hւbϫ@vȖP0T=?n؇pt6G( EPxow~iDda}(r ͂żTqGE*.ۏ6A)ۋ y?~4noP/(' 7wm @ncѫ*V4Q{5i.6Ta AKf@۝TC~I)9_9J0T7"T} x>Sy%sB^5zN``#M g ߤ 嚤MtZl70 (9}Lj^^bm|e 3+h)?^Rm0Nlc%pR$Ipbo߫Au`b53#C3 S_kop~t ̘N)˦c'uMxJ=;nmRI$X0N{@Լg#P~lCuԴ8";rx"01SS`Ok,r%Oь_bnslz rh]8T!5?]"rPoUPͩpaF귒r7H^k9lNHV g%uQb9~t8{ۋ]=GHWd.-C&8N Dy=>KinǖwrT;N`ZegYe4"'$xj,!Om01iKB5JLxZ9n7E'g"g$@Ё1JNB@DPtHR /ؤf'֨)+ ,rQJ%бSf_/X)N9pZTO7PJuYW| Ck;h'#MctIySŸ]߽?HBѣ 43?K[uh^xڛR #%7煤 R),hs5d r&H}g. 6U[ ^V;za|fʱĠm㧠["U@ 1{)fRh6y a KtLbwE+.\, xj( /XRcڵ`8fs_yxtå9Yr4cEHpj/4]<o\VH\'*XU4Hd+_vV=g9 e\xDNFJ|k)\EpĔ:ʠBL.)IJIڦhfQw416/DvnH7,g "}fcGs5A^v~t<6,Mn0w`IvUoQ8HukBA8Yÿ!ʖ93jJ:zj JD[w<[(QF-ۗ|~*⼮m r;9jrh?V/P/GJWz?X?˷flM}6DDj'*VYۖE̙)d0o5H$wMF[Qh*S X$xPԠߋeCtBUE~0ʟf$8YSV|/^Ii/cжe]mxp*[F*u8FlVz/Pg__:%5ӳSmUCh}Hj-fsy&5wD'7Ӈ%E@#A;?"R4`(0B.xY(YmGRMɠ> k'pva$ct` |Ƚuwံ ~|H.wHyx w9F3l8.HO/z*,5֭~"lPRvیgd^bs+6arS{9(#po=EE3'jSyU/.G6wk#Dcf׊XLL%&JFZHSH SjD!U,xP7@|&8ˁ8t(@$޳f,Ňv\ x@5Ƽ *{fDqb !{2;*c9Ox:&Y %bץcs i϶\Ez u|JEz{gC[Dv!ZtCh5a8azTÙ8XYo.ݚO,OIcgThw  jجimW,jP@\/fTɄ`[F~I6R#K}+x0Nz9MM `VQCX@>d. D8d%i% %p3M"~'W]O{CP'Q$"x挣T'~*E惠ԠsMItI,_&橥O}Xz"Ըυs-Irӗ(#4^BX X{3ޝQ+c6?DLg 9q#ժIuNeh]s=X_ ԷQ6|0b}Axz<Ƴ_>ʇD{)rwDT+u6ŊTDA%{X*K1ו}wןHtI<h4Wj4~]G%!#blۤ&BFgg٠U8Z+VL3е1<~Li i"xa"]֯ЋBZ1Ru^M@l+& )yԬIoH`.cD- t+V$ JHP%W"7xe}gpWr 9ۭ^qC=7 G]tNzeX+5SF尃=ё9550\m@=~,ol~I DŎߊdǣ ;v7Vzr٭1ŸHp9's%Ѹ*LK,8*O{q&n}>Ƽ&N]Š ё @A>x&'އkY~O{* _iOɝvq.؞$= ^ ۛ v^ۑwjw+C0&:#5n+,d0tK,UL;rUnjtZ&>EE&:pwPOG,͵7e_1/EvwBOqGUwj Bװ zi:!FgoGR /!Ū26Zo\Et>6(%QQUBۂAǪaC;Ȭ'! *Jy҆*W,"@. A`'ʁWpo,oS?%9ϖ%9acXNK.ºCdd}l@8^S. mfXC @>)q D09cvF#nn;rZuȴ*-fĽBzL[W s")~_g˭%z*ENİI.h5y)+Ap#w  O`}r]Exe}iI'[ ` K}u 1ht m_`o? >e_2#Z 0lY/3oRRPxyT\C|Œ wߪ?V69˗Db7 ek"M/AlBʩ4kds=9wtO J%PPY,,XؓHa2rDJBz<~r:5k͗6Ow{b3Dܐ^gٺӫ%d u0e2TykL]$Ud}Ac  9.rg @̦ޘ Xj|1V*hG29t4t$R1"MF(>dPRtp d˘틆*+gf̌#'Yj قMsJ-e!v^'Qc|0ux<5I&:g9oE6._QǾx>}Bzy!q|xs2~>DE70/va^b~vo'Љmh*Τm&nPFdtjqҭ+& 71 7$A4Y%@ .ݺ6HAy=GL=5pIhfki&k L=HsNtG>aI+sĪ I)Wh8V4FvxzP3f)DDR_,z y7uC1{t*=F[a&V;b FvQ{199@4L]#`O!`;AA5P?.a܈^ά#]'J\HcH@=?!P7Un R#U! ac9OBҌ?v.NBB` ajf/7>aV~j,'LǡQ?eYewIGbjqn ) J7te%vBT~=~fw8Է0@~РBhr$q:epc-`[ff hFzxUN~b&E'WHV$襦  C_>ћP_`1%KȥOF񲒒BvKVB! Z:C nɤB^l^ 'c*d>WiE6h`CѬMHʹaR/6ظ(h h:N,QVm5-w).,tq2j׳eʋ0e1,~uG"U0ƜbZM16dv6ګ.|my4Onu¥&SVŠn ?덑\]灥'TgzʎD4_$o˱轺6wwҼtt?*)^*2iQ?:A?̟ JnϙzF28[1mRnEgֻ:K7oֽwJ+:'eEG23c1< $c`FTc2ץx "kDT%O)TU#R`Sed PWlxƺyy7^w3,^B·_IPSSt>Ӧ-5>])Ku&3 Eaό`eOAcph#̞,/i6YNьzZ_r-k,+}ISi. Wj*ǽo-o0P }~<*teY6K} aBWh^ҽnT~;R ;W)-!fsV.+ܢSZG_YlXqUWqi7LLN)>K8_3NSC*5"LG}iA;[.(yLE׻ jHȭ pR1UA% .?=p-R]$MT&M+Vw^>PEi*|@'3a0:)ơUo1,hY \{>*T/}Ni 1D88?FvHVROzoǙQB:>Lb3Xfb0'@#eke4 R=PGtZ.[~MZ+^7x}DUTsᱭj1'X#EKǽf~vW`2fr*CCĉBrwa׵ Huc%hYJ3^m,&O4=C 8QҨ0Me}+TGLzV,w OWs+u!PeOwKDkT)D"3P > *Z k ޾Rigŕ 25P`nzCnLM[-Y栩= Ӻjh=W9F4>hG1# LB KAqf/@MB XZKL2?wbہ>~>=ZL%)(~|{'ױWd.Lg 4 C6'gGuh⦠Y-~fdôO55t@ר(-fZg`l잯kCɪ}u^/*|y 17tKeͻ rn-f R![ ʶq?;0^6i'm8)j\׀GUsjY۶UsHj{.6ըPd0H&`b%{2p+MʈU<}YtٴE3zFXd_ޠ=Z6DPY57tXw.9HE?b >v{T|^@YUvpw@m_ +˥~~K\江%otyܫ_TRf 4m\ywq[=ٿBdoaָS]DP um B_D*TdrUMk{aSFʍ"޽?@ye|‹(8[`7@gcGV4d"Bw;Uq I;)] \EeX&";*cySn*2*(AZ ,f" g c )^a2e~`ܦSWMYvtp]է5Hh.m"d/?&;SF :3qY;b{+iuf1 *`dL+Qj'`EābNdWƥpb 1T=!O<cy+R~lY&a2*QzSAuA^5‡K$CI{); T4'R>t>|SM+nxA6";O1-'Q Q'8%We 2V{CC}q)qbvDÍ[b>kS-EKzG.-S'xF'5 2_4+TJdƜ/ԕE=anM94+ƣ:aS-.ά_ϫG\:d.xJ˿alln6wj8&v%dS:DOyQVo[9T:Sԭauk+0~KB`+m63Q>,'67 ap,.:uEb`-C,L ;L7\JڜBG/ >rS 4"L -; ; PQD_j~H{nwCbՏ*_CDS:h:ۢ cDnE>4hTW_J"ߢ^(ʹ+9t)ywo9)_d_Iәo6CEgtJ ?%@ߔ>ʮ^.xc Z q].'AJ.SaݲV>4)!tt>`A2oCbf4pVKZMhR,!䣴 '~JDhӡ ;2,eB#atMHI8#mXKg8i7.ڰ[S.4poThrLԯ=Hl Cr XE.08 `F{FtnaM