SQLite format 3@ S.C  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   U7z\4 ]/ HOL-Proofs-Extraction:threads=6elapsed=101.235cpu=178.872gc=15.3807zXZִF! 6]ŗXiɟW;g``ϐaT)]╋w&A29ey=8Lt&z`f(1O<`V9XU4 q$>BO.do lVDV+R鹞كx<;s/Џ%[L3ZxVvE.sk pُ 7Gj]DS)rn\db^ ͟~wmF:`SՐç ^.aș@]o M"ɷO%=p(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)E6EY0;{At`R2܇'jU?R4pa]Z;"0!/.-,+*)('&$#"     $  Pd b  u m k \Ri  u V ]D757HOL-Proofs-ExtractionHOL-Library.Multisetdocument/Multiset.tex$^7]CHOL-Proofs-ExtractionHOL-Computational_Algebra.Factorial_Ringdocument/Factorial_Ring.tex#`7[IHOL-Proofs-ExtractionHOL-Proofs-Extraction.Higman_Extractiondocument/Higman_Extraction.tex"E759HOL-Proofs-ExtractionHOL-Library.Multisetdocument/Multiset.html!L7G5HOL-Proofs-ExtractionHOL-Proofs-Extraction.QuotRemdocument/QuotRem.tex l7gUHOL-Proofs-ExtractionHOL-Proofs-Extraction.Greatest_Common_Divisordocument/Greatest_Common_Divisor.texZ7KMHOL-Proofs-ExtractionHOL-Library.Code_Target_Numeraldocument/Code_Target_Numeral.tex[7KOHOL-Proofs-ExtractionHOL-Library.Code_Target_Numeraldocument/Code_Target_Numeral.htmlF7A/HOL-Proofs-ExtractionHOL-Proofs-Extraction.Utildocument/Util.texM7G7HOL-Proofs-ExtractionHOL-Proofs-Extraction.QuotRemdocument/QuotRem.htmlV7GIHOL-Proofs-ExtractionHOL-Library.Open_State_Syntaxdocument/Open_State_Syntax.texG7A1HOL-Proofs-ExtractionHOL-Proofs-Extraction.Utildocument/Util.htmlV7GIHOL-Proofs-ExtractionHOL-Library.Code_Abstract_Natdocument/Code_Abstract_Nat.texm7gWHOL-Proofs-ExtractionHOL-Proofs-Extraction.Greatest_Common_Divisordocument/Greatest_Common_Divisor.htmlR7CEHOL-Proofs-ExtractionHOL-Library.Code_Target_Intdocument/Code_Target_Int.texa7[KHOL-Proofs-ExtractionHOL-Proofs-Extraction.Higman_Extractiondocument/Higman_Extraction.htmlW7GKHOL-Proofs-ExtractionHOL-Library.Code_Abstract_Natdocument/Code_Abstract_Nat.htmlL7=?HOL-Proofs-ExtractionHOL-Library.Cancellationdocument/Cancellation.texR7M;HOL-Proofs-ExtractionHOL-Proofs-Extraction.Pigeonholedocument/Pigeonhole.texS7CGHOL-Proofs-ExtractionHOL-Library.Code_Target_Intdocument/Code_Target_Int.htmlR7CEHOL-Proofs-ExtractionHOL-Library.Code_Target_Natdocument/Code_Target_Nat.texM7=AHOL-Proofs-ExtractionHOL-Library.Cancellationdocument/Cancellation.htmlN7M3HOL-Proofs-ExtractionHOL-Computational_Algebra.Primesdocument/Primes.texS7CGHOL-Proofs-ExtractionHOL-Library.Code_Target_Natdocument/Code_Target_Nat.html W7GKHOL-Proofs-ExtractionHOL-Library.Open_State_Syntaxdocument/Open_State_Syntax.html N7I7HOL-Proofs-ExtractionHOL-Proofs-Extraction.Warshalldocument/Warshall.tex h7gMHOL-Proofs-ExtractionHOL-Computational_Algebra.Euclidean_Algorithmdocument/Euclidean_Algorithm.tex _7]EHOL-Proofs-ExtractionHOL-Computational_Algebra.Factorial_Ringdocument/Factorial_Ring.html S7M=HOL-Proofs-ExtractionHOL-Proofs-Extraction.Pigeonholedocument/Pigeonhole.htmlO7I9HOL-Proofs-ExtractionHOL-Proofs-Extraction.Warshalldocument/Warshall.htmlJ7E3HOL-Proofs-ExtractionHOL-Proofs-Extraction.Eucliddocument/Euclid.texO7M5HOL-Proofs-ExtractionHOL-Computational_Algebra.Primesdocument/Primes.htmlJ7E3HOL-Proofs-ExtractionHOL-Proofs-Extraction.Higmandocument/Higman.texi7gOHOL-Proofs-ExtractionHOL-Computational_Algebra.Euclidean_Algorithmdocument/Euclidean_Algorithm.htmlK7E5HOL-Proofs-ExtractionHOL-Proofs-Extraction.Higmandocument/Higman.htmlJ7E5 HOL-Proofs-ExtractionHOL-Proofs-Extraction.Eucliddocument/Euclid.htmlt3JpѱNy-}1Y) ^*n)5;Z#]6%HA7W6k -DCQkOrպ36݀Ǥ(2 XTXj-Af0ˣb&BS kN+dֲ۳ll}N`<(#9b$g(Q *1. ~6>7:PmDi&aړhK)dW჆EVI̛2JmgTh6'uDgt>0CI=kuyOt_#+JQSe U6a7G=6ۑ{4J+绿ᐰ_לZZ WO^eV΀m~T8ud-9bNi1mߍ&\n*y7Th,FyUa5#.q P-6bWyF Pevl߿9A8\sXx ΓGBu9Btᶀ$B {w7b^@|-{s>Ԋ: We !"A{< u)#6i;yqkKq0mF#:HͷC8 &Yeܜ( i640.28Aк^\G6@(z7.W*XVfL2ߞFp{ a4ź٤&L6`.Lb+%~MggjH.jqVsv(":Ɇ)1*55.X/REe%P"7޾]Dd(I~6Nܖ8WY d=>>scyL4X#TVj1E4e|N(ZJmD,v&с+u;3ޗ-1gAnd4׊99.C! ISMD}L@ڿ *0xn?G2^x8L;ua8+Q>:<{HNn&۷+L볋WTPeS,l7Wm j\U*_]|GgF4ђd[M8᫘U$͛P+յYYM7b4Dm~1X(x|u+}hUv>@u)^~{PԻPC̶)9>ܙCי2>vɢBe75olj(Y8Ƥ0\$Gܤ%4Rn#V&;tD 2oVm>uM5SJ4~_)KH&wH(:vݲ"EN"3Z|ryEStg]A}f:Aܕaϒ36_c|B+Pa) )KY1QO؂F^`LR:.NVi4myb@3`Ͳw7'!A F9I 'P[̾xA]yp~(^? e2T/M]Wk6ؗ\Iܙ}rƁr?5Y×6@#jW̠ ya;S}9 oɹYn4Me?Ɖt:Q$"GuTDnNO  OJxj@!X9)?_ ]ljɇA7&(,;v@o<woO96!/H <)K_͟I - A{]MTT%CaID(T{Rg5Ĝ\WNĀ|s~yIG[7υ(cl[8xV1E]oE}xsD*Cx*tkKߑHE'ˈW|D|^UǠnSd֛j+/x#hab׉w85 CY+\ NȌpl&S@[a苃ѫx ۊMR*ڎW=00"I .F Knnoxۜ8UTO?Dž G[ |0Rch <{[e0 A)WbX܊n?2@M6 &Qx /~BnDت#MۺlGJLI˭  G?UTPx@~G%5+^dBe 4@t#${Yn46ǓGQUEQ] /H-GiC~}Uz<1LFgէN(F_5|)@6c txɑVmYh\)v!>[},y5JOŲkyh؞L)w6_Cg#Fgȓ:mBQ#c1G4\pb73X6{{a:ͳ3'7 {Dk̥J'^AgnEڴhm8i1`>[,0c:#;$K,`#Y6H !bGc i[2"yރe OW : p0MGجWO`o)v40C^|^Iq9Ӭr׈I=c0,T7Xc!Ö;ڲ W1pS~[!C ip)t.w@ޮԮn[.Z|5FdXAW|3:Blm5~=}d.QGԪQ4yO΋QXB$P6Z lP0a$'1{)`]nK*F_ؕȱn49EQ ,ee*w42?@VjUu `Ӝv:3P#+ !ujK“kS(-sYت/ΪM@~Sr9nB vVƫDUAg[]9$ m{L&": KZ=Jq,W#8 gYZ E7E5 |HOL-Proofs-ExtractionHOL-Proofs-Extraction.Eucliddocument/Euclid.html7zXZִF! t5]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)E6EY0;{At`R2܇'jU?R4pa]ZvgX4QX$3C*jL?[D87&&(n1VG֮9I#:j\NL嶂P:FeY 2Zoya-6ᢵ"S7(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)[w UB?hVqXV rEX ĥ7? 9eMZpA*8h}.sANs N^ʖ@L H0#o+>J^-03Ii?Ci=PO]k,+ ! I0@ArV"s"`iTz){ huj^ ,2m(#Y)&{'`G^5W+OJv id;J6ᴳJP&3߀}o)LoW)MBḈ{^Z3]XB07& %YPm\ V[i\z8o҆ 3-tMx @#6WXQK_ wf>OG3XfsxG6\@e%)bJ0S'TmU-A͕!drYq! @ܘ;Bܔ\r:>0x \86KDfӈn068 o~?UF3AYBO%mY lfŲy'ú02<$iD\@jyZކGf&,MKӎU{<4tɔ*:yv1K8!o+1 }Ce4s$Jo:4~?.4A+H4Moe ª^|؆3`L!309O$KsrHN$7F& NKxyF'ytO:Ɖt!_V}R=ъ &A4^q:ïhl3$}NZ2{70)VF[{uT7YHW՚ޚUn>0pDުeg(hPdcq%X^· ̩*8unOF] q!3@*[=ΉOVpa;Ɨkt8=Bi>gvw6d$>dz͵Ri;Uq_Nlowp/MJ Hd8mmzf]XXccz(x I [@JbfOCNIcjiXYЁp#:C$"$f\<b:=ʘn^l2l͊t;9-{M"4b(mm U !/cP,~%x]݆J`^Q5&(g@'Ưi7Ø3T+~2()Ni~>NsDZkL)?'Eƽ犭׆W珃1i> _ti(Ơ`^; 'UT,7U0{pNv$+.A׺[d+Gx@N֛^ ˥3yy%ٟe52U? hȴȥYjʵTHjtt9$0k m:!fY4Z`Y{Z?z omҬhi0O6=Ssp6ۀD5B)k}nZ2Ac\G V=l- -Ԯh['o9JYlab&lBu國|1Y@2(dw(36x dи*3a.㬐Ǽy'JH6 jypmB!gn` IYcVz{z0Hd4`"ׁgROd=_s 0zOgҊNW =cj^3!XQ ~]=5sȇh_oĦ]vOc2HslBOXrˢ!hH}x &l*?&ZoVaT^ `EG^}hPZ)񅠄*Rq+ΑVwx@8Cs""IU[/8 d=(Z@46 ̥F{:`q :˟Ե8.,j{^RÆцs K7bc橊[1Ȏ;'{=RS8e{]W7bs-![dK{xwit*s1ѠS_{@Fl8E[PoCUgJwA'P tAQ,+̑{A0Qq~Z`Qk)sb%ݜ=7\@Y2 (;=)P.%*DfI+ѱi>1dOt|.5Y)1A#z;/zYa!!qº ]!4@fM *؈2G٧yL~ (ZbgkFtב+[5ָaO5a93?^o /)mEiHbZh_ZWFۼ՘Z %ֱu@w+:ۈ*xS߽@\q),·8SE^~f])?4CaW]LQuY4`q_wZhQflSnZmMdBmA ~YVHPy "(3/b^MEv7Æ vS-IogRP6l}]qcMF \[W}9aANÿZ18Y8 !C3%SZ}6dmE?40jgqotdEIZ:&?ÜzQc9zM[j±ը9v?a8v\ {PdslJhx-2@b6g}#bSсv 4Lr CPFRʈnZ;6D@3dBiBЖVEhi#enQu*"VuIGaǺ$Tv: f$T+χDrH-1Yj*'@O܇g։qP !.f Yvb1OƖ]߀Khݜ-LZvQVꆠp`pRݬ#J#⮙jLW氧s(K>oOxMg ~2!qg%gZQ 0BUlS/‚6-Z-:Lc#afmApq+x-SEYvlYkwRW݂*a'OO-ZPct~>^z}sxХ6eܪ>WoGḜɴMޏFmӘz~iTB!ҧTb"6.?Bkݡz;\wcZ I6P˭C?dkbz\͠ Τ!QO |X>kU[[Ve>LmMY4ݦ[:A~2> +BKL~X>;:*(#2YcQ 6n [&GoJk a zReq$,oS80XĶ~Ye8:+H!6S8ψ%n8˰nx%"q Pdߔ'ӊpl)R.L?,p{J%Jl 2d< v"o_s|zJٴ=4\F 9 'Y'&y8/vp`ɨs a4ݜx9#Mgt%@n/O5|ޜ|y]Pmkr]4&ݑQJ?F.7Blis:E+z @Jd)sq(TOSNa9`(797)Y/dh̓y; 唫X#ub2@D\E[co@+G?\shdhYWG7zW9w\o >J`PM-€fAۆrD/MPNoU:OCXKaӫQ)(<"8JT˼i(wz0NLyvu Y5/ )?-Yo`,Җ|љN^ ^r&?9=H[³wrLWn,>-TaV7 z"͖;6\^&<<4^bE%[!(\j ~ghn%`E(pH!) yx^IClrReG-K)LG6Ì/zW;$xQY8js =Wkb \S z℄ъ9xou:ŏGH@ `l0Qcbx0fϸ1;hϢ>NP ,%Xv(Ea T?7N1j>=k mKcPE]"iiSHB&cfSb&VWmC6cdBhykhs'6pN݆LMPF }*|Hԩ}Ohj`"**QǍ`B ؑ {L#b:98FFm~V8ט$jx]Ce!G+*J?|e7酧 ?ml 4[TGs1S_DP&E!*d@P l|:enՓN! g8FOZqm-Pk |^>(T>tWC-K,w,l0in~${ZJQ&DzFe ?$p4խh+ fRD>ԏ`)կ5o8En's|:_yǣE]-sDxG.j 8MLur 6A56%H=_->~\`QP5{ݝl8a #11E_ọ۲rmF!X⵵zPuib0ا{l2CWuENF2,av:~@uRԷ`zSb0}.wdB`r`C2o3?I'&IAF/~g0%ƴu Ci zQHZ؅ƳW7, 3MTu2W&yԗ]%c 64 v[.ZCFuB %A}}S1x$@eK_lOviY!C@[l o$9mq@ B䳑U2B),,m.@~ ':,zh@-$?1Oþ[#"Us'BR;򕴵uC(lzxVxW?96R^G{幹0C~o -㾖}ILٛ&kmZV8fA:!v-hYMR=Hj r$+kU;7gW$Sߔ -yM(WUa^nEOTyK2*a7=ȁ2TքN_]V4}"g3# {>}m6EY$\? uBcDS05xPBTv*_z2>)`lޥ*xQwR mϵ)hwiF\r;o6aO >]nonpXjwDH!eCB*Q Q5ѫ^GN?v![ U|$sBsNyv60UkYs~qst VZ̾RہPXYȒ8|ђMڸ6de-v-Nrq09|G#l{;??DUQŘw}O!7VP,yu`~}v dkoFKKSeVnunW)V^LyREwU$&v[iFv߼xL!^;Z΄d.bis>3b 4~ KgۚzR #B.M|$_?^LsV˟i+ }" `0dќw 1Aa:6=m3i,cWlۯ LN=87h?j<vq6 S#;ŨD2fcptl[Jl1C UmgYZ t tV 7M5 HOL-Proofs-ExtractionHOL-Computational_Algebra.Primesdocument/Primes.html7zXZִF! +*]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*zAYֆE079Sc?rע{4W"@Kdkwح%$׶c ӹ_dqoN >q;5;Ro;].bO,Wu/%FuSxG蔋Mz|Fԟo#VA?ʑ 5jSKry((b`ԕ5,iڍ/Cqbqd2`5ʰ:aI'}3rkl2E\Z=aCE|\ަj h5ZfԧM>&Q\Ӣ?P= ggA?NcW@֙wRI\Ʉ5;ܸt3  7E-tIBX?U`x^լGxcu}Cs+_FG~ A&X:T$]1uԈ%WtDny g,scgI\E ']Af@C gq}HZ+HymeUJ&་WQ$)$8e=͹VZ>#Yj SWaJSp0-Z|(3O"1gz0AѰxc;э@m[OVDZZS@p& {oCY(Ov=5ʍn2c?|>ܲ;KaRgd?WT,UQ[ I6`_Ԥҥ/ }%S =w]r}`I2 w Ka3OOHm"ЀOFoet@&ȩ| 6jqWtl;/ t5!D,7aph}S'ԯ^l2:mPmkٍr@[ Vy—*1M=.hBKƥ&o9wxkghB;a)7 ö!u@gXKo{oR\98ÝFL\@10ޠ9/ysˑڊL Pfrֶ7{3_eF)##LkZf夦zTC4o->K`Slڈ_W3AilֵQ 7@:5cbOW[GLa][\tWY V\%_ NƊ Z~YfTϱ0DnqtZظkZr/Gfŧt}MŨJ-6T:ŚVv;.YR ~cDXJ2#Iƽyf 7;6fHD|;$H0g~ hy{({LY}2ئ$< ,5e^@3{da΢&JКLJcy-ֱH:;])xxY AA}Je\eT9^~7cx4_㘔`YVx% P7E3 HOL-Proofs-ExtractionHOL-Proofs-Extraction.Higmandocument/Higman.tex7zXZִF! e]A-MՋhvG"uIBm5GqK_n({3} E#dMǩ%tK"kY`E6;akS dxߦq܆W-rO'Q vo^ysNGwMVP?3尩D*90F[,`2Dg z$nNUd"MHޝ"\P|3aaU"ӄ-PSۙ]2a{tQVLbH4m']8\+} ]czK~mi^-+H&cB.%LI0`i{K`1JLFA@~19*ٕ ( 7gO HOL-Proofs-ExtractionHOL-Computational_Algebra.Euclidean_Algorithmdocument/Euclidean_Algorithm.html7zXZִF! x!y]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)E6EYznH?%KCIQh$Xq^ !*SsʮQ z"[V Vwa_@=c9K^*@pXȁ}4chQ2כc3Vȉ&'7U21/h{8(D@&;w S M]汸8]yXa@$kjR ؔ)hQF O| h^'s(55rCхoy0VeNMY9 p,49$WҾhOɞwNh1%ԅ'ƮyV^y1˦])gmfFA.r`B.]u&y9n]uf Ȣz`djn)`aFP+H O8O46E&7Mxg7CN@حfe}jLjXHo^I[y{1i<b<4fӅ+ vi8LcAv ~R` Ԍϵ G`OBPlQ SЈgHkt1SdsC6z dټAı$ { Du^j=$G_eƃ8o?YcT&w { țdjר>g[#(,%".OoHF9pղ@8@ٶ-bMu_YF`B#@ȳIn[v=O.79D 6ɣLO㞙~+֠.xuqlvMU*9/wKWKcdu7wQBIaA&ҌzǴT&y!zPD.s#2yZӮ1_6+d)G:s!\U~N;4܀ ?XS,q(L(|Z~PF2H~Z;ih.ޕf=}r4v<6# W"s~OgbR2.UַR{"F7l#C  YYXBЫCQD|8+r^Jz [WψRd܆w3S #:ѧu,8N4VWzZ:*!pm`J<3׊G1/k߯EgW+8R!DEgY*>-I!xn_zy>8d.qֺ1mY:~̊UI*a}_qD)❘磠p&QT+VwG/AFfXl_oX?lRcxm΅^1Qq-2 UuL[N븰j_ne3@ã3'dG)߷A,Cy7ԃbD*aY:X?_ˢy#[lw0c03Ӛ{>8om!  X:E=H:`Uڬ"{τr5 [zϸbE`ԫY9>W.h`y̔ڰb$fA]QAƕѫi㝴#{5Oed5M<ҥa |T-DsE|⼜Ƙd᝞V_JoĨ CfNaTBSyH &/GDJ%r_'A  s i nh1n~'BCҭJiDm̆#`{* K<>jp"cr̆O( l&Mk_lWvRvjۖ/fbwy:T!K]1U/k SS)*S褐-E`X߂c=BVp&+o8>ԬFbVD\̈́bv ^ݘK&\GOt9U tlGR҉%(iԳs'By` vPbd.Hpy=vm: k,zXCCJK<= I2y4$C' Tѣ\"^6,Uui$m7i6]䢢xO%x:җ~X^k,(X\wY,p}^Y]!wkB*_ 7\Lyǵab2v$%XyH'\bd fŠu"ZK /|I^׶:Mb 6`'nk*U#E|P!I9B>0 喛wƜ0\/YXEpՙ X4TN3RѦY^岜j W* `rO+C[hVR3 JPlkƨq3FKe "Ա7IcyZRH2#EfRy^錨ZIPt?a: ɻ{Et15~VKJ:E@Z1UDcϘ4֟7IVI]>|Yw57ȃ!ᄎudYX\X?H[ j-iGh;yӉud ݾqZƆH+&4_򤎽%Y{=EmZMe"5/=9CVIljOzy2jqߤ BnOMmSK5O>fJc\z{YSOr8D$ݝǨ@S9xɂrRWnV217^yBZU-Ay+}G{24'i*,D[z~ E˼j(-":$%B q*[ Ș7zT){Ϡy1CadsnP".Lp4i"MB'L{oH@Y~x4z&6.uY]rss?&OW:`,б6 K. G!et_oA|NǷ:mۖ~i _gw$ Fi8WMqv?=4V'rX9V{a0n3]]l)P;1icoL|ƥapH P*ԓjy΍ɩŴ7}T&KF:ݳzg 2vϴ/1r&Oӌ]0q+)ALR<73>ɝcHt]tiDeĺ@.DoZA _d@a'{hgX~jq ĶR^=67 ]6 #Y)_Ön1tQF_(ؠ&&:fE!;YV|Ts.6[?U+!q`DZgYZ R-LY?\n&ȆH"$VJhkV>48$;{Ϗf%,EY&@nl?8cρոI_N&ĕOQ)^P[X J[&p۫!7ǏIiV~8yռLr(vg{V۹F0+&}JE8(x1&.͈{S)4z.vU@mcBXOo,U܏ />Tx,fRF"B o5jby*| ]si?ݝ?tn%qܗ ܑ(&M|a@`coqJ*u;)݈nԉ %58j!L)U܀g"C'%vs }0FuQ?ҪafV ^0 I}R7q"„k!|p4"k!A9KԹms vRCF/KR|cj ɊʱVTf2zy* `x/9ZcEq<"c^;.^#>B*'mOWBquyɯT'.>3 &t0CT,1ǻB!QXM%q~UcVĖv/s[} !\Z3Nvr] ǝ3gd(Fpi8c,o5>7|N-G&ZK }X+49Ns|]C.^1&R}e^\i*>K! Lm!LF3#PD㗇bi- jV$EPE&"$UFU+0ʃ2] k9x7Oz xc g CjXu #\{ǑYt$[<} ˻ g^rݘ]6M%`QQ(#<[@_d{@'gܽ=M'6/N dM{湑D/wX&-A s^Fn %ïňv& o&M?\5ХN>ib^,uN IfDtu5 c2q jH$&ZE}1jߠ8d1#Y9&s.!2"d򻸺ړkqwVW9 [ (Wˌؓmo@#h~ar9 .rVd4asm7K3ʌ'+-Rŭ ǂ})ZZYg >#? z4Fl/GUDP MOyLu${\|ΊO,&g ]ln!ta6qj C&rw5%)اt(s P&`'M K ](:I;܏+ҏs)H_ĕޘ ,i-i4F;!/"h[vuTy:+xyˆmZ/gBx,nhuA m9(Ԡh,aQӈb `6?rsjAJ@kPR#x>UԠ@%BB})eƼ^`KZx\,{T] #{jyZk8 0*F(>@uPQ~Pi&_,*YHɻqVm;K=`s9;L\ļX6W  uPU.nT),/1.Ni,v$uy&׬|\K|aXM?TȖtĔu'9Jحy#؞& u[.Y{ {<Y wRX+mOWDF_o4f Ɋ; d DcR]Pw|؆mu^v<ݑΔ~NSܤg!h79OUUʾR t.r4x `~/]84%ϑP8>$L}8D%$8C5_KR_aJ>/S/ mawFP.Grlx4r.~1.J+<]l%Ů +:k[vOju"-M xnMwL.v@Nn~} Lȗ' D HJ$#VDYhYS.||ӛ?_{85 HWh|)x>m[aTHb?hr9K#*DdS"rMjyzC

