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  $!4d$ ]]]HOL-Proofs:threads=6elapsed=670.297cpu=1603.640gc=247.104factor=2.397zXZִF! T]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb.-vSGe|A='h!yfps(20e Ash}=F;jѭ 4Bߜ|XlmT\& ;4#<3nr}J9,4T{S`=1H>bލO;w{ov;y-eT# ,$ٛ&$QKd 逶?A歲%mMK 7wiw^*ASWnF%@Z 承H Sz{ dϺ`:j8nVhʊԗ֢1oJp?1X &Q8H(5Ԧ\YtТˆ zWxbumL:7\O\hNGۛhiBvW64l[ @MyǠ ̤ 4Tbr‘:&L+CKe@:Ӕ0+Ѻ ~'%- uekD};H@AAvjF[:]Y2Z6xxq)ߞ8i㉙@1JP? e-B9~F,3A;77Q*CY|8-e!loʍPo P/理芞/W&KWĦmj(SD 2~8I&.`3[3U28m̛v_41U=p9u=  ! 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$&l*GeƼC[g>붫Ku.).+T12~-ػBLA3sJ$֚^h:2noU(Ɓ񻦏&JUE<"@/8QbGw23EVqPZL}Y "c;a<fbJi(̽!q7%0®W-F 5]1,j_d/f0ܨ: ǃѷL`$z5dm3Ga1w>tq"ѻZ%I圴O먦STzܗ'lIJfUT2*v`e $V؁:2 ~]lY՞2ڢx`A>%H0\i  ȬiP,Ym ۠} oz~>%rrOJ(r#;Qd]@4ۊ@ WСzJhą-xxTG>SMaS*7֫DE6A^uk\kktΥH( ș;u䬾hNI黬?ۙSiRl*I$&kF0ɓn |eF8Had]o0w dyNF#h -"G׬Z! `5Ba:d$Zt'9:xޟca|<|^v`0$ 5ea%k*7>-LLƢ8ʬ]1e` z`A!tf-w̐_*ԥ[2"A9{J1o#J ɒصck>>TiTK~E-^t^ qPE-QA^Y< C-em4G>csÂWktjnNLDZX]"9Ux#S&Grgi5?K<Q')&:Q(|rkpRNv.f|V܌"׃-\s A8&V484`.^GNsƛ'(@>yJ uf'8X}ݶܩ+;T=22CDxe}D["iû{]ro7@ږ|i70o Xh*S\M)'jVgqRESoB]솅wKvX.@7@жm3zI/ylASq>gy[f3JŽ #C(́FL%'IMR<"ꞣS\lk zcIq]ܩyeI#H)M%Od9~*Zٲ~:Y'FBTx,1f[t]"{Ls$ &m,7[: 0[xgMRCX!10|/[twq̯+N`0ĵbjKC5=%PN+D+ >{/J ^fٽ''_9p"7n~2pIم0cp*}p?ef7;Z6۳G't?ڎMu7/OmbvKPW.Sa<$}aFJe Fā5{ I~FטCw$ X{3ltAx'o`M-)"SȘyHǕ~%ivTZWr@KeW^f "3%sܞ³SVOQRIYOo"d1lOZޚT2@ p6( YrmPy"ӍӆVq)8u7Ge6V]ҴKt;EoxT#)i7rc={Z95 Y7St { %%-eci^4jĬMރ `M^r\8,O1Y̶l;zo&,\̧=X⒚4*Ec, ʹU\WU^%VY Þ8,_Xp $ة xq}jذZșv DE>kB<۔[) ^W+N:LgP!NYju'"KOc`)]Z&o]i,?sL<rekMfW9bs|>7S 47i.<}PPBy] 0X |‚w/S3Rjuƛ>}5"^ 953vß,,y-R ItR'0Ϩ|n,n^8o{n)R]Ui_:v ٻ.bGgAQ7[[4԰ 0? 쒁P]w5i ,תM8qɬ5#UKK0x õ+GOWT-Ps~=uzάIuߴVwh~N&GjYC\(AԨOzj\ef8v!oFjH^~ٯfȏzD<Mqh(+`̗L YSUd IW(dvaQ E(G=T ,˩zm{L@Y!=l=&vkhE{f"N$ǒ9΄O`UtA?048> *.qC$^)oۤd{0d5fso\YFsVgSTߗP.-2>Wன&^:hPyŜUwqǖV;ffuP*q7kT4D13!AfR"PJ:>M?ʝ}Uhଙ!nW?5`\`=S}wP:} <>u[UQ?{ g Ta){z{څx!4z6@<ӞFr*"rAai֦].8hPR@ͥVZs{䐚k#Q}{4ixMϻp9s|]lϟڴh)u!c3I<19gȝɕC{ If'p>WbI) Ǡ~2 JN.nYxT<@ Lw f:;JgQ&sٽM jzTOXͽUlGx<!0^x+=1 |@RɊՀqmQZcRkVh5e{ hqb1/^ ݂TJ}~, LP,@ wמFü|~ЗG\o)g0x^Lb"! Uԭ/H#mͮ EOF}•AѬ_<]쎾i}YO.S)`20; y2f] LB_!{+A}E %I_ۻ<Z] \?11yMXc B@vGQdiPC Ap*|0ѮK3!1r&Q,j5༗obg9yѴH"0yK `"W@FczwE\Vc-dab7JXLegB\ +2}h i3uԢ|Mo[GH(2naq?QA(l2=b 68r| Ҥo1$ڲa’_ cb\]sF҆V}Ҍ =Sn)ׂ`8}GKѱ!MGQk'2p7^tl8)MY!WML`eN_Y+s$MQE}jU ]T~>y,5!֊h|6]m:ʑ7COyA8a~φ<_ĐOV;QcWCMjRzD`c2K]TXoHDhl~BD0G \ -R7*}UдtkIVnQ:)!8I/rڷ e~vV$r|I-Di*1 L#uOx΃|ٚ᪮bUl!~)ȂJ+\+EVO#xiObe[G P^ G-;jm!G胳9Ԝfrfsc(e+'%r's4cDL7uQN X>御y㱞R|j+Lxv]6iɨfP̽J!ur` ,> **Po;nz="=<7|-2ܼxZq`xl c1`l$g";D/1߳k@N\wl~1|LgXޞK VCZ*Q>#2\{ 4돨`GT#W]Tߑ͙C6| @Z=!9H~M -$Y.̀C8fvgYZ7zXZִF! n]ŗXiɟ29aoʼz[%U>EM!!*XƛC] ICZyL8Q9ndFK)7qͽXĩb"Tx`v{]ö4נf"D 9u b٘]$ׇeV<}VW vq OSnRJ| ?5p}Ȗz (i)߲v:<*c6ʈW] !S%Bf (s0#:+daDC.4(>^7U5N "0ڰھ ytlKڍr05ta’ >f  n xO*e(I›3/ĪnJW |DZCcopk'әP yT%"gѳKü&7n:з\<冏}797:*."U ~mGt4~DgO@+P~-"/ӊ95X+8 ֓R4܈ҽiw|PjmCS\!ԭ*p|ݨ9 ;KtkZh##-FFPiOGAzS)c GT_{7˥L)w4E EXhV], @ڤ[yLqYD<f{ΩVdWO/(@L+Ɯ4pP0t~)R V'V3֮\?ǏE*[0^ deV2Jt$Gp&<9͞{5eH(ձÈWIbʥ5[#2P_@`vokGm܈2ϐŷb}D ;I#>ki޳d7HT#Un85B";YZiG$"ohykDg0#Fe;?[gثn0kR ' ]梾AMbF2g|LjtRb@L8 %;7ˀn $Jj6@ާ(##dֹ$ng7^ uC>`=A!>DKGM Zm?j~ =e2+ڄ4v#jh΅AP 6ɻ7j9ay IRG_).ׄiH1TҜE#:MJͧ=tC;k;prm`n. Dv$0TT›7<аw!&Fmxjϊ/*u>)%FrĊKD-M̤rx)I!wId~f:| c;?tq=hNDƲ)948鋇G/=uEw`7KrFVx.E] Y(:t"ȥhX}IXift;|`r c ~Y_ T׽km%?\[HƷK'.*,̖'@v$铇٣IȢa+D._EG-Vwi8E^j_h.XR =ow_a|xExb B>PxlQwr%XS>(gGfr--߇V0 [3wKu3U?jT,!I97L_'[y 2^L*yx/`f{:@ΜBAGb&Tu{{ϟ.Y.BK*u#zEzP8fi0Jsg3s&~yVJCUHW,6if":7.Be6,Tb3rBNk8@/WX)@Sh]>ǂSµ"\ Zhw4o5t@&PGCcdYOA[ dUI%p]30ť0+ 9H&+P^wbicل H {e?^w ,M}EBqal|B;I)IKtUh"u H6r((Us J.b/+o" u>r1wR!ݾxGM]ZX@dՔ0'U bJBL qt%a.$2}]v)6L=K8Tɽ{x,1oFC" k0;drLxoMtrxa:3GvZe>>Ӳxib^ wzrxye\{HqG7\uLPd5$۶'0Rn/M 0cPҕdl1͘AkJ}1Zy4@FvKӔMhYz|nD.;ya;KO4;fT}}wHZh ߯:Wh1HBW,TK^3TRAZ\}HX"*T*EշRt)mD[r2uwKܐ&xc+\J>Yr}unQ ;aM2FOe5ߘ$i`\$<&-tFqq7.'NhiV}EK!)!]~D'ya%ha*wreb+FRB-;-zg-HI\ * P[*Otzޘc8L<깞6BM%72ˀumMcGnL S.ݸ[Prdeij/4֛`=BV^}4LfhG. dLJj-1'LQjx~֐*q\͌˕j( Kg?RdW1UqjQOP i飸=jfCN9Octj4hUA\fv4O*Vgx+|^@J|1?k-0\yk>,5 ~=Gt>om 6łH%w԰mqB{PnYՅҔl5(Ӌߦ?[@Zd EH vzUPQ%ݷo"LQGGkʂ2-e>۟*rIIל6P7G_(.:ớ3;AO-BOS*& EΰOAY~ĘPǣ;袜r_A׎םV]"RSNUgS4Y:=,P]?q'Q \{nda7 \]{*XwK`'>~?_sI܅DMK5, wYLG D4 L$qY*Q1ֿ'B{3RVV yBb%̄gGp4`%nZ `#P/ niK'a"I[l%;R]Gё;L ܇|!fC@,}B{uQ:s K,1aw&"96Њ qShHD(r+˿2L`!\kLE>= *a6 b3H 3@,;5_(G5E+I;GR(Bv=uڀOv$_$fecʅ87 5>- I6Vo??;L;B%JRVאz|*|F2hj֫a8Z~\̕R[vTڀ 븓ZyK8N/{n` T 3UQ4(`o<:=Txgݶ}qJZx%N+k}Boŏ`_h<*#te'HZ`qNw u6DZ8 @'^t6FXѣۺ h@_J e MQ=9L?IǪ*𣡐Tu[ aqV| <N3@)\zl)G#DcRA,o5Q/qvRnVFX@(=w $atsFšX>Wf:dlpN տ)Ko7:cmҖ=ҋXP֛>عyZdkHaj?\5볒7 BeA@MXlx^tRR*pr^>iT,6q䨏\ S ZxrH}8䁪|}xɠV .eX |Wn_9r+'g_!gf2(8F2Hӟ/ ,jYw̫f{cjU 2+ɞzDP둋ǐ@P+p~'W$٠K(&/p4l1ORWלU [Q4S Y`zjPrr.hr֯hoՃ4bwWQ䳹,Ś}*\b]r2=YjgJ TFj7" ~CɟP4aZ?pbpJ;I1 q?"ҭދd EV}g2}#fe9i;p*d()88ݯFW>^`P}̋N{#-aQƲM(nU>RxljF_iu|)Z} Ҕy q[Mf!lBrеfнGúnUOQߩLk<-P/¨Ff|Q 5JNIM)`)4.h\vbxY:DP5Uh!S^Z\u)׋),Lxmҁ^ŤIQז툺kyuT}Bpz7=&)BŞk`К5 O`q7x\䁟܏>JEL+a]]#TRq͢ya&/T&=EjĮƨI MڴgW!Y7X0hGEf?BdVhZ$e7iZ 3Gj3yԨNLTc_R$ʊY^zW(!eӑnpGkqshZ~ƞ{W`#wQ5Xxؙ@EU',14,N#j$Da04egŻ$ANiW-oP~E= 2J 1t^챐NaĎl`,^z ƈTVw=DžUyˁWcUu!oV3d:G† k:Zr ν5NΪֆ-żKg^$R4z̉!¹K0<.EgS߃^7AU -HFUwWp:SKi3ʅvJGr wJYhw)*nr0{ y֥ms/\ˇӊ(5-_'a@G̅=Se՝<$>5QvU1NE4,kJE.Y AgŻJ̈́;ww}z: >ɚr_q#e;%D* r<$F[`K@r}=J?׼OOqyU]Fbv 1nԂt{W @KyREgrLܲ<D*hlog=,&ߚcy8ڤ㠝}tG1i 9o!jkmFZt#KBZ\3BO=Ns RU0;@4s1 >0覅U0=!6( S0I=`V =&)SRuKYusXS)ZcCR Yqy$_ BB*|_AۺV.hR鋶*~u#Czx$Tc~O^ uj[Bq|dti wB7#@=lok-Gޛ.m^'@,m?&F nHsʚ%-U Jf}xO PBt쬵f{~z1R1ڣ]xfwN`%iAQ(OKLhAw;O5@Ga'@ZHFBesKiX6kYy3LjDRMww<#/5pSqڿЀ0C>Гd,WHJj&ujvqvm Z~o{GSN "6ŦE;e댤S磥Nϩr`t]N'EnDN=rRsZY( sV2X,F 9uBBW|Rb6T5c1u,5gail;%퐳Sfae yD?J؍ Fo |Zs`* h[ova"^0FTBtU od(Qwr]W%QC˴2:'#WHɽ6҅._1,Ɓ֭SO9<<\ڡ Uli׫RG %M6T3^hW{]^?VZ&!hSmߠ[{gBj_~.ߌp.^O*ϟ5^S}.$|#hcbDa!MZ|:1Cg#r43vL EUn)/[s6pz;⟇O2>{̻Y|OuϩJ)R4AHkVb \b!GAY[Vx3ʴe>FK0ː7Gv#4f|ffl5wVI7zAyMor6gbvf~""C,, 98oY [יy߈[NIO XGVC*RAֽ~NƄMgڂ&OF%{xL_v(ݣ@?ބ鯚Ҥh:-c*lB)J6L(͓Q9{L¡=+H K-XbE(A H.Z4(S Up #t6 q^|y-9PkQ KRl:M]}r4,zl샼ON<ʺ##'G^6}|=1͟*ar/0Sܭ< :]H;|:#kV2]҅Ӟ^֋▮RɕC'ΟټJN:PCXwLbԎ/bB@a5#Ҵ<XsA.3{T >PVcV=Ny @J\ҩ2͈00\6+fEy%IzȲѻAE=;ʛeaagKp '1~Z$p/}HehuTei%ңoVRDɦkI1+*QްjIσĖBl,@ot etR X 3jr.RsLBO%7ʌb0$a6ι88 fChĆzYbS"d3ҕo.|Ai=^b]f ǭ8r>c S.]Ul)Q‘M6,џ{`qUc]uY&9M 1nN6%Mꍤ/EdF[umd.ξ!,2я ,\"5Wg>6mʎ5 nUP]2Pu=ݶ8,mzj0 V pDgnPRk9Ocv97:tVXyc@Z_؝,g[Eڈ *_q‡ܘ8$3sԪn0 FIhnKG7U( y ,\$\6EZ9HNPuNxV_́Сv\305{o=)inMO YHY?Z#T !}Jr-!*LޢrCDb̒|w;f43d{Hv`VĞ(s_KuQ;BJ#K5F/2fj>Wo:QЇ1xS9F2!^Mh9gKsMpA_SZ^ T?eNI΁4r%΃E:2#v1Ҵ2GF}ؠ)%LiGdM~y?LUaCmS»O-F&kT#9Ppfe~0]UWXS1-bgmD"KL+,f@ܞ,v=Hu+^ӭ|*Ws~/,/+Fu\=℅tLEf"zsؐdu׭ҀD13fd^bt¬GzJ؁@v}́|?KMٵ,E̘1=|Ԡ "8xt>t}`䏙5< SGӅ[4?DY.@M >Nl&IIq⯅N"+?GU|lʖXq}fư[2ts% ?MQ48o詀ŃZe+#b1Oޕ (7c"G#ŵޟLI~bڔl]c^彏a Dh@AE=7g AM=Cy 0s߀ptXV<ۿ-5@,Z5b#-p^tykqoJɴ6/F%8 ϕBc9<۸JY/:ۜv"zKȨ&YG}Z3c}ȎyLSb.=J ?,Uc-Y M3TP e"B"]3Z -{ED8A#CM%}QÌso=ǗR/.hpy!^GX eg "X:W9i"^6=z ^Wj6x4ޜw䚣7zAS3dzV` ux4JPB/p{&wxu׶oDY26e9(jMk@@ $oG:حt>q`lBTK=2(?*?wH9d.'=X`C GX x\IԍR]J >Yve5gN/G^xҤGsײ<&.:(*ܛ m%ejm2 14;6C#6'K T! :x)ظ^S&6 rQ#lc,#20<㱅f]or ۡl؛ƃ79)fIh2K<} \9r ǝtj&6p 9(6۹)BŇg?BfRO!be;PueAѸIcw? xrѾ[;#~8IL51f'_ !e.cdE2!XIF<̔ihZ 9Dۘ4zӸeNoFDSwVօ1Z.vKhbL>wMd=5*&P^sŴ⫡Y.Pcsnw3!g!Į _0˱WNlnNvBSA*M֮˒NA6֢zgh$8L ^a_`z-13t`&eN_"ph8{\6-w7)" c| ^lj/ͬB\{ʂ/ qusӊ]|Lɔ*-B0:0şO|>?'kD5o`fZ_"= ͻ$(Ho)R|3JupBkŷ 䏌жSݢ\-ˍS1%1<1UĒETG^3.%eIlN_=AmMkH"ht^jt+{B/&3"X3E\9eğ)[o4{(~^RyPXa8܀]q$Vv1][KBs. o m1gc^S tEh2#iTotR7$'~Zݲn#lta FzO"N PЍz8댿,!ӈ ѷdO+qE^ʾX9i OxG?!vZ z1EX'0>WjzH/J{@brE0͔R?alD‹ Bq6$X3tfآ]XR+O=`į[Y@-h~<9+VYM!5\d ț(z{V;AS Ȕ8Lk+PL?h^i mA]&gkKuP%,?6>ݓ dbS+vQZf2di9b+oS2\@0͖ʌb,ރ7iC&"6p=98aϾ ZUG;I;ԄH5D [PrJֿw eCs/UOі1 ɧd:UvWgKl8/пH(7RQhՙIٕ Q>sF[?C/)Q$B^J\*ihrJ]<~Ks-Q>?1չyҭi>܍1 .2 BDYnz)2ri8zTD0,R[qϿO[tX@uIÑDϝʮ󘳕83~a HYTezVd:Cʹ$g(LV'$'x}j=xk_;* P}ۺ9FٌB…E,X 5 ]f帤|}/(kq+ .㵷v߷xaf*&왏KZC+V ϸ*/Q??#q[3P8* c;W_F]P Ř21[Pc|kW {X JaifG:Rngg]F;e D+y)3`CjEB ˣuibJl^IJrq45`# RY%( l0^1KNZW Z=3%.FvoЈکVYtǟO6U:MY֭3X uC$\ۍk?`TSh⎬e^-!47}ocZ-L}؝ (]egi3=K5 viqd=OΧfsb/͕ǁ7'i7R m_ID(v^é-(k4TO[&F#_Nz@xGݱyҗ3z]j1vHrVJ fZL =U3x\3*Ə1pP6GG4J䢻z}^&>j4p{MuIs'ͯ{Z~&d+ɂ:Oo|0'xܠ M)bFaD|1Ͷ`J1yL`H; hCD8#Q-̑UhI :)8s.o|CͫԵ9]_ rR?\`,)FcbLQXf08 WH&K7Z#&yvи>|ژOBcoBLI 3 &XaMJivX~pq^Q׿#ΫA% ;yzƴh ?-ᱠ Jj/\-y0i dv't@eF -,dgQOUdN* =^yɥmY4B"HhJI&p =Ę_m%6lҫ>:<SU^Ќ0Fgߓ6owiZ]@+?KBl2=XtF/4kͼHJHMI"WuImI]3Mi>k%ZޖcɜVc Ϋqeު `pT*I rX_!]a0: er (_(>٫Go qY,E3&Q9h&IO]ﰏrx"8tt%dݗ-qjġGhAzm0LCU(Lg8ea gC5)2glJ!&N%Y->^|<r&fx8Յ!D//7)È*)Ń!ED ~9>U+K]tuw`g'Zn qq v;,uNH|{e7Vnu1ν+Clr )s /`guٯE'B`T.8t^=HrdpO*(M.V}PI@;NlEצl"BUHP]J5M^׽ X8⌥*Lpid1Lٷi( y%5y JuލZiL*gV Cg@ siԶDMׯsFEg"1>@8=G$!F ǎax *Vm#Z[ET.>R}u:-BZ'$k]2 Z/)Tj;.q}p(މem@}` =Q=6tVs=jU㲩<}UZpu4Y\h܇KeG#K} /7I@7̲u} pP"@*]SjA;c /V>6%gkl9Ǥ|noT`^",酒& {g,[罒˸Pݗ4kS?eYca}G Ĵ{AZ?E1 w?6Db3n; [#"?$ޛ+uRvDЅq*oqMh=y 5g$ȡqa|;:?Nm ') ͎,{@NTcm}zv!"^&{;VĆ;7uEמƛD3bA;Uψ}Efq[Av +*f4H4e桵ձ\ !2~PBZs'<2KqxEfP*l^4t.׉w l.Hǿ,/ZÒS$L9WJM" n>`r,Y6˅ 3)o g)sd*j'a=}1j{n&6b"dL%|Mim_toQRkp (KmZRucjYU"޻Ws?2DŽ[5Eqz;"z} /5TQl =Su[AYHHyR^_BzU目JNac) E7Ff2y|es{6s!.Ar㧠@kb:[qyIvjFX{/8|[~0#3] vևaC_PB!CA 7pʛ#`vK N1~eօU߈r:M4TBEoX`d iE2.ے(f0zcoȚF S}5%ymjޭؕ  "mBA#x)Cm*Nc͐B0a9{9 T}P|*W`$y3cgJnx"xj^RfGUrmCF4XZ6x#i:Y|`;^ Y5K7j=95}!T0H < Qȷ_݉&FjW7"d5z(m/..i9'uB,Y-ƓoM)hd+AP{Cpb̙˕!om<7 ĬH4Ӌ(IqC3;;+|ϏgAB|c#b~vi߽|C 01Vaڛ,uW %ᰞ#“(4d D6]W9pF-x8 U0eҧfQp/VLJEdz"fۥXyՐ +ARp0ө'n)*0l])!f #M]tJ0VH'9^C0@Mz啘5uWjd)jkP@C"]OmA>K$gV4UpjU5n5tnuP'W26DXQRH=˝ϻTo԰99!`Oyn yQ% y ʫ җWOe[i%iբ @RGԽ~>͂yxՔM8mˮAF*N{g'nVҏ2Oq?58a[{b̆"g/& EfWo_tQC$3Y.(gA6Q~..wg}ʧg#8 "W}b?gԟ?3@ߓu,6K TW$Jy*#7T\}夦K{phj2|HC13NHERAz gB|zZI3Q1zޕQUSpRm79i+Kuj\`=w0Mb̅xE[2 3cܟu2-[T!L2"> aqnW؎Gtਲ਼#^Y4I)uk .3# *t=kFg]P:"8C2܏'jIg{OI~7 hM#Kֺj= M ~ qGɖēV#fZo.Jcl*P3TF5U@/-g!TU$Z& A@H$KcL W+ ?y"*D1"HE<MGt9~?֟%#m626ǯkq+44UE 6cE]JlqOn TR. ' ]b6úQJG/B=k>SetPKܓŖlťۜ#E$><Llr^f;(<:> GU!$ּr@{Vйa Rժ.k.f0Ҧ.=B(>7y f '%gw"䵏M˹_*-`aTz>q>7; >J6; @hk܊13xņ:ƚ^UFӚӠTQ.xx`uCQ{A-r2qMħ '}6 { 8<^SʥyR>sDQq22٬:[$3JUoK)3=K`ojӎdӦaZ}v?uʱ2{^1+I0@#tM[7/{fV 6WU$@ SJp½)c EB?JQX3rG*sx˵z.]h~2G|k8r.0(@=.!6^]tvrM*UU=PeR_ " _F}ұo!VĿ6 Ica1dYYFuc?L[xhsEUxNȝr'?| kiO -lɟNFPy7-͋{,;̅ pb S#gaeajҗvXoN@mkp#Tϳf8'\Ҧ{IX1ڍ p|~r!B,<ߟwo )cn `' t_׳ή?˦HA86!afDAO[7(e*C3L݂*˥DjWYj%,|zC8YƵ_('? (0 \5c2^ȩ '՚SS'v'Z6g$m6y3t>Qhy+TMi ӂ165CԵzU#*Ǭ&FP&G_=x~Q nۿkD#儐@1\yS ]2UK8UWHVޓx> DkBHZX Rb&v9;z5t8{޲_'{$$>ԇ*k;+]wƴ61 tC*P }9KGj5cqB"f<Ka)g* {1[C;&AQۧuƄ'ų<5h]OYqS:/b6* 0R'0,k9-F:5N68V\<*fGQHb@3B:>w( yF)`P8_7i+hd #/y"W<b.~Φ!05Hw?z pڃUPCM8*6(ea5zb(2C|? U[}eŒvkuhœKL.kYWǬ*".tCJa\CT{+Ϭ>MvHuJT\ʈ7,e+("lu2ޒ6qyCP rTGIyfTY(?B;$J#tkhΗIH/n/7tR CbA!ho^}nN.=@H紥XbE=ZM S::DPwPn2Z]ʉ+״7 ?71BHտVcC,yS(tv,GyY+a㋈尘-9)7d\dx-Ƣ3olLf9cZʓijiS~s*ޑiȶ*E}d\".]tGDZgb9B~ N\Cڼ~8jl<¢ؕK}nE ݫ\Q8U'6/DusYDK*&c ( R~Cv~ مB?ɪ,Q5l'6P[ ЪS}<]|3FUޒü` TޝrЏ B-HwEȀX2*ۀѠVPᥱdit)'~A,hg>Ue^ÓϬKW6t+s;1ܯ\yn,5'p:w4|ͺ9Vѭ6#>Gm[vN*,N*b%vaB.Y{pL y~޹A9XB )PS3?by3?nǁ|MïO(<8qiExfl 1=/QuKWx kfIxʼasFɋ$(JdzcNbFf ⢄@ TC51iw]0hLc)I4$#f% a5NoDœ~j ]2u;2 y p0(סk$8\ _7"'צw :}+Eb'y7*qKhr7uv vѮeZXXb!_5J?si]6[A$&\p& |ߦ)徎a(;^Ys>A ^OL*9V!O\)U6?(|FwsԴ*7kf`B#IMg%B7De\T>P*&,4F:GNMPUћZZ 16<r.ʌ`s:!ʻʖ0Tx Elܫϋ$RjdmTcX,_}PF(o,V\-J!z9P!#2LeBns4!/=l<N(xu5aR?7NDƊM<脵ciY>[dL'Ħ}XI ttZ|VS2(37:V{N/ސ/;U =M۝ZZX۝3A_+3]:ݛjC$a9i94T& GqI^MAL#ȳDF|{ԀAX_m.*ib^ž z zl Åeivk B=HN+E9f,-eZ;݌vYKX=f߮)Qǒr0F̎\uN:}R5Av'27G[D24FaK9}~hR\uu7L)h`p$U>iq'֛nΎ蠌\Z7D5T,1E$ۙuC4bRzVCJoZCDI+kbҢt[qߏJB#9REvZ tAŐ3uf*N0G|;1~wpo'"MD`m?urիKcRGX#.d#d^Ll"Z13 'x2Y,BR 6.VB0Gzgkl7].ӛr\!dϭJh}%~Gk2)MPϾw?_66tmxc=FRii/tMſa5X9>2OC`yʼn?!DHTH(c)OJ#|W:swMA"rl]309k;v~8IS.kQּ:jr0)J!1R ;ԣeG( Ɏ&M_i* oϰ]yǺ4z("DYD-+@sHYM|3-@7Nnq -Y>.Y1]i GN˓*/r5w8qaM`pHRwh!$8!q1[TjW(kDS}#sC /%읨@fD}O ֎+CF.~v:@9%_b_ LF'|Y@?q|Ko?3J,:Z2!)[NF$WVRdvB>BsuCTA<ѤqcɬH}VP-qF5`m²Vwo4Ԡxs4Kc+qA Fp=)cw]F/3,T4ޓ@iO@|u@_=~:4 P{4Xl./.U;PP(e%xQA=~h4Vu1>k_U[RxP;ѱ zT&Nˏ)"vD:1l\GBB>P͈afFYTYؘ?(<Ųs+GA.R7)%P3K&8ȏ, &IwCtҢ&LGDENր^b\@iEQ⚽rdߥ[I<BQ1 v8~ #S  ^ظ Y_t[~Ԍ{1_){h 1 :(j?@Yɽݐ HEr#Tx aD rssU w+  7=?I\OD=at\ 6G)%_}6اPpD|_Q] іڷ(!YjY!%[,0K2e^"I>1QZ2*mDb'ji[9ZCtT42Dw~-,uac"bZeFد٤CQ(|ak/SRe)[SNY}RDcR7}f0#^N`U3g~vDr};ᔶ\kh!UH:_zYut?>bpc>c)Mel Kc E^@E!֧ I&/ Y晦¨H0x.W uwGq g\x мqx{oT밾yſ8ċ;n뗗ߜ!`4GD A$ֲ/GU~r>FH9~SlGQ]KWN-f~A^N xzUO#O#ʰ:ǃq\MvR.?amxF+2U߉qd4.l *T"\~(J8}#Mlyn. Y'zftԅGLd`𑴰JyGTFm 2U9$Ŭ/@D[Ǭ}>Ji'&B)_Mڿq$@8=hy Yw==8w%{PE ]}$z6Mڨ,R'ߢڎR&~Okcn.G\K|;WR5"ϡ<_}}@dayem!qrl JYP""rDjt %, 5V 6OwxU<|Go%rtO\V8b*6 MC{cj}b rtZh/@$P]U!eR\ V)섨#':OVѲ/wF'!4bbI!܏QW2S¤K88S vH2zя?U(17 dB7wwFAvHm'"8.F*D=.Z1 MHwt j S m+'  hx\/d4+ G`y}WQnIQ=y3_ҋR24Y[x]ѽNj(z[:.:\^soHElnV\)#C8[o2= z;:H8*QkLr3@Y;wM wBкZ*圲3+!ۯ4@}θ'Q{te2/WJCj[k+ݑ:\w3礲r>$^XDZɖքF6AO*g_Cc{kj .akjQ%_U)2b)|z=бUs K3JJnit99]ZYL#37Ɨ[aÒ>XPՉ`Ti= 6쉁 zڗP ^kHH῝ᯐ{|?CKw7J&}@ϑ?jP[.PnDy6bZnLM =΅*l]gqɎ\uD^)K|0% D~GqM *uzqDF;qH隒^T7>L}#$Dn6=Ҧ}խch)l(qӾ]rAFJ]Œyb 48F+JKh7CռmA?t˜IgmvE rFQ_oBy$6';I,x|9*_x<4µalԺ$5$~ٻ 0Fw4{ZJ?m-p},ܳ7ll@DVl6cSehiˣ5a+eɕhh5ln\uqFh %<[QKx3t쵱oݭt穅b4id,I rA:!t`E(ptMYC݄cf۩ ](ɮ}0 /Q3T+1vsmUB:`FøPnwjFTM f1r-H?"Kp%~ HVjyJZ*j+Ԍ4Oh 2sWϙ!QiW_pZ&+yUZ(bS v@5GIMxi0K~*DŽ#ë}9;Ԁ61axDlsw6y'h`_Z1NI vi ,88ײ,Wv-3Ju/ F? Az9 oBP*G%6R4oUHL/AE%;bH˺ 9t^*~seH(LlME}R)^!28jkx{c(>8f`aW("i3Hu'60!6 Jњ; n4xl5n<(tht Z[Ao~S pdw3Fl5] q|]x0& e`6DPpil@o l:asϝe=CYʂU:o 2˻7Ѣypìsyo"6^Ç?02.:Gl׏1F(bN%~q-. D:Z=hpR WT~xyTWt.밋E@Osao] 8sM?D ?y Ҟ-(ײvIpmz5D==dNvkיrgKHú"(*(?Cxz+Qi+MsM5/t*.~@Kz]7hR\V.3b z)B|NѬR-d߇h-4D73GP~6c muMqh;?]~Ng^.+[Zxo#Sv&6~,M25>c zw Z=OR"(i)q@h yczwHdc+F#^8&}ؾ2e(QnCAp{_ DM)r fyC-CWqЦG-$? f$x ]6t_YGڂ`^4|s2k[`%Rpq-9)5Mdۜ631apn*Ɩ"u*%KZVq)$uV0`٬]B>EmSx #4PW8C/&{HeApd(}e,]Iπ]J){b] }[Ѯ 5v8o_=@{H&m3҈͏2UM^H<&ْ9M7͘:R'U@껍ꀧdW/"#ty` 6L̺f҆5Zwk4bja(>-669XC41cW~ " H,DKkJLZܦ:\2q7C'a"i.L4 + dy\-=='&<\>E1Md0b]VvfNmIp~gVcmZ(^c8!ԂTElkjHLI: HB-g]@+i^ƵO 2!CV L`i9&3AgK F1/.V ^55!;d6QDO-cBBo޶cƑa9,\'cWBj. i( W1PeY1E60b;JN-|:j|{kF vA5;{(ZƸ?r9IJ:۝GP<IIU}IqbG!*vى'ߎ)YPjVY3d 8t8F0{+YlW4rԫxHhpkX!]|6ai-ğU!Rv`y(9^Pe4?$R<;0fuܝ ;m,S+7xk̄j>I1LWxkȜ!5# FpvGÚs5oί̖0_޳T=c%sZu$1ңp(ǫU;kJw3clI42[`#թ'rKp*Ɨ#>aƞHzx 'w Nܹċ vW684]~<^RZw' ;޶cޗe1xejO^*Ma?|'G7|fҝdxն=W;FN]0 (xwT,s6 >[6] TJ$%*j4im*M>'/B*I6Ig>7S4b3(+GOF%NE fg]Dȫ1 rػJOQBt=@^s09^L h=`:q9#~LU.w8V9#A^I9-hތ Z_u&-bhSMĞb\VQٿO~ A<3p:̾M}aNO%\ӸG&@֭?R` }"2->c;֭,UCc2?~4U^:6$MڍlyGl:-n][s͝RyZts1l4sxҥw>_(JGϿuz+#}oS:Soתv'aDw9"LOtuT ; &bAj+I&!yS'=fsSt W{+WyѶXr7ZYSԽ(Urm,$~7/DyQ{yT$@ij̝V|IS~NMHIbɩLƛlI4.PMբ:Q=NXb-y9W#yH1Q >g%F\WVUr=?k`q|qp@\"b, 5VҖA~Aנ|pqтWT``"+$Mr USKI[pC*AY#z4pHf.A9RLx`9ƷrY#pPF[k ]LU{kW44p|y;{d^BYO] 7~wĂfCZ7h; khcװ| 쀰zӼDR/-W8$)s ggCXw bHo<>o<˰%f[0jC={rO Iء|΋|0d7`^EJxRߘaw5\2&$Ž&1/ָdEnG;nkMj%0 ȣ1ĪT72q_V y> %Bdv:0Wo<꼺8 3n )>z ׸EU* xt@̈-!aԗG>Y|) WR^6mq:_X6LnJq-}+vL ̯SVU.]m|Qt}v,0rӆWU"zT=扐2RcrVͦdEY51L>j,U:h rq(-.2ZV&XV) A3gta%+_xF_=Lao@s{q1uԿ/ΐ\I^1agpʨǯI[ -5uz컄!/OCJd:o=.U(l/ xtGP;ET@b*`n흜(NZpi|+*,^ɐ:5n{6*-T0BqϦƱuDHZVk~!}w Цͪn*0#D"y*<"ՏP  fMt? GuЗF=98>Q90)Bc?1!vCָE)1?6,}ڍkvJ&nFd>$N\v Oǰ:_+&ضɳʽg Tx@9_7&"Sd8^IUEnV \`۳ Ћ7&,,.X3ۗTdW&.e#(`۠]2xƾ9/riHQy1E~+ d]jVGoJa8">1_1(o`0:hwutao1ͩZ:'-%1,J`+l2\.u;қu' WJf>G)jX_'s>B !zo]bݛ @XBIl?n +W"8Kzl٧[\ieH}i3s+06$Zd0yK n,$ʸ)cFrR;Tfs ) YXytG֗ (j\DI-op㋬XP:&L\Yu35t.D_dl"tGSyx?{! 4GnFEZH GOɁrbOmXTtwvȆW]AȊf4nEV'HWB}\\.:Q&h .Ƙ^ Ԃc^G~=Dl NXJżC#/= \sB/9W26f!x6եe*2Y e";ȅQ*Vm]uPc\"9E5X7 x4~y k7&M"Oo%;9۽M v3x B[@0+t8$ E8_u$ZK2C4YtphW|\l#˓f =xO[e u] =RAI,K($q-Ɔȿn+yG(tJ%5I ϣIII.g"lCP/T3P;yC>poJ`(> "gP|0DK@.?P'YeFPaGH`wOs tγߐL5ٺTJDOb$.3~$ '3 {@5"vaM|n=^w1B) cbS_ %Ng7깚pAbn/;p~]V$! ۢƋhH[%7hҠobwj\ֱhFWD8ge&@6FU`p"x-ܔZmcsbMq#uhz9Tj7_eGGa ~Srvs]U_+Ի"@O9 ZH-Zz?1xRx]뵵$y/JTlߡ@ ƽܡdWQ ɟD=X|,rex73/* LO٧%6e]kɝđU`d2~Annp_؄'k F"۳Mr"ωBDBj\3>ʷ.9:Jfq$ MTiaW`%ߞ`}6Ո 6zT: ,иꂧx̱0.g 6Me,>)u[\3Cczf kw hXw_VGms}c-m!1-oYxKJ'A В%-k6m(wMn$armjg/ԃP, A<-,z5ɤ)t_! ŗ %ҳd& *NIoD\!i=Br~ϛ^WB[wc7ߛE% mQW jb A殺퓜eaD$PF$ũ̇>1xKp/r{? 9)>]Q7 }I2Oy@Nv(`u άl>gx\L`69Zm~tA0cy!Ejc;c޳ٌ%%߯ 5dmt 9G`Zzp uszUV(;ܵ|./R2$Aي8wg[=M^K 8 Ӫ :6*gƟؠ~R01*l=up첑d&/8ۿd#W=XX`_ SD`-T1]<ܣq~K|bh.X:tϦny>yoK@!t!-a@p#=3r̐|{qIAb ̭awui+1uFpwSЧ>G xTXu J ǑɾPVM,,mD7TnǙ(y Cu6#ݸDO1zSW`b!pWuzߪ5u 7LXѱ6RV!ѯǶCwxy;B#Q֌1ʆH,vB!VLu?-!pn|n PN -bs!l.R#Y=0oC6stG+yB<P8}} zk:T[T~W&cPcWeĦ5x+~lh%;F6 ʏ7n]%$5%yT` OHHȤ_𢱻qUM —Z/-n)@ķqR7;q\<2{6cP2d 8EGU0T EޒmEx|?I'aQh Ђ]a?G0qtN-hK\W & |]7eU6# gBݗk nbAˣg}LbK, [rI2̵-zWF;;lo8S#+UD%sA?ɰ6RӜ#ܾ!t/mPR_VMj, ~S`9M˛]WGAF)il,\`sR5yêUݬcMG$*c9*+Nz \ 8&A}me1pBQ9 S2 J}>Twl5WaV8p=:O2珱7(}?r[C$6aujԊÜG"rl5`&ڥDa`H)Ndj>X}lҽvz [1c|Ӹ/&1VdzNTj,s'Hq\> Dǎr !zlNj\o ;`AgkubRM*菓*8KGmSy?[ϖ֋˼)~w|kjQ6B|8ZLA [5ĶΣF)u.o;aG(K#C᮸hP_1ʊk&W8AK^@O0QNP_ovg0B--Hn+,+@ln抁RGmɋgDN,KF"_eX'ۇw®'>+uU,E cTy!,A9B3ӈU=ePi-l*M4dR kqf/Z4s*gYZ75d307e319dc3e0869b5166ceb4675a6fafecf82a4c5d301a507f7945f83c5170a983e051beeb81d0773ce5e79915df3c642ebed3335e513f4c3fffc