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 :)dDl ]%]Groebner_Bases:threads=4elapsed=361.035cpu=1282.260gc=140.636factor=3.557zXZִF! ᇒ&]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_̳G)HIfZ~BZR\ҋ=9RF\Z׈ߗWO:OvNy =ξMLIMI?$βgz² Cw|g\qڍcPOm:ptf &EOf7R5u#sax(}reEtAIb?>ڿv#aws=;Qaҷo‹}~C-hwl{{"ݭv6Ypwut~c'$LuCw =^lK1#9#2xaZ1~d_\u쪰U=QwD(?]+ E儓qsT {\ʁa' 9?zLP.!va%%R \-J ݹs<_xuwTw~y&,Q.I)Ձj=ɥa^ɽa?{SAx4>^[/獱9/gz"⎲\kVUm7D;*Q%ou~e?ԣGtH>(@9vA`-9.a+$e*e): KOe9.V1~}Xu=&`k/ Y0D"b9>:S{ᄌƖ#0ګ foPY.::։=tEq9n`mL ~B\K΢i,%>ݚsᇇիR1 PN.z0ԯdaS+WH7H.=ҒAS&c ks̞ d.23/t6L5NUA XdY34C3~z;us*m->y 1Ti ~xKNvCU!tl2WMn+tͲ>BAl~$8 t$tR_HP8]df3o{5 ʓ8oKx6 )T+HI(&߭ &WU?ote5K̍ hSʄĎҧi7}d -`r8+) N(?MW27/E|ħ%^@ k]i OzA:|LxĿ/Gj[4-8&4@po$S_raTw7̷7,&ʛ;z*%;QNs7[=_l@ {8[;2Ǹ5w1`y*N_w TAOx >RwBl6:2c;NP7)J 8TswJkP&\Ft-3-= -&>`=30I/m//j,;4;Ӽ2pzUYJQp6r3vq;:[Ai: ii*4$e ;; $36ַa"y:Q UE˒#;"?zݾ\TT}\diՍxX1;SQCMaXHQ}B틭Jӈ[r+SV_{#G%/͠z[c`Y/3|*6=Ls!$1J:+ϒx١ Wo߽G^I]UzI1 lWOT44O>YS tkL?c8T޹6)c'gslawOa*E)rیZbY^ ѓm鼂Sș%3XkR{˾ϛuSߨ,76Ư ksw,`NQaR93 tכ5 s% G<N'g[cZn n >$"_:|?3^kYGdٻy.5[oK3Qߢ Q[!P!=dTOy}&l_~@C8zt1% !c" }T16z۞kK܁khW-n'7z.>l 檪fN? Clu6#z?&!ޠ[W]x"eγ\xcfu ]v] 1|)fL ,0PQY`S`I2l0#(}ӕii]o&ųg]>kѶd%_L ` NlNp 1#}npkv&!@oN^Ga&=c{u@ JN 5=jΖ 8TdKEB[%sC~\+d:y*@;^3Q%ji]b`sH-,fэ(?Wo(LӚ]]w[8eEn 'b8fgΑ*.7 6^Qps\(7 cr;P/&kYTh4X &y2eKL“'3&vHѕ%yx-:3Agil1 ~'F,UC)|cy}oP{&[K.E3u&QfAvqa{ wUVډ34sIk/"$gk@ K6LY +bpy0#b\juöoa|vgAcܢۙq}l!שKhƯZ^  ^_=\AR456^|U}O8ˎ%qaw&hQZ~8Tuw:VWehvFbsÄW&osLNiH 8^ݷIP^`)vSMF%\wC>nfvd o=ȓ==H|44y>IʕE? , u9?&*Է㳞<]u/eҼ+)iK\m g]uv5R@L MckK[T{ӿ-:=K)7ҹvu5MΦʬY|YE3x"V9Hc1=H„ >bё-;= "2xFߧr?Ț TM!6f(WYtpn3gz>ۘJC> Ӫ3Q98ݒuukc-WW7әcX!(܈ie4" %%IFo7L\3Saz&hb wrM_t-w|6!77jV9naKn+ՎXK?ff9ƃ|6Ҥ\*SY<ښX(5 /#Ԛ؜(17;i]MLېq8=Xrat)ZnP;3%P>d˿ޜY{H ÜVV{8tQ5YN쯢_a gM*a6[V@!-})l?o5ǙזddPRӋk҃hӼM_Q^1ЗND'7YЀIv\δv„Qku$ t[)0V-a(b~-S`}/K Knz {y "m3s3yKh<$uuB'>ezQSnSi(na͔k{& k0A˨F/Y#@_0Mjh%h{1=oN~31Mm5dp82kCw!vyDS]F#H}_7V'Bx'Nw,%S2pUֲ3}gc3`s1qRvF>o 04|VX νUI =̝Zb)g;cu,8 &{==ʮB.Mw|tM=R6tڗYf\SwlQ@A ;yexc +2DvY{%`=Ux ᨕg$T'*kxlL:Xv<Oz5mF}ˇ;L ԉ㽄]5ٛ 릞]IlA+&Qud |CbF^Ozz:"h I'4%"‘ ynG2="t@2 e16+j!M(N0/ gĴ->=]ʒ-UP#,sYw{Coy16N{!A>iOlE ֡m^m]<=t'RDpײYFʢǎBf;Z^l<$ŭ:bSԪ?nE*.Pvxڤ]a|=]ڎ,-;ll23`xt_Y-jUdsJ܍ئ}k~9\@@<Gs)܃Ij(CL( jX/ Xv08AsVTۉ0&#V)WI0njUgHVzΈ6e[-%5.zǖ 9`WXvr8y|]U7m:4.^dl+dX'fMca@c7;qY@rNyHy,E9T/|ç QՆ,u -w:H4'^sbcS.VQCTP!$$SM0-WRְO \ bHE{&dtNj 5&Ú$\(UX%qxFuFTi:g5 [@9SyM[qȻwfA QIt4Wg6]\/ }guI7G"Y9Is!.dS(i&W&9% z X̊Z^m'B7p/g? m+RYGƓ\+VT~@GٲP ڝ; 53J¿5#bwbfJζ'썛e%`2X]v?0r[rfR9TgX :{y #C1bVT7%5uw /o'+֋XMlCZ@2SI 5)048#qEé{0tUhAV'|$y<'M..f󻍼5eK4*McZL]k|\=r Ъ Q3–;E9 }gP1^|$Έth~G2č;Ju)}E>@,Ρ:A7K͗"1}K%ɏ5HeLScMuu_r1@ߴͥ`Cq+NHʺ]$ -QHZcY;N'rQ:-* &uXn97qRx}Z>9[ 5l3[Iz z _9y)Ĥk(gƊ݂'8["L=X?C/[d>NApgYZ7zXZִF! ]ŗXiɟט+-ǺژO O`ނ:];~K:=Re<ݧ#x?_%*9H&[pDgۗxP g{ \H[[b`sqL^OɀJc-[x ¼tje2T߸ Ήu a~nWڹ[jƢ6=f =1k05t-Ex,ygݝ>6brCFR/G,)>ƹA`sdLsRii g-1w7pNl7A<]uYz 66iY{IyNY(|YLtGszd-;߫ "7'~3{Z| DH]`_\<\j}Ny.ʧÖq@3æ,1&$(-7* 5ͺgYZ7zXZִF! vk]ŗXi%Go9QD!6@Oq Y%Ӌ_MzZ" ig7Q&&r0ATt T䕺g`]5N%墐hI7X-fbH|f1SV?Wŧ cb3O=%W-ٴIGC?OhtSp!Ʃ>Au] OnU)dFLf5%spw|T4(ѮTtlf5;BlȞH6ק)aa;}0 Fyb=vmy$GT/6*@/=*p,@)xM.jWV0nth K`VON5 gHL0FѨş^[hH^y׳n;odsI쵓T"3煾h TM}>6V'f`o;gֿeg1eN.tXr21 QD3RI2/V/cse,Wܠu_+-E(x BLow접IR~URFruTz&rW1L!gt H75[v⧴WM`b{m'bht u Kv3eg 8=ΜbQ 10![_"Uy2kkWtF & COa_|xXtMigTvDybW^tWV-ɨ*NY61iI_>I;L>B$U׸y7˧>Qj9 qChIZ0aw sV9tgK,V6> v=0]19\Rtȶ#JGi)hbI1,ڌ32b+;$dK/`+~> L3h(腢6_)ZA>A ?Ȅi ^̠T&rm,沺 P{pF*V8&}k Ah^u gS/1J>&N7ۮS]>]ST?Y_Bs5B䰃I|p@GXpLiy75i+s[2MϞmQ8eܒ{!0{q4TQ9CS"$I@Šm2|=ЉWwSY 0͘)-Qu_ 8)9ZhFRErG+ ûi %oG\ 䉙8epkH!onՅ7h^jۙa~&H2tt-baHE֘6]yk(XFQ(H<&5SoDZ(4dX!Pl- b䒄V%<0Y |,`)ܲy oq@>tڙWL&2q6bV"S[T=rېr*-9]Lmt#Ue&Tw3B#!7jŹ723l@~:hKYfm--HXڿjB%U|~YICb&=1\; *AxAS~)\1ԋ\B}K$Dd9N)>$Mk=GP7 };!MFZ\Tnhi)3- O0Jh8:͘E͹򍺙%={BG} z+2 JkL}a &fZƚsK;% qP}{qy[ ?K]PaN?5KBgV`~žpl1iUU*zsTwԍC׵ X=-š뿕 5 P*s9TFLNBh.(j}iO`lzV3Z8b Bϟ9+8$(븤.c`yQkZue9jbySWX|6mrX};!w{}&E @q=H8ƕ `kDU(JOa|jxɬ-:K~/g1U]MzĎ ,14V&iup."$}v5(̈́qB6Vy$<Uj86LHHph288ËZKhoff֢XP@J *e,Siϕ6f_h.BvKʆʴh)\Fe%ٖqjyLD*CU¢\>,eͶXWj(4#|`;vGļ*+Zk)#TՑ*d9*}j<,ѧGʼkHL5X9LeMZos6o=CbH=AT_M-'/ {ROx(fH6{T FTW9j6uī-/ؑd0[bip7jl)asv/+iuWRe7&Iٌ83=S4M3X|PD ŧ{&M!z  RK?pR~&niRf#7"kFh~pH{S;l0s̝%wmttz '/~?lo_f}7ԣ/S(7εܲȍr.~T> ;1ﺗC[!}؎[t,FV`YN'M RwZ H UXJjWҕg8GU9z@l䮇|Œl1 l (U%F>aOO}q_R9S4<]GToXĴ _HT $]oCf˖Lzb Sg R,L뛳u@ ւ:|ibז" @a).腷;NzEMWg!*~Zӟ…s{(.|q= %ې;0؉@I:*:58<C?w WX q'!l `bU÷^bBҫf3"òׂK +In{cZSX|T! Okt5KBt9%WAu%ͅ`Ϫ'܏hl@%sN2[,Ȓ 61 ;K"PA9M) ;u$EZ\ ֳtX\dUYDQJ 7󔐷{r8$p6m4hő$sPi{ >rq\N(\GUb;GLbܹBXM^2c]aDQ\$qԫ_d?>(ƫ͆ge3h["4)^o.P*U[)j0 Ay*@wu׊dj,hB Z+T骤7i4X?-nFmνr &tz0)sH%!x-PCSL [Q,"?"כEjg0:!T:yo!FD<H= "Q_&[d,0`]7ަ19әǩt @ WDjzd%d]%,%$;7OC0S&:,u@,z?VyICx,Iٕ3W6EiSO3Q*іzc;(P 2F,l2jjDDYBo0&+ҁq-'fMP)T5SAqf4û_l5LQઢ9b[Y7bGseu|Yw H80X<i5dvm8eXRg BNWŊL[+plnG#;/׬%īN|SВ%oSC\י@Hcqo@&5,2T2/;9{#V3gTyv:Cr$τJ\AəbHj&\| 7OP+PIFE1=)B`.cٴP데+| Kj)=wbYZ9F9ƐD̼Jaa@p_x!҇>o[Zf$%ihU.fˋ%_}^j-8&(OҶ's[eoo&ɄUoG}M<)fFr*BwՔlI4b{F#֬]</OZq2s f׫V)I@#v!O#RXq2ȧʕ&uؒP)rV,Na<.+|bG"fۀ1cnjXM yk?{FY:lfcs+=&kL bz/$qw4hm*A}J+xe8$&AE "^bwdVIְ`KuUB͡OAu"+$) +KA9e[~t)C^aNH)=ݐ_oz9b1ʪ%nB d]09h*xK^GE+cתA{j4<XvGN{ܩjs1s{Sv0+GI4zgdoD|nTSGs?Kj}(DAju%[vF3!+š.DQnte;;[ko^Ls Yk'=0UVgq^׬P9uо-Pnɉ^h0YPQmϾ`r0/2=m_Z€z"g2 E3ĦڋADzērb\Z XTdGSLowh3j8޾Z9|k9iktݿv0%<~͵zY[,LhNeʄ?| I[FC\' (z{'>LN H8T}z:id "mF[H7v^4'%eez_w 2ʼnʆQk-rԹ`K2 S]\&Q\2)o]b9"hت=:a@6qJ%8TquË_5&S7E/ںnciǶVDq?/ asunzv: lLvH Bå3"tSIrMv lV~u堟>LaSӪWSO~E,@k~;6!X(uɷp⠵u|mZV+?5둡^0'c@n#y+`[w Y_g"0& Zh#b<-9熘LWBLNJWT?݃>O$LoG)7Mf~}ŚE7[(F8lc]1o2]`@|=T96։lEOF#$AK5 =.hn4 g3;ks<L H>K6acHrA9aM&Qqy7'z@X^b"*8ث:F kHYVY )LN]E֞߬\k{a_$Q&s6B.Ej,?+k%OxD6<&_({"~& H]Lb!P֙e̵M3X&lt"b䍇trI. 54 ԩTp7ġp^qt.B8*ɌÊ!ϣ[1CB/PJt .mJ9p|l;sn**0H!o{$ȳ^9yF%D}N-Zcuǥ>7N:q;{B%XY퇧`^y羡CMyF ҹ1M FQgA#ۚ)V7dzVu~XtW+ܡ6X/39tq(co/G{WkpZVR| ͯ1'h[*dYVp]0í9! H`(µ͓_M;p\euxx|X pO= Kc ܲu-J/!2v;?.(;AY [NWy,:'y(E&ϚK>2,AI0-)hC)-dYRSM +VԾvh@G*_@:"BiZ3l֯Տ. X4~ tH<M] LŤB]-bgD!XwRXJ< W)>rBk l]yQzxu6+/XƝUv^1\BtqBxFp3=]¤?/ ]u@&\:P}[#4:ݖws@I)ؽɶ| ۩ *5KC{sr{&C^%5}HZXQG RȚJ nyN ǽ Gڕe{UFÜ@O2ᳮqEdg-vsj{4c'(B`҄eZɀ*+3nP9NB|2cp^f:r."z~n*NhkUT\mcuuiZɚ]NM\II I#&U~R~ӶgQh;2g%_~Sy{plHs .-Je -V3OKW.geqMgǒ8 N=E!ث+I^ Cd/nv!L杜j7x3pߡDT ƒ윜99KhE:AJ1YћU`#\Y0{~ Jr~U Uߡ1YOi&{KllE+{yrV"=|o+ΡȽ}hqa%nd0m#-X`}9A^fv0!{iA`+N)>b`hTьLzΦo#MD 5t-q%̆LyUуDKpߥ^qu;陖f,7]h%mL iҋiԻcc?v?9.%ӎ0Ѷ)֟gAzbSUL(T7xںHm$T*2e@SJȄTAuwQ8^XQT;Lp/J]<n2H],('M1|rNm;^m.r1ȢSGZ0):!g-R(#CS.<5CѼnjHP~BwuVF(X4^y x{fLU zhDpv4kCR؉Ւ0,B p_?/%cYg48(ܭM"8ESP.~zϋ9Su6.I= Fy'`IOc;fbPFGnN[Z3Ώ>H3 ܩ6Չ^U brȟ~gҳ Wk {d"ikTWU7yeU6!=o0XwUQxa3Ƅ)ش +25(ʙ|֏JQX/SM=WT ~?EM[9ڭ% ~U2ǟ9QT܉1W}:"g^-H>d9τ|-eT[Kh#l\X)xұ &$|#G1.t)D,Ey9p'KRBǼ4r 9e:k܌ލ>yt9,>5\,nTSlmφ?[DXB0 Mx%v !|*V/'fh#%`}1O!ikyeA8( r5, ԵN[H-5 *@{'0!N$:MrN w̜7BO(l; P .pM\8*@uϭđϷ,+WhS{d +O".|< JS7':g5ʐoH (NBQ:={ T돸"CoՋeV[!ʽ,tiÞ7C46L(|-V @CvgFfٴ\3=X̼)KԮg -ܙzR @-G:6S]4W눛}&̏QN:#z;.nxb$=cv4M {)Hվh79-IqD$V(ǃy@=J 6|iF7MYc7Yd-oA k&OSmcr_dk³T_/){P*`k"Xܙ3"-6ҷS3 =x}?խ?{"/u.bS!})iܴٛ[7i/}&św]ڤ"rߖ[Mo,n ]gGBX+>nJ!W^ Ffo})b!nZ\3̛S<,-,< DNa.c3?Ҿj=1bRɣ9 BvI.'](rr6-ft m՝%cphM>FaY^OE#BF3N R^Ww(76 B6`)揫b1La ._ bE݂הRrpwɔ@ږYA2J|t:hc_K+peDɺvHW%k73jiߔԯtݧta)Z Յ$d ,-0 fYGjHuڈ;-ozoF*B4.wbBa&4ݍV+A+ n듅§P{S386oNY6h\3bxEb"otd,u#y+N$~?rv }-G<7?\% ;}i'S\V"=Xyc&U`Y=/<&#h%~Cu چpUǎW\bA J 3U>ƐdmV20k|dv>M]C L;$WW#) RH: _e<ޮ鳴C;lx #Iz=N&@ 605|?@ҔBX9N* )k"L ŒńEmUnemOYI09)9;=g%/E^PT63 ZMOYO^Khg[x ?9N7/!cq0 ~r5CJS,S1Ð/þFl_>!SC, 4_!!ABLΝieį ׏ӖȈ{ZkԳ0hZ(R9szwvϯn7h)OՔd ˃S߲&(H3t7ɶMSغU zEK&66l⦴r8os;{7+#}pF9F_kni^ѥ+OpKkQ yκJHJelQ_1)ءA\~ sg6B@XV#ej =-bI_nY~e[;o>Kz?.#v6U4PnHHqّ@ŀk6 eue;zD, g;0ϟq `]8iB~K#4ҕr%R`hc N&ko0{OR!n2zMXjp ԙ}]DxJM+t ӗzգIA׍:h Ba2AދW!~f˴U+/&w )v)]\LSzoQqח wxdGk\t6#$g$6ğm,ۑG9y,lq r}89x!7jۀ3n ?[D"{(zj)@Kp鞣}Lu`-XN*g,cgljDHQ p94'%u%a!b@pJ33!/~јrd#ﺌN YDEKN/],n]Ͳuw;n f77u),` 4 D!Nni'F rn"xAq?90Þ>!pB[2rg0ї,uLz ŅI7 -'t{6"]c@28Jd쿦0q4M^]9YZ]kZkӤGܫʗQCSL0Fծçc8Jf;b~n2\4}",/`bT=:guc rZl0c{EWMK U*pI-crۥJ'Ӛʇ*k04$G1\q 8'hf g!bGdDZAD#G }A]:k푺ŭ%'ıjMe -oyscx/*d$X~gXM:h" [5ݼoegDƊMNKpV~F izQmz_&3tXDdYrTX+oN<.$qBq6ҐQ[3{ fm 3}j NT(~J >n$BS_Z/L_zy5TԴ~iU5se!o~`8ҶD!|@/涶**+5酸{ 'mSK9r["YOKq;!…[u),W")µI UimMԛ Tػ[DُPeIZsX=ήXneTNS~ji(+T,\p6nf4)oI?UﮰBPa~7oVWԢW*j>SW+ ^3*X9I 6‚ʼK[o~arqn)Jhv :%aalQ |'Z'kP~8_KJji٢|wL*%~JݾnvT1 |9$YpV(;}kN(0Q,uc|xW8 Tt|e&la r0'Rw~!GX.nol|ki:^W-* 6E m zjij1#A|^p M%'%kP?.$hkU`g 3ؗe݌Z|d &=ٟPA^LNs _ uxFhqlbq_^D! bp'W9 gݘwrY$+Hg=CU+L^>~uD{ aŦhHLW"MP5l`f^: {nW ,_P3А6mDmO%CɷEPD\#*胱/e1癧a%0@ћ4RY _@[*erל/pȥnƗ^t)~?JVɗdCDoc\A $6;,(_CQA.sqڐ!0@0fPTzpBEAگZ%/FhN@ ?bfu֦tEr9?|q*UNk6ē%5.&3`> s24Пr {ElW Q捎H[)ASW?URQhkaD9׊6"%kLצd\A`i}4njđm_~b (#/(s`Q=a⋖Βkx ,zt 1#]N+*aM|gJcC D+i8FT%տS6ш|NGS{$UTǤ|؝>>0O_;C˜4F_c#Q߄ 8#uj+lyh:mAb<^>݌7Y*u~s>ny#U"-Vl\tmT1!?M"j-H;07r~zyǔfTqJijX%ePٿ̄`y6JJRU>;끺b>"a-.[t ('MT=Q{$I).M`lƒox eI`dOKK£m8UņO#6֯0VkeSk9v p|eW[YXHY#q84_f͕A%^((i8SڃO[* Zyu* ]GXƫ&e#$ Zwe` tF+J$Qrl27JW֩9=ËD>c%t]ČTr?0 CX^Qdj М1"(^#=@*2VͳşSm\+)`p %p}dZȄ]D@zA4vp1g8;_C }ci Ch?: [6<+,L>+u{T_(5s$I )L5bDWx&Zx!e›Zu:;빶*ͳN8b¨unOG"V1r.T="ջ2( D@S^l/)9*F/5Ҝ: Di"~fb7Τ*MDg Rf|:X1X &#z^F~ Y*> N71ڼ Z(TfuV-6y:du5^73}5^UqEsb-rfOk$D9MXcu\t{:9VYmi׋rz„WV!blѺVŭn<A )'kiP& )mڿd߄cedCSW,gXoawr:}ה.vo~8/jaYPf EhO}bK1L8FS"3V <^8{Dnv'3[+m :FxJÎE,Pr~\0UKs.]s^s !s K^)l,ba4Xr~_8K!{NэR4}lgFU)b?/ oueM %4w]Gا"LIz#p~bIetI64WI;ՒkTp2=dq, [ulRKl5R'?:{xn%+Ub&nЈ܉@¹3z \=}m@ߓb>YO ~r$r1 }_'xׯ+`xl&M5s(oڈ/R%͐)2B٧!+ND@I0)Q){i)B|(xnyYo@b|fF,FVFͺ~9SK~GclCB~gA⼰GD׶0Â^N"/ `ќMZdpyL4a]9Qr\PQ)wPkzR$Uʐ/#e4By-`PבW&P']0N<gzHճߟ.^@8B544vh7Us'=ņL_IMO 2l_۩$OlԼl YÑ^D(jH+Ƽ^ Z/Hl%44u[N<@ufWMePY\ptD`a6%]MRDEr=cJoBn2 L+._MQWB.:ȥoנPkDoPlj[F.a .V@*urp?5yTQP"lןH,~Lo׺F%= \ `|U8s닱_hk߹,tx߮48m#1i'(%QK/i<3|\ɖY?Eda2WSq{u1I p>E='vFN,BgcSt#/ pmR1ݑ,RK>wZbvt _3mcj6ӊ-?d-Mn 8u"1-9g_ږ2FN3 zp!0HjqNa%T,f,΅QQ i~ɍmt| .jLw qVʵs _䞂?c2FDAܲ;Gۅ= We(7BsCa$3I!i:ogvGxDWC@ZW5\83[ʉwy5\ZdgM:T~G5^\Ce%4h/nA@=6//LS6 gLvޭ琄 XZ0r6qگ!uq,?X $+{d;wmK11!0ZP~OyM`BQ~RCH4nW;к*Tp Wc>}"Su3ztXN>—6ĠfUo /dDB/\rTA :6mѫk] \?+V PSjޔ BAW]A(.u ֬R!FHF%*_n șEw/~r?)vfFQȢ??CSqCYصƟܠx%hC#}*=DJT?~em2 lՊj |{p>iaj\jdvs7!{?Lt-ʌ$y'Ept{лx$\;2Jxcj&M_I{6=FGCF. X4C72m|:?9{bc8. x-JwJ^ыФԍKYH* #E =.aRX\EM?vp#U,ۥ^p^]$իFZ\wҠ:rxFtK To=t8#=3m|3Ǻ̂ZJIDk2я PD*RB$p#az1&|w7,$4u޸6d)o :9%E%Nyj {#@pբVy`}gTgA5tz-4YidR_rFi2iϖ>&ԃ)vZyAo u947H2ӳahChj\6d`g? QĀzoj3oJʞ pTW ʀmӰ806脷Ӈ;@b0jdݲX߬t=VK./EY{*7W$Ё\RDKЛq &j=׭WB/.uc{5\l  |wf/BBϢ(_Ф_Z^lZ"U,Ǯ7,E;8է?DTB7*KL3 })}S`,J:?ahmig03O6iTnrDvaᢉsݿQ@SfC%XVm@~z>ty]홏>&uk)GZԴqҝa`hqO:ay:Pje]{xUɂ-8뀣2?"pZ>)KhtdB\h\<Ȯk_6,_FuuP?$%hwLI RC> #ϸUhQv]aG%e\6ܖhUb2!#v_cMOFۣzluE5GcK*Lcr"EP"k-kAegA5{L, @E=f%~^?pl =H* "ڑt:_cɇMU F o |3gZnnH/V48 ԣ؟2 lk3?TS f, )[$uarFo ]Bkb+NeXsJcZ/ɸKv#phYsQe ʡ)U瑸R3bĸmO^=ba GzoMI&jp̄g gE;Ą,{+7dw9O\!x# O`_?% Cc?Q$us,zhNh ʙB|M 3y{.@t ְIdŃ6ږ3ػʦG(Sǀ9"~\QD71>K(>/ QH##501S05q=+{Hm?H1{ʬKͷnExrxa}REs%A]JY$J#67Z[ru}Jx(]6PUmBDr]^/DVO^A;cj{pNϟDLo<]?91XPmP{)̔!S?A"el?nso&)Jc(5@Bu>+a ^,֜ @"~ =]bfiU]w2IP/n<xRE\*\E‹yr!V]K|Z5q(6/t( _N# _? PY@) G\GO18~% d]_cd|gc +|psՉV.k&֧xAV)WHQ v7ІMD,Qz]^OY!&."ai!_c^94 uӚcyNG?|z.v(DVC7lnv%zq d|f!:٨e\ܔŸ=#5!߬>y,PE>EǦ qw'K<}%\֏ jsapl*G f J?I.21 +8?2:dAdGǢYn!ϨSE|FZ_y)4Lv|UOpv خiW/rQyd%$oE|5'FX'DY9'ğj*o\9Eݳ'1x"mh%\FQILP2|{(fE+ @sRdRH=D8iDL)¶vإ$M`1&I/lAB`=P/";5mR3uLINq̜=*7(,<^cZRobƉyVj@IT}"O-w"+ ڗ.` hKi5QJS_B)NAov~4Y*vI=؀lPN\YrDZQ+$hMhel݈/ u5t 0$ݵbo@&?2e)|KAׁe 8 7?]NLyr(v-P]tOuU)-m cY,kuKy-%mvѺޥ(6%bk( !MQ0~EvS~v#J 65ty7ٗA\3=-WaRp 1qA@/0ɩ>dۤ{Qڈ(vdK,fԮi 8?k>gpbJRK-fBp*4ήneэňl-_ ob B}C}U g?S>ӳ kt[U I[N@KP1:z]= lyfbuds,WEw(О<YXᡁ={@uRZD[1y?K6ꊘY<#Lwxpqwfb>D2h-gu}(o59g7ԵY{KJd+e~a6?J0DE6LXi{Lx5&+VS Pdԙ2 wOf!ε>3U}@" SNFZj;|!5k)5qf> 6SJ1 0G?`l7+ᏙhEtTSnbe0x7K9 pc8\=#o*3Z "hgsM\rniU e4(K*4b})Kq_vNx\^L3{<+1K~hKU(EBp8־nyCU15i CK06TBu^rã6dJLLmΓO1oFD`1Z'e)l=oM"G$%B!7ݳ,S!6/fyQ`]Zߛ~qqZf#zίS,t#梧|w%;v : Ap]S]GtT'&+3)Bd%yZO^<NT,*)"'o7]tL^', (pK@jn? Pli$XL{G-Yr }[c)+g9)uDLgӈLtߺOOou( |!Sz(8KjU5kvv{ .iC$f;Q4F3[;CX6 pj+4Gt- [Ts|mr!~m0d~O$I Ʈw @i̟#.Ex`ܙ;A34P])Ng<, MC'KʈVP;b7V,mD >&wG=v7hҟ).iPQa 5TGʴ2p3DmJ/?~DMܱ֥m~WrIgJPZT_@4%"c|^5tfog ^ jZZZx~̹ u'hM*e~2m7܎1ETE|o @Y+Aq0,y7 =~)3g0s;ZB[@[g{! ٰt3͗گb(컉 0F|4PgZ1&aϛFsHݻc}JŬTc |E[=D·x虃oRS*?"5]`4Q}Q iMFZ@5Ȱ2 ˝12q 9.P[ګ~Q?-J)uIX?],Rd9낚ךaVwC+ #뫍(_1~c $/TT Q/$p 0Oc4Sn ҂ϔ?AĕH56l]Z|5S'm#.geaϐQ߹!V@ӕnKv`8u`Ntu@ պW%sOv&ؠїU/B?BK偞* qU\nI4stc>U6{~b&$̭44s=.xんςu€+sw7Rl`S` :< 8fKc#j_[_hfS> %ƞYCHɍ İPԤPPs(@ea3Cƻ_V,R˷9[7XKj 0 }uS<̾p)!0mE_!f'^iè1t?`V2w~ `#j JA !$]HUC%7elp4V&3hDJ7zX7]L-3#y+XM9g)wktqxqtɰGE*QW,Iǟ@y+@49C9ɖ\HK+PUtL6ql>]"gYZ8a680c58e2790cbf71fd9074c904eece55399b55a3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e 85abb972e33d791a56eb0ae4d28a032db01c9061 d91ebb5bec0137839ea177dc3c1570f8edb1dcd7 41fffcfcd16e24a0a7b6493a55637e4f6b0e1e927c6e2f6d9fb902cf61884e438984d4a39c8936e3