H{c-'Qw|CۅG9t2D-w\|ܠ{[% 4@4E:I:C6.UI4"bY<onoZ4oq:AK;u]ŕ}b5vu6!"HlZ`$%9. &2{A0.,)vF@V 2X~13~f7N?<6TTw+#a/i`OڨL1*Z(#Vʽvgi٭2jD~O[;rY|amRx@ò6?9b6sA!*'p/?1o޲SQSbێ pcHlxX9Q\ס*FQ\"6rYeX]?( IԴfx/ \K5=D9 Iy*xhu#Ę  :xg@O[U^)(Ķ_j1A0?^S] 9в<;oͨި|nE<;i $sxɰ>d'{ATw&}Y\| W 0Py=='E`g?q:y$7p'{M+.7h4հ"Q >:v'Zi]?p!\2ꪓо^D&$BxX!l뚊HRGȢl4!/@^ ۠Ӳ;tK!ճ}kiu:FLzHPZ~WM޷uXɻ"?9} ϜMOaF5٨6< OC}jHxsLy>R-~ϛjWU# tv3rl1oMwdL$4>G싿!X ^QE |_1KڤIZښW߸h.Nmwwџ{\Qk:sLv+ö ѷgs?oBjqS,854MTro+Gx6?U Jptw5Z4NDVLopТ㌱ώ+ zЈznB@vez8AZbf(ϼV9g՛/7i6H6ൻbahk@+VEij_Cj#gf^ަOaq|}I1bJ]8,Mف|l-iJ|wq,tU>LE0Ҫ B9Mз;%Jon 9UW&@VeD`O [Sԭƾ_{\~ŧ!w)xt(f_VEܜUϢH將+M][7n)ϞAvQ,xЗmT"#Ϋˋn<%+?L06Pim ^D؉i]HFV^$b,7Hͻ22|L5J]Q|Qtɬ[pA#hVa;&Y& q^cg7i_P|pc E=U u|dWkbKJ;b|rV؈PPㆵeAT9I s؆8G8UC'GSDj >Ơj$Q?LQ *3gӂW ʺ0^f4bq}9)*{m!gsp&`[`I\-a|$2G9; |jVV7kMIR-KGۃ9QHZ6Mgs {;|vjVg1C~ۯdZbq4-l D|,'=жѮTjϖN83ύׇ'P7ͷ.DpxnCqk@nG, 6 # |P~+ʅQ#ON͢pZԚH9gD!~u$pނH W"0V26(I%dނ҂B[eFWWEXXi5WFIE#@x%@,VuN!Dy(G9١G8|Ijɗh['PXR M 0爉m>2+?б,Fm^fW"lje*"([_wɽXdGiĊ_!VTb]oKmaL0Q (e>4e ]1Kcw6lMyI~በC7@}Ec"ˏ uvʣ~jyRߜ X!) >mb5d{D/G)@4V1BFTQ][~\Vu~e-xg@nZ!| _)pꅧ$HA2%5AqXZ0-54~ǯbrKw)~+ǔ翏W0DZ ygj^ξ$[vj3q֖vv:؄F̉O~,אh5-+uRH5l킓M 9z:[Gը`,epܠtqj1؂VU%ڷ?vK֗ 5r:O:UM~ ^55.C|f-_> #nSx.=8i ,9#+17~'M+dxwITB iBy6>uҴ;wC=(r22yFhahFR~j[]tLBZT8n4UsQco]IWebM #gB]$#-gZK턧HvasBjX"ĢjJSPMlVKL 5BH켖c9TprԮ6e`|#d5&b (=>&cY WHH G֊~vg.W92!2}ނ>v@Ŀ[:eP*0!dBWli爊p7ێNZ&}Z[dUtQkJVx={Z6#h&VdY@*wZ|}z>uLFŒ}(MtPHJ8Mad&!tIe68P[N4xʐX"iπz(&K{B&.I3q|4 Cv'gh>u+٘q!lh9ȌW?%;^jǣP;PeOgX9N$PGӼV\A1sˮ>"Xi@_a*[UXihiArSEe 銴ӢJBS=tv!E{_I[Zp1Q#WȈ c:gy&u+&iHuypu[M*Y'4ct͋fsl~k<5ws=\dZHgMr7P 0Bn{ B]WkB#߃+]U `Q~5'͗Ÿrl4>  U qgYZ[55P dYe I()W[** Ɗ~D9E=h$r ~kZemM0NJ|ܲh/=}c1k]u*ܧL3M0*r Td4Mn%7?1)3iZWN;¯ZPN\ PPUD mݒdRt79Fy။8xYIT j]6Wi͂Aأ4<Ҡ ]橸:+Nk#lMT u沧78diR^f()^z{jFqF@Cd+?64u޴@QI[W?D;O^UU#8d$V ϮJ5e ff*Hj!,"he*^Xj\`QMy\ `hџUl]qy%#\ Q;c!:oJRS뀱!,L3jY ~[/h.'U>vPm`xgw&}TO6/҅nߓ4v'!ڡ^[ y^ d RrRiq ίIt gUo(ti%ZS|`uşg4bII[W͚}ljv(Uw_2_Ub5d)h*he{+`0-kD 5X5w]Ǘ)DAę _@k:`\MC9CTȚwds4lZcONYIY5%4B|Lk^m Ef:~BQjhV3ӊge~"Z=45P.qFVIhgYb4a/V:b>T~9"AFLtR]}nsUЪ7Q/6^C;Ju":F,|_458ā% :~MDpk-bϪ*5f_~iyy8v<4O#]eb04`"D>Y`N¹^ݭ)54x.k< _D_t~ܢh(ׄ=r-* X> }WYAY);Dpgq*y)KmΙL;M+݆mKPm3ITE: aS㑿ÔoinOIWON%j!4g8zd[ThzU֭I">~%j*' Eb&nBmg}lMՇJ=˘7Ÿ3_aoSg .-'5ycrl?c/I{6^vV?VQz N+%WHZ%t`>?v% kڣ} Sܒ"+Ԛj506)HR{leaT_ T!_!^?x~X [;J?uvYc.̑g7.?608OtܒP{O<2Xdͯp"[r]L v\b:φt{ U$x,kN+\ܣ#&x5e:֒^MhPZEŧUU' Ȫ=޷TPgj&j43 r,p#M|D212Ɯi$gV?3~1Pu#FCe﫱 ѐy tK<+CWGP._FW]#xk7@똜D-6O9f2'V&sQg&+ù!S+Uۂ+]QKEYa5%QA2AX!vDoCHIhMXTj^N] piLGMv#@:GF\`qX$֗7BZeG@TMB43v~˽rZT 0\YE9iMyo-rw x B ȋ ͗a]7bwjQB:07F]ILWþHNu:t59J;F*⟻š짍}SVGX>O %G÷`YdHB̲PqʩH6}y sc9'2lu).&x06jd=DXΆ8rjHo׀gVZڇ/}D]lnb.{熴 3& SfS0;Z,Cɖ2;Aok"}.IQoĦfvou#91o; ޷:-k9pAKA[fQa,N)ՎQw5Vg"z:R7OK2F6UWl?` ǿ2_f_ky . ﰹ 2AFk RwyivW^vf%i\.>HF9蛾+'~s&Ek'Fyt1B{76{UBW>\cW-{YN|EAR;*c夿%8 U؃*[;H`}L0 q+<߮BAk05zKܧ}9ۦC"1vLrWs.i,X~U_/h䲠H9eY-S=Ghn|s2Z3(i ѽqBvc\bnd#r箔1MCZi;㐘ZL;ó)cs)/@-A*>?YgiYs~ q&V@yk<ͬ_Zo#$"CpG:rVvx3Ӓs^=I ,DI$Df11`§j(eRabݨzj_:znt};zwy1' B/0P- \pv&!N< uEx1ˌ4߉V%1d$d=\C2أt{ʬ)>RVf_lIh̟ra3J`DkB6[b:ry+"հm\|SiEX;$$/:' {a2u=S-nHWDg )7SjwvW˴Jm!سCjZ90hRp8{( X4H Q6M* JPHiuy@㕳=V`>Ą ]W/2(z]d1UgApk͠CÓ8 ?L]GQ+(”9bnxR̰f3_#NV 'QrI~5ti3S4#&$8 5_ZS'4@GQ$l^ID5A9Uh>nsXJ<7kRI4WC0Ja/zVBJ?. sU3͚Ĥλ~<ծ4P*VZçqnQT{"$ Qq<*{7nHdDQLgJs\Nɒ(bgYZ  M M(7E3 DHOL-Proofs-ExtractionHOL-Proofs-Extraction.Eucliddocument/Euclid.tex7zXZִF! u]A-MՋhvG"uIBm5F㝴uy|啡m!魑ז'T H ݘ{=.e-\BbkbG_;Z{%*ɿdj\1(8 %.Y%]+^{wS-bR ݨ>lpf 7(q;:2z9R2%a6מO2wvte}c&ؒ|_y$`ȀjrՐq9 mHA0L\`1 $ Ϯn(?R L7frY&uPʻ`V& o~#j .2.='ԟPaTKV.%A-+mk/>2Z⼕Y1>" %運}.ٯUa@DtY ܎q*?cRf)}2T8,O}4AɑÑ_R>د+UjuFyӄ+qA>uDB٣z܅5:K⃹*333uR2\LY]]vcaS2˹H_//.ln?_R:~C}Xa( Y^Fكhw1h;wݞ\b=.J-)gKO Apâ>}]i2Cϵت\>0u7ˑK.c1:/o~fM'mh OL2[v6FW_}14~-w)4FdKzi樥 _g{ȸ RJ7W#  Ԣ>%-1<|cQiZkrW'>qa)QGr(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s,4ucrS^@:H$?(x/ɹg%j==Uۇ_i1$juwy(! :-4 ؃.' }>A A6x֦?,d"uwVu-r~I]ӽ-R|E5*ܶH#6;nXwyGb8#{YO1HQ7orqW"D9XM8ZwF dvsoV ld+o* X03f߅2 V[ZD$uxmkjI5c nSY!f%T߫M8x-XO*g99Y=T>8 -kθ;h?qnSKv6d.XgpJz%d/Ȟj-;5vX_B U&cc(1”E !3~4FG,#1ؓ^?Y2jɠ,-ZcL0KՈd+d69HHWjd:rA s騒Cߣpr*Bc= 7|3pWoMJ4tp2/S2+4i!6D .F4xCBgMr}W]s"Ew~PH0&}L?_yIAW8B/uM7g"KcW[loc~}'VsU;bŞ+O|b̐@< \عD Z8:}ƽ\~EVN;U/pO4b&jܧ=gɅw&4ǫc;b7>Q ) ՘iP\{uuU"~ɤ/%~ afIc>/uҝH ^LbO|ՎKYx`wG$[ xk֬ly5y "A -W>qJ@/0kz!{O $>oQwӌ:B(!өp{O5I\}f{jrj\ ?4#KB -' Dbp;⬑B5f! L!zi"n`]03f $ 8XiJLA&ʼn5ńڰ~D( 6jl~u"uS_扱?2 "XE1ĕⰐ#nv8Nsd1-߷SQ0Y](~̴ ucl5#Ѐx=lfͦ[^`&>||p*,utw+j*>WJ2'©JM%=ٴ]b(V<9_9D "C1=G 2.W(V/toGJTg:b[FhB$JI88X= 0{))D/$nKM&HMi+H UOtlQE)u,p65Y]r6]<)99u ֔HfyT<)w_LR:|n?oL3W^f>Y ѳ]⢡M%-EoH"r?GWZx)E^͡x0qeGW&Hu>Ur I25ͧ~Н!C5vӼ+GƜ"-ibcv&ջ))/@bEI7v_Pߌ} EZBn]4)d: e)? vf7w^?|_9F!nUv2!OLM_uܷ'5^Ry[Q9\6b7 a ;fIߟ<^R+9v AG ,UHBcp_icU-D[ 0\^EAU."lo^NGoW;  Ru n_Of_;h+gAFsԊG$q!5NQ"P'+7|jEf썧0<,Ӝ]H0YaU9~=hJs+F]B*zbEk| *2vާCP $j)O@qG >,ʬ*53>!m^{_>$g."/ LB啤#a= G.f re51<QW2W|l[*v X$"-1Z;gYZ ||7M= dHOL-Proofs-ExtractionHOL-Proofs-Extraction.Pigeonholedocument/Pigeonhole.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*T[M!S51jk" Z b,OUX1T+/%.+I<KF}Bglj\IӋze+Mw@1ѧ1@/™a'Bɼ l9ޅk~PK'h?b Z:eG|ߨɬ;.C;<ܱ'Wݻ^(;Cv q@G(RK ZZKzW!> gzw8A{&l r<@mf +tU=n=i! yxEIQ#U-p&辩ؘl͓I!m*UiBfG$,DA,B [٬wa0>HwJ6+"X&+ ojdv[R]2C$9]$hEdf;_Ź1vUd'LwJ _a8G"8o͙0_b>e)/c(IdRQtD*3V}x$[IpWϩkCjmEPO6#aywa,ʱ)aݒ9jwÁ $B}?0e'=b YĎmAAᬶVڿ_LjEmrakIޒ-@a/[/ R,|-حE[څYr}HYoL\NŗuDBTLfjb'WN6btwZW%+LHM/s o=B'xp"x ݓlE %S.e47Ն^UkZkڿrip}kӄ~泮V7ds6ho[,AdҖ ).idy\jSY/i4lFq0Ll:k0[Rxψ'I5e q EPzV-Sjy JC8$G,uh4љ Ku:TI$/tSqD?BWYR u;VxB#@9:"#3'z3K6#)˘;-p%WQK8RrSx#=Qj9t-%uH@v`oc1n\Pq+izT!sԈZ.|TJM1=ϋ vm|ʘ:w8]+I7v`7:-?Sx=oMdiH|Va:3kl$bO+I:׋_Jg +3#S!Ro)>LU;Sep[ٲ70H`RitNwSBBka{q~jR(NngR177(}VD 6}ngAutψ wAt: TΆ¸ė,Vj87C.F>Y14ޅ;Ն="awccݙ{͓{ˀiˑ7פ,9.RpěӬSzG cI̜GE.,׽k^bn-> ~NG#BhVfbGCcټni &Mbu>[-NOsߕMٌa Ċբy4XhFE}eg?L:/'[ԽPv /d&hݗ/!${NdW|JiIū&ú`Nǜg}Έtb+5VMuyikDǣ'ވ/H[v8 F /i'~vא(xp`[MߝZS_)U M> (s|'J33+k=l6"U[\@Lò3Ƀ*aSC Ix9O)ncxJбat,w؁Rc;f$~Wzv'ѣEJ8(,W_'?Fzu9I#q>gprXǔ;C鈩VX3f,9zՂɐ|ƃؘtd27!eSDT9@c}/=nN"d88J~gVG % ִ3{ZZUO,D?A wY*njb=PgYZ|1*g#}FA>%yō'v˵5E8o 7'ڀ-U ڜaXq^d ~\3Yj5T%:.nL)k DtFb&nSʗ^ vk@ #m?t%ы@keJEDY`wr1>^C4ZG0rȦ '?#A OzF VGD9D(§|dwY}"긧w7/P!Md{38%t^O%>f0÷8{v>,MT#8P Hx{lLꎂGvj&P/՝nƀ*۸~jL:qPBiP~(R;Mvp4Wdע1OW) $[5@VDy?P{nL!*w"E`& G~ uH3D=084|Fy%zo.w NL!vǜd>6 *"4[m_{i&OI x[@߂攙KNlGI9):Lb$|l-bq#n5\.dE+H{( \.H+7Y`߸_uFt+]NnSֲQc t4Rl}_ERǦf]zyw)n(pbZrqj<خ%4&Xd߅ߐ61gʹ8@a0kNd_ci Vsf }OP<6~]n.CS=r+O]8|IJ'0+gޞ uY[ž(юՉL\539/\>V#'6u("h&`鲅8m+iL{rS ja<"^1l.D':.ԃQi;Q+;#7fkT9xшPr>yv|$* ,5߸Xr;U3N㞥yG A xp~[PQ`& <%{JGݚ 7fƻ'TZUݑGͼ?,M@x/o"o䈊dZȗlKʎqe(@MF_ϮVre :W(z W NTg=Ж756@Ǝt6(=F;f]hSVhǹNlP+G3YM^!`9͒6u's1<.&`ˋJJZwIԔSCHNZ#yuKUXti(I\m"fb΁ ϻ^߆T:czj4HN+L/CF(ygg$%|x:3Oj22{f-_\e=p答-p$\@a1zɼ,<>Gc$ؠ4Ko wMIo>{=i+mM-rVlX%plH^{~Yϡm4$=N&bTZZT;S#Yv7{Ll˪c݅ |htˈܗbB q65r ھռT=)g-!Mh# \6Zi- ?9m&p=٤8 Y&}kkրW` fN8ф4nf \` a_ڈ4NCj`&-Z]e񮘫xĹyM~ή)e^8g B?iݪ@.sS0rDr}<ݤ$]c8bxċwymM}'9˽,59<x,LG{\dI;&. J]Jjp<2gHwn0gHwOU5+3Kz ^S(My0 p>nW^XS[JTssk&y=f &،7*So!.Z_<6ڹdk(5:\WA~ UFVmV!< [|1Ӿn[x(`J_G;r"c?%ـbyRTCbR3 'sOYq)n}M\=L^fnE ؊9rߥ6!FX br-Y;*Tc )V%K]/1K-2a-I-DzbBPhII'&kENڼ(`e׹;J~~&."Ѹ&M} nd@Pb$0,BcF>m`>HQ:M)"D6o{o#Z}fTdEe}lzt_xaT /4pvS,YL4l fp =LQ r(pDt(pn<<H4DD*3cyF@^; CZ}Rd̶]ؼLw Z: ™^ϼ"!1R5>+,$߳FHjGc4N7K旕Ȅ}B ʝ}t u.[5˴ ]V-pVŋMי'~YT4̸Ihq{9e ܾoH1H8ě)U~Al4Q_P>9Nijh4="Mr?5CSV.w%kwu}Ŵ@ʯZK a45ojP8R@ JPI3'sׄn#Pi;4us7AX S4DچFy$I՟;FȥJ(?e0Hj|Vv ay})!R:y);/Yl[W{u/4ch&ڊ xYNj\;Cn$T_|jQYm'\vwPKb}2B+uV瀅L 50m:BanX?tlܦNU[q. Ba+o/>>rV|Y&KxyyvrMFm:` 炾9n[ݠ@rMT Uoarh1̵ȠTw @`,IT5#Yc" *spwʙ7BRݼ\.Tcp3w`nqXTy un'S'FKG_yV@a7H vY;Gfdpkyv̓ 6VQpTE??%nFjo)w2HV[qDM86EZBo]OgQJa[ I_l; RC-E(Puc ~X A( ˆ e%L!!S<`zX?6]r{L4Ha-IZL 1I _ x)jyqw4tzhcïDQb j宲^Cwh %y`;C˭&'HlZ-6 ZNޘ6=XPp/ːRYfdz+0rU45pEV(7Eg6V0;كY-Ҋ󈡚̘9|ֹ"sGtv ]t*pM̐st/ـbU:<*ߏϳ/AJC;/Dr%/ia6³pݭr9=Դ~,-ԟ )$kQbkҕ k5+ǞMl]>wSgeU .aLWI_x0B@mBϚF=oQo N6+ۥڗSN]IQ,!# #2;O.1Bf|^zak" bDܜwd a)T MKt2 5XPnN_j"N+O^/}T>C㻝m&H37@< M}a [ 0y~npʖ7^&:o08,@;47p9l9綻g7Ũڀ6}GuM羣W?Z 7}Um"aĶ L(:3;ۉ͒ep!ؼHH=lg:]PGxMݦZF1̛.BZ y6lxl?Fi8vs>TՄ q*=ߟlUcA_^B/[еNN-5x)ũcT3 8ت)sˮE`t9=vDNz.fh%82'tjcL ϓm.7"'z@006HMw~X/Ȁ0g n[1b2{]GK:,(b>bX[︵2Ň0]A<εv`Z.l)eTEa݌pZBpzjk:zQ!,=3Ӏ>j"_0ZtY{8=m9n`?4.BR1I߂ MO(jƥDpuVնؾ[݄rjGYPw)+e9QӐ6UOWAZFq"iZO:-~&⻓?Ɍe |nGoj,PE m*Sc^F-Z[^!!hO9%ĕzCTո_Bd a8ظ]0/c5 ܈y|LW#?ߴ)i /' *QwL-qzJu ,nxpbA%S>\NLb4P%`4 ֏նNKhzAM6fB TG$`ݹ2!eHȠ?M fji>l |r?]+=rCz&[G}yA =IkR%HIkiBVPWߓw?yP灆،,ݐ> p ޭf+ Ej29c愢T_/ΫΫX'j{Y8# 4ZEE+~Y ܒ g+BUYʠtɂ>ErS1jO&!GSnѧe6 _|"I}0-5Li2i/2rDWwvs %FAd'Bm7Of\qeF}f'`^V os{얔PKGC8j;vnc +4B$'&UHϔN +!%"z4-rR@ 7 m}1N߬LF9g.a4E3,JMNZ+ES u)I btC |&e8]`ɤU>7BMVw r73&TO!Ԣ1,8,j#d=;^ZlGQn_|l~$OOK:Ϋ(`+A9`.9S-ͨrg ;yE͝F֙ { Pδo?řCb.$K݆e,2ѰzK z4z]'ipք$XQFקN!sVnw*ϐ @a3P+ b8؆vY8خ8y%8R~ߞ&Z"&;38bQ=sݱU!-e΀w=DO:ؕG@Cn1îDޭQ2w%˶4eo6a,/QJh#"41%!iݵͬgYv *0a䶡m)b3.B_}rBbPQU'>2)uw rWΪHId{Hv^=dVcu|TR&Gd7ңd 9iϖx>kj YQ.%Υ@8kxg{ /lBkWڢa(g\S0q/|حֺ{o{߱ec ;MI0a79zW |R gJ||,;&VbV%Ϋ)^{Ȋ~rm &ZI.~Bkꮫx. Gx0M޽[X=^ؕRc;7 | w4/'?ͭ);[qVm[GZ;8ʽ˸lx!׍lPWu`[>F?Q2J+@%W JIe$WV Z߁cs8:zxbms-::ǼA8sj'Dj ԛJf?_;6 ij60eM& ˜vgiDv{8*؊,>%gj{8rWH߆`P fgzX_~'8Ǟ1aZUh1N " cVcR٧$BX XbY1ZF_0h&/V@2J\Ln(KA KS1óZ:@>!ꇥڪjXKS-B;x%|KVe7yh\6M'ϓ_x`7} F H$Wh t+ aa]@uqU8|'bHǀKrXmK^4HG%#x, _o5zZ?Gi! ٜ<︯~8Do3`5dP7Tev,O2{I$6_iEvWp U&?zGˆ.vǝ씓 h" {Fip곏 Mj[+t d>/ #j+k>(UY,~QpyJhsM IG~%u>gnk9Dv+7"W;Mw#r_:a8gKn=xk_ɔ]+C:(̮X VD<\Qohj/& (dɋq5Cj%-Awm?RNd؞/gEfSɎސCw+;ϾBg|c2YEMN8vVك$.D,۬5@L4zAJڕ9dէG .Uz_OnkZ&N@ \…Zo]oǤy˫D{#L8v8g b?8vWd X#j ?HpJSB֍c۝ zCog}) (yՊfqHo69eZA#k`XZ4kufZCqEOO5a$w29n!/nYmjV˞̶QS \M[JϚ&\/'=oA;v-(r0k/svV"'`~߭:9F>ZЩ=r cH.Zr=}|*<}W.ۺ"~<$$*͹  @a{RUEgWleclھ6=dnja9]8Gk)`r(U0q\?؞ֿ҄q׉Pυ\!kH:6Ɇ쐧;-F y`yϱwT3͚n۠/NXv8Z5;JmQ;<ފZ7QeTz0 ]0or=FZ -RL8$ksnHĤjNsdZmQFT戤syU(,#-En10񠒯WH=ԕ1@[H"On3hf#6nʵ /f+[a 'pp2t g!T^:'ZYVO1gK_1/kR<1}u"P[)XmakY]xJnܛ`}i@`rawz5]Otıa*CXnQj5_CbjŻn;%]4¸Mrest B)IMuE{3OdɥwZx_3 e IkܸQqk.qiIيqO-l*1gT?o=Jkb6YL0aF3NZAi[t[8OX9z.G0y@/A|_Gh'Y:W4榤*BuPA;K_ҳ?w%&U!Gh]pR;FKx{qcըzS7{Ө/[CA^f(9؛}vqƴSktS>)@LD`ۦnfJI\GR,mG)"_1 $4iN%H#2[ύKN3>֏uZ,I+} m:Q|F=~&.K<\bwa E.n Ԕ Hc~Vjk$,tķNȊYٜƥpZ!qiO!TƠ?te X$LЀa1k\0W 9X9[mћ1:ʼ\ܜ䔕M<~R+<柡-SZz-e|f"+ :)QXprlNMTR~o5_l&/xL t'7n]\y90?Hgl5c;'+t}XNGD7]x#V#U,l($tM`SCdN.~;G-z̈́<ij /Lh%Rv[cT Y'4f+EW$)p7f9_p ?vjݣf=` !)2 auQBkZ6z91eLQmSX/hA3 u(Z7~܋ #+QK%uO?W GYl,74{~h9u+᭔u+2=VP\)VcŘN]AC`ږN.AlSl7HY ߉2UjKFcPsw:t῱'0Qs2)nJpR {>ň 5_t0Uڊ;L1s8#pQsLj%%@o<)$WJkH0]JcLݿ3m-WYBx4z([2QnD`#Б;wH꓁ÎW #w%~#l|Y.cR~?w.1^N04 `#i{`jW>Gw&Z$m{''W1f;s2BhaS >^TIJKQi~zk\u_+ɳ%l ?ِ ޶;")@T"Y ZASwZz=X]-ظj0&H<8SQv䒚]RMn5!N$]ʧVcl  )Q64VGP,FnCpj oYA\Rr ֺy՛= mK:PM:*duY mn1sf: =f^?7ǽ#K4j)e+Y}Xf;POo_ 87PRO}cӖLj)m~0/)(o|kpFcyy(UI >Vn hws`.-q+?~\]eG-͟67+ZtbakP]$v7'{_?ژ) SiQiNݻT"@o|O/?661µ Fhy}!޶˙- 3v>543g!vA~~4AFmWU%At#G9f\G&Yc)LT/q@ K~ZWt㦗$|Qg`.ЫZ{V? fز6hو#tPo۞Bں&Tm4+Y_VY"Y7'X}KE*j (3&uDT-,m_YnnbTkA;zyhc8||E CMXŐyi1Y7caRf7De4-ӣ{dfQr`.&9PQVLkfrdhb26s&!oX =| 83dtg 8sDu9 PG-Pˢ#w`XNj obHHz9BQ!#߇zw3FzO\ z@{txYknV'ŎG4h+H#tL8Q,`JS6.Wh^ʈMnɥO' =H@VC;-Q2azG4L󈨟#BGb'jG8fAըK~jqBw@AǤam*Kx>.J6HjIq8v#g8d&~C`3$u0Ur{$>eꨜ^L p yzŽ(Bv o+xnI!2)н=oOR3)X3wuǯLFwu +/0\_R5!,{¹DqBDლF[bD)zirRye]iթ{`^g|8VOb6e";E8K_;"^1շAǙ{E t:/ӇA7OHs~bΔ3*wrJ]b/UsMdid)&JGX=&H&?pWV1ē 1;*|>40K R935ۅ1pP!9x3aἺ[I}ÍrXrX'WpgO5Rp &#T\E4,<ΐ\I vdOӜa-CV؛zkIU-Xj$J#%~jv)Kd82^鯘eF :&]-ȟ0}>~T؊lZҹuhN%:53_61?A|j7Pp&sJ^w]EH5PY_-9Ұ-]!+{B))X,wKZ!>.q-⧉GSk4 L; )vg~~[~p^ ][6_ۄÄ|<˝vkWYrH)Wr>3$kk2 '̙Yw5.ΙkHv)1H vsQD@&!Jx Rvc,Ǯ\[5fy|&x&n_gD݌XFUbZWD|Tj)']ng*_*CCBd26JU:)ODIF<`>=DrDc3x !ZOO҆F^!*JS+XܔxJ~/),Ň< .81^VZ%/nR٨eT9w )*z-KzQ63\4R_fe>,S>:~+GZ8lʢ_ychTʺNㄗ/xCSr` 3ɼAZNy P[ʼnNƔ=!9k&@X <@>&\1+YuxcLvI+22+M=ak3Cly"e2GG0aS"8l~ZqE?XRrx[0SO d6a7A\b;c2iԤgzaJw;tyiU!0!X9[rI\|d>anVfU jF_]-BLCAΙyemm6 e@wPt!|Ť;RNEzy/cP#ΐO|B쏰! (u[No*(mp# 82Ln@#vi=33zAo =Ճ TQ!Lrv c3e5/U5;3? 9 (RB:#l s@>}hpqoЌܳsI; k%X ݓMߣ0L֦[`ef+'" {5j\)Lwej͟x1GPƅ.]mo5 гI_^p֋w6y_;|ƈr/+K@ 2WX{52/"妑t##j80;b;23H>*53!k1V1~7]/>9JV3uP 3Mp%NT23եd ȗ%k?Zz$o/ˤo%+¨'HmiL1~4 /?[ r<=}. zR_fjWeQQd&p\(!U?Wպ2=h\z0T-@yم@n ,+Yu[nrSx߄$P=㸗EYpبTfxY1.eD&FjJ_v$x=!ZR?l7`HG'b3gʧm N MڤZQ ؐGFc!虈i@*ExynˈPfm'OfVd/AaODIJ׊Q7P^E) Z"Jj gHm#.^*1`SݺU+$VСd @ sKS{>&Vv ,Ir=iP,縊1B ;B?N>3#4X TGPئ +Y`|j C9;LL@6-8apVHDGoP,r>񻘍*oo=0UoLkΔw{0z'k_䶂Rv'}@:@}9yk{c2B&͊+ISRā[*БBqT"^EVŃ<I9@/V"pX =y5IiŌ^{9 }+:糅~1]-{stubaĶ Hym sG{8lvlcA}ۏV4P-n;s_֓1r;t^My'մ#!vSR6 d=sgPӡ FiS%Yf͍Z ֠f ib-aհ6U@HΠo2G".ƽ*:9fɠuȿOHJJ<'6 4&F)"KJJkxڵIQUk#1]EOBh>-M)9Rsmbs҆vPcZ$!:nÉ]Bk}㺒񢋳qxhntOWF|(2gwg/{6\SmI(VtRtqḎq" XR4RT=[F O1j}?LXrQ,f<:. O&p6T/7؁Y4Eg~K|ɳp} ww@Y=n07;ADo:!f"mEX:%;h^69E?\D3 RVBu |-Ң ;c;#xNx Y 3!ޗgYZ 222 7]E ,HOL-Proofs-ExtractionHOL-Computational_Algebra.Factorial_Ringdocument/Factorial_Ring.html7zXZִF! jXX]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)nرuc9>] fVC\+/ig"Ej*hԚTz?N? ^a& .m$֏MB  X;\*s睙 a`=$e8|<֝"\TTmz;ҧ3ee jY9, >pn4=(yE>& c(9T8ѮBSA#@y~:$KcΤ~ QUu9K qd-0z٣mt\ItbtUi[nsMB7]>+^MQiO\wS*֛1F_橚DD${?6kavRs8a4 D.bPMVG2H>@m_{'JCaT2M{@&G(FjR!;ĂQe;LiQ_p;welDV!qz 1VҹT;4l`bkuަ;NhB~ oRn,;GLJ> |Xs<}SHbj*n~~Y8Rya~S& ,Kwf[o5 cz>mDM 8b%x~T$WžGV[ꗍ!K\gFˠ,[&&$D  Z_A[;d ǴE窇C<(Lp0$@M7_u=ûJ4 ;5ѪWW#09٨1qcq!8/"0,ݸUq0=뒿gXf+X Oš}մEB2/A虴޺-$Gp>zJvwOM{zAk<$C"ꀜ\8NV&gW> t'IXAr_G3ITWXq@fuN7IӘ$Lj }`}7!J\:NȀ/⿤EΌʖUY m4>"F抖Cm؊qvg]m?b5fuu& \OTx2dM#Ȳӻb]7c OGr׿=v Mz-7'uUʶo5j G-g$ ť" -tB7~kҍ@.H١./;[H:1cJ ; _&ݘX\{_%?W~~+^ '߬MhvO30C)P3)e*\ɸzaV}<;Tf4ɯgRq5xcd(ɯ߼l=4V+f ë_gY0Lex+-H_ۤMscpyJDkd@oV![zښWF6(Eo<ҎCYcFMUȲ:Pa{_n@*Gwowpof =.W pP>P&9y$xUVׇ}2\>.kOjFugA^NN$]txGB5hz&3D 3b ,Nx7u<@Pcg ғj^Ք6BwtkvkѬ+܃ !ԌuvF9ElXP-K}XV,dzq;j; %ndJHWmH\ڼ3t6+0Oj| :"JEfR&[uu7C]\[ Fۃ1Q%?Eȡr*#O*d`h 8Qbqz($ U/ {?Ou-aR-F'ߍz6ǝ)jn"?gψ6%!Н1l$]ua寰qst۹6<)Z a2#ǝ3=?K-H]IocI^Vx nS;v~ط)qqND\>HBV0Z/kabqI+ۀzB`%[}U#liE% J/!9+s1umK+cxFi!wb>VN?*i@a䄲`H^w+ w>g@;EkEjt4 zmnatRSIa{B•Uh{疧 IWV+ xU$Cޣ屰5SK JD+Vj9rȮ.L tB`if{\mťr3[wץ@5?as) @0[@$$ot/@^Xw,YЛCL+"P77#SWQ2K $z,HZP]Rד(5]y+KPW.+)q<7`lД֧Y NpN:RBNP,Ƒۀ4]!5hRt;*nL <$q$%$CG_iVe7e гT*ng{rle0ZJk lfoZCs> ͨ=7>>)$vK %.d%`';{eZ76'067Bwk.gg ħ?SƋDt-(2i2!?RdI* N,D}5_ZFȒUA=īz7Yr0*NdPvZ&PVFss F 6{!ႍlY5Iy#ċkeon?eYtj[%:_*_w L&@Z~\wzR]\ /g"8hҸ&МC89ްsS;e[_Xo:]0DS>sfk<{Vhl4([G;U[=V +"Uit)۴g[}# sJ(QR;_`I+^F&󋢉o7^hfܞTWƈtrqˣA?zWmgYk&ܬ-) ]nne4*dt;+vq?݈W}'7y>;'{K?oG{(;Tj9"欩|ǂr xW6sb]sqo_^>oKVn`pE?Φ'MIoMaa8:A뇲 @[VVFgwa?s?9wbL >k?*xX^-V?rJEhϷ=}%Ij+LV|47TyԱ \[oz&AΔȖ, '>#\F䬔zBd$̐Rl93ux>3Ҟ9`|T$fAf98 }N#~wEE߿HlfB16ywͶwjb=y-ކv߫K2/6ueUSX9gW:4XFU}]sKA@ zE|"S}c5˰]%0;9)OG_5fS1 {C@ˌE~Wu44-^wOL<&M]E6(1JQ\j5JX7 ْ3 'v;,k }$5W)S3Z<3F337E#6ily% b EȘF̨5p7++y33yo]peߕ\3bX/I>I w>݌6 <=X`.dBu& *aMb*ܯD.2# <x_H,R"զB3M*Ug`:Gttyp$zhAgxKF ѹpt߀K Rҥr'02KIQO'Ֆ 㓣5~ؖ.+&=G̪(S[]_װ(cv¬ szxiۑ2? ?N@s}@=#%;szl.'Г;1d%]-'-PKC8{x? !pBpĉ5+\;T7h176eNXIDZ/%2u058k!s75-'#JRy7ݿd}KsNRcHq̳UgS??#0||%m>Y^x>ZfT#Mp)u3^&! w!^=a6~F' ,<D<XwJp:xg{X%!clrµK3c>eIDiK3u22niۛ$H1Wkd&S8kw9W3k= ](v&o;xb-zf81́Qz_<4ݼLïth;]o|Ovf:{-O$l :U8gєј#ݧ詈 UABcTUF=bc<§=)}jUf?qpxQَ"P@셃wch߼lZUK/`Lm5GCurCJ{WƴVt{c8|៷`$|x5"}mUp}lbB:8bx0{櫟g- !+4ǿBڌJͮ[A (`jwE $+ <5/`z"Ԍܛ61@ [[&_(( r,"x1ÀY].!&1y`;{lQ6[ڙ|)e5)t} -ؿ# E ?΃#WSJ&6p@VX>@} j&䳅}@=Lq~b$c]A2ef6"ewVO 3na&J3pc)ULݞ`Ƿ;/"Hjhl2;ꠊ*j|#F1Ñ1U/,\ U00…?Nj,K$6WDVę. Yqtf'~)Qf` "T%`Vx,,-Dr~nb~+ kВF.P>©>V_JB9(`~E/Gwn/gJ}1nY[$ۏrҹA5@@I{./1͘LPDp $*eQX˸GHM@#tU7]= v:(܎9|(2?+.,2 -W2.=ɠ`bԈ :JZp4dHhdrb:yN.(Az0< 0-s2x'P;5{/MAȬ|jjh <~-f<ػ ӈzk&V.ͷ$,PK* G՚vS( SmPHbq 9=9TIxA=hۺ$Ww*;)T=T} f] 6a|,Ξ0@$7) 9b~4Դn ;* N/ᮨxõgv?[tL_dѢ^d4SACv-< t)RF-e H6*MݻL36jc#!` "?bRL&V: cmҐcp#Fs%ڥ143XѺQpiշ%g&;שVc' 4j[ cSj$IS=]q XsWB_€DԵa3$[$F} R0B<%l}D;Dg46:.q!}L[aכaXntJqyWкwiTxZi|2TȖ5]GAG U>L^jXEל4DZ~J_k?ЖUUbv{ȫ26#HÄWlv bO\ǍhQkZ741jqG(-_ bA@hH887BçsO%lf7?U{E]Y}R3" 1#Pe۝FTęY ?pGU]ݏ+ 4mv=3jw 7O$K:^#?JacOS(q3Z9~uQ>GVa|ɗc%z$/q6N;|b`[c,!VRtWnZ=LoѾ;3n[<]kȬv0]gE%`ރG9ZECN}B^zJ; D?5O,rO߮S]HduToE* )V#9F/8?L]m8O(@norqt&GbY?%TRy˱a_LZ1bf pTkzښ/k~`5˪iZu狃<@+-Esduy)p`n:*Bèpr)D ]+*_I6-Y\&'&aUd G}>zN)el(v^Cn5Km*V4FseztBf5)ldB挮  0Dgض 1,ytx!Oa S=prKޑaCE>g3K{ёT wlgYZ ( 7I7 ,8L;|-=Nǔc$EqCyCJ&Ne_j7kD O[D2.@_Cajl_~~U5MĄέ9l,]l;=:|:k'9EP ȸZO·Q'4BvŖV㎁spYk#F̬Nw# +񅮆PP;s+W3qxMKCϔkyۜƪtUZޒ)pd@4 nG$EPK-ޢ=HA{܃wqJnag{$BLHջD=)D@g,lqj[0!sm"qB,kNIvF MC&8~#>[_m'7oy|Ž,ݛ ޙܳymݕ}9t&aHAV3Mł}P'`@#i)BZ-u6 7u gCLw՝ tN;Qr--ܱn` '&F-kt#Qϳ&oSE֗Zhd| a:T}fWp)\$%ǩRT}%&p;x7"P )b޵NKG `:bdoivfp_H`J;S /OM:~2 R/do: ^6%N-EuUb|hV7ۀىnV73]U1"Go8,M|s1l!B $e}$+j{߿*)fn)-m#f]5;؊' "/m f*V!8Q!tuJ'ǿ'Axt b"lu>ҖWv_q[q:"K*(Z†/`}I,Z fMWD } d {"R#s0*Ċ9_2WDq$dKTQ\Rk٢IOh9uj Xh/T.bKg#.CV_/PCgȎU8z~'"V#adVaO8ßr(SOCQ*)O*5mw,37x*y/9oi16nI隥u |ƽ*DkwZlh'˚4l) f3.W: eMlc rm0#CYPU 4%l5?n|&١[+!Y6<aYŠVR!Y$}ݤFn|8tU\(+!4z;2<p: Ojz#Cv:-zzuVZfkݪn1 ;蛙<_E'U[S z 䥂ko n(1EtM}Muܔt6%PƽsW B7$9L?t *_ѫk~dcfr k ֓fl+̒ +`wO#I;DAʠz}IL„(-8M UgV/mf;Zv|3_$fbcyV&[Yt擱^t;59MG܅/%|`b7;՝TeS'kuUOdyZ5%N ͐/ |Il!3 [W9Lk!HR޸7Y8sSqr&kFHں3SqE$q!$ j=C¬vJӝEiϟNӛ;IBYl 2e(f8ɓ'!gWZ-Akk!@6ULFm]M$.NBûE'GIQjkXQTbIx&v35x]χ]/-9a\m]+gM3kP_ɒ#־@,(u`\ R8r%y4/ߥcz= Yd J=:g]IDd 7ߵ+ًeC% H吹&[b(XXKP'  c}tn[y8 R Pv-Ԇm'leBP{)6<Ìr82e#hz[6DeTOQ^1N=ȗcr#Lǖ Ua@GƿJ.+K $?^l1*7UĜ\ݾr+woVI6r\J4'*-QP!FzwD-ki/0?jĶ?㌸6;5X F9J8y1Evhڤ\P{ lbnM4l'5%OYRn;lEva!j"ЏT !;G]|y?$)Qռg(W$C˺(9IQ&nY|ΐܦ11Jٰ#T^BXjاoRt|(F4r3%.>%DhC_CV{p`j#k1-/+º_byy*t8CmmOpCs^2-"jc&ՐUAʈve ^Z`/A_i,5%yhS6;KO#LSN1dlrFy7R+vxRHOYBr;_rQi^J44-3p@J13e~e^Sl*;J &MGS{>^(m_^)bxٍQU aD̃r̀_ϱʕ~Nge\JQOr7m<miڸԮ`CWT[ƒMĭ{mvH5q@΁E.ђPi܌|IQt#R0cN$5!Zpl 5WD֢tpu̪gNzU?u =ь+s}xzxg9]Q3B<^:-1a<|e`wmPW`_ZL]5ذ* $cC I -iţKx3֦fI_ʖ̈pPU<1( ba wozό͌A<RJ08=\ ֺQ6tJSᡪ T]qs"]lt-la%uI9؁XHM)m>lkP(vpUUyd3;adfCü03{ϡYZ:ჶ݌LIk7` LoޑHljKjՕâ%%3|Nz1j1&Q_ES?GNp 縷 ǭZlaD`{:Tyk"{GlA ML'p[1ʚ\/Q6&ݝ kC#:E g҅ʻS<笔;]ony1cE80En b~J3>LOJMWƀ7ڂM$3mĬl|J%~}[ <c4ߕ(MAD{pVi༶WTn(]Esw`O(Os&Cytke =sHo.# YylVN947Fp*kUP&ZaBKsӻ[] UzYj$\F 5TAG@4U(6Y\m V'>W؟#:Թdy@U d;aG @t m=*u\ɗN(YS%8Ƿ6\lP$̳3:S$g\Cvۦb <j!ȡc/;.\0|T9t:Ew{Ǡt@gvnRG@7gnAo݈|zx?1BD!["$K~>[aM`yg]e? [MAr_H)K[h0*B4Nw}43.N2QꒃosV5rȿK 8dgTٰ;,at*p/7S[[ȫ}RպU_hRSL @bR(]{]vm;a4&6/f,5eʻ^y4CgNԳB#쮺e 8U, ]{4EmX!Bڟʽ\$DW;m0~@ĎIM.ukCC<fu!1o)evqr,Y2F;a,? &.Ƴ;359;Kb5Mq*sN$U.A(Mf*,ko.*X0yRovL3'}鈪vܩI2XQқ22uyɵ;T @!gYZ hh 7GK HOL-Proofs-ExtractionHOL-Library.Open_State_Syntaxdocument/Open_State_Syntax.html7zXZִF! @ ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*>HR[ts:9ʙ}9[]U jTD3 -YptPpfi_ǫTR}_V3ӆs2 񅬋ba=n4eĴ FVUì1+fiIE_Mx4D-LBLLe&G G@*{/; *ѓ^{vwQ^߾5{/0w\R'Ehf҄EN frQS0>@~7cFv{ٛ'VT~ cvUn0?T&jFډǯ tdn87\UfO`FAqykᆋd29!'$ F$.0!2^*ܞ4BuiJۂB"J&(s:JsbѹhTUHgIgqeeZ2'PuV+ߠ)`X{0pl8ӊ "S(-ǘ!|LOF&Wb"l^vJEIY S-oQLбn[47k[Gt@ɤfB;9^w-q]6ceFܶu,!>6 h4 VvaI>MW͛?fO&bTvf+餉l2:ѱWڊpMfK"{2Mn#+^l(T =%tY֡U1yǥLa2x;5{C/N>xT.N*w]IN 3mDM> ,) c1#zNyz:R(+> :@Q~DjfحBWnK2xUx :kIЅG7 CѼoiqԟ: X 0M>r}KYRqk"OG{ zh'"r〃f2878- hOo74(RqZlh^M샸`D5ha-l[ϛaTit=  G4ëLjs{ҟQtL$4cMmS_rKE\(/MlqћԑT[bU"ݪIT?-x[󈢆RiKBR*3xlo:۷M8L Fi!bz` ɛn v`޺[A?/ZgGle{ :Kv3{?jֲ[ !V]ׯG43[c7NY[7)E9BiEUAğ%Ҿ( H|mqf>2TD@c^jl6|'}' ves7\K{- q%4$@BŜC%H?}!ts;Ss3.Kz=_ y$?k5!#*آZ%q @$ 9t:Y=F˓@mW~ױ/<;"Z@p),Vc p$i -9mdc:Ҫ6c s=uGƺ-!RQNON^385(z1{ Z/s_ARE}T_\7w09ƴ'oKRy!%2R&kWw'CZ45L )tz6w7=\l%eZJ`NW6hpekpn1J+S[Z.y띫PY9*K)IV{1F!;arg>җ2C#ԋ˱gYZ HH= 7M3 dHOL-Proofs-ExtractionHOL-Computational_Algebra.Primesdocument/Primes.tex7zXZִF! 3)]A-MՋhvG"uIBm5L'ɚy8\2.^lZ8qŊn_}J5kLX~|V}[D]z'v8▽φzxiamp!c>L 3/a!s'}}~M -;'/sL\9eijgn N} ?y.)!0xёh)O>/+WK:-*Fx,0^fCkw+ipHtD7y;&Ė,F~mJoV}0B{C(fj\V[E[}pBWMaq;0͍Ϥ;?VR91)ꏟӟZJ$-9rJWZh l-%i@ |>4Y TZMWCptC dF&u@KlG,9B<]$7fIIPa_p!pvnVnVKGz5\:b4Uq`fny0rau[輏ָ?yf}P)m̖h]V.^{kÃg2_uh &6qvᴋ(g[j DVn;wUX#Bï ?Y{#kՓCKwmίTdb x' q2(XEM˛{D'\ C^`glΕHROJdl q : d\rbOz| X/IT{m\σE'g[)4 Vxuy5oo׉ $-ze 7CG ,HOL-Proofs-ExtractionHOL-Library.Code_Target_Natdocument/Code_Target_Nat.html7zXZִF! y M]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s:k+bk7KK~3vf{MC|aZ~IբR3Aג;PBH?BRF\BJl&ϚA^ž&'N*mmPWkz4m r|R$nH~61ϫ0z=:OjLfGQG m{YsvG07{C &Zz)T0Jg#DdӢ>*qwVӻwMű=$RN嚩8& F`zFs|Ρi.嶟w~I?|GeN183&Q( 9uٓ$w +p07J,DUQbHuo,_Y>P~7vpC?U?K"UW:+.nDw+@DRsr :i<»;`ݫ)^Yj3:Kj!v &"IP2Wx)E c'Ul35jcqeCl+jFaM?7o?%f 1GU9X/ܬGK@"Vz6xl}i ؟*2ji\Cso=ĝhYoXڔKd)\ThW8V\ 6ݾ $.GMX7l6kj1=´vL%{EVvYHq@L4e#"3)z蕾8 B*:KaJ¹_-[MJ a-'+F^oWX@4T1%uTGF*O>ڳ$8Z+ 7s˨|<8$$X6$9B+]#3Nџɠzoy'=ڹ^ZSvPiw oOF7(MyQ_"H4I3 pWQ *[> kwziJLxT*BpԾ L-LSy: $ n/ZڰwhIn_^̔J[_zhC5 +jqf , f#)= '} |`Z- dEX#74wa%shmdCQPokx0I ?-Gqs@Bd2=:1:kx)[֚46-Ly7{PT`J[5}PōZZ2y.:l}De-p{-]<6)찟* ExkǶ@CnC.>.+%?mݨDM!1xxJCxKV*1ÈBNMv* `}6~nW0,oԹ:/+-ȿu~9J`KDR-Ho6m1Q(t/vo$vCcNg աVmBho4&7 9F0Q}=Σ)S)X"fՃa= ]|NTg|%S@E[ vKѪ,ROM rQwSg3x0/Nҝlb.8,`ߙAgh.ffJgtU-Kb5Jk|ԯ.{9KY#OBٳl;: Yt?&;eZ9~o3j=D#/Sfr3VFM@Zn?LU: w4ɎFB>b\! G]9$rkCZ΂PT/APDFxz7qj>FZzYFŐh"1A;_I;c\Csd*BP1BɵT AQ-vms9ҟKZ7)𴢛C.vD>a=N~R[q)'c.}mOq#ȭ€gYZ &ZT΂Q7H[+vjC/7|FҨ&~[EgkCx 0̳ HO;swBD M6Xa7p-78qn;[$z{|mr wB#3>*ywʀb=g4! !Q0c-8W@b&5+ψՂWD's콂 tnJweb!U[BDvW@KNAeIZ!ZI}^;:Y,RMoEi崮;f6&!H?q/E$Zs\~?eL?\KBVM=kAy)y_ bthER =a{tsЉdݻ4E `t<' s?0y1~gSỮ 1VT~5YsV4NKW(i8 E,u])mܿXF/iL'>#R{ Y\;B=زn k N%&kx+cBbC EQg+0] P'_+\Ĵi<1ЂwR*Xd֎rDAZ}r3/QbI1!8V6Gqq!9&, 4ed-l7HailEb%v#c#y SEP7P;}'ߋ0̅F Xw 50ʎB-uSXk\]C<& iBlեǙf:'f 'JBN|!5Dg)kr+]mP\3e%;5:WY<¾A ؑti $i 4J]q(58Ս`#6Ml`vJjmz ԟUTKa 7p2 "uXvlCkF?oٞj.њLY\ǶR[-v@!H{o*7_ǵ,A()6A_xgC*D85Vύf jiUM+ٷ̘͞$O}K,=(Rd 2~"З^n4d܂!ӌ0'ڸWӠWv e=wLd,fs&{$T3ݪ?/WZbkG.(kB /L_d'T3W׵.4OJu1qo) 51Ezk')$=ҡfT00ƭq/*q/Z<ӪS`G3wjp3kA,2:h̐46m">/|0 ۞Ie xnAabgј(4+z}V]y o% vzZd=f=[ =U5jJ|-5~<;UUF}#J9'OܫwaV>$*h1MF̸w6V.𳱥| ^^I!hD٪Uzoy( 鿛I& g)y.bbBÖWQ9iQ. =^E|®W-g wXSu-x[׻ȂH?4K/[WG&QVyh9hge )Ui5--6LOr?0>30J_(#V=vLβFʑ7Xm]jy ꉃ&-u&7׀؇ _9 T /:1D]F/w # SOtu49%w! #ϯ(T>V rAULu.ZӫڗWm5mws3檤 -''!%G#a)M@%%y$[\hb yZn>9#hZn>sc,$[`/Y& 瞚d˸VkXo8kFS s0WzGx>cė+Vr *l& OQCE6tC"%$@HmQ&t@I@S?0:f!/_PvrFO_qlR"!HH^5dαeiWhZ%[pDF̶*pI],=Qv?c̹Q? /Me>)SN0p!o^42Ccw,N$ k*,o/?1Ѣ_gz h.&JnX=kb|Ӟ"˘@yb04}\/ɮ=KukܔNbrfqКkQ0pzu1OAqvIA Z&OoX>&*m$f XJ.t$se-(\&7UHoy1q|9X?(~<+]&kOub<0xY|~icؙVNdu[ެQ3{ { ;O?,JugN~Aq =P.hBxAv AN}]:PKWfJ.VLs=eE>ӾB~M?xXQođo²AC%mXohQT*dUrdX?:( 5˔'Elya/j; !D*Y2s}2v/6r!-6%S0>18T19`_z1z*aZeb,`:?r=.i$ʍ{ݮ~֩c=Rq%K ^~$&FD>W2Tc"ץ@ ڇ=JqM}TQbj?sw!>kIʝqelp\vwQ,1(զD,TL h`ٱ4Ta# 3*8\'U3VώwJO UYǸ~+pG\;hGy~ yxWs>)k -~XǯVVlv[]Jq0#5MvwbU[mIԖ֥V~;沔+yI`yrg;mz/h8{ iRhӤ6j,x&R;ukTkސyU}&4(:DhTA$ `EϺ]3ie`qL3 n HEalƩ|S—Itc/)^֑̂*Lǂb2D-ŤB?f;@*9{gJ;4ٝ@Z.͚9Y131Ρ]sp7R !uuq _4xwnxf~n[o:ԹBݏ\F-C7*d#489G.EDhIDb?bZ^t}s7y:n(?!JDxy5pb3ʼnaf-&^揲w|lWlgjRˢdl?l-X8"!{V@u(32|fæa":h]5J$րvr[IX 00OBS}v}vV9iS-*3gd9Vt=Fn_STYmuTBz#a 4d@wMKLXFs߈oŨeݍdIti-}e,\]3CnjPSpIa4Qմ%Cl=}E2Yz(Ew7?"xc6j:ZȐ=wuiTu8f,pmT:,"%r<0姆hiz5wr SthGܰȋ ÉIau>հ[7m u|d+ G.c3ߓ{oZae,~ՅHȌƣzxtƮ^ZqUˆEY?/|W9 n|qGİˌL+^&֍HKBUoF77dtG9>vuְ՝eƿԌh BawlJ~_E-$Sڡ5J [YCG%8clT=B{ާ&8rBN9p)DH1;bҽCGIɟfe4 _vR>ac~Pj^o{l݈NB AR=i0&cz~xʨMÁ#*XhEw܌[0'\#c@zPyۿbq'Q%OQ {r5{!B[l8('(Ha'E$ Pa3fʇI۟†s_8n6K63+\n),i6Kz}Ε7ORWy?dFɯтB[ :׷6%0 d8WUp(vhyCD|ѐ;f`^GX,* ˊɗwy .9f{8P%=uALwIbͶX$YwoVBQȝ;<'zl{)!: $I2k+5$jXD¶rtRu\C iAWhIYj< ;GWs uz&2my, !ʿPARє :bŗsq Ɏy뼏ܡyL*tH[2;:-&;^S} }AHu{wA:hn+#w +33EqVfrF~2CIg蚠<`GYw-qIo!A^ 18"qѵжXwX-S~繿c:d:Ài1MEumA_hB5+ގymrqk(93(Ps۸blm0# $'.t9Xq/Nx Fkn)խ{V4ᮺҧ)9/D86#^cCX2 cmǣ3a6%BVA]H.M^d[nwSk}._ 6QA73[P 86X`'n,񻡂nsav]*9؎=g _{zMރugP^ߤO* c< kaW*v-R\S`lux"ܚ=5A3l?mVLVHRՔo5G;geKXav0N؈j ѵZL-q(Qm|_ȸZ`ת(0J= }\4rm~}嫒mTi|T."ЅqR4ޅߖB(\w p pT@_/Ylqc7Y{c(MNd#/!q(%ʨVT`j.gq:aCԞcϟ 9M'V4}\2mGzi9y̸g ~˿Ü-VjУ|<'UІ`Xx;ȘX0ќ { Ȝi۔OS/~,bvgYnN^zrPi/ML#$ҴbdF, 16܋[VR^E/ jKDW:𽯰|)M(,T][MyNIyv|:lkt"YlBY*zqYSn}K;AXwj2E- $.d=U8 %b3'_No3vW'nS]Z} $w(c,éxfx,jF(ČL|A}j"#&l/Ty6e]o^R]K1Ǯkl-#A)49y$Ij4QKpWpˤu(C% =vs" 2ּK 8yP,'Cu"0rwqK,`v{Fzdo$O n+0-sB%oޒSyЃ|I >EAMRfE맒oQ&lJ0z"dmʖn+8RAכ8$pN[h )H.W&v & CUX `X*!;f#߆5), `0%/LAԥWM Q8[FBr٘c\JbBJKEXJPs<ذK>$K_u f?X~Yɵ@^Oq9v^t-bh֞Sߜщ FT"lmC39(BS)܈Yh: / 튇|ZIR&U6%|j:$>Qj^Vz(.^t4AǙ/0=Lso7oh8?\Pf.<׋}hΜŖP #<EJ["Rlro v[Oksuɂ[8*Kb?o@4,ʒjk\7h,Y"+4Pr߸fvAnR?^hVobm.pT5* s2B__De#껣Z yٓbM]WTϒ %%>b%y/Z΋<(|<7`?:#y:8NtNID3rsTNR :3s`U@s e.kjB㈍qjbMvhڎ8}ǝYFOI2]fCVH\-Z]73s6(Xō\c[[doV_[6f4\Ϟg$ѴL3:o+a-vSUb KARަoXU>kQw7I ="WC:Hk~((c?)KBЛ820æ%^#_Xƃ%~'΋ fnOjpg':\di7!jg aV^:b{s1}Hq/KACxNpb lygD ފύ"M+# 1]J)qbVHSNۼ+_=lQt".q%ֈ04e4IkӲ|ߗ3qĶlVbA6z1I+ޚNYsX+o?P7##_k͆FKa A2du$~P]ȟä?z BMuBD[⛏%o~ЉD{=O헞ή.92 Vϒ>Tn5g2ODx\M.|D 姌_$l2n{?tl;Ydot ^fH%>4 %p $TT)f۝ )(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(z b>b'p5h>Hʮ)}^tו\$M=4<eMđ5ܢC2Y_BBuC Y)j8="Z[adR5YEaY 4P{N *-z;8J<$16D3.'*=b^)%, I{IQ",p=B,M2ii~sy~so}߃ )w;Jcôdxo6&MxNhkQSI5gT7d! N_'s<9~!xYJ}<=Hsgy 2.;uixl8G;Fimڇ.#QLDR ȧ3`OOΈ^RlSN悏M)(NK0I#&\_WZRU1ZTk(ld6.zhrHɅɜr"5`@ooޕ3t1Zf'KkMmr}X䉶Zo=e9hp<k&srA?$G 1ݪ*__Ǜh\4{f^  {wt)gYZ `7CE $HOL-Proofs-ExtractionHOL-Library.Code_Target_Natdocument/Code_Target_Nat.tex7zXZִF! L ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;"eֱfĮNoE}@J? U; FFf!s}_?uZi%` He3OXc'%>6v +,t}QP<~K=,>/cj_((Rl/_ZtG|m?U ]S93QT,"eby:WwtI#!{Q\m u+@ϡy`^bOqӣL˚EF&bw<!'ԙ^pEЏSW)5MM7-urv Wu͘L&46^$-N<DK)h'><+3{E*L8Ծ2 bKKD/ H~uPV23uPA &춺o=8;pg7Hi}H>SDbjE8Գo|˩n.%Ͻ&stP=HDzt<~B[*vW OtD;Ρ?:<`>֤YPi*όk`t+DZ sފY JW_ }mO9YEc5 ^:G)OU=ϹTCI!pF+>ALj5[y;/|gSXHCFS1h[-%}\뷎Fda"0tĨտ+Vm9/~ C(Nq!<}OAGlS픩, nz&P͢FOc˛ŰgAG1f(PVn 'Wprt` (m߿a 80#Hce`nڕeipr~m7]C?D:+:\3Bݭ^M2Y|zi{s3|tBH7|߹16HTRv<>W+߉Cb݆U+fM˷#7F(}f$ /C4 n]|Hd_zTUVIwt Aà Y`ZEmn؎;2Pf.3֧ y)Dәh;ԄI GHѸ5*Gtx*wP>-p9quq'5'Sl] uӱC=3vޒdw1?OlIwح@VRRI1z&aIJy;:Ө6!1BwZZg7F3Tr͋Pns4pq'ܧMj rBH%v)1 M??VKKq3ͱcli Glͱ/[;|Q}BϐBIl{ }5F.qwi/+#dToAf wש ie^+>,Y7`oM0ΦRl*N0凐y .T/0J_V OWw!]|R6׌ʄg)m4o[| Ð.) ֬gyFh7F%umfwjG\-םAu3df`h6r-< MF/Q+l@vX:4u(H;$-R`qWf9H6GF"]D@Tځ/I6jLCM v"5' 9٫㪷s]56K mӦ57$r[2bAՉ޽)޽rA(hE&?ԣ~qu} cu`]oQB˭\`8~q0'㗷zӷ'Ks M=썹7'3 euD$%(cI>L_3Ғ 5!ӀJ`6TQ~%`nE󔃼0RKu')gG2iW?m|ՉдY —SnF$Մ0\4U=+4q׋(NUٓ[\^BÇoprp}<)LE^jv='b̿It1ØͷY>y[PًѪ( $eeb8>//yXqf<r󤋋 TX0yZR(Tu 3 6_l*g#k8&T lT͸PpgYZ t7M; LHOL-Proofs-ExtractionHOL-Proofs-Extraction.Pigeonholedocument/Pigeonhole.tex7zXZִF! F_]A-MՋhvG"uIBm5HZ3M6m(@3 ?Z8& ئdT5㏜ A˥ihևS>hGryLƩARzB?!I|ĺh"H%,nϥu]::'d͎5f_ݝHOh:dzӈʈmԳTSpsNŒ]x\Ek^΅:u{JR2 xh`)f"W`M[g~ƿ. K~QQyz:fdjn$N3,^+" 0$FoVڶDAD# "2y8Ӿru@4%}7CG \HOL-Proofs-ExtractionHOL-Library.Code_Target_Intdocument/Code_Target_Int.html7zXZִF! e]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s:k+by:W2~O%Ťܬ3lLת`2j7!4Բ13VQUN YP4(S*ߝ=;r oq0}: R c~Fߐ#ca=KF&~C\߹,0k6ZOQC.ǂjޠ nRK8viIq;Q94%(%{D>1WXʐ_EdiQ=8arjҁbs6Lu@VJEM'ƄЄސޮ%J&@^]] Y0B12IJ'}'r˷Y03xns$ifWo!]BCDg4Fjcο(޺Kkmc.jfUfkQbcYB գ(6D͛decP TMM èz$`_-?T8pǩy`Փ,5yJ$7oöqMLzoӝ ___Et0cɦ[! a>XK >/ק8A .`Xhg,J4]]|JZ5cW(?&)zS/`b}MFӚv:xtLYv! IA`>WrP{ǯH_NiZ @@d8$1oo*u`)wE=[#.df5vnsMވT$ϻmWd9 a6UDXc/l*gTzmd$7y=1$[2 3?ִ|,~~c-J~gÁ1 }Zqԣ ^Ul>}7T ,vύiNٿw;3-P|PU{o}#KV UBSiG:쏈"[ZW$zIKn?+8ӹ;rt FI,-o/G[ y=@EA*7o7b{\ja-32ϋb%,kNVrp>c}Ԥӊg y%SZ-*Q0ibIY1pB-vNZB8ޥ4f҄eAbh oϠ񧮨Ղm!#d2*'bֹ SҦ`/Cz )~.3bM>skQ4盰sM]p9%ʷ}KC%:]jƂ+K=uCUOQ̀ۓ:o3irI6!Wϸgmm-d dg 2_ޱQi4K=kEaVOb,J)A;bR)8eN_ |}hCӣoI^ q`0Dhr2`yBZי*Bǭ* lL¤yN/F Fg$fDۍp&9'~X ]FK22HY"ɬdwf3Cgfa c ˌl@BFib4K<1gw*|0y\5!klƭtR5ጎg&U֞gux(̳tY'2BgYZ'ϐnB}oܻ1W EA j'Msψ A-KQ!)5UD$9Dwz?W~-KNB \F a 6[LW`+P]S?}n_Ԍb[}":2h> *ik@3axچ{¨$|)vS JAb&M=y,{ }om*Тޡ NW9}Qj5Dz\,Jf9PO&'bo3^3 .Y̒XN 8FCC3}+x S r.y{g,3".=y Q.U㔤@Xt+C ͊b7''X.NCv, p:?n˻h!SN >ibWؼFm ]tثh Vw5_֤b!$Jb>γ1?0>)4Ie4}5vH^fӍbHS*CYîfWx@׼?dd6 #v{on Όză6'e =Q{|eMB !>SVmQ3֠~OR ϙlU\]7,F)G5"Am KM18-ɽ>ixC&̹rT0=e{ gt^s'C#H-Vk)Pa 7+-$;XUբM^Mvɵi*D:sMR)'V:v>]e<,qxkjV%5Y?Ybi#pL^G21k)ݘ_qހs?W'蹔HB!DqM^uvf4^xG|i/IOGz.=c߫a@68|njk/;ٯ8Ja4(#.HpRw BqP֠:kMg=rx0 j]M%e  55ͼ;/7<הiƸ*Ą:3|#~kCe,(Z}] ab&ɺEYAWEsŠ`2.1 [_f}Ȫ'u4 ,-ƻڙW/? {#H#ݞOÎ%vR£97d,,U\\uͷ֙+󭍸`>o~-2+ 7M>@k5eJJ3nsDZk# n0yݢ;ZVv umdnc R$cÚhgdL)q}x]iԆdR֦%^M?nOB! F~"dqo܌#9e[3ej;KNX-]d{F6lF.ޅ"! ^fQcyH.]d<=)DV,y%ODH7[ڪ#%__(XoEGw[W<k$9?@F_e,M\8ħ=[UsMs*˽ ʜxp|'V,4\.kx3kTwmP["}ڐ+йн-lQs]8~V'ԋ(A' Z|MP h gr{od +lg¥qLk|?ߖm|꠱SyuOOVԖ1)@Nj|\g#OB /ͮO o&Fk%exgX%2S-5 0Sѹ-/t=&h=, D9[]tU$A<@ɣY>D\ďؕ~:y^@F@͕?hHjS|Ћ2󴫳2=:MVչ9Dc5÷lBUdϙ"ު,tg-1U&"h Ezɵd%0~#A&䂨=<4DF0o+KܗGn0\4Ebx賳6}O~h.F$p]i`ZëfUL6{@P"mSsz էa-7O~ gtr鹂G{jty6:gn֖9"1lH=וg'58ќOEzE.~@Ɗ B%$Ѭi5M]+bj ߹zeٲJ 76 ͺدֳ5Oge _8J$ cl5̀;k9iY\+4R3Ig[_mţ_8i#;dEu'hYvń4 ̄&0ݟ6(hq;nqt+@lylbϬXh@:uڧ=>wcxhACڵF8 *r`r4m 7x2 x4~ w AБnYvsєKHE{n؏,E [=ؓij,0'q+&KTUn>y_=A 5H}F'lgV)D]zwi7Ӣxѕ 62t;F ?ܱI3"Z)NSn}n?h T +㩺}.F>-Dּ1^%ƫؿ:5fbL[B\x Jmf&] 19AO1K &+~yNYT 5&lL$ڙQh5[^HUkcB KBh1;*z"滃,Кči'p95"m|B>srD^, P.N A|A(mugu2kdЊ/NI D'Ml5JB2HKe)_)RiCEZ[2)mR,'WOO A@KR^q6K\w.IW3Ii/"Ǹk gYZ ~7=? lHOL-Proofs-ExtractionHOL-Library.Cancellationdocument/Cancellation.tex7zXZִF! dKp]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;ճeӵ .JOᦗB6EgDtVj\zb%(n\g,eaϾ4CދdUaT[9֎ň鉱os=Wg{ OCot9ݭb~Qp䮰VTib97^ IK4,(59|2/Qxz+OMP .ԭzLC lƖ]S@](BvECܛ1mNKOp>" k,I/koeez]1IfXX 7<(Cԕndq O$g7= qRHڬQI= :ڗ54Mbkyjh0KgYZ a7GK HOL-Proofs-ExtractionHOL-Library.Code_Abstract_Natdocument/Code_Abstract_Nat.html7zXZִF! ! F]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s:k3_?;g L>.;b& DCG" \ȅFN럹-^8Eb3gF*TbSp'Z{ gOJKzshMR1 GcykIn& x2B^[nj7z !z~^D6Iٟ7X`(XR44ާ+~Xx[/9&Ez&:  Xnv*E1uRw50eVONyY)ʆjDٺ\R-?6s#Ֆ>^X/&^8\p~J[FƾL$67r:Dsѧ%<ҰO" pKIl)"] $FTuJ"׍{48yUDJ\3*M3pTOPؑ-P@<6"bIq"0/ȴv֯f!e h3.#3RH/mڂfi}s;zXYCۄerLDh76[踄[L_<_xi&@F6 EES'_"VybS=Z1E(ܦ?|] +WL$٪H8 $˼Ρ{1_{w^<1(cg>tm &7ާl&Y 02WIV6,gN20Y^cy7-|78lnR (h 7؆:V~;# ǜ0/'s};Z,[S;b`a4XŔgov=rPU|r<8nU 86ۤp 9kѓ)ʈϫ^p VJ@2#׮~=*9NI=skQm9gx=TF+ER? F`CbGfO ;w {cdNWWcek9gI zu=!Ĥ9V76U&Z i1A{8[RZ-nQzJ^:*5[[W@ḬIcڪZTiK̽l8M(^$Z&UWqE9Tɚ>~t|.ύ!7 W]Y|^.-Lp$uAV| ocXy5KieJ))V>Bn,iXvㄺh1YmLi<ȩ8buy! u[?- w>4ϸw*َͩ(eCp1 vel7_3|w.Ulh4_{ q$R* hoT8Mءwm_EO;a*gH+O1l=8s-.Gq;,~~a'zΈPބHu|13=t @|AvVx.B;?0ǕlE3Oxz*^X%~bS ƃI4i?.g75׫(u79Hya@I.C aPIp, Ȯ]Rs@Oq~,pM<52N=ľ.[f͠^680"1;({"ޚq[Yl UnS.?ɵĖ(vd7aP:V_dYf۪P䱎^znŽT oP%.R߾oRf3&%\V4npXS2 , 2G(W6mw~L)tmq'0bSb tDE]EMfp>}AL[I?N#wwK6˔FOkKCαgYZ 7[K dHOL-Proofs-ExtractionHOL-Proofs-Extraction.Higman_Extractiondocument/Higman_Extraction.html7zXZִF! /kl]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)[wO_ &c-~&j}.C4h{2]ډ/j.=ؒ'H(NARnnbw <wHOLwy:i(R\iam`B=M8LاN6 O[}*î@eq-.-='ڇڀ-gϞ:*v$ N谬P,Vs\O/oH`O33YjގϽt|zFB;#L!b &ڙ6f͛0BHti#Zl6~jDSQȒ-fH)txF;XwHy| b?F pYi82b0 Bv} ڼDte*S;v;SC2=rJeQoϱra72_]_ R L(YesZ-hUxA"KHacxu!4ssϒłjɟlۭ12xz6D^U7!Yl*7F҄8oT~.zPۣ3.Yb;McyCEJl tPK:msIxmnb4 o|`Tq\Q*K mQj _ªsdR Ur0{!cMRN-Jiyz7(\]kNOKGDɦemxnB~gʀO!2a2OJIUr^)pVٓ2  czz廒p?s;WI!t\ Dk+:!ߪn":ޥ g=(4n<`ChV;>"{fo_؃2\]5MT 9kr%rha:+Ęn6d/e0/yb $ىQbV=1Kz"8$~z m2!WRx|JL"zG=]NS*Ԉ<gaq1!θ9|:QD>ʋ:+S(XF~+L$J͵GS_'~,y'g& b ^{3gYZ p7CE DHOL-Proofs-ExtractionHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex7zXZִF! { ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;"eֱf!l1ƎnCDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ VV'7gW |HOL-Proofs-ExtractionHOL-Proofs-Extraction.Greatest_Common_Divisordocument/Greatest_Common_Divisor.html7zXZִF! D0]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)9M$Z͎7](Wow*#e҂!olv hw Z B='iM%-Go) &}KOR?*\l6)(!Vsgwp1ZWK?v#t:QC#ضǩDxoĢhD]|ot X'pג{.QR[1+2n=EHhhӥ9or@',ʎ P݊I6oB 9ΛKGa/U`n~A[\@C[pB3glΐ7^ ܯnxtnv}/v;5y_Uv: #AԺwv>r/AM_&~5Lg.+4% g3 A错S/áThaPײ4X b%GP&N04%z| au$7*"4DaU\,лtD+mPrPB0NZ|WAY%?334Otzښ"֊fJX`&0D?Q[hpކ)O("[:BKxN)heةbڰE#927 QU9MZf7D%6JizǨ*cӺѩ&l^;D3Ϊ(=T ԝ[.O0)HLe-0L#/]XAH"8~] Y%žhk$ _xs|э@qr"|٫^Zϭ-MqF}/k# T6pq\wURik>R#G֑Or2%'M^dC LކHW 7+pmn^)':B'#7gO\Z@f!L,8_ aymN-ܐb qPp谪g=b#r8gYZ $7GI $HOL-Proofs-ExtractionHOL-Library.Code_Abstract_Natdocument/Code_Abstract_Nat.tex7zXZִF! EZ ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;ڮkxD+ 9'=CmcPs|&A^9? f.Ξ а+xŰ~1l*nБKu_r!?/CA];`kAzJy1+#Z-1$ZW\,y5L<;iXsJ>nNG<9\"pq%' ̲f hǠ[f7%CgdC'^e-j^vIY},T$տaN-(`H_YY햱x^Qm}S8u̗싰(A[o$bW0qEӘE P YݭP0-eD=yu$sR\%/e@X򝓶!D-K*q޹NrWf`OE:6켏\{ЮV`I>a W1Tf=vKAky3 kyQtk=זEDkt!o~ΉA<묥jU89_S#*ADtt􍡎x^R7UʳapSY tifJ=s8M feHH^+(=ObUx負ή7@' s>!Ev6EdFp_GvbT#U=zI`.n|஽K([w %D/TyUQfƶӯkkQi(<"QkkZ1u$oH_0' р/Wvg-te@L/k"FLj9R.|a's2,þOA5y?D3_!<*\(E۶;͝4|>#qq(rCl9"tc@Ga{$s/g߆ 8qB2Mt "3FmC.ސ@W%h$CL,8n[žamAZ=b"l08S0LcܸfNJ{r)Y5mAk`{- Xyʯ)dȵL;u|PPTZXs'"С$05ZoA@h:mFHb2RBu,8Ѷu<2}~xw K {u\ :`5?7-S[N cn)7 w,x͓!8^'w=<]ƲGd^hCóQ.~dI,)NJhb0@If#Vl+tDJ䀹X <8ZgUh4RhЌ=8:Ϸ RsNO{AT|!XGLjhO:OMhF"m9d4%({.؉|nhޅ7 EGܔ~zw `ڋ\WK[ADY˯ORɯ̸/c H /]@U:M]/}FA3g`Oг >dhG5+rzfVaxH;0ǩ4I9.婰#OIk.!~#5ޖ&\Ub`,g7>eư'bUI׾1K~ɋGEsFbL0t:U1"1ˎJDܓB.'u04] EyGj@+~;JwD*`/8 ߘcY()rUaV@^%/)*{nz^ BETH4[RRDEL%<&5](+ʊ(3-A=:CO֖w g6c:e89sY݇-,^8 ?m`qU b5)1!hz@g6;-Lb{J]h<,k;''D(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s,R. _JTiĨ=BR\ڗDm$:;A;z:oBOvrɴ/ͩLq0UX }k¦\^VoUJ !!A:b\_>Ѷ,.~P Iz0ߒNFYz ^TxEXoe5P6=g[@Hpg[ >~*k(Y>-aϽ,|#RpղD^3vzDHnw⼆Gs("\wж <9@S@5t@1s\H$64%ѢDX]ta6ҙsΨD{(*C?gW.o(o~TPJQ(>ϟ9trsofBg-Qu^)KW?R7{kץDp\fI(j=$+r@g?T5l1~&O+[K4 &,a iػ _., M Y;uaQxǘ?VGZN-l,9۞ z i|rmB(BDO^蓽**NJ4JDT#=oTPН|(f^Fhk%m@Brb1F\{?|mHұSЯE3"e)=o}ͷ )Wa[^S,U}֓7 Ϛ"-gYZ ee7GI HOL-Proofs-ExtractionHOL-Library.Open_State_Syntaxdocument/Open_State_Syntax.tex7zXZִF! Q ]A-MՋhvG"uIBm5ł]DSOyaǧwqyms_m E溂Nڇi;vE=7 ά(TmEfrh:rUi,ͯi̝(S /";o~%l,$aq,cs*Q=t1 q )uWI^mwoE.&,&F Q?Aj"Q bzSM/ ֯Y4ɊN\K)O3g!1+ rE Hrfϗ Wcѧ9xfvsa@0d0yGO -϶zxEϵ4bYxz

ޖ\RJEϸ o Zc4VobN=[r>u*t/FFb. 9P&:ܣ^!V(E+`]( ⟝Oܶ4gR*5d=k Ls <84k8BU;w2~<6Qg<3?<~MNb"?r]Pq-1f#D~ r,;&lBuc>;5I;|+5{[ .]38^Ur)VW(d> Ȭevb3o[X#g>PcfQw+ 🫥'S2D穦9>XJMNcY=ib>\Qmةw:O0=+N6w@:dHZn1R1 Cl VjsQ m["[Y^(eI3~o_&аdYK-f^;Ptuz2gdT0f3 Z^l@p%[/X3 I{NmtQp:"#'.5wA&h gtȸ_'OljB k֮1GGve ԓ/Y9EO4(|BUIVڔlx|'büߥ2_LƓhEt Z 31:$i}J4gFVres8-l1NћEQR^NrXU .1iPט1J_pӹ kPsq:|*IRRJی8]gec\`-f|R, exsQ -}NAWl=%1aM=& kJTnOra<F1:QlJ [d\:1Ow儜jSm@JÇѹB FÖ8R]iU1%&k+u`%2UQc@/3L҃xd] +@!TRETϦ2NᅇF.]v.kjw$7h9MWjvXiŻWg/n~ց_^Mx=ٽ-G4vժ&o+w3^Aޔɳ.@'-uQ:`?}!dhLKB>TdZOhlZc7Z~zk_[}Z$^qM,2dpŽbz{ x$fR'?~<_dm'i-zpy͘c*p ,~k ł.22eoȐ0m̞`wU"BX{odMa0CC>Y 8VE(sZb1^:1i@>gqp5|W,2{ĂL ;6گSShZ}R;$?*{Ngc]Z6t U6 n!k%zG "lމ1֯kdK "oY>\57-xΩ<_6>0ή/[:/ݨѰҵxvDs1}yiC ALˆ:_Ӭޘ%E10x=CSɦ)yS=hx Ghc#@ @r5!bz?e)8qeG#@ e%6ˆEI5Ǔ")o$}'Q7j\~ w77vnNk b[!;"QR/$=!hdw"#XbBiBnѱi嚙%P[XwFwAIcK|~pxl^a)V8bvQ v.4  :~m߇xoḡ$:J=u%? *M9<&L)瘪"w@Wa_C`H[ qgv^ KU OPKX `-hMP6B:\@ 珣087G&ʷd-2ې(v{]\|GI,lMI2LYNCcˌ~meQ,E)6 C_:'w /̿-\-^1*5>EAc[]Ro6\8Dڵ'z&v% G{DJ._3VU6E]s~-PPs#?^ԅ-E(0CVLQol½ZoH;f;2LZOsGל_&;&'Mpd zL͔Dո69n̗#w"  (1g#jV]yebwۣױgYZ # z#T7A/ $HOL-Proofs-ExtractionHOL-Proofs-Extraction.Utildocument/Util.tex7zXZִF! 89]A-MՋhvG"uIBm5{{1a^Pf#u-VGf(K.M$-I'6蕞܁kZt˴Y3Kە vYANoUA+Ɨ-P+ad,*xf\ ..vuƺJFzljn5xf}m:f5|ln RLF&?f ; 6t0os'OkЊ0uOց9i-dz;M~*̵)ٴz1?Ѝ~MC |T~O=PhE5}u[1BD'[ Us3G,bÌL8ZJM+zϱu.ےӮRLi44i2%a7Y\ʁ1` H4ߖ~gm"vJH˪޴aB8m;hB:B`϶"3a#x2AdLJY4N7bRNu wP:D^Eu-ˌ#OWDf>^$W Qb[ THRЧJ6Y#@mZ;tވ-c%R| jZr"i+!OѨl y-YN\ޠڀ}Vd9zIs$t2}ipdt Pd Aw>1`[`6X]9<*ފm?/#H,<$ڊ^١N!H-Y' "Fg0 K3:$>4Z6Dž:73>~Z KP$JC`A\T,%I+Ǹfth$iI兹LaH:":| UvQz{i"KoZFg+|4R}mӚRң|b !Br ]S󪨗J)LEQ\V䥏ӧ}2߉(m6J|9x銱^=)ގۿW _I&b䩶PLE|}.8y6KF!֦.`$ ֋$~\=hN? 5v!δ->;[+3#{m"wQ&+ˆ6>n&Ib8s?Z=TSF=rck8`b4(M^-G&x5_ػj6 B)'Ӡ4F΄|sۢ}$NsIpE9}~ EnjR/ leUЏUʃ q48"ςCqd%iczD!VU ]3U^_܎ͥŽlaj]r>'g]{ 8ZPӭin%ݖ${^c 2AXwSQ;@j  &힁|ƵeUgi_Iw[w.*QԇO,&>q]/KL dIK*(^*?}b{:3@6m(Y-Xy"MqJKܡV!*D?>tʙ]C8] ēQMTԖʉhfo]aP5Εc??t|1i;& p-OgYZ7G7 tHOL-Proofs-ExtractionHOL-Proofs-Extraction.QuotRemdocument/QuotRem.html7zXZִF! !]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+$2'q dJ j*v!ú>~;dr ɀ 9kQǰR&Pkf8X|~s=iF` G"gq~5-2e9&)Eww#>WX0AVe/>A~DF8 +Chڃ)]&| 2v9k%UMzD%rվ*OG*.o8#Jn[E1A)zK)n'e}u 97A\l`\+mv 5Y`5P U 틽Sd^ʩ y{޶d\Bgzho[½cVz4cQ;qzZ娈zyCPPR|B杘mF0ocA55z[3)UX 2*"%m(3wBu1䉞 AdO5x Βy!*{݋B<-lR΍[_Hki/Yl2;gheʘ<:Yg~\:J΋+.i[81b'>52[> *6V5Dt}k0ATbta%3HΜ:7C1 פ~f* \2aV3 l$,|}}T `U 4 F @k1=h PF{a}l}'Ӄ}w)3.G[f7A#o] 59n.#QA g tSNa#^֕}1Zyn aJoΨO^(} @D}o1~|qWnX TPWܴb\ @tmfb f#N8"9r fOwb}a_j4ڝ:mOO`>ݰDԬRW`p&VJrZXޑ#0tscGr>U ^+I! C[gYZ  z7gU $HOL-Proofs-ExtractionHOL-Proofs-Extraction.Greatest_Common_Divisordocument/Greatest_Common_Divisor.tex7zXZִF! F5J]A-MՋhvG"uIBm59nc fӨ=B!x>CPTE|v|Sd)%% _bj8jsrO@F%bxla5Liql1O}5"7:#xck$LX]7D, <ĥz}713W&4lhLd4Bf^Du Nٱ =.]s`od7ngj:H6wuO<~oav᳻;Xy@zeMI + R!\bvmC͞)d~mHdez^uB$Ө1`v}LFYQv6&\C62 '# }+lR@]󃁝'MB:cNx3P\őNÂTDE5`Q~dV/!3YBvKsarݣ#efAo pvv VhoE[=w)=|;D+ }g'C*HO#zQdLde=}D@Z/PьߦrW餱L ?\`CaAXXl[IOl(N" 0aCjGK=d/yݷ_= ]!=J\-:P@B-P~ ǢףygHS݉J,.;&ئn`X lpeM C/e"[hqCo B>uOrѝ+<T˙L}oiӔ8 #ljy1r{0#vu?m>^ <G*oL*qE_䇲Dom=OÙG),K#:렕x ql4"^zAVd$+\,.OR3a`>53Xۄ^~#%.Õkat}{¶#yp"Ũ=LQfxx C%;gY6iYa\_If>/СX.ysVۋq1:C5ޖWGd+&⬍%+^ʴ-*\wZn/{2Mɍ,]du`S D`iB~?jjn2Rt{ 810E2[z(Ӌ֪݀u`Ad83p c(~gxd] (~w{'7w\V0tJc)΢'>[/ Qx5JfԷq8Kgw2^r 7͞$01WWm(#ygYZ7KM HOL-Proofs-ExtractionHOL-Library.Code_Target_Numeraldocument/Code_Target_Numeral.tex7zXZִF! $]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;"eֱfĿ 1ALz)JR Çn{j4gYZI7KO dHOL-Proofs-ExtractionHOL-Library.Code_Target_Numeraldocument/Code_Target_Numeral.html7zXZִF! B]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s:k+b-B9+RLE7gХ۸FE-_p˜צ8@pZѓ< $Rɧz\hd4%I(g5# ͷ0WĨ-ٍvJGHXo ]eQ.5i+ZO3plWo ⾭S..0u*ټdk܍=j5Ea{#rl\8u\ؚ ?B%Be+ӇX-B#Zb(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*x2BI㪽ϕ~~<,vGNr_C2Oq'2# ~wo8^S1#\~ ~ */©`$A0l> ^eOfc)#,<ڢ.:_AS6"jCQ}n,c>t S+X:%#Mߌ 3/)c?0Dqcjb%ގ;GB=*UzpRߞuvxp.oK##"GVaw>4/.@ CzrBH5eM^*!WmSϫY`ߝ<;`-#B'.(mvX*&pmOZuo-pop^e<.~KiFvЇZ-D߇ަz(Ep1s[e?bO(zL~v ,Ks?p="߹ش\3Jq&5H\q6^%,쪲főJAD%A~}n@P)qz d@N vK .F.w̧lB4">SVcٽͳyMP}|7vjRWs:"O}߬_xdeTSBٸ1s1W4bSyHYW/еg(1c,Gp!1:F&.p!G_Y{@z [y '* 1Q$B-iQf窗.*+#N*RB "1s(+^V1}B&0\ǩnZDKNJC!x( 3Ǔ#ExpuE6>z9>.f]0sxs 8A]hO(M5 brQ*pap`kJHҋ+)P=|y,;ceIC H PBlqΛ}|ZQ9:DJ2y[~43)VRI֢]qh/~Jv͸7 |LW'OhlG!+:ճ%,NmpRР!N f<FO"S5hl{98S5G.ex <izVg;Qz}DR׎ø/+ϝ;c_]KN1p~-5Ղk(Љf} N6rb~cbmkVď=?TB%oFix8+6e)Y;h}Bvĉ ŏ7+zjQ,~!mֈ4o$6?ThcZ1uо^4E=lx BQHg3fw'3pF͗9Nս]dQp+z2i:`V}sA{c  $?§gzyA#>l|pE4:`1UwF`};qag&S2T1 7G5 |HOL-Proofs-ExtractionHOL-Proofs-Extraction.QuotRemdocument/QuotRem.tex7zXZִF! w]A-MՋhvG"uIBm5͚ylf&?BuRgIX2E)PگNH7~zx' x|w N{S/Ix8(U5:2TdnnA_|z%틲@0aPu vS}`msTzt6Ӏ3w;,'4` . 1dY.U|lfG軇_ا[Q+^hq9^"$?cRG;4$d_uR+fuBQnyٺshMgEOK& Y b]Rm#oa])W>%"u,/ԫr0<q 8oGԘiud͎!qKUl 6Jv 3˯rꀞߋMPGoi8 jU ɽjHCr!X#JHAWa۩,WN<҆yі$+)%6v-6 {W5qn3;)-""Zb{3!jEbڔuHI^7Wzb>1/rt#dV`'FxԿa1^҇I7 Jƈ,Q_P ~f)=ezzW3ЖUn'qmXa~G*E(1<8fA:W&{; U XCw3.+np4 L' ]4]4X* z̞JJgl)_Sȃ1m(USMֆZIX'5_$0~ !K^Tv%0%NDyJ6+b#jTȩ &($6*߿ٔkhp%nҎZQbZf)Qݶ9> GjoLzײ<+?+j w 5Hʪ/O^t;(ꭱ;D[+ֺdsai&uL :#eDO,7I@'2R/o=-o+2yM0'P&Ay!7@Gż]9U b"aOŇ88^ eS.YYW&-8ͫ4oSwOR%x햸-UTUE ~/݃]}+i̼Uɸ7?׆R UךQ]μ W.'DL4ślBg 0Ee U$:u@ܖ VBǑzKI; ɽ33ƀ_ JQMVՕ` ֊ #ݣLBj!j ںiߚ3/-hT;hY)Ur$\QޣqKe:>0LPMߕ]o?mFHP a%Tuޡ]LMgg2n =Hjf`Oi9S{ܳUѻŒ6c>TU'ډ%l9B|ON&Keħ I:3ޔT>ȉПzlхܦiOjPZ FgF vq~xI:7 *Lϰc0ߛ,ÿ5zIPcoO fm]Y<]'̒Rr36EUYE]5C̦`DC[$ղޙq@Lw?^:WcEkDŽ{5FEf%HWjt<Dͤ_w[]f\_~H}4C\P%ѻyGvCQ\ abPUs`x{y/-nC*[Nzk Eь{"yyOO|S'>V p^/4WyJ;{Ig[5ٽh }̆>{5dH΂;vb$kfژ|UgpSl~?) eË1CUڕl:ٳ˃zY܋m) l^h+Q<2H(Qh4؆`pt߭x@˲ĤkB@HhPM0 bKDK~s.6OUbD/ոss{ 1[u}ڛ_wٳr >ts"bfo.VOXt뚤e&ȕ#'%ൠ_9DRMIR6Fvt4 Zϙfa!5pCj3 "ʊ@=P)Yn^XQ!3ԈހY3'V=Ei. 9 XUjxz&S_hsW[2N[]-2f U7=ލ5p^%V |wHGVvU[ LvKa9R3Z7B*lSf#A c-xi# O) *(w|e@Y! `^.o ¹0g<1coO{~Rn/c+%9}~ϣK->:+8AJ,JuFGq%Pmb݌E| I>H(rOa7ҮrĦQDגl,A2?!f cDOܹ$p+ 52.8Je%)lu(|qo%LKk<"ӧWNn&`YKYH(xBZ\0+[4Xw5}Uj˫Wvw [?v#^Gw~"!; 3S =2 20^ ƇhV9 n0fLI|{baF- G -'qMUQ_$e{}Y,l( V؛MW^Z̠*>w&%݁o4HD$o1Dai3(ϊ @tmewkq Qq D8I^5j PFI1Z167;(iTؼsjBt.N5w|5 5X鷥[׎! 3MxOGkt8 _sܫ"ڬx~n*(i+],}Qϳ`N6G2 i,.I"箨 ㏒ky!   D>-19=#l'S4%{'Gı;c_WaFUvww] N~D]x?  X߰12RQڙ HkӘR>"9y՘9 S(`pN( $ԫ h};x067qϕhj{M VGc63&QZOc^,{y=&in%m4:Կ(y # ;j?SPɈa.V[rN}wY`/9U2dv=^NILW{ң^k)/d{_ Ca_[ZXB] {b%Xe* kz tzc1>b気dO|Arh2d=d^n:K|sWyEt2SJ#nQ{`dPR{6,㔄|FvGwnVZZStT*ɑBhSo`T2Z1bm=ú[goaO |QkJlzQ{H'O|Q=yċ4X!e,\xTįuJ7qm2lZzl+-X7q9&YBT$X|N1V9GC~|[Rd\$>T7Q% yDQ/q= nq- #DeL6,C(#;a>'=b죀b JRg4tK){HdB O epVgav)WԊTdDYt~$`I+55$؆:2rFp\5E/XM!-J1CbWU7֩1֕LP-UG׋fZ>OW-Hn)?%e$2&'zD8Ef'xQ؎9 }G]8>,8 B 7;F{OasNbe7s'Ŭ2FΊI7аpQVP5 <'DA$1}B 54M÷PBB)3U],)}؊Dr4 4p> 'ݴ?,V~db߮.ҡ$vƷ,n4JNa43?p(0$2Uڍ\y[U:OpkPY"7J!e* j0rT1>R;^_[0>ݦƪ͇mwv&pv)Guui1W&N-Mv)ƀm/o%,-*DUCʣ-aHgt~g Bn$<9R NpNOx$F1ʗq!=+ۀl{^Yk=&32? 8)w5XۊFAݔ5 (nGӅ''Y8 o8Z-ddM2ol0P@}ḚKvf!báSD;ʊX:e%_=c Qr͖ivn th9yvįؐ ƨW饩+61}Vyeᇥ:dbot(DT+Ө^gX~ :3)*lXN*z=#tR/e-f7JX 1q6lzݑ jlk'1: ~-Zk3J5opmGLGR:{2ZaQlB!sc^`E'H}Jlp5Rl2r.OSwO{6 )QeoMܕqc 9kFHy4v#p1C8d0D=p ּv_;яc0(9|϶qGEz*-Pev?$ ޖŸˌ  g&͎=*(bs[ LDϴ $4bL\h.rO8!0(<0 ,gaa瘲sC@8HD(1^iDf3P٧loR_ƚ K/,],ؒnrL*E~zN4ڇzebR3h;cOދT:ŗ&\x NEeHTಎy䙇 kG5m㗁Xq< μ+#ȣ7n6/}EfBd(E ~;DÎZuxW^Q~iEutKex&*TȧB^|n~u&;kձ (hi3&+q7CbaFD ܈Xj^T%I핐*uC8pzxTe]_g'2PDtbxR_a +(//}SɄ !݇MP)R-&/<,K X>ƌhte0UrdYq)qj [\z20RɜV6v^??n"p#7mnc@Z5/B?D5vsǝWvo{7>.YW[ 4OYd0YL9ΞE |ힲod煲[/ c2 9pm=.k-h\:I_``Dk3\'գ=,|] 5|<'^=FX 5vTGʺ`B'=#X'|"U0Q$8linqkDr7)^_JY+D3 :.BTRqdK;[cyLKmo/^ 2bn!SnT|8Z$w5K{G RQ3Y@)Wa"3!?_'CefoPڧ@2jў4ITYIl5P}sf(n %^Ksq(7F+o+xw_ieqtX 1ʫ b"TDl+N]@RKC=:y(o\8mkeG w*U`SU ^nT&Xa5f:s̥h3RVB+uSvF8~6&ӽ-?ZdA^co$VLpGo 7HV$5;j& pOnꭆفVIYG(ZA''mj_ħ]u 0r=0 o kp.ɤ L iB*51A{o#0@A-"c.wZƶW 1ܡS%vFlgHg9vjE]BF,g49S-:o<|X*[+Cx rJ>7V\@<R:}Id8K%R[Thǯ?Zc9e9! k>ȫ{$:. )f25*S7[6$23v?ۮ'̞Mc{0:gXSR$Faκ? xEa (k?"dm&?8UőK{ze 1@GU8ZlZ+LpBg7@[Bm"q8>=g":IQcAFl$twYEd^ݒXɾyg54Jtd@9  pq|q~N=8_CE.80S +ʦwgWĕҮ,?%N;n"\]!UP/u/ϭZ6Kj4SV[ٔq~k{aCAU_x%ŒKLhB(}ZT.> nﷵɇ$8.x;M\ 6kfm8᫔H, 6X}(wٶ2gw>cmW?vPc%$Jᑨ8nr:Ks .S$kۘ<Yh.';X%kۖi|uXh1ox}ڙVpY l) #,aM @Au%KKxx<yE5UIcmWqMu1PL-Wr};E1.Ta)O#'όMXnvui{fցߪ"mwV { \zfцercݘ**/%_4 EK_ӋQ^5lۛ%H\O QPlǼj~[ЀIUǹG(*F֢s?w.@ w^7_qcl}=ee݄UjUnz2_o}puZz7h-?ӃU4 \&:OaYȄ(Y l4 d|sPij(߰Y V6s<gT@/1᭨hy61ĠK|u!Rʝx%pǦnD*Gq)2Qf7HѾj;1T?_,x^fX@ Cڇ0%X#HGyxwi,Hqcs刌'>2.SKq[~$U2L̛oYV͈`L#? BY|֤}_=B6WhqAGl׳41<yKԭ'Q~@."yPU?>]ykH\X?FDkSpD7aR^Έt/=)~@~5g n+o״0ߖ ,֭cө`DAKWa}[M`_h-EsE)͚ (5?Aa(7!^ڹXBLgF3~R0 ]y䙷H_9Maq.78lRG_ Y|&$6Hezq~wö(08yQo EP PC,( D_A@e51*9D22fPǴ#v0|B0L%gxFGL7As@0pg5Mld6H$dUcQuE&1ГhEb ;-#D+QRuJ:4r2Y.ؖE3[`XBDNFw=8ʈ`Qp9s%b&W~f$ryklAyK@N"=̢]\jt @Zqpt`91+ u7E'ӈ 6ÓIUߎ.ʓ1o.{#_uAu 䱉68]6|@Β\L9(cAAgpю ENyZFP}2; $z|^ CLySS89Y, fCPP_}R{sݢTt2LnEpw7kyZgcKCh5;n' LIο =@.𻉙 7Y,6'H6pӿSjLѻL,=!R5+ =`cxxOW.Yrk|kx׏Ìoo;x &% rs`TU%YT w7x|y+!#4nOTB] ؀ZHjeIn aUjHRNC 9\04|[jRV _%2v aaIDn'پ{+sK먰#%-ǎ_oDYȞ퓌eGhXl+J:˼`&r.L@Z\Fj;TQq-x^?cvlfuU?gj?]j(|wZJ$=9̰TVs^,!(P UskhzZFXx+L]; f.u3Ty82VxPy*&X4 /@;k*| 5i9!oL?s+|1}$CVi4|bY-Y)wqQh="`6$<:asғܙ^)48-B,MK>l[u%n6V jI|p=ܕWq&؉ʀΖ┪O2UA WVTd qFP7]D}tNe|;(dE޵E[9SEbW|(ũtvUތnNȨ 7n>3ort';[?&Y4N'aekڵe LUz'0( ?EE^_g7$TYZ-]1MfS>6vG7AϨJ Ag[7w*Im o@v$ Rշ.'h/{hB_K4a埖Z_^GQޛPx~ѾĬtAnFN%nmșHvDQy =zq^;L5xoH͖­D), xۯ{e/,K30yRW4 Np8 qQ|\ irj R_T"C-sByn͊)9R(2qSe6~A:H'n袽c& .9 [yi#2„Z.;'AHׯQ3hD Ć|CdͲ gpظ}cdX@ \ߌZrQ~y aqvI^)tZ,%<+X*e5[dY > = 쵟%2oG mowM}:7 uۃi*xNXB+o @mڇ.$Y*vtzgV`Fde4/cTv](k [em TDͶ{~]bVt1D֬Wj1 wQѷ/|hC9y}rK+WY?sC ;n+0k8*4JY>Y7‡|=љOp mCְ 'G*+{ 3Jm+&ޑK CJ`Dx:N=]rzzN\w$/?S=Z+jm$1+&H|r͓Nrs1N^;؀FQK[{P6gsW%L9O?$ ڊΪs-P rԠI-%y$O7+|w77k,٠ԛT6ԫ8LZs&hbiƋtRPScga d.W[q2V`c7W𫒪v4[~q`Y!T/oMs1A鏜1M]VVB5˸\}g~Ry;p!@0k4[ &\eiu#Ji5?)i`rs}{NȢ9<8A.J[ngs,97JrҦ=\ o xw-#Qض5= oYnH ;`;TZ~|OqdlZT5 9;n#N%ypڑQ]OBay8 pJm7g9†QE)XB+zk2+: ng=FtO )^O2%ةCE*Đƒ"|DvW ,˙.LfNP %0""ޮշh7)f>uZ5DNKaeaUS֗VֲHHF|w(WoOSb댅ō-A@CQJ4,Y+qT"q~BdDk<2DE==Z+0NAwcT9[a6\4)oB.cta(Ip~XAރy_2.kX?!j} l1ml#C}R[ZlPY_V?=!۠.˘  | |:0/TO;fdzD[_̳9,S]̝i幵[ō70B.Ӑs`LfCna{$  7]?U|VL)OpSo}1Ke:jj\ ~|@/Ra^pM%o*=xlfPmF Ɩ$gIu1ܽ/avkva6') >LI~ 7uxGX^zN/10&oN3SYda;3E#ADj=jd# Ok62ԯ}t,:_t}W%1;W5o 6-wAR[ݬҝO բMQa+Wa<:z/kxֿ\8z KJ1,SM:v :J|GCdNR4>F/(RtsRcqjQ`XmmrBϬݙ+ja!4#/-̯VՅp7`آ43t0͡T GKnAKx1gVkdL OUDWy%V_gmWa>!=6N20/Q,KV|G髯#HM^)y݋`$/-/$_,GI3m Š$ 6+j-0LRmpMx~#zLRPjVάr6KB'mS4f;]~P#2{ѾgkN _o@m60 1Ke_!v|[qකk3xbzO1Id8I<t,0b8gMF%.1=/3?uR\QܭEȂ>K71Mjחti+p>Pw*Iw쁥. ^k0wWlVdȵ@PeL™FjKm = 5t@̟aF,./d}= @Ќʢ9~HMk8Ioa%gkMH2yYޝބf~vQh\4 $Y<;6~?.WpƛNi1GJ6eqt֥{f7${I]b =<=9rbCH W"fiҖĘ(tr3',`=f4W@&1yNMDZ:y)89QD_ k:n<_rw0н4 1W &]F폼x]Tuָޔb!$'ܮj ~ތ]ӘYwݡ '¯3/Foo3[CcMS9fP7 LhRf֋xXz27VXRC+}lHi[~&Cv&I>0^CVڇF S0Kꍊņȩed$Sܫ[FA^qé#&ك: \F OR݇ز;E/g ]Eر=_WK"cV 4CepJ=t(EׄF(ŬOu)Ato:#|T"0I"IzRMT-ב!^҃ ?:RT">ޓeAa/@)K\ݬ@oekY @֝ m&oGd;PI|,7?K*MOKm[6H\aa>ԙO,![ZՇ L?̱P J>zNukJ +J%Qkmͤ;<6m[}XlWy{/TϡzSk1×ԯ .uPAҒО5tq ]2‰8X%?^^w| _c7ICbs$y֑[MmS#l-ʠYC (AӶRŜgװ[^í56Sud.bC:Buu*hd YJ݃wh) fF?3)8k_ڙ}m3s꿣!Wɀɤ+$åCS?0| Aݤ_Či{FLFCEĪ͡J̕rWo [FU9kotd:lg+f0DZ˝W~Y(N65Axn$ f6v !]nZ1C l.~Cf}C`r EQ'5{BwPEtYpYHaPV)9H4@y 6+_p̮%p=ԏs7f|.G,LH)vL8/38;n>~RUcYnXs \kdzb-)DŽ | 4ƯS%,DVrC ^{H)e!xh<ϰXO5O{Gyrsiȫk!f i7)[oGNZ}k}Mo; :"ΤX ;&Vu0SLrǙ\ܖ4vS,5HzR'Хۢ^ɞtesuV#]}sz{m5$^1 -_ ^w֫ ot hL,4m!ɦ(BBuhMԜP^DUTًw}N7e{ r,}%ej fA]}]9XčOEɥ񇡖io7GZ߉ioNxUdT8E[ϲW vȃl ׺&Q׷5K[\%>_o/7PV0IFe?O@w.i!~ ʸ]aG#3H65Ss!JAWezk T1 `Lp钁 P.* 0疌PWTni w2: 67ߙdHt`{$ 0~5VX˵6;l4Y2\éN%Ĩ) Sظ,*sxQWT;cuwNS8*3cgAq3$?ǀ3bl_TF+ N؏r> PWdⱊ:ls[hq@Vdp椐0@o0~I6axd!Rm0@nij1a@STV&şql\fgSoUfŘc * 8󺺢XrP5vS[B\?୭{L|\t/TR{d:=VMOɂZ{~U:fw ȕ1aO^7豳GSD6 QCE2ή3;r=Xɔ'5)i2jYU`8#H3SHwr4|EowX/Wm30Pf*u#\q0:D+˂% +kF|4Ӏҋp{Hq j*o[ڀI=vIgVŮc(Y|X4dΒ_R--`)49 Z\K#&~cdۣ= )^F{B[xp+K%$(Ub^l`6X@'s$K;9AjBh֞2;0gǹK_oa\~6vTᰁ.6}ً֡~ ]RƧ-ՃO~bnܳ&مem<Bf$Ar&Q?iu/-Y&kfdd+O}S;mDj4$|M8鴽JP%W^ tk3;D9w+` $u?%MϗѲu.$u C9^]cc,^G 2C2/K<-l14O[ZjF1jk 8 u*l/mO\C:}XCG,KA1V?_NB]gc~#Mt*eN (km[EHRLyIm!sNj;yBQ|=;@ uw7ul47$}J ų()H ;Um[ab<\!,f]'Џ.cٓH> _ JS]i{#Vഡt*Aӈ)gOkPg?qe/̖"-3BLZiyc$X O ^G]ԔM;na~{9Pq[箼z>h >Q_jldD~[z$qe.!w Q AFvOO-؆vಆu OPq2|qQ- c}~QptBiqj/ CYNXY(ǽhaCzҫQYBlݛmf,wkowǻ Fb Uc ?eSBo- o5__j`Pkut:Yrf(&3Ek6k?PG"4H^hýSKܽ ʹGQ41je$"O,mtb04j ' Wv :~v@~xlyc3rYY[ OEUp(,*>O`\1$ [fcA% S*3,mbٻ)k;(QVgQt 툦k*#BbB; m"p%)rc][^x ˡ}̽m9s a-/p+O{gM~<6<\AĦ  Ym/< (g}\ZF1W̊&4l<3Nq}; fwBrhXj\xM`2&kԤkA:\pivlmL3G)F,Hw9B[{h °'cJ}At)%iȁ7h o?p3Q޶7)>\  80/ C@3eU~¥z)FK>PFx%q4kS-HqF=<H'#4m?m͋!˷#{DET8T>cVR0:z|;-\wܸ&bl#.:b\Kp]p'ᤲ5P2# sޡ[<ڭp]f>a'7gK)Y ǟʼnɼv]+YixwaC2 Hf]@.zhB{C&>Dv6FG 9wxF2 `y],2W*!p 2sB,#.p\!>jie{mPiu]J! so'IJ. jYAV݈~;ԡ= %t 6)=jخԿ 'µ`xp(D׍I"XKyYJ3?SBTA綴h> c3fUZ \+eLJ?R#CyIZ~F0;[5Z%_rbYK5qQ~Hxr1 h:$*(|o+ ʬ/;Rz~Υ2IQ5j߅j]OހdJr`>(xpx$\Γf< Pd<L8H½n0=!JZᔂ Q!n=\CH\DsPch( _=?ӕ.d.V}O.P}ת:E[ :_;\3ʿMm k2!Mt5L/Y8,Bq,m}=!m]=͍-~FCtf_%:fj :L-EemhkYz%uG6K³q`W$kQ0Xm 49, -zK 0a,Z##B< *GPGS{C@ g $2HGV&۔bSwJH|\;5h}ͬCFg"o/.1q} /O}k@ueqn6ux3h<%Wj,J5Y3)c9G0% S_gʕSPs֥gY0՘p]ےA#{PχJ pC!VLvL*;s Ѵ7 KgR] 3ǰ:;~%lϖgRSЯ堹sϪS zRU(:1+dvRz0-s/7_l#+PC{W MmGw' d7_bg?+"ڀ(JKr @I߆ u]$ٜAbPIgsVgM\0W4X7F'q^c(ڷWܭx˹u&jStI:y]s'>͵}M,(ƀʺˍba0DhW8'vaXn|ʭ& 0ndPј;'MD$.*HMa4ޮE;ߵ@^'ps3.#F.o6UH/"[ ǟ&417ٍ|mvEtD*XƉa_.'}yvw0P]A$.,Ņ_g2;n|bDst;a_B6kS|SM6jr+O=_K)O(p!"[-Ʀ acXjUB *rx*SsI_h' `֕?*2by rqwXH.H+sӫSS7,8T5̈́B)( VŤ4b7猧mVD7Ѵ6pA_ƪ'b+(o~"Ǟ f AT X(8D/GptԸ # XO&:Vwaf2G5B;ɜ#YaOSUq#Xv T͸c2j.~3U}34he\XojCOo:{ RA˘KH)wN4IMwOVMs&GtC'0pK9X}&`N1_D{,<<]wOl_2xP4I 22U X3x7iDx]>G bA(plȎSQb&A o_,t7@D"0B}e̽)+et=6 E:&"C2Y'3m?]>1kWf̈́jљ@9lڂ%{Y=lFLfhS+H!wA% [Z5m%J!g d^-GMXI)- DDD~_3M3!n5hŨ67"PuB*"̋[3``{;܋r< )WfV5WΝ3VPoGUɩXS DW힗-P<}Vst$!K'OnY$s@j̘Ck1*BKN{ߚvs_&=Z* c]l;"/ \WMXd}@$f\#رCbxHhvG@z6ZbO!{JfU.$HuA^Zard8秭m'l}y~(z$3(ЇgsR0 Cβ+ r&̳"UPQ;7In-~FYPCӿQ N.Cz`A!!rB1@WBy&}>T aR6: FQX JaQ9Kh?q;W+Z-sL V @IBPQ" /K-4}BY҆]b'-B(4t֘gem)b,nl'<Cffy#/@Ɓ(]M @x7f*MṙH,7=z,^)Vx%|cB{NDYWyYAo EA?MȅQ&S֐.wFn&,h ˍUPMμH;ᴆK`1'QcxɎ9Q.f lF= $#IElBxb{4MVũd^ƶ--v4"R,mQJ e]x/.B_6KX7RjzNqĜɯ~`Gr6}$Eƫ0<<0pwBVOo628,M^KzaKN4Q84['+õuǭYh5 {q=Ugk@_ȭe*H t$}膄If3=CvŦIL>xef`irLUXPUucbb@Bo&NIXúCXJ$.6N=(属ߦxCp?Y`^B>i:جG"IҎvJKxX:kcvqr"`8I Ӹ41€9+ɷhY͞7IB2xComXUvBW|Yuui+=y9G n0AhwEJka?l]yGǍV&̀M /D1XN %JX{#dO_0{Vzvϫڴ*3=']_N_mtxZٳŮ?[8zĵ w!y,3)NQNptS˕ڎ3O)&˚'/_5M,V]z`ǵZiޱap(PE((ԉu$ğ/sL[D5ܭ6ԭP:MXNxw.ULʥVNa4iFҥkRB, `fѲbϏOma-Hr$|2chC(O.j&髡g{L?z 3@(!nn[y{jFi6&rsK}]a*WKmZarobfRRԇV "zKd<4А - &ꟄŝEFEnS<42 mW/Ij<1J]fDlm-Dn-bP^MßPSTxHV&hs,m|Ik:"Cl\J_zh]2$5I E|I X %т )F{T'3M4ITڤm{90m P·T¢غW.UF\Gc劳d5 (<[z\Mk#K0݂=7{Nj@uLa4^??lEoLs&o&F[sep? #sBԒ㒝\nψBW3UyEP&Y}Df%p |+: 0[ohu<[ q;vxJNgͅgMIagča{70$i}q^e6@>5]~ =  5Ş(I Pl@ d؈0paLc+,dQ SIzpr I]?f VaU=6ŬπV/ Py֛z[BBnd!ڞC aM%DY_GoAR1P22#zة`LSwF@/\ҧNnYK9'3`N(9!^~L L2*f "uxYu8G7O^һArLļJ(uNzw2i}P;H^GWaMd WA 0e+<Q3823]޳zJP|mm*|DiI5*+JF+]SYR]b^]Ojs3eBvITjGPWE}!DxESr2 yFnlMgE]кu2 Bes4q2-*\?IoXk~fJV#2| n=T 4>ev`mX(?Pm%/ϗPͭdNW9mR{Ւf(E.繩xYNős TY;-kX "ͶR~žõCTQ4Iqowq_.(M,XS[i}R޿yȘƶ93JmY(b5XYgNJmbPvN0&n@ܓ(!놋=iƾHy_`s=9xQ̈UzP :]}zxeFHYt۬RÄlNf½*ֲ/1VTR*ܕ,q] N֤ ڭ`>m~*',. I~cm.!ΉtM)-ɴo7j֍T ;:]'sl$';E-۫da9* !d'r9Uj+K4*i?Eٓ-Uyhu%n=Ax%F$),M]Yfݹ˺%}KB槍Dz\:D7-+藠 R"I'K"FsN/cďiv e>bhg؀|Z*)YxGT2)+ONF2JTu.Sܤ_,ƒJNfDpf<2ߘC~Ԇ4"LtUEl OQ As.H/\l@iOL.6."E ޣ2ᗾu8!!5 (j{Q;$yI"CZ{}9 7x]#:bEe(w; ;@p73#\zM<]yF% AlqAŮ^;J4 7fg{^5v1Z{s-Bڰ^GmA=m?!l!'Pd-U֓ &/0|KΪ(n)7JYH@8`lsG4UEkUAJ9ӄK\>c"1]XP~@bEbCeWz,v ;- Qd4BĻ=ʀKŠ6by MdlIY{ͪR+pBğ2/xpN!za&Nsm܂qW=@ %r M03Y^i %lT a1畕+^]~NP%Ta wOqAB~#.IQL"BZ#HtgaT$MBo̱ax(SbB`-|z'=ZqRXLk 9$W_)J4zƳ`k`(,#҈ oM!/T}eK68TD2zBXЄ?v_W)^yn<lH%&KsfFN$qqxAieֲ/P$(6#h/f:ٌF@B99{*!XBT Q& 9!\7cٯw&1M?{29Q3 6Bt+t^Jh]=mY%Bv?W$}AZ;3ˬswdsG45pXL e "? bMrP[:s7MVw_G|yާfE(Pgp R`տͅ*| FMLG;FO$و|}zrc&yO#k%):_ѥx8I75z(S*SckˋeŒW0p,!MFu` Iݩ^m& +YmtpʺH\[h`E950ӡU"2{[,k}I2pͩpItj=XF7 p*M)AO>˜߆"Va:g4ADO4|Gv"OSޤ 68Xy-'nHl( iVKdOX=:!:+b9wFTpب=Jɣ4aN(`.qKC[ XVxXj.C#|O='*sA OZE4N7 *ʿ5#P꣸n?o8ypN<Φ6λ>_p ^BdوeT,zb RYDRא"էfNrOqoxJ#MLd:eo V[z/|ƜՅim'G2~=L-! `MڴUZrs!3T7[vɴGCEIXK]__C@H+)<0t6,1<4ՍȞmiG$^mX}N'Q鷆ӄ˦*jB)#GNNM?rDZ:Ɉvng/, c}c!ǡTbt.-j5SƂ}׻|,/ަI2\ /cdw|췎E'!/dji!ׯD RppKHŨvξؑ*ԅݰE%;TG|߫R5 ?\{ >e:qin0[DrR '5qݲC>mI%SQY{ˉL⌸jҸ0OȮA%ݍBxqBP%930XLJWxF2E. )XWQ>p @5cYY]ygo#Jt{= % #I*X(Ucj)XgyG|; j9XAtj^?&CEYܚ+' eQ^o" 36b9;D_Pݍ463hX ٚ !;PWﻐ˩tj5J~4?Z9}$_ND:nz^^;ֱ4o0>m æMhrH)D@ϨnbNx g HeLT^\`}CKh*X8 f`&Bˊ bpI㤭C˱6 |~%4(&?.wFxpP%02="*J64l3hf#o32#qѺ8ȆxKM&¼DiPnwJ2¹!ly fl=./!KԊ6堭lˤI; )E p%SQRGr9ż+x?q6٫3Da'%X59jQ9OϦPVǰ{!}J)9G&e`;"$89<%^Wy"g^cNj5"CWJ-  nhi-F!kբ3rZT."Q9p$a_lԛO>*DZVRH># 2-"#?zD^xo !ӑ[,OShFϳaɽ]Fu.N'1En+Ȇ" ;p[/ox_iP3pT  I1̒%T݅;M9c_TY}#7ům=3WECEd \Ѱg=ȉז-j&GM=Ka +"Vp4VR*wp't㊢bv=r;dR$Fbf'Ϝƹ<HgrlUtxʢ!;h\c/&v-#RBN@XTM̡"c{~a.I3}|l3Z #m^7廛NO8]^(%IϔzK%̈&uC|(1hQE1Cr$zV8p'o4d/źEro d idYje5  4=tD=ײ_BZpB%\bW(W'ѐK拫l,?kv U['֩mDCHcL5O*WZӹėM1RSeܾt^WczyKr5;@ENaT%hL)XyR2 qebi\i=fs5[VK*Pܪ҄hgi.TocTa{#¤V^ioskST(,\6 kjŗz ϩTo`E((C9t[X\.X1e)r2P}Ձ3 _yutXc U@dU-ȼBфd8W˕rg:K}ܵS;0* Uй)|R U sX*%#iìnl\QMiEOQ}WA?f;K tof"à]Db=#^AvZ+@RDLCKE %F9V@1~zL_`mahL2mRQjVN &YwnCoVDv8oõJ_5f)TBY4"u>1L-ݛP(B֡78 kpsD/94/^4C*:V~á-zL r(tnb+.u LFV|o>?+Nv )?"Sك݅%Ӧ"mr{:"%'K}w'Gx.{ngbbP&9sC;2NVq~h0}` ĺ7u>EG(R]?fWƔb+On!>ҚXvvVy&MXcE,'% hl`S1!Kw%pz}nmTL7@"yU}1KN`@u7TV6$sv~UJpG>:0VԨz-TA xDiڶH9b0Ýϋ3M#S(#t˗zu6뽳&EO^; ̅ǶӍ&^5J=۶34 ) (J;|K$Gڏb*%}ՙTt#97_odiB<; ,k)wMe-ѲmWU>[щݤ3r oD+ĮIHp)pk_X4̞k,¦ybWO_*؞_E00(àj4nA7$݈MPc F##H3p=^l;f'~UR,i2_S UU5aE!Z WX OLP " >ɔV̫fMZƠȻ˔a Vg  wQ aw!7!L@!gb?CC^iznߍJK[u'V0$Zg"J 3 1)W_FRk}:+Q-IIP֜GY*U 4 ڶ2<)k2YLsx t J-xdb2+YoAy|֘=uk1D~TCמg҈0NlB D8Li%y[J7ljh}8 E Pe,&`Nz-2sOC.>ʆɿY:^hrmf)j$ 1 ?IX vwt]+OSbPRɼjW ։8xqƤF2F ,tbBL4 QPp:WS0L a܅S|L+",Ƨ{0 |*-ơ?T/Snjďjzu2-‚G?!Zl!}>Se =A/ʩ>vED䟱 %Yw31zToP71|I9{T2AwإA[<ѓHx-81 Sܱ}'דgC0Ө wñU;"I1 jޫtO(_څK H;ŀoݭ/r€mv@;x{GAÀ(ā'R:ZCpWPcB}xZ>LX`/u1Եo Rk5?|a3QU#D\w"8o$:G%i^a<leY9s#07!ޑxA{uU< <9֨Ln@ SMӖv9?>b3"X5HIat`*K['_!NQ^FX= 5m:rslDeձ`{_"ujYм?,r(EaT#DhAFP 4()X&7Dt<4ٳ2m-F&nM]2*-s7njiAoĤxfUj>* 2\>5!SIKʅ>0jXM<<5U듢ՁylyuE"/92ӟ_wOS`0,[eIArdX,7hlW,͇cgR3p&J&O ݄D? :+?Ųv\v"H1b`|}To40`זa`cȀ\`NUL O5j3EK]"FMݪxsW `W Y.H)`#=1m2`<pt`o?`1cIS\]c7%fr]b Ѵ>*bͤτEGwM%DLvH/6Qul2“2]y3{N\F5c&^M< =e>ތ["n>jDQcA7rz9:槮s&5!PŪVЇo(4G f_f4lO&P#izgH vݒoC;Iv8B*S7$5Ӳ|7ݥnP/,[Ul ( J)^u8}A|=\5P@Ҩq |sMedoX0]TDʝ߷W]\M*֝ƔB6ou~(oqV~q9.Db-: w\ռ= KA1ulA>` > vsgQ3ty* d[n>/xO)2X(GYJB :av>=k?їl3,H&p#3D_9w`Ab[*ˡƆFyqvEVOE1+; < ;B>7hƠӴ8^cnb} 붕q)3cÓT S"^S眮k?6Pф5ZOrȄmd@G}q QqGNN 'dViR>; ͕N^mւ,BL iQ̝ y ^lzC'KtdyˌdӢ>d3gwAx4 1 Ʀ^8#PB׸SECq$pOtk4%&yhk a(Ȫ XTӥJb˯P;#R-NC6j$s$#+ ٭>'OWQџu~sO^1#ZmIڵku,<#/8 SOҋ,)Gi$d4֊ZZzvZ%BZR5nb q1fA=;Ɲ$6jUS[-4?^d4nG//@3{ eUdNnZFKB Mw-4HC.a.K15L@ i/ߙ[՛[%-A~C#9%ɠG+_"6yrHJ sm?ib= T*9mG呄,(|Glfn楪u|ur?\+ ޸ ˛EC&{#-օ0S. eT%7ixZem_Yh 5SFǽzBR}>NDV^tfQm`^*~{4>2s6?q}~Y H* (:X螽7g"B3eGz2^'θ\#㗏ňAWboCV=Bl~Qᝤ1_ppv ΢d܈C$J0OQ*&tiF;]!?5no'Nn;~(hvgOX^ h4|cS nh3}܉aقG`pNhD}zuo퀡wt]#JA9;(UO|Y+37 Ӣ4o D0rho }&!T|K OjeN*NK.z @JfR/GFIը .x.& =O:Z+vfA e5gYZ CC:"7[I u~@md0lo.}>дqTRg\0Ӻ_,r* :⨶I&geG<-jt|r#BWMl#49^{aH ߿~Um/ډ&)[yGOlk |_h`6vٛV˅ JG\*>fh gi#e'׬ۙ2k$m42F؋(GpX*$wX/_-_%]%'H*3mU/JC˨kkӻ,/+}wJUĂeh)G> !eGJwvFʆ9CcdBz Y~𜊹S_C5%Sol&N H =ѥ˚R<{dzmkNDT.O|缋8{ZSÒ + (_ HuZ[l,ζϟ S~݂cIPUۚEK$ZD)[&m` <41pX btE˲ـZpi[wzIaWf938'w?:GMܻ*T]1ƨoUt^AzjT=eOJjb8Y2 9GD GYJ T[MREB$;U]^ܮ~\0}7]9SHقHTf9ZCA4Q nٙsl8PJz:F,2Ψlt7`sJǗn`E@qyl̠,n&Z0 F}[SLP==r҃Hb MmiG1]:(B]jTflҦ~ X] ٰѱYː؛ !'ԻDgQU \cnAR[2ZSfU$] (R8…7,!f8IC&xYQ'V)AL.`Q{v#[c8X/rtwaGӭ]iC; Ҷ!t4 d-O{!`f^bMM%a=HԘa5[($UnEP{v)G%4.ln-+FzFcA< ԀGMC ok_i}l9p z؎ 6Jxg(bk}p'g 6D WD<<ýd,ӌP[pLX>cX Xior;ѭ]Fgkgxٓ 6ڜg6_H*.ﶽX~!M a~sLJ^%MGV7ƟrdÇ=|?PKAs+.@{cLFeX~+tՀ7yaC]&o-`4De"/HakѲSv/ Wjps$n~6;x$wm*}0N|Ʃ J]vYeR:Eۈ/XzJ $m7s y \S< i4#Uyr r%gW%P(_V&5Ct *hlO <ŢCG(;+Xn::Q>Ϯ;䏬hl'r/1yDZlq5ާH6\(RL57E3` }ӋUۂWq F;L.Xc+t %\KWHoרQƥo[ +O? U$gaX횽)՟TgQ=Ac|s@Qnqk⪣X;EK;G}Ds٨ӫWhv(/_0o\zn@-̷G(Kg=wqjlw ,q'GƑ`BDmq ,^[y"ţE0rۛ*ף a8R`t|Sp'f28!V7lPJiAx95Yw:kR.[E"8٤a;ET1Q9: (sZ?=m܆]nx նD$QQ`Ol~a]q+G/ڎlkUԄQT6ͯٺIeN6'zr\S^ r=OIVLCU"ȷzqQVUkomwaajJ>!2Vs³GGSqԒQRnzXnƺ(r' erƠ2¦s].{,=;n^k< !~gYZ=dë  A]yNSًLJ {`ɁkZeS"PsXm=9R0OOEml݈A/R ;LKRL_c\F| S">X]"_&}rBǐz;c&lѸ2.5SǺ]5o8s['G/x,:3Tͅ%75uFy S9 8dV:a%ҳ9"|ÀސIX#&cꔍ LuwkP@1ສ ra򌇔3Oծ9+TelAxa;W4IHTɕ~~ag$3>-N#>%0j`b ~Л9vd ԲӡpR$1=8,WEGPYtf*KKd n?JI> B~ՂV-{V Xb = ⽺W+⚟.餟VUUu3^Gk'a{M!RM!;C/UNhi}X]:zw^ٴ8G#eHagMeko +Y^ ~ }\(X.#c'5g\0겒N6q]t4v_䘟1>- ͸g`Oʉzsl ?-;*XgrYC:sŔ9MvA$Wg'BNJX̪AUIr,͙o"!ωp>D̎&'ck#{Sxk'@ctٽP E*3W= q:A#("Wm|"X^t^?%a}`}M.~bGJ+󨆅 mPs}P>4_'$հhN\[oV􍱿DqeeX+CIS. 8  ;ܜ@f*3;„h^W&D,E仰BUk;yaCVYD/niy4Ўe>Fs) ?XL^~}Sz);#AYધ3rwmQyR>>#,"aj.Ə D c]aV \rBJVd,w[8^<䔵ňԽg*?Zx1;Юџl諁v@#Gz|L!e0'`cu,})`2*SOSBNP9"E᪫ 68wLQ.rHYq%7`PRJ&]wIic^wLB/4̠)%MKe$=$$mԽ.@/}Y|N_wzG 8 DP;1N:T0D*i)7 O Kũ*E~DjKI'u}KlAO˓F?A=brK:XZF9 s,0.Z._<[zkTB>=a\2uΛfꁓެ-3:scaMX/g)!B`k&dֲp `jeH"5osC+{?S,6OTb׮K?/!5TWN0yx~"vV:FI*a$ɑI9Sȟ!B{3vsg4stT-]xWteTSIh Kf\sD~VԤrM G0kxVECPM7<]q"=xT4x-W,j;Vf{#. 2:>Od̵zQvn1vHv0pfd>x6XwbMOVB@ kD-5MQ}HYଋHUO\ Hr/ *o2ϹSDW!ܣ߻[2+m+tZ%u4{7^lB&*Dmv"nZ>gtMc'7܈x??p2UqmmvbC~ԫ&Ԛr_4B&c Q B9oN3, G fu&9~k .b|ߣġ9d͸b4oMLaޙ)jp,P$ ,з@ԗ);2 5\'8-Tݔj=7]A/YY{SWc e_+ƪl̚>vօW aFP*%pV v# LBp0`~2Ӭ~lWLv3KҶ!L5SaN|͋F`M7ĢaEF;+woă"cj~Jz CC֮؈QDX_hNˎm]Rw)8ӯGf=^9,D>%+LRxwv yOTV H򁝱N9vڤpƲ6+3B畞laюx=/OhKb*Dc;'ܩLE5Nd2w{E}$KiL,m#=dӋ& ;9R j-b`Z׊rSb;ξKpmfsU;(:!xơ:B%4Lf?>Խ!QqC_C h6i=2> 6-΢h*ٝtW2AL 8SzS'(G-QWh?xEEkTW_WONfyT26ݥ PNBL?4h4މ7 kkD$j0Lrth,:҉-q|[(E~<$(XFD/2xR{\@~e:㜏ᮖ7ht|D*,"e?"Vg2XŅ9;$hZ9M%D aTM(T%Axo hȨ8X'WVQřy wUob U;I6:E  Dv1ҸX'2Nyln~YS,bi&/ ܪn6+KMz1aD<\JD \$`آS^7ZX=*c\0Y= =5\;|Ljc1ן{.h߿Px ʀ55sDeU6QJGavDZ]s,s>R`)g*/s)&?^W: ~C0p '] !*W ?ˋ!#X& " Ѧ.D-@/lSC'`%@Zdkx/2Jh kNHqn\aשWdL9O8w2Kzip,bWncd4&+d{{NO MN>RsWXU$2<ՠ6]I@3'53#qgI\ 8))q$+VR.e(l[*Bk̿\;Nܐx^!eʷ,pm)=#(CW`pl=l|;y(usl59JwI|a̜,§Wg,L?"y|iWD49 +:g+>?gڿ߯0`]P$cVZz6ZXd}{OT._כk %2Ň`xĢ̆;WYn/rXqU*lź :9C 7DTqON7E$@u|bB'yl)=<`ix\Z "c P Lu)Sjb I&Y TFEC&j80be@j={(Tj%KzWh 4'%bn:>Ӿvpq>b"x(-Q=?wCKbX!BЍ0c=W=(C~Z¸ ŵh!\ugtg$P.x`о/&l'_g;(/ ]",ZzuRɈYv7X$2uNpF#.G? gW*ZŌBR~g[YVv~"T1%@A 8;2ut\t6 @'ZF),  iLг'.U9{|вmF:r}[c/g(zFO}rA(:*ir \<)5FX3jo))M-1$ň*e*8W!'}~AX~N~nL!QTiNt3~ n(Jg%O)EhI *1gKdt|/DNnL inpþlTȅ9hG$X?FEġ3E_"?b_* PyMCy!p4ɆzB3OSExI5ړSDBB/`Y4XM_'T=.*짆SXZ|kMo,|{ӫ" >2uqD828e&y v_S?uFC6 'hxC|v4BH%[y|`p c4ʹ: cU8Qf~kZ@lxtjUo(EfXh.XS+' y OE1z2{ %߆AD Am$en$їistu.Ijx"鉍`>Jު: oެjp <8e*4澣Uۮ?=]eI"L\_&N-s=Hρhm̢Qjg>בmp&Q$>#U~oZ'&˗QFT'eN;*Mw>\>?]U;Z9TZ;\JFOj!63@eY#D_إ_G(ur,`c"K+h_J}% XggjͥeXeycKv#m,P?>` R_,3D7)wPnLW ͏TVw7 *ůޫvWGWkz{Rx62aQ5?z n׏ݻ ]z6l1&Ccɬa;:שC8Aǵ ח,Ar>cݚ$-W)m_q(vN~9fe+\ 7uHIZLJ|. 0?գ$Ю:nLN[&I ު ypqC@Zր {W XSSx5g'V$|?)̓mn$L/ zMPq iXF,5(PCh̆ H|݅X?iBvK5G4xf%+=_07U9y0 CYoU zC9)j$e"ۧk8\*&WK;:}K{AJtl1:u%'^t8Rdp[+ * 8QeK!}wxM`[1PIV9%4r9ͫ@,iQv0ygy%ByG=0#lL$DPt=QjڞI h0%_Ց_0P—T8 p b ެ>+4 W'*7"<&ZR'A|{2l ?H :|#%gxb+?S^[z1Bz^2WgLyx#tB띏/UKT\fwHj_%!Iy,qL&sfTԋo!Xú:EQ=)HOibzJ3#6hjdw&7Dd&_R`>)zVl>8+X(0jp!ntNN%bwOBaG׵XfSH0(ؼQ9m\)/;z0? x2 . ,f0  &k4YVIN\$:_"6jMC͂>EtPP >GP s 0`ȵ( h+4tS8im|Lsz{ALk{7_pEy\or]Qg9ޗyɠP*zq H*yRZ)|AzӇ+3CVxfy/CA4gsXܤ1w[??CyJvAp }aqܦOW\OdC|l׽<`7a+z &kV@@bQ*z0~eܜr^D(aILނ,KCMrL! DWF)ƪRPGb_JS?ENj?O0>`V8?CQ./{nP+Em̈́ W=?Y(^3|*) %_CL @Z\pÉZDԩw>ը!~o8={#1nCHLT\Kf]"VٞfxN]ADU|cn<'mo Fg6_Q?4v<ܼ{_#];_<;^OکzQ3.]!m <98#>u< r hly~J Έbj7Tz(CӐ~V;2T:)ӄȹm%'={c˵c[S$ZBnKIO3U]:QOTRCֱ:/1@(1`= mgHC]T2YdX^Xa'dr`ͅ;eÛ,ޖ}dqLӖKY0# #chK+|Pyĭu gNC8îL44E{ wNCcϾ.?L| `9v1R *؃oݙN<9mcx*Qhcpŷ<mެ_"FU+npaǩJ^oph(uؔVN.%xbt^"e.r2O Ѧis/bL?Kqb]89 q8 #km|&~?6672w(]OIJ7=:VKlV&Z2/Y8`}hZΎf`'|DJTe.AkKU/1bf KR"*) !56A|G.$ l5xc=ߙ㭶"iN׾[/ZHy(}ݪcqLя @Y"8ȱ*Tzj)e⠛i3Y ԨiՒ;S@0MtĒp_Hv/u|sǡ:Bf=jZW G=}#]T'- /*YgڢVᦡ-gLAt+=J$&>N&ȝ^ŴE$Jy>< ~Ju-e6%SIk@4͇&J"x}v8 X֛=?sUE|5%-nB{rw [MB1Z &BbAS|@jJ7&ﶰ_td9 @pUZ wX!1UJ2_U>yyM.ĽO?(iO#c{05 iIT l ԃV~tSp=p:)Dǽ!e,L[gftN_:٩߄aa.x;&O#|&9 l&u;4 IRmJ1T/"h+zǸ{([hap=) HB+~> 'Ȉj0H(3-U ,77~y K?L Z+Ép[>ũA.X|+O*N{ ^:T&$1dWWvT\X7P鷉gKCP6IHP>e?,IEsiB{Yԃv[] $l/Nfaf0{w3 }/*IT]K&B)88}l;#$*㗸5Q 5sAT׵V-Eo;H3[[N),1l)&OlApvtg+[f$1^0u !tMpbW%k5-,77`ih}Xo-f5JRv>Z/ӹE)%owU 䨉zqY$ hHN;es!:@jыQ D Z#v=CmhvpS[`ũ`L3)щm5$F}(:k~냑l)GePJjo9>k;Xp=u=aB(LDoU3bQ_ FB,qxԃ ?2Ӕ(Vdf9_p+k&IU#:f`*;""؎Sl Fein =bJG^J*Z pT5!2>sqY9D$ݗօ<*D+b9v Zu>n@T>h*%?`8hۿ$7G*#n*(s+TkՒ\z;bt =mLp#$ɤ֙~%w؝HymR\bL|cw%b {dl'~6r>An>SD$QWDCi}7~!M0mCyXha3#ڲwb9r&Axł'o7hRanGqc>Α`GC N\xFbw/m;lidH[h XKw]%NFьdt%V2 ^aJdA,RVtzr' V('%0H&2%//5ʚSxTDVl?չ+Ɣ:бvd{E)Ui=VuJ.A|D|GyZnȚ.H7`PmQRW͗=PmF?J{KMZc*Yz:.!~/\~n1/>!r{ ֩5JoCgmJґ \guZ=.Nrf$/Z;L;@zFX14ӛ#ݳ4wOΟVi2 f8y¥:j2_ECb3؋cG8s(:_§0ҨX*7$`WX= PIr8݃r aHz"1XJǰM,3ܦM 8o;̿1'5b b|m@zC`Ki/JPc"R8K&]"l|ѫy뙚j,ke&.>TNڕCz?􅾋$FCbLUGʝ4٥DS2r) ?w>IsƲM͉xLyOp7zqY73=҉hE"xJRjDcҭ@5a}%A(9ztꕢ18BQeKޡ]Y$@1I_QeNȚ-5X>SS0Bj-`a"ތmcLת{vAkeBӱcwUطj_heAxvq@.oc$WқRrPo9FǎC$ @!ZlN[ڴY;.ìɩd魗fjB!qZ,pʗt&h@`ծ`e!4=Ӻ/Oy>=A* ik6;ntF a}lJ@p݅+-nf{Sh c5YMiPO̲9RH椻GLNYŃ[7XRVNvIqu}T&щn*w.lMLuΪsCz2ru&)Z} ix5^LŽ kYDSa. CJ>PaX/:EA9?XʏBK.k07O,TeF`֛†1՞"!-A_;7@mtRVNVPQ _ݗ,ټ,!t=B4 VKt NHg"(z4YM]ʱMCE1%5^ I<I|ؤf֔&#b6;_KА\pH?Yrg2>96m_Ў"[6Ċdkc]aC=~f>O0P"؛YY7מt{bp}#@= fAh OjXm@j?يpn}w X >U .o;+M(XK_tEG9䡤xvkzk$|c*L;c 54GAoA/'$_s=Nf$%_v m\"wF+ 1,| 6Ekqͬ "1g}3L}[+IXPUT []X_=;W/s<\#FSM":=(y*E@,n+42 _d<p7Z;7:' +O@)2P8\RCjvЙs>D}e&%PټːBX/A|l>9ߘD.A4 Ԉk$ǖuJ⎯wX@^:C%ސ"snA- F y5P,|֓ˈ**+@9 [v8loq h$iW踑KH#-M ͡@ɲ桟)mҍe㇭0Rژ{f+$9L6gjcC@r_[Q`HWe?Tĺ}3? `$[}zЙg>`|DI5BB 8VwUňh6 [nl‚SypT_)g,Dy>Nz9C#+0xo+X'ilMqpV^e KMejdOňdCx~ E.-FZ&"3h6 JoP>Kj[h':[iJl62o Vn5u)AM7șb,ÕdiF ^~Z# !iweJ(#|yR0DPz*zO]K q:(t"+ &!t{n+9cm;1??KԸXRl,zԪs1WPL1V'3[}QɘӶ1F1yB;] ۻM'PK7LNcQ$>QyuXB7% PsLJ ٧Z޾z]RZaIu.ēsN͌ح:<P}xMX >ޠR!qGRzXV1{! 8`lSKW! ?*a$TXwd;LUb[B. r% L2E&y} MOB1zr)T:;5Jܾ(!R۠qQ-*gʲs-ﲲ1$vV(q@h/ p6qx\M"bP6 $_|,c#J<;#b^Q6=,4zoA$ƨ0DK2%pxGwUKNGnaq :T,:pAdYJ:Gkcso0FEZy/ &`IXo-hְl+Hz %,AyTίkY d3N7axl=g:8CKoKCF< n8 Eiih x#[{ۻ(*41xHᩞ+%H\c<ڶQ Ǻsj؍Q6 'SxLl2KO/Ka¸Ƃ#t&N2R˵ՖqE+! _g6XFk&HDJ]$H _ z"_^8Cbx(.As+8 #*^{gzCϝ)f/"˴НfZ^B?MݛTw"aF6pǪzLǕIvv ~`>rtwCȁa+ urS:Z6W|k[Nχiȧ54;%"#9{|jH6s,HllQf$ OŕlYsw&)Izdd$]E[xv8( q $X?;#۷R G8:y{7ZcO`HOK^ tC 8(ahD9?˲qL`A{q:"Fl82T>ZTGmCRDwXIZ##=0PiUTm%Iza'&]P%yu9T&n ڞJ S;jOe96t0T|>YOb pfP*2PɁﻣ‘6kmR?^ۣGƀ.ס룜ljڪq-yagVUz{ZT5QKJA@a1 q֣pkM|f/` uBmoOk1@vn%q]x7XK^5/P?r7"u4G(e"9@*GR9[ }ҭu;&MEa<9k||b }SqzJ ńu"}~ A9:ý*ĶY M('d:AkmtYV69saѤefy*Z Y\%̉K#:{i T%s Yd e"!PT%&W&}+̬/Ίf .]o] `tv Wc|9mS21n/ L/P:籚9^=TF25| +XOFƣ(l߼kF s]s-dSȾqبZ;^-Ѹʻnk \$LJ`C=xˎq< yPz \<#4X\4*N4 Z{Ƿ~/|Fh{۶?m\:?x']U7~b_1݊-&f}IWVhk.P: љfΐ v? ?F/z@3񑦥VTd6 8.!L$Q9*QH&IAfn߇4Iۗ%,t6@LIϧ݊lrd";3&/NT aC iU;$X.G<?H#3xk_l6^;I"9Σ)te֗ʽ8E,f)I%qsn6'(3>nѯ:뽨p%8416W:h۽޲B">gwg(#|Ywm]Pz .dϤG+i׍̔@5VWrcqYCh(G$:|X5g{B2B*ne~,2e0VMKh㜯r%`4Sʤj,7=4R[i/̨@ǯOGB8;w&uu-"KIc_Я'ʢ8VQ!͞wqIohW@!txܠUE)60F|m֕ƭO/9Hr\ϥ|)Αo l ;q5t+1r.˟v-F ! |Av*^\ ;_.;8_kڑP`C,DU _#jS#cjL_kԞG|P{}߫[QD|EOAIə7O=C7sg>e GKSsh&qk>b>ĭ%Wͫ+z]zLi`-˷i`UBŚ& 5R QKkў҇2KR7yf$GqLS@6ZO@a>5ft҈_hg%N_P@ޗfD@1r $1yC9ց|=.~dD162΅eMwc]"%nԤ㮟A.-p6[jlr&uIK}ິ@};D^Ua/ qۺ$wOINwź}1ŬsUk!ˊm٦\Uw8Z{P hWMI?*,T{HIlv[-p)JCyr`z% $4%b줈I]0C7-Y2皝&IQ%w |5qUH,gv12J6VF84 `B2VnIv#v=lC{|vmu,E6-2e6%х$NIe'Kq!k"nC鄘C %P PRC"t̖㧂0bVr6۲kEdG>1yŠsdg2/~WtUJ9^1[LjA1Hon'o4G\3\_o.nN;ޮhמ#i=3z>Z njJhDYvߣ+݃B*n`P@%9:xjxdcPD )TP7>Ñ'@~2M8Mz866ܦz%D_nk `6 X,!2igoywۅISLOb_k"f )_+HQq4+8̄BDh`%*q kxǖn\Fcϑ`"O^Kwl6!B 칊Dᄑ"MD¤80ӥEوkV09ˁm]$yj2?EU.\PQR:A3EeE/bmW"bI`/gR LRbwa?)N*}Ma0 \U'# S./Cz澌tZ=?:a \ ֛4z N ^^bTRX<}2@r.:d/i!x)ܰ B+pӿv;bJ s:3tWVF&LJ$Evǐ9mOSc~̦ e\;S1Gǿ!oB/'cE't4A5~m -#ߺmI76VNR>ov / FSsEc+Bj mV˥>6zm͌p藪(9&!>ƌ\ o1IyFziE?*w%(:r+ZwF;]CzUʞ(zI7c+_3fX^J 희"d\u]1v3>>ۜaG{tЁ(9W8 E19T/Mb:kuavuj}߮6jae(yMPХc5,|LabkkK׸mL!LdkqJsnU_J [m*h? T-UkpEV앁Npm`IhQҴ]4*ěQ"CaR\:@]#[Mtv|fޓs;Ѱ\S'l.uB%SG}6}5KN j7~a4rدfvQj-+l(~0>~VW4W(+08 :FB(S(O^:7%NCcny;m}K&o$C7]~\A_RU?Rve-Yכz,Y"lY1?mÃ,)Wy`uA8os6;>1fqinIg^euKf=s,& i - ?K?_ɱ`\< I1NvunX1)K'yxJ̔(H5lƒ϶z \8FB7^MQ ~R?[ r\X:wioXS媆|"V1@Y)؎>>fI'RB+1gۭu\VoBE[v$"TB`ð\{Zg2)sڙO;w:;0* m䅌<@x"]"PlqFx8 YU޹>g͈x;׍ GN$g~v-!XͨKhB$:8v7XC:M]ߣ! B}V}'2E,ӍI,C'|>5ј׺0)KXڥi˅iH8B! ! )n@Unn~\l0XM:_UE RfYT:Ьva_jE  Gdڙf~C{)A>ݒ[* l gqU@W4 BzS[۹x3z4o${>-SzY$d1TA=uATOH_H<)Ab6Җr8Bգ+Ycy{aG2%GuN,H u:YBGyV츰 J_='hKte-k;u?k%T/sl<.Dw2톨ň|s뽕99_S,DGƐ8N)bC?Stv]`ٷMF|q@vWGŻRև)$} )NX_ ޤ jθZ0KL,ȏ7*M NZ[;)-ș rPjw5ArflBPAfJg5~:nOG~F|AT_CR‘JHubI:v3##_[01Vl`Dr̖:.増h.`aZ%hVȸ,)kPΡ9\ꄋZpwu@B)z?1@Z8V*{}k^X4F2Rd-3ybNRpR"Xso~/&1a]2s2Aæ}۠hokqH$i9Z3hWh֚^Ki\J[C]mJˬͩJy$4֩LL3~%HVC5™:ٻ4"D@ ݊ ɚdmqԯKQ H^'Sz5J(^ؼP7Fh`JVr0ZL;@M8ڨ13Xi;91Ժ*^I"L6=-i+jFVfM3aɥB=k^.)˸3f7t~5M#ӍqjS"ez0u28dcdg1۽afg8P mh IՀ͕\tͣK񸐮1 `_SF!- Fk"(Aqh~ AQȟ>:1n)VJ+v,I,k]>#4q< `,^k9s;GdL=B 7R -7U^Hn_k@GF6̌"<^,y'Fe$2zı@%{T׬V,,=a|ť#0yMD@UǞ_ΙymOOE|dxTyV6 |c]Ų A.eEY낐w9'z *6HN&kp%}'d4 o~yi]Q ~ۚ|̰`^^D[z:n3Z,P-zDO+FӏWAR#L\pVmw&f. q#:2cS 4AW|/M& 釚19f@Z$J[tk)30M oeVQ^%<#·[gqv*HDޥ{yf֬Vb ථ04Xg !}$p%B%l eEL{ 1(sel* G7}<}iM LYčd+҇+ձ/ց|6 5'E/-8:°K&6Vk7%v/% ;~~N$-5,OU#ftJ"aM%!}.^}=BM/wachFXq]7iqcq+3܇0Kv[k!}zO:/v~B\Ih0?aZI)8dٍ2LqE"=FRun&*W7. \; *K Q4I.x ۂ7a z(.,edq|4"4!.Ep}bFE8AHbΈVKٯH#5ۘ bkj1Bgڠ71d#q!#IA O0%, +0 -W![.t$f(]߇D<}_ʏ ye>RquN>ȷ'zB!7}jD35!IJJ#`Es;nFbsdwP"Q"7d ;Q֣y*6׻D;/g1SV%DɈؾH2aǙʵ)0k{ WMf9< ;+sƼt b CTBkA-ܙ] =}d-Y@9Olq}Z GeJ&tFk"d~&Lg5(PaR(!ye_X3Nlq3H5ItA}-ss|lI4DrsSz08w^@jI-@+of#ݖ6ԧYסB3_w45"JE9G$BrU$?&CcIVŇ&2 ZWVBtDw5r|vZr}$⨬ ZAئ4T >|aԈ\7p#MS~2IcWu9-9=G 0};<]f."$a!YirLG{{'U0^pܳhY^-| jSjY3X%ѡ!pqP\E5Q4';Emdf)uԔ",2w}]5Pӫj3>+jaY[BK¶<}?3E[.GybL\>zl 7ѰP*Wg׿Mk,9̦ JgX$4@4 S%ereOM cu#xD .$؄`7 TkaKZoe^ iLRIO+ |e4L=}'NGTVg#m E{SJ-u^q@5^1 T,^gJx#H )v:e,BFI8|Lp=+N)ߠ4b4S3{llcl ɪyUdEZ}ȁtծƶKz&jalfE6GCCi sW5{.Ďeqz#|xaN:ICF}]ylNhU\ bASmۭJa~wSS~HNXGX54.$W;z֣y7QwCȚzO- .ck3iE/_mJ$'ĶgAl_cWT>#]+{5+_Xxg zJ I6E %~+#P0t΅qI27k5w7PBKv&U[ 1-dG "r:ì^_#bF(Ev[ObQ'Z~oJ ;2G2k5;9/(7@;7Uz`'){.t.i@ Y 杊$~u~|$:T%恇j{-ʁRCNl4祂I(Pf-j]A*{!jd:t%ȬM|MN -}9%>g^#EoKfRf$A8TGİDEXä Hے\bH48t?{ U1x㻻opDtw}>QnW]o1 [vJxps#r8ȏO0mL/ T2SYoH&L6JP#8\[wĉ"79v!_$ Us%W&xl-S"q-̝ZqSþǵK!6k%Xrx+W:w-ڴ9|+q-(:,(sDZ!IJ>mi8>w8V!Ψkč!6A1얥&,sz(W*4 π#5 =b gY+{mQѧG}@1FƀUp SO " mW*4:skX3`{N2L[Mܕ[^!ñgYZ < </$ 757 \HOL-Proofs-ExtractionHOL-Library.Multisetdocument/Multiset.tex7zXZִF! p]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg)tP  jWoFOu;%؛hΒ}ei"kGPϚb;f+e  K\"hgBfeeXiV]^0B oVX{iB^f=BXF]Yҽ~d1ǣ3ҜbS[ TT݊B}^[/%id"}&4ӛyܢ_{SRJx)gi9Lc!71xDcgRhRpQ2XMEGESI' xvaL GSd0W'`N?}0wk~NҬVjS3Yi^*r^ݬuZdBE eiHM"B~зVK/Nf;;ӿ_h05r|@ {g$M^A tz(AIDb8,=3St6 fE.=z]n@\ S b O(ф%eS^Tw`s%{W\o(jơƝGUvOZwJ;RE H\zw{aaj;^E j X"ݽ2For>>i!PRt5 Gr)yڜ*o$]Ƕ׭$+|YJ 1s +: H!^XR-swrb6Uq_dz$ꘈkwQǝXG Dԧmpm0čEA}7 yN1!̔,;9P!t3dV'wZݙ2#5|i !nN .oXv$rA)ER.բ%}kc ^ |ۖFř!=SS aMfdl z.)>{?f 0>ȋ^phGl,3FcCQ̹:OqAË_b8 h3Ff#w)z!d$Ft hK..@i" C*a 2/Դ]Bt#j\g<Zwz/T_ sZGx|NCqD9!$!E Б g#O1sbh-+ɪUe؇])m p&hr߄<F-$rg![m-khb}uv{+ǽA z*WDx ovDo!Q Hx˿$l)ӫ=-eM=^z{ P#sa}J[~bs=K\'wU\@#a"hI^EG!ǵ:'@mP2b[#1PB.dДQnwr{)qOmh5".*%Ho[ uiT6Bf4!/" )6a(5'RҬĺ E~Kfr@Һ->=>E%;e2{Q@>@)|<"4N'4njAX7#9^Wu`Uj D+ETr0G9 tX;Y[haH9Jj0r@9 cy13rWK܍عY|Mǣ9Us 6Ptt0$9^4A¢~rJ) 4FI) kƶ8 lⅠ'mSzݕ*UK_&._I :1_l{Vw JPڭALZ؆'V0C_x,ԧ_AӬ vk6 L}_Ǝ~h}Y|LGq>K[:pZ4D Drք̵f.XjA*#4f.a2*U+Wdq;EP=Ɖ"Q9'D1# 7]C ,HOL-Proofs-ExtractionHOL-Computational_Algebra.Factorial_Ringdocument/Factorial_Ring.tex7zXZִF! mu]A-MՋhvG"uIBm5f` 7w$K*Y3 aSn0-viqHI؉i.VF-Ko@$pj9&_/!QIԳ/`l™-w)!Oob'gJ SC֌Sc_J@!lEt& 6r~jӋ3eSmG'ΖzQ9aL_*fHmk@Q-,囅]ԯkw[9S􊦲YoW1~J_ nڏ0q+ CsX&Bs|&;gN9$ixb+t3Jvc;& Mq(1-IZW0]vyUXeOdz+=n('2u=D*C\~gumPN9U''n\e(ʊIhҨ䙑sKPP횷*wIʕf{n? WLyIhy|W .#/Dnap5fZH}Xm&{#Vf-)IfbBaB;{in aY#Ff|r+аks.'^ڝK\cccOK ;J.Cg}R["KX"#NY.($'ճ#y%qOeYeP, 2*h9G~A#Sx3ʜ)PMC6ߊ gu[jX3`wٖEViGA) ۈ!0X?@\x)P;EFKQ{۩DE&?tYZ xWTFlks. ȳ/IF ?Aɠk]W_.{R&FMx#l d8*'JɈl6򬏡aŁ Rl5]SΙroIeEƋ 3Ae{4diV oGnI/o8%Wi aa 0o)?] $ i~б\ڻ'*(R(qG\+LBj#h*f)#z<3t;iܠ ^/u,pH_kuGUOܚ>T9ce̼l񶎝u4$ijј|ũ7ز1lmʲ˖'K_&KtJI.KѢD{_1_c' (jgzű|4VBf~Ma6"Q9x㇭'KLL*G _q53 1"I,f,_9W]E4bnjɾs.0<ղA ` ''WmjZ9k\6Th_<E8;]O\AD؁Нeg (k}'y*]<m{E/Śm$v U ׀sԸ~ab0[`*S[Mvtqд4m\InNސZXT"(ָu/^(xHY^l PQv,R}z'Udd.Q0.hM ~tB][ rE'ԂȖ[Ki|e:Tb")T^M=tR8/i㕻Uک+%⌁$E*l&Y<.h;XM=7t|YTd`(K lhV+#O`y&@yb j{U RpGӶn0 }67Γf&݃A~]RxTbSiQJ]/=ּpe1-vQ~9]h?zGn=:SP4A_ JYfvJSV{|/E8*9lfie, Ofu X>@'';~*^禅VnPzE⾾00Gt5ʳ {ͩ>-ûo?c7`V#"dzcl/Ɯ"].Iէ.ӿ^ V^1b~[U)r/Ol\mCjS=mB:H\lTd^]GA\a{k#ޚ5oj/_/N:Dž@:c4Am 8`/i oZdcYƜҍgKïEPV%@U BGWU ^4$˹\s7Ë✚cǦ}DArd?߄-I"'<(ADŽk9N^id6OOuBc.d[7O-%V9A}`h̄JKqQ䧎 "疤˹j/93C~'2o@,Mfհ|dVˏuu f蛝D{h87HP:{=a$c\LG$3VL1@:(<.CRco09CTzŰR(-cJm`RO[;YE^Oɕ돁[cH\(AFKə_Nya)gmћ(;BE/ y\ȕf*{l wr@.$ 4ʑf;j녙_pIfW |ɷ@kpwgduqvPє c9 ۲fɵCح &޳*]`Bn!{c}Y~FNJN%bwKZB;sF*_\ISsa fgf Z0/"I_rdOAm*=QmTtqZ -4)XB H2]tڄ8slm'`qB腇9wH- d?\D Jњ/. 爢eMA\f֦dTQhVrv3 WrZWPȷY\ش;0 k~ 9Yd=K0̍M'ycA#Z;{"0"+Y<~E\pL6;Ŏ抒V2;0.7E`3=>i'R|V<0.FdCT lF:lpLBpVN!0E;$ߦ`u3ҥ-ښ¡g%zȽ>B"Õպ fՋ?c}n+M`$%a΢V04WHljS4gA=ы{FDSixZH{'G9iRJ\7j_"- >=ya慁E5l{_1){fwjm89xX(CG5$ ݆Sx^yI8k85zbL5q^j86b[p? P3y&+']TK~>1Dw"fn(UTD(-A#{E0O}M (҃8Ih>^\kQ({6G[]vS+Z/!%op>j'B6)mnG_4L-|'O2Bep%b rB߄K-k?>S oVHARF0<*ZO[QgπK <#mʤ4viv6㟀N~wHkXkuՈʵ cNgН:ZK uFv݋DN+?Ժ<boCB'\!3 =tf xLkT\4'[^1֌xEv&`#ֆ>+C*N=7ަ%qQͣal.+*xX9yl+>k8iH *C`q)~qf`MlnGQÓ6]4=6~G` 0B|x& J6GKhwTW/˅O`4WRg2Ьڽ~ELl5ٌ Y7_!C'Yy15׌r"a;6z* f /kffP*dDd OV%bAFm<#oM|G1D[+:y K@<_;$6aM^aj>ĚQñ߬p9Vq$UE#-EW73 e'BB-"vwkd[aÎ"6<'e ĞEhor6W '1z‚=՘,0޺ͪRB^5_|9 gQAH69&SDP*5m;SՈlt)Bb83ݛwH@ݓz ~<7Xf$@]*YT>kx^F@ zy֮@ l@=hr,Mix5-w#4E]ʩayWnh#O_<xiŐ1XnZ6 mwm9fp}!Fppyo(@ALh56!{nA׼W]GmE ޶Ⱦ\'ݴAn6a7=X4 鑿}lwH)]$(ǹ!FHڅE&nP/Qʙ:o#4(u$1cD5;^x6>g%E,@SC@pf #,ňSoSGŋɘyH=4'4myKQɥƄ 8X7eׄj})C| d+Ow[sIiQ` "ʮ2?PSvȌH˟@0L|;{FA2g)}jd}z&JaHµ]7l am5" uM #(N*{)#СeO=͸HA3^&FO~FSDW}~Z+}솼tL;2;PgiþdC˗&Ngc9Mױk4?P[l-0g)#E2kq }ìq 17jiA{FMuȳ![ `C&:aH95)n˻=~ zE áUMe;jȤǦt6NtZ>[BlJ +G* rp)I-5|]oxV:?ى Dz9.Lo=l?qLIWxj];dxi/#pTW@֔UIP7rfPY E&( ӈ#RQMK c (3]>X^tSqHRP⾑%b̕"`?H˓AQò-ׂ'R:b4z6$!(#pXtbѱ9ǰ6AhnK~7"D zYhEyn dWgł#,TpSjC JzLj3м^>ބ&Ѐ0`4sAӫiiK+j9}O?C {J;Yst!>x"yS]q`,`L>˃Uy9@CPncўjYNO/o&˿W 3$v`wA7$ӡ?URn0eJ8qk=ᛘRb/;gL( U)8G(jmǥt3(1t%xBznuU[9/zţۡª&o5Z9*/,\r./'%/q$[Y\a8{0AaܼTήhf2=\rLkC,G8ZoC:#IN$]RehY3U,$GSDo`~ǶV4w'ٟ8gjnv0a qwR#碬޸ҋT.M}rrã~r6FE~%|bcVZ4:ƪ PEhxҼU?(x v!7J%#0޹%!9m-Ĵ`/buc~ͅGQ %V:"̐wQ7xrc ֳW8hWշδ9'Q,xp geo\+WtIi7~kVFz(wnph?RBK֪ۛpMAhC}[yXµ{lW4ns%۵ Fz ,Mb{+GLW*=Qnr#a 1όC)!▜3+6=~{n*ьy߽.c98e>* )Lz&w98_idr]xf {'ک.g[ Iw0 t]*\,^ƪjN_1 =zMӇss}vn$L1;f >{ %4GbwU$ղ8"^1/p]РVb3]ҁ-^}R┟WoKϥ(L̟&LpsD!FÑhkܜ4;<".R04wΔӉٴ VQ n9OPf|Lp𵘰,Tu#:DjAq?;$JOJxt@`mn6qnyq4{S"# +D4#@&;Igcՙ1^?[l.$>HQ[^ĭ IAɜŠ%V'5lM9 *qjۢԻ48l1-iXam-Kh>,} OY=]ǕW[i.t%, aqmȍyM&vٯPYN $&젻~.v/?!d)o5zl?KWcU! Ԋ}ƻn7 cQiE!utq".&"P/kz= ѡ#Ԛy?&ēˏy4FYDgjDr 'qPSsꄥKx.7d"ؖϞ'rNFp| ڷQ5ƞ5#D$5Usr=1hG[ Qum+b\g:U_ PK)56 ݭrhy:앂'q(3ܽ2'b0sVq)$/eHPWphk675>j䳱 \؀G1:asy6Y1tWي ̀`=7J}iLɷֈ^`Ͼ52ZysbxkU݃l nژ _|Ps:,FI+.x1n` blk@Fu ;hЊ?`jQ }7Cø)B*oT}Оxq+N!9{G0~@,"k)V&'blM"7~e}vB\\.Ӏ]eXBɍeaOZvA,Nda P Hp\Tio F#1q\)?h\#Ti*O#KB',"7RbQz.qeuƀ%$N2cJї4g6Ǝ4^EF.Ƌ`o8v (3LPe,2YRlȎMj1h4UL}f@I&å7 q*\ z2T*Y>s``۸?2^zhZMg%سUXE C>l4(5W`}8mD}&jC&,M M/h m#,uC3Xy"7h*>imU;R;~,?=+n)0DaejcQO[ Џ:{CDqҁ}*9ʨyH1Y ͚Rp ב92%$xJ艄⿣h:J C=7j%ՖAG 4RoL]<1x,J藎4zf߸B VZ'h c&c]g̾ _[rر15an#Pj\J{5حakķGTv7A\'vA55Ҫ̸ȏ_rQ1]螔CWNldjtӓ,O[F!V}/vy49ݫ-!aJL :1xek9V.GS$ߤ4@34~ڇ*p9]ߧyEvoFp2WqIvjJ%z!VĤz(B%nB+)i e,mki:%Ϥ@p^Vd8,#IGB`1;حx;+‘d IC *j_G%f^f:N 3-G];=PRe*+@jB. S]zL%(4gTX' kJ84$G܇pM2̀fR*Zj*}>hk,;ڭL/SKg O?j(?)}Fi4.^7JY1/=LrETo =)Tv㔐~T&Z2:/. *2iIh@ AJL__[o Hb":K=pŬjLY^ e6=&ǬaVY|GړVe:Wc&Tz6BmFL}1cuR=n4\z,5(K nBPr*,o Sc $=tlc[;bpu#GTp8z@j<=^gToQ,QKh1ZClk]H+T2 Xbymz$xțTdCNJy2')X7?AIHs3QDh3$@uR { E,+}ArdN+r5yw07>A@ANN9JyN۸FM/jyu:Iꉀb5~,Q !u XПQSܹ_yf(|=9RkLLb^9s3{F%+FPoޔM/||L U]J%`AfW i>2jҁ3pJ,h+!tp}_X2 g2ScDTT,O_ HY;=ߢ<?@u%.R󱘮%eH/[h?vğEbF[algc""Yg?+XW rhxR[3:Fy <5:~ߎ>Om:6bmvρ߬(ϻw,2|Rv 3;9ғ+ B+N m*+ y7ɲf '9&M F[z?޿ *wr_ hƻy(,cpX@{Ni^FV[~59ֿ(Lq _V6PjxK>枡&-eYmUAɦ} J<7PưHgLdp]|%a3T5\Y|i@- }Qz4wPR{7R&E\i3UaqBS;* Zlb#PׯbtN99;`bTۖKy.ڥ'Zya`)n0ڑKĚ[_Stb29LCNN"`$jlhLIٞ柉!N3.i1/g? 9TNx] v$T^u>IFfѧX:M=||_s’7IWU4l=5LLH(xe"<:6r"Gn ~Lnr^irtv҃=CFLk_E\BK)~ } :)&~5e-J8m&\nҷ֏=}]IETN/\w , do^e}f:(AL!c[D{ QB iᵗMsm-ԫd 0M&;1Uu﵌~ iIOl,e]f S Ϙ,̝~E}c=%D7H/?F q,'3xJgG˽i%4˙6pt7㸖wQ5<[t԰P.axs?h5|ؤ=e$|..Q'~k%_tc:> /mJ +hB N^fC?JigzȪx'wyמM6 $b3NF"y8VHC _E^?Hq{15;mdK~f܈{Bb{k{-rZniΗU 5Bw~UAI.@7Ƙ_~7ت-(vq?-#|fp~ 1c&HZ q" p݊mco}KOle w׀G8zHlr@) +U­٪!HoYR&=sMvW!>Hhl%8m(*Zr '8]< UPАj^LbzW&c-vQ3v}> h|Iq~X~F4"ϟ`J})y`!nҮ7Tad[-l&fDHgK_U+SO-$2JGz\ZVWCB߽Y  9&+M2+*|Uz׌oW ҂ن!('@.Z,,!|?ܒ{hʨ >#©ߩi1tE#jK9NZ{3v|&o%@04;6yοΫ1 p޼l,Vjmmq7Hi^?5D̤ל U+8eM)J%pэ:뗗=Bi%c-z <,"EI.Zw,BМ<)g]-¸X59l3k葔|vڪL%$P.==D3(N}8ۏ[|D o;x"A,9H1:كs-=N:z@p`. yӤG8VHU$SQ1+ҍYhtXgUc{o%%{iؽ})uNfh^ta3I+kQhӣI-ϊ=O7cըS,ڟ'3w,#Z ; F سЭ9U%N yU#F ] *MsȜx|d:W#q1v'\S{acb`OvO{wz )&N9`P,ȐIT+#XEᬔ/͚$^aŨf|4.*n5rSQz\ÍǼg?@x􇔃v'g5z2'zxmy SvyE,0..gm#r2"L" Ih"?|g gMܑfy`>#lK`1Lhr0PDIQjjDKs .Pp޽] ,]RX*Q}3vݤۭ$FI5X@E'dTbDAM)_Nc`]3w+{?.%R݅9U#ggnY뒒#\G~MML3kw Q>duRVnpVu'l P(U8^7cDzWr#+d1]"U^i9 rϵ~\(۩(x14H4g: eY,"e {=p>Չjoʅ(Vc[%IGr+ێ "kѭ"1 2rOWkf[t<=/Gv<@Smۆ2"}a54/H{pz̬ vϘ.<#6ДNd[YuC<\ؔK MhW45rS@3SH"'KE눺{lxC6VԴOg3#n$mq,8|mFJbgr핸>&LgIpIm ܓZҞF uFTanђrzFŕU%6@s_>#0|n&V(qG5@qE>c>S: h,d2KcSY>ەQ;HpY&+ڈY+Z6nH?7(f8 RAۀL*"T0a T)e3`E8>%@`"atL؟ k ה-ybbo"RT01~J]oà@sAr9)0; |7jEb'O@]ig8|3t?;M;OnK|RzA^stߚ ^CCiw`cŵbWS|\[z~fLCp0$3vtO 5<=o<0<][S(5 N8 Te+\2E]R .G!ŋn+K ?a l 84lR0lיgsӵxuiHZ"AB;k'˪%U=7&u?9UQf8h!&<>]]pV;bF.[hz(V܂GRE͞ 3vK-N7S5:E\E;J :E5ѧGhK. IxTV~+r%v羚^mi[|K*}`YX 3/tK-WCAci,\ [g%i06/e@ aDeJR1MkM'{q!3w{{f#EYsj?i*ZfxqTiPq\A%]pծXzPX=Kv@Z3#Zu;b&XYF*L:p4ra`ɵU52\6|rFԾfyaʶBO塷MUߟcҜx;E+o-l(c\A򡋢gji߆x$;&3$k1uVk:u1q7I?YFơ6~'H6uj99P)k^8ƦUSq~oe 8u02z[-$8GE,3Vp-v7~J7ЋyK<j6Sp慈,8yajʿi\N>e^"jp)rD2fItIFvh$Zv%͘-UIIZi!~epSLBV*}AEYŀ\p֌zdƇE|كrv{ #Az/u,IAxiJi.mI0x'~aYâh#0ދQpWo&Gl=@ezYN$f6ZdHR#BrBsb?ernOsXGia2*3YywLj(y{w݂|- Q^n|ի3!^b6 6=H̗₽Z-Wr-e=/yJ G22Psq"5DB87{zPZ:]]1 Y/Ǜq4ؓPhch&D Wdb$,p"O[~H+V!CzgQUo `nB4?omaУDy0z"1Ҁߩj zeQ];hSS ]lJagZΙj+eA6U$r+(n ƌ ywq ?WXnJn%g6IQK/ RasDwrQ`_Chb\UU!(c4nGq"ƃ/^M\WoO6%É@i$!5kCNz #%C |CgBK.<ǹ},ir }`}icOZDǍb1/YhIyx#y9g  ?69ޙε{ p݋gדASM 4!LUBO,- h!>mydmtAYbE^m6ɂl * |~X(/pcϗhhfI3'?Fܖ“aVMZN8o)Zl#G6~?F6tKI;:7cZn~Ry>vSXIynx*{. F":%&#~Spr{t_Q5I*0ht[7 uՇ9]%^hVCH}UHBFwZU]!\{VG7{Ɏjfq.cf>FeLFvkF\KCPelx)<%r)AܬnHKK۾! 7#W <7+w(\ s= g.F(b!׽/L:5U+/\&`$ A)sY6wWvwB1oSJqWFko[Ol##8H䠝hqA})Qs@^6wyHG亝xGT_Y\lS%P*D$6Ӥ)d] dB_- l*zO3~J}$a磖2b|ܒ`]˃q1n+*kX2Zp>2ٖsF{23)ɟ% GU[$7Rvbc &R摀kd;KM>,t^쑂66AmH<>uM @aT*>и,i߿3Oy@ <"b9F;eF1 K[Yl-(&^*:[Oݚbs^CȻq:_񥐧یӜ+y8gs/.RހRZ0zA; [ E7:SF-?JiVQpS] z&_Ygh>q I7*g˚t>-ЪOIb9U-3=ڦ4UWapV#hEx9۩r4PImEa|v? OL>-j&.zvW渟alq[W[jFc -rGAȥޒ~ Lv?1(Re|bP`y<OXݼxmTsMSfK*Mվ]|{$ ՚-@*Xjq܂dp(fvwZapYi<|9Sͯ} ܶ)Baa >/$)2 zS[wdpx<$@z:YWd裂Xw/r )R|rPSPYmM*(H#Gv] \ӟ>Fh:W?Dr%VCTPp/ OfT ?=m0< i>UeO~2q#C.J'q-S뺤2_H#wk8&y0hKx5Ft}lP /igavN)xuTB!ի+ϧ ͞'Ge:5 ,1G$.ֲ]ٙ~/jgkT+^'kB(~e?d ".WzTQ.|ןl 8\-D Yԍc7's%k?;^'^J܎S0`&g(o )yn2O@:_{DA=4hۅ,bO(:%ښ'J12J[:V߬F$w{>8s*e71b*3pb"{pɃȿiţShNJTֺiZ7rHZ" QB$/#g( b5,}覗V57iKhlC@e'&2؃B?LL~_Ёo1?$j7g/w]Dy+(ey~^׸W.&6w\~\ u6e=ȏ!ALvq~ks`8r8 #8_r8 T*Q&3>v󌑯@R&5vyJ.lqZbuޭq$W+&?!a] SX0ٮJ /v,)MB39FX(ap7C >ImgMXg !7&Lʕ|g1VŚ RP뎗b,rDzr#"0B ^sGVbXơ6Bt.K7+ < 97KFs $bM]6ͮ9DP凖 O .*z9޻P͉C",q*9JWYU& *prFj0-p /'4 ]?Y|LMμQ,@mN%ShyڿjY$h`e P1"? 9 $(sQsCTL7T.N'bNdʵ_\JHضͥ+/Y7ӊup̎iVg0> T!iLszdD%'A9=-~GIpV<"/ q mz~&'?h~3VgUAq=Z**U/'~x.No70a]1Uz,n# tVmmj9:@PʬX~dd{{i?)]spv:cٓSo >WU\)9޿y90鋂[!W3G>h+C.)Ho6Kej<3FR2ŖѐCӞCL84T, l? ҋ2J3t!af^uVu%E/0B9ď~b.>]lLo-{Rycdq/c@7lD2nSLz !n-BGzQtJS~WW|{t`2#.x zhT6Yb7%P ݆%YN)G}rl {I72H:k'+!CQ8N%/flIk/ӛ;˸p|U'{!M KVlVlYP4MtG:z/wb5W. Li72>.[))#Vd59vaqst"ɻ*]D6ϺO0%-pPhޡ_C9ub,P̟'uqrbHO}hG^gI{+R2TRc`zla|jgl䣈R%``EW&a)w hDӭІN#1dU`T8rh fРM!H`}wv#SOހzg"SF4cjCF˟lc.NPbLlķ6Լ 1H  wb)*F9+bM+З=zL//JG' &VD"3Q9=T;G1絔8Bm¡?;w/~y%;3U6zmLٚc 44JdFLs" c0^Q|Zly/0Y3}8N|eC>x~\tZeВ bxT nH.%0nQ'K`F߻h?M'| 4\V3UP[9y'oMiG kRX]FY;eNQkK8H*+RurLmoˍ~Σrax?Ik ʞܗg=O7b'T[iX='%<!½4^#Uՙ]0ŵۺBІLJs I&l^'o֬gasE1 OlE-T`tsGc|YWdx#\0$r<} q=7&\ٿ}RqndAfmKfyz)4B6խΝk~(d;G F(>o`hZ^}8 K̼R.ΌUEW,ㅓbG8ϖ2D4SvJ?u c2k;/kR~^vi(EռbQisJdgZEqKۈoE&̟u(5wYVTم(#=P?AUgёꙿ3|7/}l>=r|GVٷ)v<,}9qq<Ѵ/ fp&7d#UX. Sc-Q6[6 ,^Zs-@پBbY!|cЀu;*(P1wz;ECvS G+hNZ_gC|8(8JriGj䡦O%P2I6Is^.zRދ?vK#YKb}D~V)y )&n<+j/4S dG'鼖2Ƣ+1>=MW;Y߭=dff\3jBJ}fРa'عM}cٕi^ATÂIr8 %庋)Q߉u@"1q(VL$<_Ƚ~C$t zpvSp%T?a.ھKS{7]Ԣbh?f' `v,봞E7  B庉,58ִ-o_pƛ@H%RIÇ,Qm|RDl `XACSVJ 3c=Ł<<$yگ:m4T?j`MM$!-o,0{LjFrHyl)]7zOW#=ٞK +/ V3? *!FIg6fKQ~ڤSʗ'!˂|/$E48c YwV @6\8hεhwyzInbUмYݥ(.L̯/:ɷ0v;䁷9Yd$d:qN(䳳Owsپ/re']" kf+d:bmRu*wUK~K ~ W$&V^E#A2?2YģQr's9Xo߰٧H.M]'6O|!S|$ E5? |<>㤶#3rƘ04hL!t ca׷g+1}9?zK1o}ϛ˪bDBb%j0Wȡoɣ[Ί`lUXx0|5O[YI/`O,yѥafQ$L(6 ך=3RN ٫[NKTdm菺?`oHV$1F]!jIWiݎ֢1}wH-zi^U C;҃>Qj7j-!QqRKYʜv =BZT`Ɓu.Owz #a׏{bљ衚$-0cVdփud!9Z4!UE&*As&ٳB$H(x} R6q)'!*6rȂwXt}zo :>Y ~;?0B)1q_`b I cY:H0N-+^a Β} ?֭- ݿgΕB+UlO?v d.LpF(C)X#=5$_p 6=gctXέk QsV3F<_ì"!D*V_ ?Kq3n2qR(>b!d2.k'C(SGgAn<1Ko2=ZjEj@kĮCmB{^\,0;+wDLQ= Ĉ$g"pim e$@H̉ E_? 1ֈҒkJ%hhQ\<RO~.C \vХր __Q7Օ~zd> 7y<${;&)i*{H羇V0 L%Y=\45l J񊈫i?]@֕$ݥT+3aS:^h}Huo1tN vyOy$Ua-юSru;-ĸVĵ6xgD+h{6o5NIwWș3' 6%w&J<6'PzSὴ. %QRi MlQP5Gt1q | p9ACH+Yy;r5t=2a*:)l%}Op::J_&PNbI"7_T.-e @$IkA7=/)ߏR>GRmdmFT'"TdAғSZ0 b mqV]O QSdxW"hĠV.Ip"7AuCH E7"@M: UcwK }2-?|H5iX#NtV=kAP݋y4dd YdqT@5;V>E?(4=25{ֶRC%Rl2ٗW9a(R,2kDIINQ4 մ-t0HdxNjxY&*2^6paGܐLear$kB9i167n[(@Q nEX\6[6d& ] 4 Lg|J5%~MXEOSj(NiOI8 Ga]3jdT3F+{q0>yFMӽIQ2}HQ\Yߌg ΏR$ęC:6O>cP'TtV:@jTsbaW80p) y'2 ͰR^ XU/PcE P'R4<{=ϧҴ76_zA( tx9'}M NBl6ޅE_چH?&*';mYgѼ5nGW!DE2a+; 34iə+R)$7=0Eg&x%ey%q bqQ_DƅR&n;ޢ~ڬq9G(SZ3nǍ2seZӻ=AX`զk ̨z `~2;@@FH\lr3.S@HucY׎|@Vop tkJ\^y]XofS> Y-Y~DCϳe,óK^c卯JAWմ;%~E 1_{@_c~TI6u4 @+zfQ+l|Lڝd r`1/hx>f81Mo p-3GÅftu {.[5GM`XTLުz/u& wWQqCˣvf@,wՠo%'<+4 n*~A>z,]e:u1qrန_! N{|s(Y2n% A$ S湹l(V,;x2B+:]H?4yy#cf)$4 ͥkDQZ毓_ܓ=TluzQ@G\W >3*CM Kf|-ImPeص{}zM =(/8Xb\,G8 r(uS&:%Mv˧jRw/HY>P3!DdSťN\ Mυ1[aL6wLx:5ÌPî*nR!=ڏnLlGrUwo]W i#>fٲo]>4&_n ~$YS+2YGjƴ6@ &~'E!C$*u!̲-]qd =H0n+M0NkAl yc @:w=gH [ҷJe+>RKG"+d\3Qwf DIpM=ǜI\[H֡eT!_fO2h<ľgUcNE{~ѓ ͬQ"%\bN㖑q6:#5;I4+M}Ӝ)O>hw L 3Ppt-3܃| (q<zpMSFy(,mg̈ D f FL_d@f)VO1h- ЌpJy4 ̍91?Wx6EkgJ׷͙K៉)5g}4[6aj9eEB 4WZz,ױLh ɹ쓡Jn0W|!-& ')no;lLMR,]"uOB!>y=J?Tߤ_Ѭ$TQ޸"V6+5}a/U=ZK BfI DӲ]Q)qsA ~A!KK+*]ڧ=Ln!ռWNS l#m {|:bk{ &Ԓ ؖ`c+? ə9Jv-- Sx$\{k,RtFރȔ'@&s 6!n6P~؀O{ g -6W嶾籹߂Ul?.9$Vx]cxݎnp=-n/3!gA|vwn&SÓ~}mB}`[;>Viߏ>pP^N!dܬfĦ!@50 {ތ$2t~{ tstKX=?lr,:v%uAATÊ#"@xDW>]0+ى5)8|eWzi}mE#-(sMCkYzʍ[ŏ7a {))PA7ױQr )Fݰƅy . cfA*#br$U1rGP=Ηۉ:4)`82넿7Ͷu0`-lXېre{eE ?+JuOLѱHDԻn˦ [;3МkG.rQƘJt?N6PTQq!cE,+ N p6ؽMcJ4ṔwIܕv}٠jd뾉~|/nVnS*dlFQ|["Җ/u}40uf^p/'PYZ!rS;j z)X ),-XsE*FC"/B 4N7Nc7@a)I{@fM4AWN^'y-ߔi|vPe1 & |'et_dU 1+@P#N)~\WTń#p!a:irӺﭿj{u#C˳8l_ᜥkSHp>GrzL)ڄ2sZ-/WVǭC/aj* HyyN/8!M)H𵾤j@LoN5Qx/ˬȄfɅjl"4OZo$'C*vX+WGPx%O4-͊q>Zz}t'S"э!* 9[11a|.}@hxj(!ZJ'?1@oMc6Y[\یnZ -C/?%3=w?։܄A +oumAAKa7U$1}fq1M``C"Ѝ_fH&BzL3_iA1a}|[cSou-:v-Ө$͋T j)ᙾw}>Wъ-no@e#8QύVڛY)G'kmo1=]}yH++'G,$WT-}U'Q89o.WX*L )5iܢ;c4vp) ;(du\$:p9=FP"%`):<&YPf-l](ePֿg6F"6߲'rA7grpM<,Kq4:BC5߽ }zWD^V"]syCtcڧKV)md U};T/̪ƣ-/;IqQ1XJIO1:eΈ`'?IX=DN8|W Es [+}~b@O@ϸ@^ݗFg saa+?tRFzXZZ]9CKJ1RK%Ctre7#_B-m4m՞{iDAvj ˔tcXHR̍h,oqĽyacwU=~1l>g>z T8b'?)Roͯ{+y99e'@h\ǡs*6:T\oLa1헱v 0(h)! r=À@ju?#rwibhg7w2VIS{R">'07Un6Eeߒ)TeЦAiYnWhT`'7{)cv%>'UN H^ɕ8.wpVHa'>S6W 8w.u[ͨRr 18-pi.8 bkE! A콨"|% p)ݩ擅}eg=.)Pkr+rKoTWލǧ,. Z8lM7 6G ̍]A09I֏^\t ӑ]D Kӕ []$!vn=] C?F]GJcRz\jvrˬYyr0(χ.T덂Rů ԍ3euI1߻襵:!R[zTI:1SI^kq;wSǣ-~47Xo ^8 s_+>j ˭LE<,J&vڙXD;u#VIt*z~3cfBװ)`DM߯%?IfQ:nqs%Oj+h1KcW5ŴHŀ`)7W%/?L7ֳM !%ov=4^p%KpGU  bj -6AM~ٌB5-y1.K?e/̜%NT>>:֬mwޝpGA 7u4es2,Rdǧ- Iԟ0ǭ˝M;ONk~rȌ3aS nU솶#bZn5E7^dJu3 ᮲;qxlCG_`I1oёkj&nbVJ5S% rιU>|nwdlv)$#%2^ɭ*p03`0. r輈\tҞۣí=6Wz,ݵ(R%ǧ)=;nI5`AM-w6zWv)S;Sf4" srpz&^N=!؅{c|q ]2dP< m[Oݡµ}c(Dh4c4ZJ|ZU/}6+Gϕ%A oP[N[r1oXr2/q%{3tZFk)_9 +po5E5D޴Ld~'C;̵ذlN/9<ܾ:6ZE0d5K7`,Ѥ"wV[vWSLoh:J{٬C:1_(L$$p>ܑ+Ee} :0~c9v?:?PWy}\QxUnXsk6rBD.4 rNw# 7jc`r\+@S,38lI7+o D!dP0] u5Mc%ZBWi V+-,C(&ٯǁ};=&8R1ԣ>$yX܏Z/M̙ '`{.Mj4uMt6SaYpc;d,sjrpQJӕ;A_*"]*. Α}H01ŸucS)KE,ӘB: -CD=;_aMt%mjT1x4ш)viGڼiU,#s>"@8;Xqo  &w 8 *QI}?N@(fg;3r >hghr +rɢG%6lkiY_ e,kF(dy/6 1O`ǿ0gaQF+-hCX+zTC=,SRbó6ENpO1s.h, -\P4KZ_L fM {lVEdook*E84'M>Ծ+.DwYأw޽2] xY*[ ΩUagEH SiJJɫtj7*(# rbA.S,z^6 ;έf9oE 7E9Gq *OT+`Z$.\ B|уZ}\Fh7Rab@4ʢAFp_nTr jG4BxZFx䄝p};e雞&q^!RUѧ:Cc K3 .J1Lvo"8K@(4rY_qAm^1OMorFr,u('av±l][5YjR!Eft[XnM%!1#{kAfM923#@T涅k.K3uΈ96IS[XLT(<ژL/ͺ.JYI]!$O͂曳qLyFG{mrwjL@9%p>]g?:if(<+ Y4U>0 _w2෸LgX: &7ϷŻԭ-_מώ-zs%ۮy/J)Z@[_VEB%ٓ)@NcH H4Sθe[/uGm!vvJXۓ6Bk|}M"o_5#oMyYi^T,)qnQVmHg*Շj pJ8)TP0y,Uv$+ T=j\:X}IV5M\iʢ/dQ-.,$dν+~J\p)@}.IEfqwQS@ڞk8uM󭏧]_>w;8I֩RMhfs h'gSftǯ3 [/*{M7^Aq6.cWpU_up^n,8=+v)][~qSNe _MԤ"<jOK0bq 4EQj5Ӿf|2i_pG*B9Mvk`^dCVP`JӦ g.Ȉ,|N5f_LENtK+1DvyEV{); ĄrWN#dUYCH^,!gy~jkGT|\N_5nܛ #)Pl8_iB{4QHUy$[pҾeU=*lԜ4sdܨm}|lA b_p?a5,i=(n%/V<mQO6=={,B4c>#w)ŞTuLi )E+G>:EzX3ś벺Nj T~7: A`k[6o'DU`Ҝ;SRC]3JG?~*zEv$ W< V/S6 6HٔdzHlT@\_+oiXb~"$JMIB`Awty&YPƔƗUuA;)6L$"!*LDVvZSQ#!R4h'ɻcf::/ya\@CϿߚq'n](X^R6FNKpZ9qk#~/s0˵`^Fʛ4[:?T/$)$6zd\4{ANY¶e_ic̼gvo%q$mA:aCNnRAvP{%;x9^:% ZnDw%8Hp;iRx&*gZ ˿퍥dn_XWBt[ہ]=WAHS> 9v]Dl'A%l`[Lu]妏@ ImsqqjIpM:890!I=G޹wC5/tӒڐ1<`3yKAtҘh49k8#f3WB28!626و7]Q^;Y,8F ^C-Ix~X%X{RI̼P4Т!omx^`nѬb֏RYOyOgD?D4 K,:VLRϰG@F?#{m,@SsvK5i_=pH+:D~)B(U'>g6+[ VXrR ~[–r[ 7&J- :1[4[d9gW,EE28hZ'u+\G /\{:oxW;c)$<ơdzBTUP@Ԣ u a`)ܢKʾW6l7.DglD\̘Pro;F4|[lC㖆YN' +s׽IDPdž@ـ[Ϥ)cɾ0 @*""dY=Cm V#bgW(N3M9͡X{b.+oL7nV:!;Ѹ槣IpޗO V6u@0$}~epRڈ86/( l`s/qLdIJn$=f &db|uf,T.-P zf#լ %qQ؞5=n6P 7 @/1 m X YS>GI.It^!ZҜx]/fWKӱʂx6aHZio!%,'^U4Qx S([3*,Fpċw"x|BK* D/ےtyi,e/_mAşo:(3NNk|vEſU,J.%hz)bZP% Dʂ1JlM/s,M'! 5j̈#ѵxw e>'v!|x6HEUBU] x7scQev[,>s%_N1Qqu+U=BN{ ]OH` J.q"ϴ>ݷϕvvQj} 'L: ͸ѽZUM)l}r댻 =&fKYXÎR /B8~7F=Tk]Vk~R<ML *Kv Xx1NL=]`p>]M *w1+k|vi9=&mf\O>pv*Ζ[m{syPB%B|bQ,SX-C}Zuu `4GXR{pbu~HrgJTp/jRcǗX^I3<7wEL{M_/͚r&ʬnY93'(FG6/'+?LS?,qrqkT<'[=H}L bs}Q(A%I󧍽3Fֲf.x\nGrbq5]6 ,YU\4lu>{IB\Xdۉ؂: :,)On 񿆼Y:qru׾FX^ 4BBC\x0Z<*}mN"ȇߎNjLS$=񤮤 %ix<'m&<=?ha%lʒ}!}Fᾱzϕ-!t ,͂{y2XJũJN9͂,9 :}*R%Z wޜ Vci7z3X\^F][E-FjmR(5>xIpr=ШB-xW\췦Ñ[iWur(O"{ea]]ꐕe4eP6;VM8O8\Jې=غԶTdKmA2FIa앸Տ6H5U:[7P8eWlQ~MFϧUX7;vISkw󛴼Ȁ39r*! hIN'!8X84?7Q?Eby&kBÎ3Pro{*Q^Vtեv+$0n؋ /;0smOHD㾾 oW V #8lg!]@;aT8 S. Qwv]$5,fL+ <1?Һ*h2hr\C/gz]apb5e` 5S0]Q&_M5=)6g'DB]K $-(y+G(i%-:;) P^7Lw-'_ {&U8sMuWxoM[v }SP^~d-ƯV?uX<{oBj6NO\צfIWGIPi~qU4>?ˡ@3w;'dkNN)tmK+Dm (>׶Y:^:軪P@,t3Vuq]4b̤ -.P $>X'&15;GD w3_ ?ۆ(Q g9\p|ƣGr{-͗,_UWkWU!!xfʄ4|eo"͇ٻ~l-h@Uw TrJ>$ ?L?U_O>u`%=fr7>׽d5pOkڷH#2?QY?9>j^aPhGNȞKMQB^a8o]0',]JBE)|ĈM\Qn|NXROԮQs@+Zu6l).%OlP_虗cn)e@/T};;Jy޳ lJAiBxz:wy/h'c9oQN :vr}BqjJϡ2Jj ʺWvR/vǝ"-$ 81~s^O ~Du"|.9JECYY=mgfv%Ȍ(Z1Z? N/FT}ɖzAD3%d눙!Lγ?z4וNOVI@/l lfݒͳw:̕n{\3)qblM~1uWWTqrX2#D:O{ :J, !?VH>IUK%25Z?ʃIK9%mv7V5t^8g1r7N\a6;s&'ܐx{4W!w>JPWol?H6;7^JYmh]]H w&D`J&f],RP'ypaǓ tC4ksn|zsw\2zkH6Ոz57V,u4zL v6j B{҉}"oΪv4f{Yh}ݨ.l%Qo(oE$P^<óaźc{ *#uu V@@:bG ?{4N_ d;]e#79feDj\{[ D4m.{K b0n@(ϼT_T !2[%D+ϽڊU&ݮ㨋00,eN 'CA7/ iMiG-9D)Ϙq:5uhN H ivs YEwCڅ6>[@UyQG>b05s"MY~9* I<.ȓtnƳc61y3ij}ו`x#j)/ԈWZ-:yB MN43môc{:n 7>.$ 4ߤ^y:&f7 T,P!o/F8%` T=se~*3cG1s5A.GcJL:.6[@[g,|lQYւbzB@h$#`̀m&1UHHaYe%F4E @ Ý܄ 32+8>l(گ<#ym*hJj?4#< (u$1P롓K:,8ۀ_!q۔QKbRoTYjCd' dŌl.`d)2+m4I;twsF%cT<&5Y`5T7ŎD#sRAaXY4'ƧQxqU(V0?2jJV?Gf7ʘ`> H@}WDWA`&q Uhb8^IjWT姹9bJ]v+J҅o,YQ3z\O:ZsuSNs=+`ҶӵroHA7κ[*+D$SSk djO`[WQIي9Klj Vx<&DiDMah$% !3\u jC}WY~^ze-\ƃԱ1 $0'S!uWo$? -{qʤ!tg>DB.%VQ@tx.N9PI}vdE#MF *+=bU2[7Gj\GδFce D>zo+@&a[Y0o'" @0-voF)\ɒ<^Vtex^&KDZ_OlÁ[z-XD,g٨LD>ZLOl̏mIcC\2Mpح4A"` Z@_"ғ4}I2CJ|aZ7/3] Kgh|D5pϮir_APa$'@~j`Ւ Z锗: lyDUL5rDl˹ȃ֚ݯMWMʨK.hz $F~%xv^dH愅ޭTWm7]U$%?oL.8foե!cL2S@yqht!ԧ*&ɴȊٶP7%WU]6؅ [M) C9xhV* :{ !Kr9"i8HʐƆP"V^_[QۍO24`9f/$ i|ÕP|RoinrYՀG\I]vI]oRf˪.>%OdQFh{ּu>=~(-m:ⴠIhŻ}d:G~XTGՅ$ PwIZ,@R8C)y>Ǟ)<5Hgڀ'tBxK~׉3-*o%-uhtNGdVkepq߁`>i#HG% zÚ4c/sZ\zL94krepphFf< w λu@.T}ͳZ=Ed׭8!%3*mge5"Zp!n˄T,;4hEq`]uATRP[3Â':rCc?{NH<]_5S?4wSaJ~j\gys+=U GO)Oh Z.ƺ,$ȡUSE_n*k~ 4C\\j EdX0"+]9 յ|̍N6o{M%8BVC#n*CGJP:IO4IUZMEQ5ܢTgr tBƇZ;uzۋWCpBkЉtԥqlOжQxW3Sp-Oآt󐖄-RKD^ɠ6<1MhGAq425'^]:|0bͮRgɓnKDl̖L3E1}|R[HaQJ}|BsSXlVNbץy{s>ZE>K=@8>UDGR>1P$zc=_?"w~_G[qZVxZZr_)[QHE.)AMTe I qEr c31D%O"L*Eb k"wήrm!٦rXIhEY[E/BUG3MgO([[3uE{gW>tQ'x'  L{Y2$^t< @ ҁȏM7;鉴qɡBR#WȖogEF=K;+1O,1 |^^ؐe+ ljY:L?JiEoC/^q u` xD1+_x纇gG#.d -], .m8m+wJ8>_+ĀP# u>D;fUQ}whA$zI~ֵAMȐBuq1$)`?:vdHs?H҃\7넺ع_/aBs>⻻vn1h,$t?Z! [I͗L'::/xȑTG!+ Qg{{sH|&AS'%+׆t峡Q nsk!+ҡN@-Ӽ1c _^mr@,宮B>H*̫nƲ ے83m4ohAٔ~el_VgusHqq Siz!S/t pXRPvXfbhKDCnfA$Rr Sl2yd7M$7k7)VO9Ys&KC!OX(W 8B\}qzݘ 2xh1Lݘ}z&4~]qޭ#X 7w wDQӲ)2<M42+dU;]$y:'"JfDR mWW7٨B䕝$JEr)'\Z [P^>QxN_V{Kyz7~sbX脥j&>M_;: WwHl8~h] zԤlRm'aŅ9CQRo_PpaiD,Vm7)t i@ eH!599$]-3RM%hȾ*; 7 yZ\Lll}a i vaw!a? tik{Z(v+$лl'W_ԽzIxSa\!j%D9bVKr%;6 (zGxqu{I Nsh;7MH3r{=훎筯_h ErXN? ۺ͛ߢ:#jo>)GMs_EC4ڂ 2 {p7Sf=OP_ 't-k)cγg75`8wkfdFz~t{*DEʍՕ}\*&]L4XJ8kLQpM)"`l0+߿R@J_{ 4C<( ˲[˿t/ bo@*c/E;$fE|kkG C3 d0}~5kgs~qV%\;mhjIzҕ!AKgT"TyDŽq\]xޘ1 $%F q=#'_6 C(vYEaqāDU^IDq0j`U>eģ섰Pk:.Dv.xYlHwQx7@c!,oX˳mX ltɧn6 9ㅜw$u#h?Y '>PdDR vD܏}E^W%`w!+ ICGh~&8!W e3:_8i 3"b{#)#oqke<ǟ0Ԩ:.c"XդUEXVSGe b+%MZT$JԦ-yHn`^s#s?dat%( vWo qprɤ[${JnxJ{OIsޱZ=K nZc"<Լ;B$КHd.i*|g-$W0^=!Z4䬷^1%{<H~ ;Rq ԛb8Pmd{@9>ʲ")N'2(SH:bg|0z!\CXٮ{3.Q.~).Or=f)CN'0pj *q n兝O$Z.f-i^ GY:IC*QWrdd˘d28q&L0Y[CF/2c Ra ucւAW[Qrcxa_`mKYc'>ݷ@mewC̸lW6Ƿ(o{>QVjtU$ܽVýyOOkM~F ` ao2 ˤI,g!bh1}X)6W^C'P (6YuGK# IմNGɡ+[g3?Rll8]{ 4jHEĢD1V H0$ =dTvTJye>= I}{З&ui<&"o ?ɵCiF^k"kD1P#YLF:gpz_]ed!컮XeӎtZ~-$S) MT1z_lIrc}~- Bj^@Qnk@i%BRW 7Qd0CP7/f"+܃qW$4N= ksJFfUS[k õ٧`) Eo0cAZoύ8^eL9Vcm>|mQg}dzdĞM7'Hfa?Xűn5IkS]zDVdB;t!(8Ze%Eߗ#ơI8yR!hggvslo#C~DcSl}11{ql7/n4+ li[ EiVQtT =EZz(N\ŕ*s#r9[X_BG,^]ޓe>΢)!kqz œSMnB$?1=b y^;9ΰR">:G^|CTeJ%㔁 UJaM]cDd|8@Neʀ\QmT#7!p%URBwi+6?Ÿ& jc_Wѷ9{1Lt_e #DW&!n?|D!s_ǐonw^r.]&xƛa"MKjga&ac̸WH, ƴO"1*@1V $8%'AF+p&$baa~ Jڥa=٤Dx썻T-h9,v)lrxH[Y`<9d9':'imr]J)U#{L+MRk4SYE]v"Vf|#M;Y{WudHXgaoT}cUƲZ)Aj6v_cbÄ =n< &4 "ԭg+ lߵ=G"yP 5鎗+O^ǣT3`P_tLuv(\Rw_ J{.C%@!! Rj~'WS0,zڄx}ztīk;ۢ +QJ4L265"W7|Ի'PJTLE5`Ax 2/j,,6da:Cxm],b&6-{*xwDcwV4OCU }+,>4=L!Ჵw)<Ǹ3ߴ'j B– qv ۟@R k U'g2ԣ  ?3&P_OpgL)Vo ~+xV:yŒ>8x'('>A|F&F !#b$XoIyr~^Uz jnN9[^BݧT*c!;HAN7!č$(#Fy[ݷzJV\Rn+gYZS $$U۠L% 0$XgmHUBbu˸lB>p1Qj<2 W6'bՙN1bY@[9=:?vgjL0>}vtDKH8_]-r -ǥ Y95 K -.S _Lu;뷎{r,7"qAৠ g]N}!fw5uBCg+8D@^v@"^G2l?=;nQThN<9'3|[ʇa|x^m6} 4s8NXTsu[ b7N`_>ssɝ~?eHw1\awͥ|Rԓ}sUvcaI̪'ƙ7cgwp寡uq,4œ-Džt#jdd!/2\! Z_W:NK5]o ZU&g(aEkPq8 XSb_Q 4tT5dZKrwֶd[h "gY31 ZQ=r=Ӂ- fs˭;RH#/Dwj8PD0^: c-j"x`2󣄝0_s1G`Ѥu8+kݽ†&/ц&D1r,>?{EIϚ,6Mvr$ӏWP"%q [ 55~j`YiNggr*9B,YQ"Gl *J>)6U,{VN2}Pp%&!j~5nVt:^&fθ3roeB 2J؉vL4ᨛlה_bHEkҼEKR)'7 O^rdht4p9>Oۓ(,#`KfKYW/?hYܲ'`!slj^h2L!JU.W:b]L2:~[~F%3M!38Nk]lCw3.*2gJ] uPHTjFZcC@ss mfΤta\DRΫuJ  lvR|<&&1TdI0Xf51a$ω2$$, V AxZ]mIO0; Ԏ̈́ұKbXnh[rJ;5U.{-mN}nsx|AlLqW-/ 8 U0wTƷ3E =Fa.4*yW;}vY4%^-f':$)HPgni" @Ql$fEC )޻'O #a;hZrDqK㤉ABhGXJ'\JQHHק}^&=X ?c5 uƒ<7Y@%:}JSd .Q~W-Sd~jhsNpT7k7h'` k:gU=kpۊWsO O[|B a0pv 75|"lItbt&[,y{%%=5<zFtyȼ6V%8l~r;Ե7S-J`5r/~@W\$e$OM\P~|>\?{EOs(EpmTOLm@-D+&ȈqsWyfS!v8ZxUl9q'^Yvڇz n[BnpC'dAspdIyyN/s,R6W)]ѕSCtZ=.IdECwЫJG@J<L.rϏq$+(ߘ3l3fkEp=zH= s0FӍ,1.K,Cc$kd3*&_B}j~0{U:ВY_aoHW2B2p#DAg/v{>'XM:Ii67ڴ} OUYH6xM[$@ 2-ז!TKq*._#MT ;̓,*ۻ(נ/w~˶)ȥW&Zw15C#Vxɠ[( g_^UGubֵS}Syp .hk'!=n=y+IRLio24c bl#bPسhj̩<3JCZ,0G[41,LvTɷ4U`:ų_E"<[~"<Pĩ)."]+$ScAA:_t?iX{2^ &en^e*kYvbϣzDuJ:t |v !2KtGz@z<5rkWp3B9T⣹Z۟ph!ַ"_LHki*aW1h ZOn@}l._v7GZ'+y/<<|SߩEM*+z#a[Բ߱gkc-OF7yUs%Y.eHjʛsCf5w)(ʗsO/VД(zq/Jb1e { i!|$XP,k&ة0,nzxN~?KOj fc 9-/UAJNJ3|i&/pQ!@3F@Ii9H+hIf w Њz]LYŦ _Jw%K|),ŁU'Co {IFAw?5W0 qMu,*;{d@$RT2248m2.m>{2&M@]M:.[[} UdwvaD*3+:Yw5vąpj} c#d̷#w/C[A<L )D_ČAԻq'c{ *mChZ xJNN6Ach0896zo/"0ŔNu,e\PC(i"`%\JR!@&yI"(Q-4d" *B9IrX'A .@H)y-P}? GZTB bAq7޶m?{CSki%Hqk o]"3a 3υO}| YfUgP[|'~ǿ|Gm/BHV:bF=]*.XytϪ|kɤq>]b v>S#s11􌲰ܘKKCIOBJO\ͥ}v}X~S2&=uC}xAB ~k[ q~t2: wË́#X;5B/ &_dqaEC@VԦϠCuń=F{;Բ\!Y17|kh-3 vL~-ya E*@O=O,z4抷n~ 51AZ#T(`طb ePN,ޘ=R#F j;G]ʛ=4{RgPb~$4ÀjH$o0##&&մդF.jYL\^= p {%'titkOyMHfu kiim<9oS'! 8l=CDA%g3E2UHd½筥zE{^UGbϛm2' 4 iSoW ks jz*]30݈snc1 0j 9*FB,qx)N~YgfsIFSC*z2桖z 2WCݖa]#4~OFI&})Q'Q:1·5Z?W5^㦂j)qANRcF~OiL9cfQ-< "NS_\#BoxRO}k>LvfwGSfop%(D%5 02gYZ85e9987ba79887188e4f38b176eb63fa29520748ff9ec311f2965b5256157dc51e673f62af8e5ca5 5e71913af441c878add896c1c959878e6557f4df