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 II{/v|DD ]% Gaussian_Integers:threads=4elapsed=46.253cpu=113.092gc=2.9327zXZִF! OFɶ]ŗXiɟH)0%o(a@#!h#މսOhlLu8[@[Nr QR(,1􌻮g(5]^i$N7GHr1vZ~nKtS$-*xȦӤH2^yZF9bp`a7F?ncܥsG_x`*nq!S( L.mB:0*j_L+ʵ:*h Y7o< Z4kL|6:mΪm &LYILX!5cɔP|q.1kQ$G))G6V }_ 7"M:ؤMSlsB 4PDobpbOzpa ȭmӴԊ /HmUMwW磊։ LyNɄõrc7z3uyEZ"fz5܏.sӉB ijb/yp9|dkrjtE̴>^gry_hͦaתݲ5JtL޹c1w5]EJq~vy&P}f(.G| ^5Y[MΏlsXa~v0Ț!ik&wҶ "uEŦHgsb@+43;}4XKAM4.|S7,au+*h;dJu|hdEjdۘ)¶ X<Ofd5_&3VU@)GtTviQ4!{ӻuosdX5s:1 4X{jKcZĉ 㰦u=`+,7Oxq@9D09„1o2EqJ .ֻU0@PN5ey@ pn'؋_:z,^CJ@?_}a֫ݦ<>^! @&CYޏJ=ք eп5s~!$Բf\\ D9 Ԑ [J N>f͓Tá. ׷BMVȤd+DhM q96hXJ#B&+~|_r5/4@}zU0~ЬX8m-¥ec*ʵӦVb0"* {&AܤL m4lm ? ׆bq`r׉x4Tt \ Fl;BfAP-~.gJ O Js$e-?l1ոAxyQh dQf#=)`[|_/}jrɊlȐ .8>_[촊F'y(lZlQ3"vWA.{?y3G*J5srA$&FMh|yeKJcbt ZS tr0wx6pBf{j2=[4;ܥ{ 9KLK(ސ##zUPx,"w˪]cj i6$fHbu̿ zEM{X%FJW 6Gwn!6{a}/++nlPA_ ^vkޓouPX!Κmh$_f[<0*kByJ}wu򻅸~2O,6LrU;Хէl ṖpQ`}!`Nh÷J-XXt|zժzj;\IiA:^dzs!/kX4&._/"o\siñ=h'W3'YA"Hk`\s-93Idz6?G8ލ/jKa_飚jsw/k_49uEwo]yOZ=GuȂZ34DA躘<&79AL+EްAm^Z(<8y {67-B.\l檓`LE%hfFر7 H!gyZIez'RGӉHN0A/| 1=!~,Ύtxn!BnPD8@6,MWIĴ$4ZDEe&X%=Ӝ|淯0GO{Mwg]LN.EwlѪP,@DB}hu9nQNBzQ.[K$ OZPt]LvDx@gAC^y?p =N"oZv^d=k"Mt"ؽ ]+CuQ{m?e'+7=5 / Gaussian_Integers  :2gD.jL!i!Bf>ـ|{)E",1ȺA>OX'/pOLD>J7:_xP#T!tTkpjDDfgڹ(?SUG!c$RB;͂U|0Ғxi?Mqc^$ZKOv\F =wL ʅ}m6hVscPe_QxPm5jMW@.tvBLOw\'X_ퟬr/bj Zkh 9VR7ny^Oz^Z"@kۏTڭAӌM渭U (Ll5.PFe42ڢ/NF;M/%j&@L|Ѵrqp#kl!%JKxA٥MJ*6 d}3QǾZR+f"2pcI< Gbm꽳k"x)c1pxtT ~0to2_|ڭ{#w/E,E `OPU ;,:ƺȧu}0@)&fJt-km-*φ} {##+c]%QdT꩑-:A?s)G5Eb#uZDsuch7e0^4Gx=/@|hRyf˸XQsXq@L!,UzeDH5hc+l-~$kUn:#fjIzCNϳ*EנQ;z2U84UC;#^}GL-Y4ҏ\N-GY F͖7*2&nnHϰ6jʵ$Y)Ct1X׾VEI$Jzy7EWRba_@k5e E vɁ6͘Jf@*(itI<:BN[o`eF_:v *'HLThg=_v6meȨ/ e8Rg|\!m+P^  rnܟ| +Tu`]q4c0?QVbJB stT*dW/q@eq9&<[Q5hg_b H&8lr:6 mCٖ/,d_Fė4x}rߓ™#oV$0/d!Ok |/.BaM63-)9ؑ0/@4Ti啇홠hbGE =}ɜ=:'<&$DeBf(m!E405{XpHL9?}iLAtAKS3&iԺ! R̊$#F·:v&݄NA5RSo祀_YHV2(He_0S艛Q+T}J  SvCR|8!:!ᰃH:;5Nxz>cƵݿ&˺1g3'*ѓ$ 2d+|H8`3nf_o& Y' aG{2AI!;\WqXpTXbJz1[ギ#1"wӬ2jWV TP,%_5$(׎iWyJ(}3̲蔩='gE *)Ü.*E:0R6c~UEtL n'%I#&F4/zμ꙼Y/ м3c`ȘD"$B^SaU-lpI w#+6j9'G:l!6` |,?ķׁMN1uP0)T%1:%oicѢ X{1" +{ъ*:zY[Zp 헣/%8dYaa2ڲtg *Tu2j А;\k/F r=p|a-ĕ'tm`S]궽PF6V_ ߩPvy]N,m2vpcIaV ^:JvvXsNEUa+yӑĞ!+Lx6fj.5Xudylͪ4TDAaZVTo]3~ /lzv &o^GQGmRg+(BNCkE^.vGO*hMFXpJބNrILo^;PϨ_b̴yDR9)GŒj]TV<LSVP_cJ&DMH U j6p1ղoIY-ZZpͪ@+C2aTzv=R 6X&3<2f %9G/K IHHݭ9 @g$ô-s#aܤ@;y%`(Lf(E̓蟥{~a @OL:xT|ߒ3^|QcqO!1;_9lOsp([}H<$d~< 1E4@CXQ) f?mF33){,pfv o,$#|_v ~p]X٢ }A$1ИLU5c4!kPYΥ$jWġO{9g72os=aЄP(@lfN]*W s*vWDFEKD/pUğc(SbnTa22"M?;x.&i"IQb &IE10Aqk bʿPŘFk<+;v:iC>Ӱ2(iM8/\.&Q ioQX?|4 ćd(;u]u=x*&y?nQVC 7W vO]?W"m@3h"9kBD͋Ju l)؍Z*86onĘWaCXOsfe ]JAAmeq%ݳHPY[e ?tNadHb`k۟dx_V*׭8JyH9X=isc T1y2S0A^j]s:]n NuKI 1Phjf4Ϣk{_*Pf) ~!{#j)ێ4x-e觲dᶙp1@DߡV*vHYh!]p? wkn2tY<161\FxV]'; u^BSlIݎrjSSB+0E.BVdcjx'޵{#m$V$︝BlH^~Ö6OU{9`Uʢl2`c M!E3!C&l}"@h1z|wx; @͛CÓ,/oOԾ@ů'r^q66}H:QSdЇ|(P'z"/Suf^=_X.w,Bݑ6Kj>1(O() v`nҀa3{nsdbtssQ ;qpc;ql v;oҠo@3,`;k'lAi/,*lZϢ!0JT3>Jgq($LakTFcPq+K[ ]]uct*TZQynw]ހfUxkh>gg]0xܠCpá{pEt˵ 9bY[S˴1[5(K6upGKX:}*Q/S֝L\0X<[O~`37t~$M(1dqI#ShAuǨC/a`ͣRcVR]^ɹL&:7wҩթ(]UĴg`2 L4 Ի<#@u?Rkء!S$H0$ x}nKWVƣ RzdȵsÕߑރRT;M=[@FuD7sj@lN\Td>bQPɛS?JKSrK l֎$eiچ3-sV#"mVC34 is##:]PֈEU![QGε;KX"g6ZB޳ߓ&VޘA>ӛl\KL嘽MG["MIRK 3„$K=O >{aɛo+:pqσNvb=D$l(80mO(K/եy|z4CKӜq .Uzjxt| 7u'mMo +[1<#nFIQzcn&fov6ȴiPv6&!4sBjҬMW*8'%[Ze0+6Pm+YdC|V*bftʅ9=V@<(#XPvh8lhjNR0„C`Niپ$sl|xY_)^E1sӢ݀-Kd> ^3a|F.֍(gΞ҃[{d{gKD[ E52q#D :Ed/ 2qψ5Ơ\ = [ۺWV ԥ%`nV/"xzkEأIh%t!TH 9nGmJhe#XsoCW ̉"C#J{%GhГU8r#VojTxIRSz- _ I{2#BXC&:Hޯ tYBH6jVN6}pz8VX=ĄK^0XZ4ZBEoTKz9 Pʟ N*P %lItX+ym`v FR9qJ{FVp,Gɾ迁V>J:Ӧ8ݙ#O=6oM4dh7]qSS0bA>h1c,$#Yy[ ? ~H_&}ʌ-M?[t8TkǾ~/y=&e?^GX qwEf}vCoS[-yTI 6Nl`a2zpڄ8 tдӡT/& kq4@<\gi:62~m)^5f%G1YyI<6fI_|nZw\qÛmE@MʆF1Жom )ƣcrPELU!ҭPz֍SM/cD\r}I'}a$|Ԗ]ex8Hw"m~_ &Z'+/4ƓvqSK]XG) nx3Z~r 0GA'z)i- '96l^K% djW_$e,2m3j:%'Ep}ׁQGLwxp҉]5xr"t|C}[ C9V>IjQh+-ph7/Qa-=d'>Zf pC5O2uAx}ڷ # {FsDw%E#QՇ#=I?\b>ݒ6 $q QGH9@ǒSMôgZ'!8l=Z>AWPMk C04DFO%KrAcM鏘(|P `^\݄Mrc/L,t8ht 4 G[b_4o+$ʸ־ӸB+-_SQ>$pgEuВ\ g-Ɖ_#2ؕŢ͑>LLKڠHSa/3(BN n^ 9\zn#K+_VYn37wva3ɍS\e{!9B",neإ~5{HO5g0*x#㌦gxL0 8X ņ j2.zHP6_O=ԈI:,+@+: n.C޽`o DwD$Ɩk:@H}*4|:A ?X':+ Cɗ65Au8jBH/njQߏYdIi2YUTmB,Ϩ_|͚=:9qUĶ/-WvG șh00F=ʨꄁ/y! B`Taa>A^=#E}XПG~m[pwɒkrZ\a=~R0CU*tKK_T|@Sv}nuS54DhVO)c:WiÛDY{jQ\Kgbތ1D x];D?n],t@D~?12=RqMݒ 6تiv tT'*C`i?otw_-@sM液_}/[bzZׁ߬:{XggFC{] |Rl`vo)Ađ[ #y·_-Fy n5]1xO6*#6dy,1`%,6p9t bo,a!*N6mT:'9#+/S~G췏~KTD=Y4&jPx۪LfY5榔[^\Yr9^G X[vuƥZ?}pپyJƣFhSӧg6U}ÂF"Q&.uK\@ 'W7UKqKH $)D=*ʼn|\{r^qppt 4~h3hR㙎h7z 0]qEivn d n.1|My6Ξ 8J5#e9q&Ypnd)%>I Ր×dË74ի9YYGF  Lt3޵tw H${qɸ_=u]V`mZFBoFt_lH^& n`;nV?#D Hkt,2q'50|v׆lQ5%&-4PE+@x #;8”]GSTD?zoC%/^e X$Ʃؤ}1_\C| g3 :mV\,{d?}eMY=-Biظ<@2as\HE007*|ZO;SZҺ]CwN_-lC;/_L$@z?Olu5 <諣Dz֑Q<\GYާA HRaKgrwC:r5.TP&i" ;eoo/A`hKS_Oj=%Fbcl Er'|SXtrmRQ&9'} 8,~`2@ "}$$yF,-& SjP4چ~xqB6:k\eʝ8HӡpN_u;MpTi"Ul0q9G @َ ZFlU>϶m#մja_~^h0^:sÉ(@NlÍSb jL:bsm{/YSsq%(^͹tCtK.ߘρ֯!ԥ6vTCBmKΌZ2=F OpM+[&/SFa$6 7Kl'.Y ;TVϧM A|/A#D9m뻼}7i}K4iI94O1_1/ 5X{=SěӰK)]H0ۖNQ@GVkh3*1 !- E8ȯ oۻҍ5"ht/5'Bz]p?K: 9kl X5"PAykkN!9jaf|Fcv-*k6|d5j>z}ʙa7"JJLdV.BCtEӐHr1|?q2ӝOi~ #46O!LX\O a2W8[iYt5{G(H;|R]OyU VwH#ϻ|R.e^Q ƞ[cZKdX|` !otCUG`J)[î꺷VD׊'U 4=9 ^Sdg)QLHu{MOZ,W7;g…'H9ӦFnY~˸*߽+C0AnaߡӔWC "ܗ/ sgC]-tLQ b*`FFn7Ba\.Y,uNG^nҢS)-שI+DУ_`g#g *ME7)69: >z Q?2Uk,'lHOS@p6*r1{eyt _}9AճZ(+DsjiQf*R#v l.ENlLi-$VLGZLAeE]ik)U@RѢ10nn,S9{GiaH Yz戽O-W |6{(ȥsRt Bb*KWhGX}.M&)օYko@`E .8`3fp%8:Fn4Sϙr%h"\ /͂^c'VxN|ɾq)`?bzg1j#Qj_;Ȏ&hFHILLI~480E4c֞^g 5 O|V 8Y=|` Jҕ&ߩ}!&q8F 9pZ[.  6? is c}yFx+Ctgԏh8.Tj_'E4M1DCq9ॢzʔjʘ>eԢ>!4sP48R1eVr(n(q`PW+[ W$+^Gێ;ZYKy^d6SUgJ@jhK#֟ͧm8dk3 A1krOqFMһn^|Pm)*Je\Jnc9ǃr/yI:oi^ #,M']SqqQ.Q#@kxAe>|G" ROͅN> tբ|ssxxeBEijB<0jLM 9k/%ӜuceДR<*os.F,GA8 (4Ic[-/I?|P|=ē 2LD$83 11(i@&n=fXs[)χPh 2p[gzWFom0sqTinƀNJ׼vRAω[7]BQb1~>/@ *8!2#^wbȹsD +#KLTgZQ"|a(lz\#a֟fdVɬ6+?tݎVeIBpPO^KK.nEN%hvCE{kD!sFM0{%Ȱf綻> 0;F[DAqY\~T{Ғ pKو( nhp$SLQ>#*6z=,u5Pqu%[8'CG:AeKԵ:W2o@g٫0p9KZz!)} {|AʏaY 'C1"yuC<r)-rBcc?&qb q19x-%J e7,@cl$@H2s EpCQgJ[ABXSһ>=<w3mڀ@x 1VpjPC ;/GLjk~ 6)5[kz97sH,SU6ž&猶4`oEa ax<~ZT軬%b)n< 7*r$=n½@2tH<2Z\,ifK;s+eo! k{zo'I>͓Mӊ8VȒkJ%GBݍ-QJ_٪5؂j (+^S5vJ -IZn܏.SʏpVj4Ȁڈ#l%E}r N1ޫpCL݇Wi-TPm KI'UB~[Xr+)0:J^"qd2{eZ>'EDU \5{Ȁhˊ Hgm[{\? [gS6 ;\:gЯG -vdBƸnV!'KέʌCh)l ۋAlE"x7 uiBp] 1qJ|;k~m lLbE;UOG:2 6ɔL|?U:}ѳJx]aӔ} T"&MC@"X&A;Q3{hde Kg %@ t7*g8)Kg#D* ]qN- &!П*4㯽hVMa4.`(f*XNe8 t dzTN{4z7K4psFZ{(9QyI'/샡lڋĽbZNЫ4WA~53 .b{얷`z BCpɫ!=i!RVWӨ'""e'&F;frV,bh:1RΚ/]#˵N쒵5uC3wm6urǤfYW}fdć!ͣ _azv )XR=Y@|fٗLabY2ʃNszv?H}gU{, ( U^i)]#fsф1zER@Fk]B#43=+aIa৥:-q5ޝD$4M~'۪j*~]nBsI$}SC~ x^+/ʯT. e ]CnoKKz Ig |ٯE(luQ:",rEm W3ƵY՟M1+VK>>XE#jvJ(~^L`}GoZvXn>dUzs UDnBaL)E,lJ M:z=Gk&.C"ݒ2g`2a[]cԱcÈ_IJ%g:#1W-R-P1|d?.V )qd)|Gc)ӢIZA{CdK۪& uTRݐ8r wVHYw\>&[L=_L1Z(m(F]Ű@1grL(.P}VS{ jt|YkB`OUn6nx.0Ff9ҕ{@ -=֛-jB}<%-o6y0$ _2rO S6Lk NR1lGY$3S԰pF Uvs[͑eq(IsmDĤ/lV&_z*meAlTfK{@+_ j>:FF=jEK (rĊ9Β {7Pj}'cٓ0 Ҽc 4rYx {ֆjlĬRɾiW*ʈT.iY~Lb|j>_3ߺlQ~*ͼg6ަE"fOc HB];Kfsf-)pp^#ok4#yM >aS8CbMl{HdY(pSH֓KbN^ Y͟„ٛЦ,`9xAu}ݟٳXU'q 鎷D^gܾOK%Q_dO.CD`][VMK}kG8ZCx_ԨD8S'^̌fё7Ԕ1ЫfRL}X)³YRb/j`"KyJ/]ti X.c+^4jkt$MʌA7:2Z[d?hl!1$&V34qH'ܾe/&6C5_D~NJp94eQ#S~5&<`3c |{ 5Vzˍ(_ ]\RΕoa˜їdYe k6iʷQ` N3GhOChK7Em!Sq~}Ne56b̽讯`D_v2G Zy #%LI%37ۛ#1дnw4w5~JK;Lq*bQN#]1J%KJ)p6y@>zBfRnvqØu-\~ֺL22Y2>l[`_])9;. p:~ qQbebFV@BfM-\6=[<@]A>qU10@; Bw4jy;^/zU$JڐH~+2z3Ν{! wF̠6!v,-V Hd %;2 KvyK.Nҙ#j24u#(~ >:Y L@:}wI;S٤al0*BdSʳDŽΐmG;NWBsZt16e7TTw|ڛ>E[k+h;V-i׬/B9X+hjl&FDm4w`_CՐMH+ ߀BhM[I_VZHOC˚ 7Kle5h:GƖO$QK_ѻJO\uc  `=ۼ=x3 j`Sǰ'(n.XT*hFbyjfz}8MAe=T]aV:Br)slkY3yoò.mjHs3jk*>Sh矂#82KT {"6 Җ%SChsi9/ig}?{JCt\ ^ Iab)bt}0d.Pߺ8b3r6.Nhi}I tL"ClNq`Qƌix?vj~7zķ4AmtTy%h?V(7kѲr:4Ⱦ|scgs:b凪d݄^G/+W)URއjNJЇHKUl=$) A l6-X||ag,HlcQ kQ36%?q+{xip`5ϲ9~!M^:/q@g.fz tO1^Oq N ^{ey뿙l, m.|pSߌ^@uOq8ҭo[>u2pϒyr1,L Dd'`ʁyG9+ u;=G*!+9:MR\6by+`kz"ӳM 1C62ڸdvȐ|&)rYͷғINYY'+\%f&Lq&ͪOj cS /f^1&pOʞ"-[\!VTggx@YJ1<#%e~4}1jq m5I% a?Y86!\ "&)+Q'k%hhp+Ph J`P%9$[-2'{(VX> WjuaiFNn2S{PGOVG0 i5~CG7<= &c8صj)D oN/L-,Ls ]f4y)쐖:-ΔL(cZ-^TQx)")4~T)5jh82tXoNt4jI h)ip5u:) G Ppӕ\DM:J@Gm}!X[< %>cX r mLbKONИIx,is͞r4IȯX+S"¯֢S8qWcD8]gJyvxDŽF%ߨLH nN;j$^sFU(@OOF2|e0jiyoTIBv'  RlKT}d ؿ`]W^I}yJnusۭxJ?Xj&_QGύDKTH +%dNy5N.Šh-y1HKMxFbDnxD;e;CrS/7XQ`8L!$\&*,5q(V ^JQW!w^KA]{0!| f#U%/%;R"83]'D<r\@޻bHt/bI7{Xos*u C,YOsK#q! H~1Kj)Ѱ+e# ^y= $! j >iV㼢 6-)ϟC{:X$؉% ЄK풬RW+B,*HNc]/dF DX!3q5 ߪa}S Lժeyx1?m`{B:C_v#_é2'6/^Ç5y$5z /!ip3ASWT#4 |燷6;:ڦ0UpqN]L{&?ĺN n Rm7@*!ji[ARVK)-ދ b-DmAtH|faUԈXV6A0!͋%# L!4 nj|5;%}6j70ܶ8[S(\a,oWfu'S6I*kX<~th؁ZuʡP=1B\V͎EXw6`vOi7`G¤=\gji0_5m2}jpÄƝg0AbĬ쥮j1tbrb[eޚVL{Jcq[(f'apz+63Ž5c\ε]a:cM C\fVn;)o㱊(E<א"GaRg̣L~_@׎bKK: (I⦐ъJs M:*Wtcۊh2]D rP"T4B\U,ʪ%U w7>VmL.~dGyR4u) p.i[L]A֗M]ܶO>'ʺk"%XՍ·Kg7?#PޤK9,P2V7WQ8R7D2/n#D|q|x-MZtT1H!Fi^&V;Řj?p9[cAou 85D+LmBٻ7q +CNX Y ޺#Y&( =v\e5RE/yJ8}r&a;[i9WWU1ÇH*3 ٞ!n U΍ bZcJSƵ!Vf &wN@ZA1Trgq/^OsK2 9V^ە"~)qctLj([g#Z$6"A '-siņ /!=238U?KI ?&F PY8ne%BZpQOX_T2$E'\x:f4du#lmL'rh/Cpf0p`$OxM?l\%ﳀ5O:gJGe&78dɗtP$5ӑ;zIB«o$Jd!dFԘU;EZT>R{sulPkS%`s}IfoݳlDs.E]1 mٶVNerBZY򽸨c9aݥ҈0aeՖlOKoYK|k2<ŷ8 } Nm/V1q Sp󜲰:Kr&嵏63PHw(1^* ]> 9 2|O5p} ,L)NtاBc217TZd?ެhq3j@(16$,-e J5p,Yyv-"__b^&/u'qûbŦTX}:`"ʯYQбe7 f]:7⪫)=Yd9kz[(S, 'K(Ciڽ.2Je4uPHTx ]'7jzœUVfviPc\]E)# >h nukl+OReMI8k'92ۃ8ۚ:[^&h{ WKjagGRnx)wi02S!"j_.RkV?!3Tz E6AQyƜw < f}($E#HEu݈ ff69Xw8Ee*7,`h]J)cg4_dFmǀM.U#ec( L\BidC o{^4Mky9RzlFZb!.O#UD,#ki'%jHx'F(j@ d*BﻷWU'Sf5c(@ M2FVOPm'&R! 0`?I-w8b0f#Lwcv(#):f gRPt([DB6N]Noe-rkC4+O!Ib־t=Xd CH^sQVI|l|NkP-S@;PXgbB9:*'I6WJIٝ+t\XR@*ȟQγ rV.C|M(PuNLWx>iVHȄv4 sWals橁,1@;^= ih bY.NGKȚ夠X^d"p7T>Iek:-)d\?ꨚ[ 7}/X+CfM+ʕ}( s"#)jm6^Âh92T:L,MV<<3sHQ^ ^;> N.<֡UIX07\r;ZZk&\U('Vgb;tg p:6.Hw Th>x4g36&/(F7^6gZa'i_)GXc%SL-S4Q4d;;B=&d+[׀zUu wQa'm^gX<`%,ȏ]*$Ӵޝ[{34>u6gWLq; OQY L+Ƃ*6x8oPpit `é.=ˣ vC⤳Gyн|+YR, n+ lKF@]ݧ/wW_e< eFA" 0b&c"Ʃi'~L#<9 Hѻ onwBN:,vr| *vh8U 5c(bq=ZٵN1Uo W'&Q5bV}ڔaL")kS|A)xH43Ox1Ғ#Ԙa5 Gu8$b3W*遈9u*NcÇrYm+Z)^<~Vq ї/HJ$47\M ;)2fH/bzih=Z>xIҴw2:?Y!Ѷ8~Wk׫47VG<| .ʢAAx78,g/SSDȱ㲄#l$:pB"g<dt.O2oSt ;&.*d<|wے PT+uM 었f}:wAfZeAVݹTvFҎU,5[ (zY@s/>o"9U}d5 H IDv:M{禧🆒?FKZ4R|%O?~ImEVаxYyiݳX$De!H#d" WҸcMNƢ5 SுLI9y8}ьH]& RuTMq7+|KםEz$g籼l #k K9ǩ+1Xxksگ$*ήM3ifmid33i}6=ְ@JXS a$m.dbwsk|r8,C pj&nKT I9 hV /_la~Y+R\]_2)X`Y1M*$rUOH CMjFaYD.mCk߽2 s[,ȶQoù%ӑ@*}I9BqA= ;ǯa9{+M>7::F?3iUK.h2JƷ+)\Z^ d_)?t}4@P J̓!q sOyOe\RsEUfȭ)Fw+c|hB΄+SO"&ľ}S "49u}0qr(Wݞ ]|mv䴚*41EӺt8t>j]t, 7ex> l ͅ ]O7%IxbV* |ݑ_j媃]tc1;:޴J5ZDQ߮S *WkJDfvU h\CV7uy9!w_\WP/~Z4-)Ԋ,|^b0'"]j&B~Egoc=Fe>!ȂmKx@IS88,f |"`o#x) 28Tk\1ݥQ[& 5$DۑA +˹ZQ]GzԹGxЏC ǦEAod->bZ Fq邀wX0 `M.s,a3b cS=/g>:VVf zV}~"&XR6S?EH gd8T%<I G T֖L?/>|F ?ʥ_=i]?#۽F6 aq8WhfuC @csi+ev{/0fϛߙ%Sn9[IZ6RPvtZ 2/̹Rx$Q xrֹ6._S{ۓ!nUusY/A!a/boP4;G=GU6l7 covh'|϶T ?SbF^C'") h7'= 9T"س(;d}ZHLA2|@E@)qSQEa&?mӶl4SPBJ4OV,e۾5&H+Uj݆?Lq撳,[ݖ* De/k^U:й=߮Q"tBe=T "<khRqVcsEZ䧜C[n!Sê`X(&:Ɓ $;/l( f/8qME"{ʴ*c=">d?ü!:{Rm'(A >-4+{䃦QFw/z*rj MNP?ӾVSZ' A8Vt_NrZΏu=k[ 6wk*vyc#<={k!HF_7o+#,sB&07T^0.r3N ̓6Z»ir [#(]X]\PuVh'Iڽ$CɢJb\'E8y Ɠ޽KŅ˗՜bHMF"sC$KC3]Iz.8\̿0PN=*oȀCؽM/>[Gs׎ZaZ;J۪tNK-Li!=;Ž_(TPo;=2ƗiSVbHWPiNX#ךmEr<R2J{~42N鈈\ y$1V $oiGxVʱcl3I>CP}Pg @g"PüfXd7ʶl+03}0] Jg ߏ[NOMq/Yf;N  T.8cz\ *0jgHA(GGrӏ#9ߊ83'C^+j9?8LinQ /ʃ ma {]_"# ZyRJhD2n0Gj1pI~kX_JjN$BĀhIDT3s=> m[ * 칲0 '.2$WL2h_ XR4Wh=޽(vc ϙ {[]jϹKP IO~?ޅu kĵDO , 6wB5"P!ŊNC͍m~7 p,M}nrgX hJ@UXo$8~R nUiZX Ƶϣ (QVN@e+egE5iCK[ё!cjml$gYA1ZkB, =a:"#n4 =ZPeWмCӐꝵ\j-\<6]I)Oz~tʇv,SBYw((f0c}UF#P͚L+ֻ] ܩ 1 .(ocUSIC)TV|0\|&lQZ>&*Y ‰>b[$yevH%g7GƋ ff@pw+?% 1syZwq2Bi=@_( l1:y0A D;i\BV:h645:*L_Q2HM5&w<_YƵ_`puZ%#`u֌ݐs *F:jݭd4ea&;r"o Lw4Vtl#M1E7125Vj";3UR9o90n2&<_bdf"9}jBz:qq~ Q_ $Τ>t9^dԬs-%kf]jcG*s ~A+w?8f߇4#c^z!$zw uՅQϔoFon( %E?]"@S$W);0(0"܈s8nMCs:2;b; T0WgGTI5O!m,asC;=&_N60Va[C_勒 w en&@CX,XYg/-KHp>SST* u佰==w1iu22 25R&wpj±S&DN@+* Mz#kIbC2 4h8٥^:F^f5+0hSiǜ, K ZX^I3I ]Č.j{CAc#eX+bUR AXn0Ol >KК٬\HZO~pYc `:gR9;Rd5!NH[\t{ 1,˵H.+n'oew17)H8*Zr]łxAhhg~0پD6TfM% ts ,Zd׵Z~8E}qfsfVx}XM!T+'.n"kfϔp1*}?*77Xn~%xj /ZDiO,CFhd7׺- +E6 RF\hhLks1ȳﮀ F-WS@ æ3n/Np4`Gfpa z"\ءhAsU}4n~>EO~tlH֊UmnLMQd#37 xQFzXue l@Jh0JԊe4QO^PnƷ(bO <)NӇNJs-e zҚcL ͟|vR!gzFvMFg%*Jq4]iXƏSkbJn ;$ktigAKun0LFG XNj-MH"B: Krw'6MHS?[G { HJr5b?w $lԳ#?f6^g'`i$`)\Ey !U̹F֓o1pߏ/? iH (zP_, ~QLܽTbs O4KIJ~s4 6lshCH[{:֊G*YAn5ɋ+CApl` &'/k~/Q+ۈ$mtsۨc/\'aP\vMpS.C,F˦/AՂ4bl?defz(:6UO1 ]ӲWCO}b~/gXR$'gCޕ<ԍSjj`g{1-K|wԾ-$ s:^_ނ;UΘE@c>=Tq)7A h (88w9hﲯAܝYL]˒iߠL[Ld\eTuH/L. A>v%5B谹e/^0|GKTs/?(z 0 !.Ʈr&vrHR7âhoxDlJx ௡iUdt޿_t% ;ן H7dt0,`!w fG `mkYmm0|zΦGsr\j8IɯTѲ9h?mZ[4d͠$ψetdsMh!hVÅ` +_JB1=)[$կX/I*<ư?W]w{TFQyМe25KW-r%AΟ Y!W|`]Q~z_ǔ+1:^ ٱPزwF  Z%LpVsC][e($,^uy_)={ZDeX RؿbG<q7X9]{qQtW:î<0zVz0xk ฃt: #V Ʊ!:$D燲 qft[#D>TPaPg̜ˏ^ho1}*1XѥÇـAf"i2xP80Qq/gD26| p`ɱ7oV~\2ӇXb2! Tsq \r`ԅMIAt g~*y{| l0 鍮Wu `D9<륎X%u3wE0iy+η[ eQl7X ⾗ 4q @ F;G*(eX>w!tI\; V@z(VK'"UЏd nئ.{e [ 9 N=ET8L@hLm D3:Foz4-={G@/WB(. goP?۾Uf0Gsf]RT9!'R_wU̔p+uW?6rq)4;:hŚ"Js|VLjy]K6 >ŋ|+M`,GNCwX;kNxD'0Ʃ4l#qc ;Ʋ\g*UbsDJ śC{[oͪZ';qr-~xvZ B}$Oiy;~al=;1(Fgt乿/'6DxHf cMjF1b@ b;sfhi^Mcxlm%"VLyK2VjtY{30<{]:l1~%p5T%#8oȐbbi1ʜ84P }X[Vie#l`H'jhSyX٣z4!SFa;q 0w&GW 'j}uqn^*z wIk W`I,MBj/%1OSaۃibMfNfz>xADzg?kWd`-bhuv1R-JAuk~?|}-FF7d$Od6#f}R7:ﴅUW{ P}c|68Dޭ[[;Y!vEC'9EРQyIoM,(idd?'32'UmXjXGgtgT *xŚt_LǦF,d3( 'q5>68!j0N(/6TAz^h gT)e ǐGڬ{/e8 8o&5 =0hV(dfH\m=lCz\-?BO`E[bo L {җ ͽW) jw|3#6i`ßqP5xTVEGrP *9j9>ly K,mVҽ'SJM-iVMX>Eå`.24t@["QJDsŖ13bt48Huq*ȚYsGY|~F+ qcM E|ߜbhk7@XX7&8kb+Bdрhz;g@0ny5/@C A]:z5rl@4%_Cu]hӞ1  m,XE!ޡɼ\6Tc 2* E:ͼ6{]A9b$fxT]8*ǖJi$5ȒH 'Z?VW?P,te>@C0:(TQ|Nl^rNNMWiT-߻N?BRM}r1\'AUB*;Wx\ V KR;u_ yhЮ`W!PY v;Ζ0(.p3/" !]|?t@t帏[2PɁVjvg9hI6|;!PI8YĐqkb(&1tڧ%1V&,o<Xz$D稉[Xَ@6 ű'~޶y7Gpěp)X[$rVDCvQ ]$*ǯۖMsnp`_ 6:gΓֲ 4%q\nڥ 7-M[i~U>p"8*=~UXG@B3o+â~2}3l|Z+WN:{ 3#Y21` Ǜ~]7H!QT( P&YqɎYe$mv]MH{}y*"mW`%PG%8 ÔD,)IԎWXxV܁<*;k<'z0i쫣 㺼GPz$Y$EIJ R4AyTvuM~Sz?~#E4{6Iw۲~*u-?yB$kڃ-9d냥 d\]L޶KGhu :I 9L,xxO1tJY"i m&1h-jD*,Q:e']1Y'zs`'aS_球^a0](?mfp=tIHlm\ZY0I}CA^ 6 61-64/!zwt-21~5?ϙԇ~C3@[n\AqV\ jG\D2pNe"yӪS/k4:YyA:c Ro$cqZ/F G0҃TF{IPu^F!p؅$%t^]sHX@ ?E 5YOk>kw 4ȼjyqZV5 KǷ+/Rк>,ٲ| (C{4ԵiMAQu*X;Z1ٳ?Dt5 f|zmG8j7z\(kĸT.AX sj .yCTӣݷ~RC V>fw>}%&튫:7 8`fS/P&.qN5uw!QfmqFC%ȎzK/Qb렽SD(UU t҇4))՗1**g2TQ ?! oq:Ŕo"M'J.d&B/TT) WzSǗY@r`OؑƦ zwD:.XR,p3<@fꞝtɡW UXw_Nky/`XHB0`nҥX{L |%Qֺ7@ 񩧰P-2bFTEuQdC,⍯ɦ ]9U,Ȋpu⍄`2DfWv| 4ET%cX0 1K:6,2rL*mayYK7|s7 8"qa)L$]<:$%,[l"mͥN$gfP?|rIVnIAq%`Y+Q}HQk~Ӝ{4FUAba[.0Ɇ8KMd?@"r~1,q0 *Q)d'+mz^ nywe`\gM _%_rÏ *3+쭷 pW̬̊Cos#R*eKk #JӢra*U\x N js.8pMrx$Z EJbko>>r|ޡ Lup7;eyv|@a&ԏI#e=<Aċn%Pdi8 AӢ ZE'BDk<|)LR$qaKBJ%BQ CSpYz衲GL >ISHWx9_ =Ʃ[kw_ɫVa8SyrŜ TIWlMb+XІv6w9]i @wGWi:u hoR`4UpSV3Phx,\I1SHtB݌ _b Y V"(*=!bV!@\d̰+ kO~vg)%݄B"?C61L{5rfS"tʵCqC'I:~@ĐZɫƽ<2&sPuH< k#bԏ5 އiS2wCʶ^ )IǒQABc# NgEٛ$Hs0#΅8(֌!TY-N'TM>֔pGI#BZqبYG_4ڋ fg-t7HBX9xp6VFf*8*F 5[I]ދ< RMa"H(] [H@3%`߈ʡ)ge12`J6MȺ+1t˭iovRśV݌Q[5DNRb+#[7辅EwnTUq6n,3YOd Wf.}gPV$K|%P8܇( O's' !q,4(Kw;Mq_ j}?{ #zx L_=1^Ç\/O<{xJB@,%u2C[KX]Um0k`B2h1fUcaڅX |x0E19#6tyLԢens߭_?gj1a*WsJv*i#%m>v:`V4ꤗ1@=yַmNnޥf1 r?" HvXywEL(p9++&jNzOʳ8l*4f#g۞ҡUE4^uyr?sQfW"1f'^?n8g[&W JHUWԿ%vLjnr8RTjk܍DA1J%-IR@}(}4ܽ3z_.ѝ"-mg{ƖsI)fEsg ɮd=UK%kDiA$ʷ^LLgQ@ ׿>C{=K %&n yIz4?Nn8L-h\zj1 zF~I&=8MRY3 qv5/$@§Ə\Ɠ*n_a+R;?Y}(9:3F09lufNVv]8+At lx:P%hT7HЃϺس{bMX%@@Ǖ<}F)`k0Xyu~PQ +X/r-^^)#kW[M |a o,EXlW2+3@,}d o,i5n*fcj}G#,7΅㥂1xѽq7瘗SNs*ϐT}ŚiS!'XS(wTkC!݋7YgPSD{̃+a[- Y_Y,oVpQ C%mvt9."3GѡFm3E96859J_0pu_C_O0Pv 9 "m(FG{Y Zlet?jkPKܴ>ć4h趷B'>58p]_Zݨˤ iVGPA<%3m|f~oN6} eh5NeV_$ϠAx*xg̠*@ǿgɡS'7f]Ғg<"\DivOt \֨Rn؆io]^@WtI~.*1٫uCBZ AdN/8,88@-#bvVc zbovgjdg *֟F \:C`RyI+1C4})!h<[c -?ݴx?p}u[U/ZソĽQIJ%}k d/Eͬ$PptHAW܁U'Ӛ{v)f9}w榒ix㨝_0hi3#hIqj[T/IA9w߀T*tHA pO:Q7u_]R CO0g]N'UkX%H9}tCS}t}Xۿ5v/Yt]ܤ8& SzB#`O[pv^C~8l*ىp9}4sƂL7'5ۥĸhQ*b7Wګ—]o9RZm{Zۡmk2/ zYB$x}GKo]~Vt}J۱gB`Vje~n ܽfYWYȮfV]IOi` W8@q7ei0^2>\k};r/`SkVĜ#Q1n7jL}]Lm?7ꓢAr֨Ъ}">S -WC։Z]TΗ j/R]{O-N;/Ϋ$9aYXmr,tV|ɟ@Cnռqu+F#Ffaa6}>&McvQ.u'{φd?"5t-Ug{5j c oIF߅c/ ?_ ՙ_=Ns2~ԹQ?˒3,lv8} Xg_L@)P0& CߘtJ:*PM6ɆMͼOoaByCI KܕCT|•"d8z :c%kP&F1zS5WK&C.dkZ)}Id'훠Q\ƓK= pǰgp2MQ!\,idȡ@t=}%P\UaV ̯vNWYG}G15?~ވE,3y#57_D^\Cl+;mWa‚8)̵Iၻd4 GX?5Ϯ}@rz,Z[K$[\ͼvluK Ơ^4d8kxx w6;n/ӁL&y9]Nùk^\?~cOf_RFَL>q "D!n=%@GΜZ zcgtfhu ?b)NtWQ|#{"WuЂމ{Я>J&lVj|w++o= ^0v Ifނu.B.)T]u~nMkU*LxA[}@riƐ~=x ӨZsOWϫ?V*5a^y^m@ nZX:!lIM2İ_*pR+`|+=I4 HI? i5m9BD=>\Pn{12ʇn&o/3ȃHm_,7,=4M#那,CEu*4]Ȗ mҎ6m,C\ @>uTɑV˻1#"q/d~V#2<-=o&9ӝ;gK \a̜ >eh%oߔS0)4 `'QǻEBMPc3N< 8ްGkz>#_NVZh iR*NI)~q;_+PleXYG 62wjXpLS-yu0|=yI-M>& !ƚ}mĶKW"= (f>j,n 3B܋yV˂ MTvHB*eޮ.:[TA1дbspʨD}In0}dE[y 25gZ+yۘW.)f#PwR/k6T`$7ғǞ-M&gYZ7zXZִF! M]ŗXiɟReDH$ 3gE=3C*qi?^R(>7ʕ^ؚB𕔤Ik:SNeĻ[s Q1Ώ=gcq:4fB]:m([o)_k?%I{bI#h!Xl Z37M^Ka,A_C+dwHTWZ &+Ay\;{Tmf+mu5/Fin`ZGjyvȑx﮽kᏍ#}-`SӤ2_AE,gYZ7zXZִF! ]ŗXi%L&ʷK06ÿLL4 A}x,DEQ<+.r/_r)h  y_m)T/z g\;,si6ڈ/nN[Şt BgIw>FRDs)9e:l@h?+ aҦPzJ]29[SZrm:R.E$2NS٠Y`pEŨ- ҨJ_&c_>1.,W!o!)בHe~g`[1xM*4Y玭4$jZ](`3m_d^F L( -)_ BaK-c9RTnS}9lIv>G}aϒV>j>hcDKMjOyY"fR}| ׷}́qgzq:܄>k%偆9$=!ܪl2%\ 'Z^5^!Wqd IV|"=pxi-bhǸw2(?A2SBL؄ͻ;BNYP?bE!e)x͓B&(C#<IY $gDm0i1'|E,YiS+@pթa3Ft1zGE0+Βfe2*<#Z[S) ҭZL:0-􅄐X-zLF ʵS!ŊIӸ • 5N(I'qζ@$N cy,{;D2w5 w=6 7\]6u'H[ o\D!!@7 Hh c>FW_{=~zTGi0#d9RD C4 T)-]ǀ%WjTxCY~#]~KMpj->H:@D=Ka^TXDjJSRұY`!&:m/,-Ow<}d_NȣmFRBgN%>]ɳL^gճPYAc ?d{Ί([I6-,V˜j#>y3bl9nFZXMߛ+%M"5{,?jy^5&ݴ?clIo<){!.w7=\=^ӄ^B8YVH̫46yΙ\zrAo=fi=),Vm;3JFiW%5צQHI+_CKF[RШ&1ȌoY;<IiId^J90vCTvI𹋊IG^cWNŅIU|/Д4!LpxWqd_nOsK/|ǯ:E` 7牜IMhxo ܜ+(2"Xk[`_-މg7hH!zLN䮯U9Q>U^orQIJb0&FhA* 4@ AK}{YRFjabiuc#]LVeC^μg~Ӛ?SNy^y U>AN1x@뉼[c&9oD)p G4wǰZLg4@@h$K3hL> M?LIibGUzo,;j;{fy5 4uڹ.f;i'!H|sޮ_H͇.Jb/S58UdkL1o˹Gحܱʖ cNk{-3α& pk 4}3 yU9V&n9IC BY6;UANjTu4 @Y>R H|[ZBb7iuDZO+7hG7Z$=* /IV~+r湏{ 0-Oq] ʙ7 `=@ur!5%'2ڔ~qvnqL i;Yp|SyA'ho>;^td4PƉY\1|i$9]'؟2] єI Q2ˮM)-,G w3 6av{VdY8`&suoL0kt!ߖAӆB=:UJ"#{řm|nbT8K Zα & x ƒd?֊9.f\PW ASRhX0^[Z7.+4u4:?\Ody|]SӉGdtg7&.sW^fz j7\J^ta$6T+2Z,H[6wX7]ZLk`*mFSue)3<kU፫.#!9BTBLs"\e>fo'קnJdhM: 5AE%ˍWN')Mwl# [IH nETą'm_xyS2% m&]\#D`eսw%˵ac;xiH?ujN.2r@Ύ th:m-x#l8~ y?$P 2 \[ 3ON\IBIXԎB(c8rR 'nZe9]K"2̝H_PJD>gET}bd6Zj fWhOE||Y[ o%Ű/g%٨%o;I߭Ȇ݃= cnh[j Oʉ+L^^kD=.-k(O;ۜ*jpQ̊j~4kpUo%Гctz@6/@gYZ49d97f131f0534ca83619360e0101dd3b0ddf2769aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f 8cc92298169404804b4a3efd2b3ca5f397caa20c 923ff13ed31b82904476c6cb5a1fed23e7794e9d