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  O lTd ]% Fermat3_4:threads=4elapsed=13.859cpu=41.400gc=1.036factor=2.997zXZִF! m]ŗXiɟH)0%oB '}HM. yi}ʪju #o`S-Y:aV'RHeNL[mօϦ8`AK]_f5RUFȽq4^po496U EKqe'6/LYpRZ_!))|P]i߁"z^15߷ִq4hhT| bScyai)&~Y6]h%Hk(+ m Dهv/G&"ۜ(;lHO]uYG!Q&V&6t&(hb!ؿ"L`CuVFd5ixwJu+[@]$rybiv2ElGRkv۷^\અUwfm 2E SV#,^ENPt(rtw?OQ/ɪPꏮB`L(Z78 Z0j|!'ρF=b/P2&Q4]uuзpltқRV_ Xq}m`^՝[LS D ?ىY5j[:Iir+m;x@կn'RMM к:[QFr^ufB @%M&%.1S`:dAJ5DL1[/ 6զJ Pwgey=á05GVS .c_9E'M;U`q132}x7   Fermat3_4  Jhb>7/HH9}ns5oRgkH2}ڝ()#$tA!kYӭElzV#l &le^E!#zB#iCZŷATd~M3t}{#&}dyU?P۳V#hM+V` l f4~3YD\Nxrϗ4K-%Xك .]:" .: MT@kBCs!jw xu |I=2(|Oke38טjG8+'8 =V*D443vHN`wjBW`} خTjD̞q^qqn^0-7ҕê5nVcs[˓X (j օ@( 8\KLHO0Ⱥɀ #17x% -. 9<›l*<?  C46<4ch{`|"3^'NNJ/15L⨗B †֕MK/AOgܽPbc>V5ᙂw-/j=!?Fn˪?k5[7sIʤ*D;js_vm>Xg9l%aڷl-#l~`m %6cLP[G8ʈ=LTY,>@իUHX#(vȼ% I'l 8 bw1]ӱN;E kUqٲc4 Nԃ:5\vVѬ`.y3[_ >IBhf,S JZv^"-국C~^I^=b3 O@'g}z)Hw.(ZPcb M|Ʌ'mG^E"F1E ZՓ)u,5FP8Icf֪Qr)ʇ,.ŔX ץ Tl}nUh*IӨʾcD#"*/&ŲKM6hV2 !S|v񙲁a[@;̪]!INM\5u֑|F1Tash.U;Ц@Z܏>}Mӧ"j,^?˵@x;4#5wLO8T3:\3 N 42$@hlngP0J*EBKnUSo DM8%ɒ= Y %2V?WY* ,auPI,(\QDTΔyt躄+vD;VTrIȰO-ow+%@! O1gf(wm1o\-'¿9zYHDIJ&eKU֕>}_:Sz&T]~Ε>s~ZS+^IQ*ΤMҸ b#O-K_3.OY*0bMpUCJ7% >bEp5p]~3:5;|!1u[ 40R5m9^~VҴ7榌7J %im ^3,K}SDʴyM_&@zst%+w 89E{kFa|wldIee6 b[B>9L'B늢 rBB25$tzIB+e7moؐC,;@́t-@y=g)!w:ÜC :OO7lǹ AyOQkwa꣔=ҍ*1L Z PB=ɻ08 o9a\&ԗؤ(~Ym SG _N(yr+֎=cIGs}xXu׀!2̩:U!b 6HվZvm> P ōpݤc*(: :m< 1rMHLG+ZpI?BA7ϿulwYV]sIIW3(*75\:h7_%(gB$ؾi1"Z4ȩgǯֹz{L3&XUd_S"#@L-|5= j\AJLmlʰ@ >ۇ(GfLqg/4 գ8&?*v. }oG k ;)+ /ye_0T-! uĵˎy|FTHvudDz-|/qGSA dwsN f؆^t[9jH\Pղ(pžԟjDL%es"-9)}q(:`0x>Ca@,Dmu]]5$غ+}7/p&W&7۹q%8PsqcJT{mF6v>+].D 5&ݝ3ʔ1qٚ 4>a "X_F@*4A#lBzv̹wW2ȃiܸ9Uk>qܵ~>>kdov&DY?D*E9?(ԧ$:Ǣ N1+7[%guiD|萝@86fGD?DF3Y]t:Iz伖(悟'>Jb)%u1Kt< =3ṹlo_h# 晐G?P2,,:h+!q_V)8Rj,0yv&B;v#kVTtΝ3ŒXυXuFբ/983#!ʠ^MìgUF"Mu|K>gKs/Q mgㄒ>{ tdќ|beu:A(d=y7 9H]O[ނM%]ZZ!2/V<߾ȧFa}ߺN͵=rDJ_I`ypwTb$ "b$Z?W(UE'H93 k/gf/MVW bݓԕmr^y57stMNx$3u9 y'gFE23@eZ$py7\] [؍e7 zF,?E[ *=I+LA5Z7Cc;wMYWRX{9L P1i d%8A2we~|>ϑA-LFzP5 <,HJD6T4wdB[VwKt>;-(b ;`Q/lBJw@QOed#K pu'q_'`]WU\WT &I߯óCPNJrcaUm!*z^ws܏j!O{< 8~K"lEyWaPziQdaUMG$fn: 2eD#(1Ti+XQw&f Q(?%2W/~>3AOv34~],g gm9/AJmrKZjNGޝ?1@ErǞ4a'W kTtr.Aǡh&_g;$+e+铪FP2i8(Սf1!",~[}xTE{"t> 9;A5js]$ npޠdڊ93ZS 55%P6:¢uxpxw&0Nbqe< ҋ~.T~Ν2.$[E꩒yL UmNapFx :ߒ'Ee`/2G+}GDY@?I9P /wIac)V!=W$gySc4㨣&sT ĩlzX|-|SZGiP|/)Gi}9#<,Jɮ8Hn=ߙCi./q4?i},&׿)BkwNHAK1r޺١k`œuD 4.,31ȟ#_Qek)6mvz]^Z-B&XFP%9FQfc7 T.GV?*;=][qL~m%|>X-l)4dѷ:Pi5P)1>ri-ZP1 #4HC{y_"Z0`Svm:#xILPft#\mFRK0jyVx NPnTA2[$:G`x/&W]ޖ'0D0sqgξ YOLAVZvq8" ڞ[0Pc*]NN}Aa ώ[\J--9$ JDQ_A=&h~1CH+HyS?NTYA0S(0Aٵa.y!QdwR(RyK8^ikÕ/Cgt N78Xo~b oy,K<1}1^ IAp7!jh(V^g/^xc0~" D$_K^>N ʶ+\/ jMWBsQČ1+E:9vR`q6ԇ҄j~N!4?th`I)mN޹VWV4*uJ,3Oe\E) ,Zz)6:RPP( /Uzs.t?hlRODYEB fz@qc<CfI9h{dxشZ͹%;EPgMh|M=Xˇ抵˜/TֽA@ͤAqlKcDԥt]V$:6wЏj ) #D{_ #L"RIK :Q DeD:{3Mgx10 1.Bq`p wi}X4gT*3$%68_Sfsrڬ{L̜rsw[k8o/&Ȝ坉ү3vFm@Ti#)AsN&yBB{wZdK$ִJeTLFP7(bvK[ k0D,,, 1{*s8OckF(^:  f2ҘkW^@\{'o(y>V;Q2DAXbX Zo/1Mz *_HUIvHϫD0i[i +#<@s"<6"jwHA4"$d0#g[Q 9.O}~6w%^eb3X [b_,2>~ fhA=߶ʆ H Apes%@Э$ͰP~t5g ֙'kOLZ nFvP^"BT U u/,V ;|U%rөٍmE(5"rc܇F"rjg{xuPF?EPuVCvwM:5!EPn"'qbs-r,YF!;7=bI)90~켔h.\HtgyVD1q i}0TKQ&!${-d䛱gXx+ߙjgۦ#H>rmF xy 08 /Xԧ_)~aͥ?ӛޙ5LhW=ّ)9TeO|[֩[sJ>} hs0:7iy2&/r]mIv("QvgEXnK ._jLkfbTc]V=4DJ)sn|u܁0+g)`W+x|En1ЕnٙνwNÎ~-l5c:tĝ;pf6zX<Hn֣xLy}fDeޮr eH?`sGu^D$F7J)%,u|rl.os;Qꗎvo滬l2J(hqQڠU;S0(x k_qcIW+;4?d bĉ'HjHQ TqqaY.(ң*a !WzY4 bW)u42`+5Ϲc/D#I}TX] `]E{%̣hjҠ+fڷuOTXdѽ*c Ґ#Y!pIUJw)Ϟ▬? |F5z#W| oӎk%? {c &Dn[8᝖șhr޾,)lBMY@hRb2ѵH ]<̂tƜRc2~Q@S*SVf=A}/µ8zYٽ&,*#}ww`8&& * 6+T Щ't]{&$ I?ٞYױ4NwYնrru49Cpy-[$a6[^/Ov=;xv7ݢyO'mȻְV7vKmI<y\rR[6ur{vz)Uu.*J3x ܕ1xi]_+{Xݏecg[1s% o藲ч `B[tDCH2x=I/Eor/ԠoY'<Ɉݹ˨OJަFDCl5 gҧ8^mA94C `Ϋ0T톷%ωdJ6)C.ү@DĔQW"jjs7֍-<2cm`F*\/8fⰮ;65Premx#7Y,K=_Fŭm:na enHk/JS`ن g盔٬w؃A#eScpZhW ثeM~ѓȘ+ ]z]w„V RVI"^i!͚B‰0[~-]Ep%\bs6p}Չ/$xG(8)Q̈[Sv?vd$ܜ׼4nxvE?2,n$PWnf>x^w-`lrD]e.}K6'\i^E+VD@@]mrX3#oZ#epIwhB+\;v|eG 6#S3:@\h3HX[*u7@|TFCcF@+`k Jrdk&qDž֠J{6NC¥}fP쬛'ݧG$ ,w]g ?/طc Q- E'3nU':|qx9ᯌ {E? R0%#RTR4B[DGfdA[ 6@SovA,< 9AJ ŢHUQ؏C}z3K|$#!Y®fLH&5T@>iq,e|}SƄ-j+bCDƠzcֹ ="4NʲfJzA-=nN,:V1 ^kBb<_Y+}F<)\{M8AsJXb (x? 33+}W>`(˼rHRڣG&L2S@0NB1 ݆.`ƌM4 \4RnLfFv#ŘAڬo13a (i.NYJJZ\gKBm'h}i׌bGjY!v&{0;6.\}mc@<΀/-obՈkCQń*gcX>+0 A_yϼs Df%4X3QN {K"|1 &Cʇ ~@ETlP+sx|/o.yjֹ 8m2aNpϸ_fH^':G -UUBGmR/.ڷ7%{b"ɭ}X=e"ߜdc1!)sxƀ1Aviqٿ@6SoGH*wrZ#qչPU=`Ƕ8}=ہVx^ 7n}y/@e|մ$Ch͔ zjLJZpS'SnGߤ^]Hs/B6G"w:d `oH^k G9݆^Hm#"W:꭬PtY1:"l>`yw!-sXJJٰ; N{ :MNB|}7KYp+!h*{57C 4h+fiEmMkOlk -#螬pu@ZU©Rav=O$pѼԉ`Fz+||XBdVxl -n 'G7 m]Y*paUp.L?O#K:28RL(E{C}w$0d$ɂ8`W GfN7m|pS.O$P)U1- jBN}8#]Uh jy~Tޘ:QŖv=s,ng#NAmxav/d}`zu%;V!bterab2GN;acR>龸I}8_#mWw>բC?!#caly!DGP,ӄG2{TdB}0ct$stSx7Ru5j܃6 %9J`󦲑?w\ /k:6vEWC q͞bjCOK^Hʲ<::݆DWyZOҭ7h?Nn2x*.SaE&gE7^ѐVjNWHMB}!Rv|U50픇NuC]*Lya.ğ1%1G}_K+@ }4(b!~fWB;N(K,[Μ$𝂅2-p ,s6(UxoH<T}g2MbÝA{3q^[qnxҿcd۰hFe&FU+]G(ޏX~KJ-譢5[T &aWtF*΂rvs!وZ3"U:OEwU$᧨OXb,̨k7N㜮7Ryئ"CaCkOok+$p-G<'m]91 fQˏ~ ]=!bkr3шIZ<`9!=UB <Uxrbf{"@>]+p2EShyZ,*+Qjвq!M0šMmtHMRR 0lt> 8A%dRxxY,=bkS)vnLCfHZs!{E )T4% Ix 5h-nOJCx2&3+t>f|% 4rPѮK4Ӑ})zP ikɫEW06jCpmo:D)- VCY{Níߴז4k{ "ovr|2a=HwĮ{]ﱙ1KDLˈORjIuޗ(!__V|Ia를ݡ/ib}{,Ic.IknQ%v^~?:4G(Bxr vg`;&n1,c1͑P֗I. kuhT)F kKPXF5U].5b lXGsL-RxJKk#;Ӹb-^Zȕ'҃$ӯk{U[):w>M b)ojG9p ܵQO{pm<$1O}7:7H+8`(Ѧ63a``EZ{ jPy%jy}`1zn;swI#_:TV m0iÍ S[ 'ɯ8a!:-o?߃2^Y6ݥ~9L EH,~=m%i$C=o:L|l"6b؄T[A~kуQ@/X7wE~0(M'#XЉ~1<UÎalVDFde[,lD1~mSmEvb0 -`}h|౶Z T/8 RIB~`/S<>0BZ+`<z13b |&e^ΉK={ ړέ4Lp5"ϯ`eV񍤠).~h8AוBi|dhmS;ɐOr/9$7~r)43{hq; +'#Fg Luyq~<&-C H_PYϱs."o?[$i,ro5)(*39rJ+hE8!a1f/{w(N6nޛ/U0fCp+XRu}b*OR!^uÁ%,:kMafmƈw~;}pDWX{^(ݤ-H,m4;|8)X+r4`P`oLQ.ߒOyP?f`8ӕG`O)蔵Q"gNcކ[bLp(Z"oLِImy1 %akȟټA%(7.=c}|IHr1!CXBZ{y;l+ {Op/PSQ"pJj]"穂q~:)z =| SW1)j{_t{  -|NүL;]->`ϰ'#KXLc4o2ξ;;v y΄6aR:VO=T cGxa#h~\̀Y D0 <8W3io'eqj?bf bق $v+.A5ڲŽk_t ȗ͝ojXCٛ{x"jpNubiML&„ :|[qqeL>]Vv-ŖA|&v"?[Fh<:5ܿwwׂWZ3R-+<HŹZgYQFB5m8|v=n=ra,vIB Lن[pJrN1K$a\RpX\X {3v8e(0 gIerRE>ofRDZ[c!h!u-q/nk]N}a-}?^Y#nn7ywzG^#c&\ք5.oGViԠܫN*Y:ѐes|\ ¡_Wu,,:Q-{`FJDҭk#O c)iegkOk^:Պ.)p7dSϳH "/32rxT!rf8lпpI*ۨڊ4M!`ӖKU ca[&d8sAE2`B.Ȓ Z␀P̞!T] 'H N@[ptA+͏rs6<rt*!}E%QH,<_W08)o?] ZT Q2#Bm4_ޜ½"|>& tj4k[:lt>u!l\Zr@Sqʬ `} =ޝ[GraK@w F~fňcrM&79wd@md!oD:dl6C ki?Fv뉢Aܩ}X}z)Tp=@Ts]8׌ ZNrXAz k?Ê*>䅰;Ӳ u-L?`%YAԟ'3_ȳ׶#$ȕ_&z^, ,$̡KCO"d#W[ff ۯiI S İ/w,Q4@)U )>7vsl`N)+ARgjr36X4dMW\+qYR)e*~FnȆWbV{Ҏ+9W+3PA5Qk(۾pĦ-z2/4` Kw{.qpI4q?pm9t׹"8DmT15vFO^D/ȃk]OFcc)cô9֎fbCW88`_.|/ߐkTlO$W ?V; (ӀץZZjK\>` `èF]Pui Iy'sblڈO /=s]Ⱥr.:;s8--" a9%4|JVU'nſUIn2?B0pt9S7_w)pIf%ĩZ5~gZ|,Xio`݉basg8ڨ8 }ߎ%Ƽu&XH/yw+•B,}^Ĉ6 jNl[+Q)7CEw"\>{<1٪oYy$As @ga -|^k[ @#wu;9 $fK t8X@R`FHLGHfDÑIV},x`u{w2LGZC5=nH /y"<xSu"WAC1ϔ=g9jɽ6}s&=5ǀIC9noZ< S9#U1+ 4hsrʅ>'evTĹ؋tL.J(:mڨOfR$!!y4øe2dÉ>@R+tUϼ9Wމ37Jl4fr :Tx(Iֆ -er$`|=?$?^ @BBDlGd U-0lTb34uIܰ$5b|lf}fB#ў$^XchD0oK;2%+gz E44}dդ8ҟ}P7NDU*Ώ))<ty~|+mv/w-~8$ccAHvF7Lt~C%O wX\eLNiߥ1n_nJ_*QL*-wTT~ʹKǤ&I~.KK:,4Vrfg%*S\&q8YvDKS {AA$h#.ˏYI}6kp9ÒlK[>4 Rj|ՄXd/DU,||@lE/oNAYH@٬~8`MJRKc l!mZ! M2#ų)e@8_[P3ؗ} +kL9&`$+=\}9Nw) &n?:g62RUr1Bּm)+ '+uWP,ri5X?ZoG-~ z)@q,OF_bl-PX,KR@(8#0|WJ*8۷ɰ5wDn]͍"Z\䬋R$'`CO6rBTxebcfM}q 5Va} LpJ//"c.&$WOq" k ~J p3}䆴UD# ͐cd]I̍ejRPurj?iڄ~03VK΍TYUߋfƂ:\0ur=6!.< cֿi3B 1jFqD,b:Z'\HfbUSz8:!g}<:`x>Kzek4+]n#:ĿI6֮J)fv b?d5VRgXL.T0۾tqdj|CL_4/j%$o)tW#V FFvd̞qj$yug]8_lLx=tHֹl[XOB/xʙMHc`ӕJh"XmX63"ם3g{1vW':rvY[߃(N9ulfhiݳϺ6V3UZtD Cnxpinvg'.B=?eCcO]օ?<'xjw%nаm!%E&O~L0FwrOCͶlܓC?S:zukW^6,+7i&9ceҹAwwEQtWT]!-"m/ZQ>r/%YgM ,QGR<.%3| PŖt5Nʧ%}xJ0A0IaD;3F0 o<.8Kذh;i݄*̠ܲY2s{ŕ;]ZQup:@ hu% :#MQI6д<:(&$ƗBAWk=?z@Of-0 :fQy.i>aY[P-YmZ$UE%/p¸!SCO~1L^1AE9HfTH[wbuH+Ynv h3P+eXDs01YgJnZ(~ev -E]*]򵃣Sd2GIkj.#/9!`` yɣiPVll7LcJoݦ8VExҐ$fR~'&#!M`1H`ulli~*N@z8d!pr1 ÉQ[?"T[Yd3`U5q:aEǩկ{=*{>Fz`>d3̠0})Gv4jלQC?`#;Ub͑7D+έ{7lkǻc\7 ݦ] gT\PC&4ߊF]x3鱉FG'y|[c3@clDa3":5=dzpDLjeVW-+`oG Op`s/T>Y˷1k7 AGxPA·FpjzPq(Y0+rJ߷SUg9`,4"Wb, 4`?>źt0DkZ ;1V;_U ix4h#f{jKJR=v&. HKXtm??WI/Ќ/:i3w(,FY8evWs]dZg>*ZVDR1vjF@%)SI۞#HJ" Atb |DR}rS k2|DWQvo9R$G`~URm;Ӆ|cXP&^jF0nډzO[ Z>B4\^uU&*ف_]8119$QEYN,G c9V}p, lߐG%;V7\]^tχGd2!" 9Q}+;Xޕ"غEO愉aIz9BV7poةA߹Z!v}KЁa$D#h|Hu٠QQҲПW9D9t)LF4c w`d硗G$` } /Iɢ-J6BE>SM2v Ih&HB #S<|ٜE톛l#0>(הVdOԅyO, [633ɧJ{*-z$XU ( U%m*u+aH4fDn/% /&v`wk~̴?/?D*?q&xѐz<=MKoȃ&O{;j2w%h\h7qyc|InL-|^4Bv- vx)TL&Ұ\= \rަ78;,zwĸ`5!tg`v8uBrja 9g(=˵fh]D,Pl>LvŎ_=uF[2Lˏw“Ieb"(/>rԵ=~+V]J!hCw7+3ED7y )08Cqp#cZ'#Ĺ 8h2š:3*璸a[RSMI879uj% eisqjynӣ# >w]9d]=5@G)@s@pW ,1Ⱉ CphkOej_;8AfyB& o%4(EOk1I.-;\c-LDӛ}KmO8TS$CRD)<W ZfMf}{?% ?l#_,@]ۛV`ĜFo4äpLRjez.LC_Jnl$/[h=2ܼbH2 N,>a !oP/ ^.q:1AZD Oy$H#P/7fߣ2~{WvNIpv S03cNտr YQ yDKWކ%P>○۰|<,Pr7̥߂uV]n > @ J@^MVefh6t1n͘WX@T`& E#CDhE[lKRʹJ͇X{8`%*O6BAZ ڨn*+|iG3ʒ^?K82AKD<qCNgaOGӓ*HEՓ3wb?Eyw<_NئdgeKϮ+Z3%PJ[WfwMg}Aɟ}#='$;8Ybo!\ TCX3i^ ĜHG(N;md 1?PuI yYyMI-47ZdB 2떣|w}&hbNԛHrفU-g DuLX䎾wՏ*2& 6z^Ay&˜,oQpwc nW _G | "Gd,+Qe}_L u>s=w>0m2ou5@m\[:;.p'BC"dF|aQHOx-) k+-p _C*b }>4hn['L3ؘ́ PFHq_鹩ޏC`_x/3N4%n0ufnj&+՛ wԄA\ٌ"9sի/Tض-D𤧣H <<՛f*3'| UxY瑜d>s̭ekX\0;m`{œ|jo&w×)n-Xĝav_Przr7n) ҏDc~E@r 4<@wAᭇ otVW*0VJ-w*kl䣄ZrHpx@bo{\M3-R*WN>fCfysğ*U&J kBqH!7ö^`yDJN* Y3Xx=3N rog?hpF>۫2?{iHMȊ%+p͒j/Z-= ?=f2j!38yB9'ٷ&i7 vD&ѣ(q&XIHF>ӦU:X[ܥ?c-TS2cQY1JMf-yaz GlavRVs&A(/-.TfvZ1r ΣTj'4OQƯ# Eݿz1Ydv;x"'{8)N:%Ѓ.7OAŲPOןyJYs@x2"#1S g^x"8|_1X0-YxHCwR>MO>.;d*r8nٿ|Ɂ³kt˙WcI볷EYTp64غX?t/ ִ}6r=d,5kMZCƚwzBJ'Mٺ$4Z BH<P~GpKih~ uypHz?;nBiztC#R?Ebmh7 W'r-1FB>w#cíg:w'ٮɕ}RD-! ZߥyR)څ!l .h,Q*rՈwP=ЇՊ1VRd IxCB;жJȝ=Bl:̊72 ch/D"^=J`%;)p132<>UK;7L{P>tN$1r+gaIau2PqH hT0r@~hU ]qUq? AQ#xGh<|i`b2>I% 'a]hXv',w"B+1i .531^tCf-ȕq;ԩj"9<1Աif2{&#:cFfDId*2EfBa' 'DuJ8Rk_gi|y`δj8|w>\O)YvHq쫯Lb˼P6BVB,|f2A=,pO _G>ֹ1XHeLOo 9ArYj4(l)2n6w[viȼCVFGšV:,*zAHvxzčlCL As_^E w$ lHYmyizijf)0[t~5. HTAőLP2ܬ?#K*U%|oV]vYNN,j43Mbrʩq9j@ԃ~/U_' h`EKEto uQlC$=LHr+J5iH4KĭR陘J :T/qG@gʂRoy@x|Q̮zr1wuѸ P9ZCB^C\;O)[-N5Tz1 s3fR$%Zλ/{\v|mt (R3|(<(9+q[ӈ):JfLHgct2EUi]=we!_9އKEi@ Klf zUxC0n+ъGZUH-) NG5 /teB/K (^ʣ{+^ƶFjSuh|[㧤 VZqMQ t"Qb߄g' `{ihƁC);DT]~O"/4u q(J; )7U%" |i~4ƣ,J4T'mR`J%lMG<*Ŷ_JP&-m]>8JʚRqM}nlr "R&^ nsE 0j6 /;D$u=Y{@Aѧ9 FtϚ.GMY `Qأ3y=ϗ TVӛ$b騟J"klX.ĒUփT)bL!Y;`b(zďqݲȀ.;4>bmRӮ$ۭ;A}y5Xl~e䴎#\ɽ "[w0ڻDpx-|y/=jw&-w1~HlKmunEU>]Ȁu4t=D^$15{?^,\W! HJC[}^HJP'^|{|Ķ)^ܒI\ " |Zlk4PEz(|+kkGBWPYX34In zVo+(j>|%] w.:y*KCRҲ=c4RM6Cpvm=Ũޕg~;8MN* 8*+\y9$e^sxHUEV_YU<Q~}zc1Qr;|.,- 7Ai ^Gm02ďL,pk_N:/]>e:_pB>AHwc )=E>2?¿pqSgyTkJ:K[~< ֚T"_} r2IH>)}0jOQ ED^Å#W+чFa,<̞)|;10XP^#uCV߲r? xtZ4yX Knx%f 4CVA'ܟT:?p8#J'%/:`"2P+ID![s-X4պQG(Dٻ~WFgN;tu_[\ƓuN;U7B $uTǍg1.#Q +DuB.԰lR/?ᘚpM/1>۬RP]#N]pHk(R5rt=x5ۋ ^0Jv4)xRYx^ c,f"t"dFMTـk@n.F~@jE16M<isVVvJ˲Z% _qqd󻞂1g7V `'+XN-0cViZ . ,:p+zBN2P]?ᏼHE؈Mcࣸ&+) x@:F8/wmy'ˤOV wMz=n~dUArVvX;pzU6_jL[s[^=ᗄI7OI ibm@X huVb7Bk#;s! ܽt@֝u :2%RK?e5~; єSuL_UB6=7nFWIűp.|fN={ү341@ axVcN'nnz~=(' ӯ*~>Ćh wWFqa\ C+|wx=QF^,=G"vݰAn#w㶩noKIE7N<;=2Z;-eΎ΂%Tpzیh$X yDjQPZr1)ǘͳi,lJ-x;HRsiX&H3[&Nt:k_, .A1ĸPO>NQ1w]c7WT%?ʅ QͭhU'2OX591+V% b?KG "O4ު zZ{ICmϟuoNǹ qƸ7&<+o/Sp5/O&hW"a-Lr͔1'<-.8t,Bgm6T;GR&=5"~;̿(Mӓ\l"Ap%RTHf=um@X a@0"؜m9#<_0YKDC9(Hn؛4ώFu"ot>NNarDCh aQxUSl.lzICn+,:.}*o- +{Yag+(hH7XSE{N/`A bzYfȯl| YkAf_6.#`6X6$|jiJL`t:TI֪P{jz`^OFC m{X ?JMBA*5c&?5lnɹO Bk"Gz:dp|z ')ڵ}UNAJvyExf@j+J)`QR_~L8H[̼$_?F@- wfmiu&Y%@ xLN߈g !Y=bքf&Skl>2=hg"Վ쟒FZ=z,m8Q{錽 Z8.< +4stB.$} "﫷bO-Gtm>8ƅ5H3F ʛ ĆVlc/wH`.ssލǼc_Jن=S1\Pv^eb;~&gCzCӫLa~\z CFSoΖV؟P?b(676Pŝ7p+j?'nx+ND`^k~ϝs32vb@)b^5i#aR|їly*`BN;Z(1!)Sq 0yBi.tPa.cIy?f ;A2t*l`#*Uu},k"dr|3%0m"r2fS& x Yh AI܀LF] -lm‘wu@̱(xmq|rq3䎅"#gYZ7zXZִF! b]ŗXiɟL׎̈́>>^6:QZxδ:EujK7_|S$2p|?.%Յr1 uݖA~6gYZ7zXZִF! d]l]ŗXi%L!l0BM=?vڢ~uCk!3ѳ7`Mc>䞊9†`['!{[bVs>tf#MR 0oQ<* zsњʷWP'*;qo::Ƹ×yy{nتg#x_-;j_<%JAezk=A.VJw~_FۜcܠC]J|> dI}:-Svtq6wm[I8F0ͅB ! mBkAxxg#GqoD=!(=N夓M`j(IlGQvYNBr]6#$GumFB^>V>U7Ȥ>Őu20=Ip$00Pz]s)UَqE +0gU"v<]<+$$ s@A/LU9%1*(7Yz4" kXt ]WJ |lt7?ey2?9als+?!a >k|f`>w͸ӄTYsU/Xۿ!>!8#?]#<{EߐЧ GĭYՠƍ, 6*ZQOW職iEӄ=Wꪭl+Cr\2q cՄ?!JclzQIpy7a"XO?C]24HY>6; *OX=y 8i[,3g!2e E@J`ܵnc2>/ E!{6 IјPkz{y_CWQ}n%QA_bN*dx`Ս?]1?`Akf4cDjsup5Y?>ejSN䝍)6h~EK_,7 >]MRX^6$N2u0%ѴzrHm`ϿNJj l;{PMLbL7\lI\JFV>ZqO,=xs{![bdL:#IF׏ Ҷ1u0S9PLtXۜlIH'~,޳^7sLpnj_|bOkΧsʌVOCK-~40'EezˡHy EPDy-Ze\_Ζ[