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 $!l< ]]]HOL-Proofs:threads=6elapsed=734.337cpu=1798.220gc=424.556factor=2.457zXZִF! }]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb8[(CXU;aܢ U1O4 6'CT&u |QE-\˔N95|tLC##h .Lv12=Vz}G%!jA |7P%b7@vq}V(ʘF{%Pea#Fwk[}ioo^I4C<@}6+z<`6/䌎`3~FF@m2]Gip  ! HOL-Proofs  C ; Cu!-+ HOL-ProofsHOL.Code_NumeralProduct_Type.hs7zXZִF! 8]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C0 -U.\[T0SE=BrFA@&C M[~Xb@_L#1a4ԛ~^L2kqi!+]]S8[Sܗ+] JC}]w˙):SYcie4>X}6T~nn-#^oo@璁SJV^ͼ7Ʋ} H&vC2=oFo٨`]367mP3kcO,3Gl#/ a%?ڍ gYZ /!-+HOL-ProofsHOL.Code_NumeralProduct_Type.hs'!- HOL-ProofsHOL.Code_NumeralArith.hs x'%4'vqxd-]{<00u!䫀2Z ,֘)=nnwAL3Tj)%}jJI΄[t۟Ǒ^K;5SsnDž/x.9o^-H7*Y&tf\|EM?qPv vblº!c5sPe;Z,uԋy x(UZ}AtƞC7vaK^݄ ƛYd# 7 w?Arkc ow2W(f&MǯAnO @'3~CO2\S nZy8s$)x#Ԧ4LM2w=*܂r'GJA!b|Wf g٩[" \G4^VF$Mȩ >kAmJizLpv)L^"&40*SWk d11UT@|ڬb@, 5~x tWcOfKD_ Ū> k8 Xl`(Uˍggh<͡n i 7Żm.Y rScX n$pi; Ocg]MҨUAIm_Y`7+ZyjckA08w.+jDKٗxux3h;Gʮ=1)\f/Lbb˚uɥq`<å 2xJzۙpܜqoIB!ӵx|smT[0N.#CNSl˦x[KA6 pq'gi39n7Vj֬f.h] ;3t'/`e-C,em*4SG QQbsʸ=8Dk Æ hd^(dJ/M6=tI:׷Qe6skrBT;! X:TMbgp8:j̑ Dԥ\UJa**;p.q^2!5[F.x1yʍl\IR@yLm 7RÝqi kGӱGFt?/ޔe.>wHH:2+(} U>D_ Q '['%2E4̓e<|NȃB\ұY\s7#(K{hBS:w?cuJ|vC{ı`“GnuѨ nϽrrY sz{X*rB`xfd 8h[EKu]i,5g> !XTJ^f"xhgc!1|nc\ Kب3ڐP'P~"!c+L(13zE}`Ws[yh4G#lW%1BODA. P^iŦMR#*v:Dp`ko>UF(II~+uwqbh9#Mo yuagp0ԄԉYz+Н?iKF!<mBTSym|jD󴻅6}Bgn@$(ǭB+\|р.6eM5\,58N:㑨ic8#s5XSSFƍP\dnklnSk5+b-nG%dXDS*&c1fu Q&l`ia~"lJ}-ț?hsu*,4FLo1`)/aRQӞY?)h_[S^h$4 H[Ol`ɅO k3YP?Uܛ)P3u'E Ծ;"djC@ɝkЬW< DF:=xx _$)%0|+3ރ7}z7EqXo y. ,=V"vGb|/zxn6:m:[$;9GP&7q.#eڇLXr>(!Uūgf峗Ko y[Ou]N̷.VTpe2i"8al (x?LT-J#Ya]FՃhF%^FJ y9d9I JYHur4pƑ.V.@V Ȟ։# Kjݔe!%[9Chgou}BILJ!{1HPaJ݀F śEѶ~+3r\_,O[dHc L|-ʥڻbR ,-~wZs8HY$,uSÙpbIYSFk]hfqDլgYMxD9`HY6n(̲[pLֹfeRz%5J<:WhV-!ׇ-}s>kI}=X`OaϜbb>,:_hx}[ l'' O(_43sR}@1ga7%<=S~迆ɢ(VZ<I 'shɠ%LXA#AEh8l]J. yE D)$d2R0rfgv*ܪIABg9Qgx^"D8T:si:$!ЋJp6)֐tR|`-]ⳍtM҃uZ N {.KDw!zXANbO)+m.)s.חr+yE6g?+zʅ 4CgvZ&1XJd(e(i9ᦲ Aʖ&}=])DϵBQqL>J3rhÕQt cw[ҔԹ^,Z{X,*8Km<ҥ0rX: QrRE ;iʅf iH꿿nm F5vLbMlؼ}4J4i4r.cZ6pǑ}1s1x;=W?a#Wq_9w\),YL A|5m2F&nxL(M̝kU/Cܛ9h6R>2A8oF$pE|d<0U%]&o%YA$jNS  J`G=0|.Wϫ\,8?'ѕ5Q.N_Zb*J51ml3+Kwx9[&6 g>rjVr1-c=h6JKNr.k~iռ9H]hDlD!އ{qAU5J8Pf vL:c+z P𽟴>$chLyžf}?umKg8 sWd2DRsM)ɅLn8ݗ+jˠeYzt9s >`Z1|x\pSQdh@{Wq1d&;nB>/ٌ+ju1fS>=NsX*ˉn3@5UKMS VfEdўeVKzEQrrjNx 6(wy+R*pŀH ֋QɰÕ7sP}'yLz٪ǐqfdsA53y)Ro򤘮$sQ(:ncK/٨6>0IunS 9e-sJ\e)^[s鳘Niصh*Q';2 LE;o//@tJڻ`pwk,*4y$阕mDAJ'-}&sa3UeVhۙ/u AF瞋hеG\dYI JWoSBP|p&)\¨q9.PlLwۙJ2bWXM]vt13ʐj;({{كa{I:^OhOTo)y_6գa{׸5u4E- c=ZB͢EnGkm" &.x DF`њG* c]rZEņb/!ϥ; vo0H*X}[I=hakR۱r6;1lŻjR}vN~8^BlVWkssՅÌ)L{mY ]d)^6jcKS ngL+c>hZ$jЧg,= G[y0π {m٩J(EN7:lٷ 'Y@F(*xy kbvdq' ?>`՞K er4$X6^xZbL[XTĐnHG*g]>yGV)CEGd7vx&j+ZnltVIvgE@]2pu$тuo7__ZI*Өl]|lDkGmb*܅8Se(e #׼kAIAOt.bPKTEzDMcK el]߆Gq6m }0F/HG#COWV9U^,)hxZ\ b+ A.^U^7{}?+E`t)-2vq6u6*ʗ׿6ēʴqRJ,~v7D caW{I쩱Z1upύFKl .M * 6G"tAP(p*Gk<~_PHtjMg|HV +&[Sq|žEt]9ydsf7&KAk1ߦe0J^1TYK,n\~z>]c [q/ SFV E⻨=x Ckqaun)09.D(q =rY~SR=QO$:;/4y.ՙ;O1!gִ3Wr$A Kn.y;Qh+J[ݿL1HJڙz +8. !Piz#]>>ol>\⬶ǗGU8ձGB7ǁ TJEdCӤ9p\k8؈SoC hM_h@w qtJV2f['=pEږU|O5:R?`1uxꍆxؗDrkjlU:׻]On ̶@T9iHw0{8) F$Wber\?"@; SBUP!7} ױgYZ7zXZִF! s]ŗXiɟ29aoʼz[%U>EM!!*X`2V()2BgK,G]ArS j>S~60] -.?]n"}t4^ Ӟ :_R3,yزWND<4I$BԪUk옜Wn3E^9 c#.QE<Їzȣ@ڹß񤉏N(v 4YW^vH6XIiZ.br;`<\7c~+6ު($ AX2-$HM}5XJ{ Ŷ1twUo2hؤC!T: q6?4JbtVR[g @󄰠-˙eaoN P9M= 8d6`LD-XubQ :!#9g>''eDX$}#Rf½B2# [Wգ?wFf.I7@jz2hHx#K1YzW[^u eRf(H>0&c.IEBuZ>Q -QU%p :|يj*h̀$Ʃ6~5K0~H6TǍKFx>]̿-W n&y8p""@L$\3\-]υ[9ox _O'r3v//jrߚfRD|N20Hd{˄ O:df<}aiŽ֏]r -NlH LB"ɔBT f Qu(@f"R냲ë\45pǴltTM$+")Է{9& dIjX}7ópj<Z-+@ebhDžݷI5 N`?EoJMQ[zx:/|(Ɉܤ(蠜%*5èm(yᎰo}:;PDv-ˍ^tM0TڢA¯GzQ:Kg{idoXէ\T)LYpAH?+'DȀyMDwXYT8xf-ط]U dx${ rPڈ.,Ͱ9*>qf٘~fET d2;gYZ7zXZִF! k~]ŗXi%B 2Tē2,$hвՠBU0\Srsa{, {}O-7%$7ϰ #]RC&mH/̟$ĭ ? >+2r~X@}}R8 ̥#=3Q#c nяC:v9LYԗGd3Nk_/ QTuќ,|8)?Ć Sͺ%zLw (S?GAg@hlٗ*U3X;̻8t<8d9Z D L+ZKtjDRlvGL{6єo;LӍ )AbkU;V^z'Wzw 3J| ^-e2'SV'.{ԿV<*Lq~Qyl]?XbL>(Y1ki0GODˇ3iz 4|U.}ŤܢKwb{ ŨG;VVPXzAUd6m7JTp[*:S2A`U]UǦXiHkmET#𩆟!CAG.~R|uE6Kysm%\t4cf%Y/y)]".߻4i0{9q%I.w慠OZ4#s{#ฦEgD UouoFE!Ӆ06MCv_7)5 r [ic4PMP٬N L\nqdnE0N}4AXO+'A0?)(#jLDO*(J{&g.yuWVUTI{1D :F&)l1)5QzmmĆ~pfEosO^tZzU"ff;a}>V8w D"@`(36@ =ey SgX&:j@!\ 'e3 Uל}I\fA`{BWrWlޫ uꬭ'${IFVZ9_2KOe~5NB) 鿏6 ‚U@&oNЉQ2@5F$Mi<e?\mM rY3 PX)G\%Dol_s5#íWRC6E+iBm]7'NuY3ɕYqPEݝT,fޏe&euGTpդhpB#;ou({"(9:Oa380jda ./#gE{QɎpS`v t-99@KʐZEf8dEGPodTD(獗2LS&V-BH.ɚ#)<1.҃0lx6UO4 Fx^֗!@ZCL.\_PL75W o}3geFKYK6LYŞ|­v(׺K`ҙEjf}B _t,QN Vɒ`n& Y"^~%BdkW5ECMMCLimMsWNFۈ622vQ32t{Cp,)z=ưNlȫl6GZ5{8vXA!q"J%e;ϻ=\FJ Kͫ31-9Lw%DNƍҩV%u!o6fu @z#n8X$ c3`ntl-WAй3Υ~ /->9(/m%fso=[Um {y~$Xۅ gkr/ᚤH/F/SNy3_ 0zzګAvĝIB^V:iS0~ڵix?".DYaDj -aA܄in1au7?65`pR  N,Ę}-fg -gĺ(9{qp%Ηڏe#[Z:*ڞ>*v&oNTvxլ6RNst: ؞ptANFu+F=fQ}eԹ|בWcy)wZCN Z+"Y̙qY ɸH g* eݔgٹxXXmj~v$:{P41jrh?|Rp/۱.`M^[6_Z$-0K J 蔈 fExғmQ־θtJ3S7<8v?;58ȁO7a;N *a)ЕEujzVR[']\2UNۛ[P@_J3n8$$3&$ {VݻծO} q^RaWvU AmXԋqqi1 ~H*3Q]zh Cո߀#n7זk'+wԽ԰5wɢ UbC%&,v<mY\1,'⬖ta .b[#@ hǫњ6w#k2 5_ O ז@٫>RK V:[ tKeʳd H5QaRMƟfHZK< ķ}a7ƚJKQIui1_#_SN aQqwT˸O, Y,MY|? AZ_!yd˞/sev^D8{ R$ eɾ#0m0Ì̢݊K67 ǬjqKT˜\@G=3){Ӫ1{?zrrHR񛾄Wj<ܙmYkVm^;4閥8c4:*ٶ8#6JnO@B!WY-r;MC%>'eXhMQӺ̙}oF,UV s/g RI;cR` p6#ua-ԺH%V V<[Q~dƿ)\C޽b]?l*@Vރ0zЬKBuK/ xa},qD(Cҍ[^fh)ɀ^Z%u=g鷮w2xT&ID bRiD /΍ p-JWGad+WHXwHv5!4"KLvaNLmиf3(]]f`eOی3.W_p3iBkn6X?? ̳x g^6$*-p`xрά~XBg VE`AN^Eް As GHXWQPƕQ:=Ж\H/jSu՟ޣCS *DB^6.ʚĕ0#,{C%}XqӸejPa_=$mށv@ԗ'8hh*a8l`%4̋9P#u Q*^ k.9fz%R޹s 1ҧEJ`)Eup4wF%)>^eO\?PG(J~@pn5z4}FxA8z tF5Gӥ])+g8ю$-v;LEWv.5l=?F]yڦ$KrB%턦׫T%v Źټ=Oa=%dfcgXoIѨ!oQm#cZ8 9 &6F)hZuM#bzA_ln>R*MrʄYhQP(:Ŏ O?M%9O!C!DzL!f*g1R$x2SV|5/ۿ_\MDEK=`;L4kpSS _}"wXbOJ* (m4xGPØ&4+cz(hƙhPDͫvƱ`S} )2юc׻E9ձm.+PN> J>M#ݵ1 墴5CxdF- p5dlV$֤,e5+ζ7\ jzN #(Wj?oa/Hw)S"c4^ċ֋|HXi3{}gc^lYp_N%jB&οpb߲O8Мn)h V; O ŏb6U"=H;z 儿Vo8oӜ+M݋&Xd^7{@2[+}R=2ЄDe"[M#5 &h/#t b|qr;RA1#v4}Yp޲F;Kto7T7Ab6[ "WBx@ ݸ|)N>T4\nć,a9؆"Ϊy9ޗk5]W~70$&Ǩfdv}˸b.]S\^L&o3Fo|Cdu#4 6\ouMRWV|mc1:BjpE$z0b/S(2Tqs#V!EN(iNWD'Pj DYDVס_T +wtJ@״עHɈ&:.T[)kNk8Ȁv=k䜻 8}cdxYs.Raw 2).sN,KKswq.f[Ek။o/N2WsgYw<>Τ֮* k%殺*4؅ZkVOtbsh jK^EG:X(GPEbń,3UU=mkK"+XӁ, @\3m@bۆ~O ?DЋߋh?%i< nco`h0 }9N!ӷ{ :q´'no:2$rmH!plĸ5^z++Cpd ӿנ\O)T뚘(N˗\QP&lc8 .Q5O.qـ(ķho$0, p<˨ ;PG>Vxi&D?n~G&Y 1Yj?7k0DM6=]K՚p"(<@HS9m2u}ssy Dbv{, Zs'|@[Sq2/ ڮTM*w(E{ҿGayD97Y_O}D40i& [AbT_=E81V a^=)K{Bin<: |)a Ů.&-u${W41>Ag|-YgوܬkY5f\ ˰4a7Hr' ^1u lϩVf-!'Fe' @)7[Vbv"U\/_d:FO`3Щ<Ϗ|]E*0U|{h[ƼIؖZoиRW؃}T/k)[_~p*WZһIVaH("tr1( ki2צ4kCCl@fs%eRTXgޏnP@δ*7#;|p1Uuy Μ{Qz X?dž1XmL~u~ԏQ5Bpfqd7#m"cWK˲*6.d(ڛlU953pQ~d>~Jw.ƿ`s\Z.,Q|ewT.`zU֎D͕T%Q#a^KXXiTra/2 dJ2o &XKQ2{Gbsqjb-m /Y2|ջƷw5w*mZ%_⧵ }ú@NRZ//Q8Rpe *EkgC{ y(f]o 1oQ8@(yeNjj}HH¥m\MS_kXK ᝺B3zFF,l+}.$is[SA}~J7|\{2t#L#.p j)(T>mDK\skg Qm6LoI@0bT9tIT^(0{ Gd[B՗dQ) {iEċ D3.^DLFYi7RdluM8޳Qi Ƌ K%xYR 0:zԀtNFz8t齣{.C>1 M#gObHyLɒo挑zk_,D?`;UYꁮ[x:Żn Y1ɲ@ FʅR?MmJNkށ 3zd먔\U3<< xxa&b*̭\n 6ã"}˥*rlXĈ 'iaNk5D~= ) ?B;oK@ |`CPY"T*fsI6y/,tF8}G ^=O)"`#A@ۓkwS~l kW Ab楜4Fl^pn774bz`&*?|0:O+E18p跁*,L(Jg\eHښ@-BWB:&l˹xn-25R*m{ڙWQ?!/*d7V֚П>ty 3Ax 8 yw;/ݽqbzb'༷|.LYj}B EOTm[>+9N :2 !!:q6 t)E@q<9|^  #*3hWsf~]/ͩsāX?L5%b.A~Әg-@jюGzɄHǦxQlU#qG4q&a?£S,G\6)^VQdxZZc#5FQ'c%Q+s@e=&gw`;G BY~=F7%px* a 1}vĐ rN+נܔ߰'HE?֌x|崼 Gྗ nC6kcƫP Zy^ؕcbYMP<9}kn͍SP?|J6Sz]1A:lqX$KnFd&4p_._ 7v3-7!b gYA2dJG `[n+9(9)!潐‡b9d.ԏ K}@TcHT``e!bAM͔u0nQ6Q9҂ՆT}Bt9e9uɥNQS,ZVH|RL8٣f:1-ŻDgύa8\89v[˲J;6K1A( _S9EAWj @n,oW/)/?佢$MAэkT4/[30PѪ6mK]wu?[o5Enއb`OrN P'݉iyӒ^jIY9z\xڣem T(=oEq@Tκ\N]#('gsaT)T&]縰1~'==pQ'5c2\Ws[dd1%=sw[BJ>i`'c%ζ#@a04߽ {ZǟP\PClV;B#^H)#͋ck LaTQeo* rw4[|7fVUKsSˊ1dcȳu1;Rh!LR݁{d%10^<Ũe qB=W{5)ա`5hIzxT1ץ Eb;K8nqIKt4]_κ]apk +eЉdփ60َ[#%r*pU {Vc{kVr7*H =0l,pJ(^:N0ֱ7K r9BVنi}ٳ]U(ªP:OKgίDxqNC?Ku}W)!eN 2.z: /c~ %ž09܌YGsA1.>OGiGj dD8t;Ci]g6%ΟSVGp'TK\ӏ(\,ǯt/D|i~z[ 4U<0|$n3'63 -vmq`;z]_a²Y*ڻ6lmq8\}o,.JA24@HWiU#~|VP1CG+SiCdz3BT֐ur?7=l*/%?Q؁zv)#y:EAܬQtj`R}҂W|mʥhG4NA= 5 [NiD3eu>AwG$~x%}Q{rN!j(]Jq"OB/SE,!öa;ZP%p( 8 9^3G[O> f̱}-=]S^I2T`hm6Zȏ@1' S Q/MCTIjŝ: )-FA2QqŽ0X>j3_۝)x歝d#@{ywl$c]Hg!)WםjĬz+NF2Ļ䃫 հֹ*VʭZwh;j{~Äc&泾T?%q't\.]enb_E(#>Rdp֔.8iԄ +R7\Y=6M_ᮈ'+mlOVcd&&Bt;X3^sX9biY%/ o>*|? RdMq лZqKiɖ*  tH+Z&d];3K]ZNGBv .r'E JTr*kfbax}K7(ْ!Z:*tWiFt~]@c1u6bnb.5@^l$U 9n3WxEDțLfӳ+P]D&mfI’G-e9XCcSў7O(79q p  ] -fPGpKfpb嵀)m\~`$q1s+x;hF&x{\:0I cBw(TjL+ϴtZҲ~Ru6ySO ])1`)uCB`|[ٶ;moT'joiKG37}R|Oh6C6-@{G$jqgCo`:l/!oxb]s'd,9Na/)~慊D|R \u~z^'3B)Kꆂh28l}DK/pM8W+"%SŌ` |xĄnr"*1t[xRYDyj lA^\U!8u$?E/Pؓ~SMNFʟQ}E9{< sAf(sFXy:1N-Fg LZ}wv5Rofr+ Zb3,;SҖK?ŏ}$,>c-ح] fɕv{HW7ElD)4E\3ϐhp=qwýJIȔ`ZG)>~lVpTlT٥jzOV+% ?}C9eBm+kNV/p7{ih7Lb2~aѽUU+cض3<ϝH p7xrA[+L}`t>MjaePQn7 ]U/?\|!ne)V/90;4j)>*9#VU G]-[ϸ>"m~+coQ2 ^-z7o.;*(QS +zH5Z v5}3=Tk\ հ@%)j^r6CS2$_K>lhC\r YI`#kZ_&0}|ԭZzɵTQvԲMjjSo)bj@=i1n5/7^npon隕uGyMU'|hߧ9 9(0Sujr2*Rtyq~$"`;\ Gۺː:>i8"vǟT':4m)?uc@ YM)Sr\SSŸ;0QawU{];/OW= DTq ESV Ԛ+?JSNWS(E{@O>1/ ö3/b@Ş0AϠ}AT 5T)W?@*(M  ┃7]|Wc"[mIx.LQYglVqF i`}O>sF+Dw~%#)B0mTThGpU/(R_klҎXTEkT5&@'Ř?MeEGHe)Cb_Z %\HLԘ6")<05%r{2T2TT_!7gNR}z)by,5iU$D:?¯y<0S,f;Lr^ 5FKNh}ȱ뿳zݟ`f"E Jpw*"mhCGZ~Uq)ML[Rip)d֥Z.zSjQ*"8$w/'T-H65CB~s(җ[Sg;ȟS FҥPP?UslmpT\p wь}vae7uԟLϹMAm7lŞYe~QI]z#Ů^q|$$st ̫ V YcwK IQ u 3NBΚVy<>Yy{0eu}oa}`=pYTbZ1)~ɮPkear~D<ʹRVuhwP Ev](LK 7dܻC|29I+ ̯uꠁvNQҁ$ƁM9 ;=xzioa,82\nz!tܧ/n Lg3^|mH)7D̰o1w4cb2?r@zEGzB)KꞐ~>iO$8~&ֱ4)WuE\Qy92ĈI9q:tQS:G"%nZm\5yΦ=S:<.wh ړ;Qaɛb +AM0iP*j3/ c5%fSdEMV{)h6- C,ɰ&C 03؍IY@g?=/M@o}_~.b9uOq+mT*G\DU2)NOk}2s; ( kOn~Wq3,j=J2h`Ǟ!g+Dz2%tg5tb+t XoB%H/|U02;z@}bѻ2U %r;aPuC>&ɐ|[QAESHL0Bc%FӬv?℉@?Eah,&ܷQ/,{`kfƯ!)Zҿ$c?o!sos9I4RjޤkbX< +{! .;h#t!*@pWՆ(2:6MnEs%9zЀrh)Z[Lp),/5B5{ESK!MR`ӻ{$$0U~Szr&A1~ cUdB&y4?(I9!lHwn:o}j6;Ib:CБ8&lRzvuAr>>؊OD;£MpTu`]Ƭ&rQ:!k*$#jDS2]N]^Q/uދ".A"Ŗf~db xkq+2-sqY-U6+MoHlϲ ߙyLf髂w)B Zr; ycgO)Vaw +a03qD*[)axLւ9: /g_eݭIAB>$dtlד a WҮjO}G1VJ%7D8fL<v i)K;WuWd+_68P#EC܌Տ2lwU؇m]fմ.OW04X.^_w>pNwR?=p#D%; _`v+P;ؠs ]4MSaUj .AaKA(aϰ!ͧkPD(ʼnŐ#TXR`e rI5d+CoZ֍Z,{ =\AH<$.RC:g~7Bw4[&N[h0cqסn,3">mcT1q6V|UTreJ`sn@x(|K&Pg)Y=O=MTہȓ;8NpoyWm"&'קcH (zpap·y=Ѳ xw?j?4;= Ђų: AGF62q{vhz&eʇܑ)ClQ6:$}ƄnnO4^]GO7=e"U:,*V`zCڃ{].zZe*?"Ǒ6cކ !{)vW>6/Oz: 2{chq <oh!`/|9=sf2-vvt-Yg&kќ}:'Ul7O&Rq=[AqͱacR~se7׽ŽA.'ef a(x*'iP7Ik8O}o[랿Sd]lRy\[w0Ґ{A֭_dWxsSU;*W]vǐoɼBCL y.{@`j{dS-bG/Mp4z*';Y 5 hoe ҃[%YBB&xtDWAg ߷EvX8WH!+Uf2C?WAM#ouxZK:2[Dp R 2$E_e8 UB>lLbm>1jn<]}R.N bQ]T)jNVX,Wc{l| |4.7§z)O̟ q1Z<4R+n?@) j*uMظ$GVNpĀ6=l JxgO ,6 ībyhk;':!>mi`0ꗩ]ctȂW}gZUb(a}7,ϟqSmD=9c}x]L=4`Edhf4H}?~pR:hFQS9N|pf  gFnl=kʻ!(roBɩatѫPD;@AbDQSYkqK9" eZ*UR(%pYen޼ m.|}9O)D3db#l҆kנY-٨ӤJgp K/h{"h%}Xo+5/yIQv"ts63ƌa2GEcd+Y;tDtc x}Rҙ"Aק@#4ԱpTorCΧ{碓ʴ.7 YP@bcj *M']6}oJ,͓snPDh6[Pv(A{dag-k i4R( 4oMڏ+^ ǒa42')KǴz<+b/Iů**unU` 8Je?ĐwC-vjNj *k5b@"kqIJB%sF1TFc$߰AN_c3"Mi3"Pi o튜mjxT9Bns*]Yʾ7$xi{?T|SNGŶ=&t $K E/4 ~!IHZ`>Anm l7[;v>ˆzD"bR #]k\Eݚ/C#cX^R,b[mP3i68ODnnG O̔cDasgr\]Y:-!}TB Aj0Rh@{$o!^ݔO ?QoZx_ruLb%+~rs<aCp-&q#?rozfuVs g Y̅4AD| [[iIh7?Vv,W?l{. Z)"ާA0 qpzm lZ[4zǬsXrYToUxY$ds95+N>HopE.pW%b3%tc/Xpd2xT$XwpW;F}M|` qo8;g%IujGJ~@>`niQŽ9큍3·Eb2xnn]45t:b 㣯3!W#X4JCCV]7^b  ^0`R[= ʂOR!eĶGLj+Π](4BZ݄x}.1"cgcg՗]t*w_7豴Z7c<€{ +q1k1(YЋ8*T=hvVLGW~]` LbL+hb^{]l)[sKEA NE )?7\Bǔ^gz5E\쮪8~5Xq2a_s?rjcx ^3_QR׹G;52ͫ.`t՝f OɟɤH'_']Ѹ‚$Թ0AWj]r'EY,a,Jrq:ZTi$TN Ą,Pme;Φ{;{`6욡2B3;l׬V jcP#f+`v;=]])uS%Wĸ%C쁮Gxq杨qzX9ůlÔs"W&X!O#ڌ{)8cU9oFhk0QRE<;ɟȌ-h F`< E$ʮ-Hz11>K;(ϡ=Hr,ѥ3`s#SwqOؘ9a.uDefHe!fqYU?FI{LA uAH5cf(!;>'7@$H%};.E 6i|O33Ci !@}&=nL%*ɳo&{Ӫ\50#Cm π_)}_`:vfl{owLgtD? # cAeGϚqu0/2׬m[f^5k5``ЭtA'E5J?9:}I21K $%7Rm0ckh Oݽ]F62th׶,2}U!;*]g@6zb zz|5Qq廀>7yX%hk\BH>}.EQ:a3:@ ԳM0 >^!Nj6Ѣ1N-q7'Ni sȔjS؇kl&^,:^?/Mvd;42~O)Yd6(h v16+$<4WBEc|,=JUx w̻-&=OaaAOQD5."tXFUR% .y/1\AW*C<<˹ZAǸ\l:H7QCb ,G4rCo Aq'Vċĸ_pU}If,9>l>y@싥9U^3x{݌)*0l- D鿜0ؤ>C ۏXxFCzZȱ}S$ !O=bO"%=h+mɇɃ n+Y*zST[ڜ YBDe,@MJ65-Lxf)#0ź@-!.d>j+47L1@+F0Z4Ae|Y'{5K^el\tЙȋǩh4FhIdeP 3 hnmQ )P5߰s~(T4D{D=RVl* kZ=1-F5;2߉Y|Rٱ~n1=I1Xο(8S8zh-vW߆;"fpC w$Qwa2FxMa'sRZmֽ "UQʛMn$l Y襎i_6 T[u1w!٥Hܴto x<Ƣ0L@TuDb, ~@'lijC<‘kwE.N`YzI!9eD?(5F|$nb_ #$TtwBRQ|*'~C(J懇Cg_xel[~CI?aJ֍4Xƚ̩0 =B/ dDgUx`ni5Z? ?v"IB[D̿JȳRS4A$}=R|uzʙZr#suUc6Dxnw ʚOv!SO6>,s0"3ϠrEIKywC,]Ed^nd'u4 :[ys꓃$>u;m+ͣmvw^ќ>{Ӱ@,k0(6}32"Ed jLbRnaT(^udXҙ$2K5?q}_2} ]kM*`Nf_Lkd)@v3]v~˦,w~CCS_Jfoxjm%{](Lӻd>;\/"wS4j HHcWGO³<[}a^JiFK< ^.h2r$biW RLZX6ʚEjB |C &F0h -@Ҩ ě:B#cOe]˳&.@f*/R(|WMA`B KUNꥏ1$%qYݐ)'05%%ДtԞ RBpY*}҆VB$y`50o -\8ICNuB(r#}x- G_pS_$l6~Bj[n@J&US X-#J M] βhݱ8r>xsSξ *mB_NJȨ/EMRV'%?,b`F{ڃ[KΚa/Ώΐ@KC/fKؕu!A,]7M4 㐿ovE|Nge|)ʫBkNyS३UP~4 /?FXBW4 JSx2氪1Kkej{n>uT&p;V 3Q\1j1w@-8Nrto:>x#dӬ6ů$1׃`OVN;8B<'1ph7JS d3HS'8!E?|[m g*@2CHwZP|>>s'UEK3WEZ4 _tc^c)|rG᪽!1W VFx_9RZ>p5"obtZLX-ZafRՓ` *{tHIKQPTieHkzGdHo2eWfJ6Foz㭎qFM2RKa"O$Q׋5XѣPywO-s<%w\t4ailJ.糱nA˜ׅw a4+6B-xDP<1Hf/[p[P)b`fLXel煇" g&?{;52-.N=$G? T ZIF"AƵA22 FI%A"@YmGt)f$dC޴F P{a6%qD/PE87Ϧ/' YBۀVxZEXS}JѤe ;*S5ݪYFgr5LÀ- .ڴUj[޼@g cwI;B@So"a qX۶6LsL(ߪVќ_Pb,_dޗ:V),e*{6C[ J DIԈ@I1"[z鍊_&j.cMw/&Kۓp1WBګ{D%8V[:XDNE[VkjfXTj_E{|,T>M U#)"?Pu@3q^3;֘\ #koNmx"w~Q fZP3/HYRԏWIi'<*ruanEK"3;OqY˴VF#0|i~[] *-辅13Z ?֎;kbe0o4 M]50.0Jmmz8p\Le*qwdҍCf\BIoo?Aݦ +b6zp 8IF>g#z tdp#` -&Fތ)/5(l2mBVJP8Ti1҉FH6i7t#Gzdto8/&YnTS0Y}QͤPa~jD8X>3~HQ`5΀St:(ɇw6GȖ 9Mծ](s$V}mXXNEpYf> #ymNggՙ~ 8͵-G ֘,hB77> ` h Ç/T uoVToUZ:%E0yĉ9mcqZz;71|(-oK֌/A۟#2A9?4Qs Q좯T/iM|9%Ͷg[{( Seim+K:VdmDU(^\W_IpQߔ\k+(:Y1NuĻw.!sx5֖~7ko):oB%=&3[79q^3d!z<ߣ (Hma iI^ʂߒc\W¾gE'+k.51Bp{9˴{.a%(﫜hi1TuI>tq ri&ie\O0|hM.R ֈtb-Kp@d nt~lfMPw_ͪo&,.Thu s';0<`?'QX>AIYյ n"H8Z1|p RHJsQ\PeDt˂Zskn 'v09;8)Qf< RcStItP[o.Cv@d\Uh"zӘ&MpA*a_UڬvVY*r`y΂!hjC S3@zC^v,9@EBsybe<).ΒPe Ĕ\&˃>syjCl?A١}ƵZ@IU7RɔV;7T"`#Iքʓ/jƥ{dmbvǖ3.<`@XA^:Q"[D]8V6ig築X娪aKQKmv2 3:$Zd<758k FSà A=R&3FS<Fq- Bkt;4r E!Wx+y3<uL@$QOwEL,2$3:̉6c*NjrasU.$=קBJ$_6!g#PD'4\H ۵="ʧ/M5Xm|JYJPr?3O>AV+ޜKDs`YE+1P{]tZ@&|iF-e7@`T+X>q* 8I\|>ojڳhFצᒡD{<.e$dr#~\}Uroh'Dz f4m)0"jH\q6%!E3žr"w 1UC[-0x#`jbC2u)1\Hîfq1͟A&xtx|;VZ/WkhԴ `nijI+DB)= JiK[{ן'~'S#uhXnR/U3{ő;7zn&M-yy'&E?|ŀk0.u?-"X[˹NF; w /EZ$"9 Dw:Go[?`TS,YWesꄬ,Uo斶U#R.T_x7JT<(Tq,Jx.G% 4WrrPOQÉ NBPwKɦ]BAEJd͝etlJ'MDMu&CV6Gls 4*o?HG& /=/R#3oY#Q*IA)?|YkJWRkenI[@@?! (A, z̖_kJwR8rV2W9\RDIO}:b{6M` r[h6Q֟opYp s6.cKF|Z%*dUCv@k3~+8!@b]^(u]M ܟC֞\=''R?װs#yʆ|ƞ2i[& qO; $6kdK^L#21v4k'`=\]}M(7 :m(5 l0uqW)xa,-U6Gw.?>/qW`zQs 8S x _Xj#Q6vRf5o ۝ig=0T;Iꄠ~f&"3\ |Y|o wX (ֶv壙FgRm*tU>:'BF+NnPGz {NR dC_*5 S?˘OJFꤟ3AB95b *hbFYW_ۑGw:oy,.bԻ##>psۓ  +#@Z~t)9)j5]PL@to@,9_'%5Q^j`z# 6z`2 [{a難iͲMEP ;O.)W9ʀY!MMs6]5mA^ CF6 ݚpPQOxiFSjZKw ?IW q F"?^qoj Y ܊*,]y  c;4ljAuD, q=Vm'9 X63>Mn(wŪ5b0Hr2u H'SȺRU -]#!Ҟ/Ρ@UDt g NaT TxA^c%6wdkp)&BrEMV "[S6I 9H GyƦn3pzv"&G |t)2l.dy=PQmgv׃B}ap_ISdO$ 0 kCL\q -y@iBYAgzW`o?YX3Ԇù= u&>k\yO{Axwiوƽ5CWq~>:~ۨ|:v "]Ɋ} EF|'7%CJ\%l`@AFN#1Ld"ozwjo׌Oay&xc.<1Xݨ +C9@K?r;fpl''zHvj R6m$Djf^ 8k78^K-8$ӕ0U,J[Ρrdp`UR.۾\mD|l C HVIqcT#,H@F ˥lBgXx@uʁK(?a07eR?Gbdt M F>" 'xeO 4{>@W8l'R-æc&(<9r!w|x 9#?f S"=٢v8ioF-Yt=;ҚF Ȅ)i6c կH~ _P e9ɐ-oAh5QK~< ~MةKEUʿ gGS9|8dxG⭌9Uzk{\Ң1a6G(./fA;'+[b9whED"!]=jB^gvۋ\I4e_<w8Js м wqA"Ƒtpp-ȕ<)؇"҃R1$ٽԒ)G:gqV/rb].L-qV6(U`eȘGNчi i=ﲬ Lߦ[-h ߊcta˵_ްp>_}I00[O< a@ ~sn<`#k%<5QI]=G$83ED$ECv⼚&keivB GExhgwUoD1٩ה/=@ /:17k i!z+$Is5Gj"䵰A ToBf@!{(Ž(1G u>[UDБ:9<Fba3g`S"j|e9"8ᶸmK Sz`ɋWT54S{֋dy$,Aibݕ"_s:h,׭'+.XTĬ;=W(rj9|Is{ Dc](hVMm5j:rDXBjrK{&+vi&|:c6C}DX,_F[`ryB`nMX%bPT>.6f~A&~T{x+[27ё: iWoz1SFä3 bOjA3vf>ob(]M@a7f̈\:Ls2 Y5NĚtƠ$hmhԜQ*aC|R3A#+Zw(\@ aD5Bs7M~g{UR*_N4^r j&w <_q PX#k~S9cf?6O=9P22e7yJAw85gł06К* Z̝WU}I!; uߒ\ ;A&P(T+*GQ2#L1bK99;S7-?/hߐ%|`]1\a FcS#(6ƕRlsGv+7! Xn~ )E }ɋˌq3hăN!4 A\yÍ`pqكw^MoXW)H.d\x|ԥ']楗-`kE\O>bZҎ85.%M&61 ci|dՒD騕!xZS5cb56קvb1@U‘[͍JTc ^W?tЁD*Z1cqd5W M_nҷrK^3u6BQ0_Ƌ&fgU`jGlSFWN7.|6`{ 3B~=9UwZF}j)7#ۜ,|'}> ,8z߃'|=sjƯQ~bf elDouyuG^`(=I6Rd$:݊Q6nfJ]5ǭmҡU[QP'Ϋ b.rl"t,-9,_{:xy f\F4rUDaۯn7߽SAGd#J+W/ GĄ Q\!1r8.<YbXR׽CEZ P /5xi=W-~]7>џWkش-\34sfZ& Rr=+ϡ8w)82qzGj})fǏsc8׬oa>S(ѯEn}!w?2"AwË|)L;<1UJ+eq۔~43R%bWv善:Aq6.L΂8Nsuz 'W&^Énc(oGҺ@_ ⏕jVj[ŇK7g 6x\h[kfM,("@UCq}d G(𑖒]1O߁TfRL|Ɛ:Ѷ>;'K6#)|z-2Pڋ77dUo@yQOTs}8B:X۔#svFJw`w_fL[g-hD0ɴbݦНq~n4~->4Mow-FY'93^Hqd,3w7\Ư1H AFk2Š-<^Vr\n8!?qѣ&J?nN{D~ g[qL% .(y gVmv mD1)r@hA'(e@ˈJUwQ)e\ɆH/A$16Hdz -_\P7wDa\6Sen-PoD)`N+-wF׉w#0P)s ^.&jOAAS Q=bj82,(A\I][dѶ,xBO2:ӗ=Z8u|~TgBI\ofi'dd5TH F kN3<5`cpBA6'gGs-̯P Gšӭ4,7zyƁY -o$Xj+HsjE/+b+OlN I|lW= Sl;(Mt"\u58, mU._KpT=sԼxi4*EM:6mTr4k'H/y1| |VUEdp+m}ȹN+B7/A>Bu駑dvN3g>X'rxW,:ػc]={|;OX%&-_p`:v\j87JqvwUa0'# 6w;^N>g10'׉#`Ѱ?)5<>uNٙ-<<K(auFmto iLӶi=皮hOjz@Zz+'E&8ŒiET8;6]> e Fo4[lQu'rE˗OLVjx-uBXg}l߸6g?Rv& c]VCr6T̲7]{s9rߘH%iA>2)6.xIyh@^'7ĭ^.X4X9zL稶 Q{4HLC d?˼}ڬB/*MqkqtX:nY;L4%auj0HtH#L:'Z'hRV̰Օxdq>"V! $Kʤѽi`h$;xA+.Hr;'vɗ) _ Lع@R*oaix<qO5mf{mF`{jл(1, neoTe#(Z]}3}fJHhgPcvM:4k ˅(a$\&g^J#&q9kp0dtU]}K9H;b~Tdc*Bu!2cSZ:T(T+֓ǝ{ bO+j8'䱠Ʀ7~d[6l➫aYF0J{Ӿ@ё kJè]ܢ0IUw)sVY Ww(+R[3TivI+A E@f~(TQR,Nas ,ܘ\"^~dg'םC/>Vy\e=`2+&'0eUϰUT>6REÄst"_$Uw ydӗSjLThy2ux4iDǃy4A[YUMqBxe*@そ.iݗSZv,A<#}Vл$c7lyc`P[C5%n7>0x] R KSL|(,mߴY8֩SKXpqȢEpXtF0Ι_Οh O 5*\ t0iQ!;H`ӧd\*̨@NۙYV.\o0