SQLite format 3@  .S`  5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  <Op<<, ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.684cpu=3.920gc=0.0007zXZִF! ]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p&0#TSCT6R  V}qg)Lي&4yoƏvd5gYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.836cpu=1.563gc=0.000V2Ow_,}YZ7zXZִF!  ]ŗXi% :_+VkA u30l͢)w&TݭQ EOh1XP#؟iUVJ^gEA? ;&E""mgʩrw.bϙPFH̛`ro.!2v3 m+syє)zK00"5xsq3yzkN@ORT3@~a#0Qw=@҂ި+i* v@4[d)-wx=m>y9{;X/0zP2N{ۈwìi)ff]\cQ$krXFy%qXp[2zE OS ^xfqŒ&v }? 9T[A{Ǣ{6gYZed3e77eab3915b3f835c87b43f2e5c2ad780e45d0a2c0c4191b1d84261ef90406b039e096e738a98 12745a0f51ab83415c41598c722acb7629442f25 db5df347df4a9d5f70da638d46b9ee35f81dc73f c519196e71423c72ab27677b1c36681a28c9ad4b 10f49ecad3948d4693c4b24428e744583b27b0bd0971e9a3-4745-472d-b4f0-a9aa4b78a008 $O HOL-Nonstandard_Analysis-Examples  eOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id596Oa/ LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact7zXZִF! ]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMI-pTƧȐzͬgvGo3ű]xƥ SP\u`& 26nc&MV{z* \cھ}C=m(jٖRBPkҼ"؛VeiMn1۶L=̭6,뷽up;[.︨4ǽڃz2%bRPEI?\2Г'$$#aA^lKn;49/LWO8Bv :uԈB flJ"G0#,peS3)'*dl{;n05yT݇kΒ|M&4`j!R3*ɛ%;đ LM7G `D2(n)$=NfECtwETҩ#NFE\q|!+D=#Fhu/mecU"]&3/Or/F ֆzg6?x_iI{8s6QNN %P!VNa b] m*I4NCQ߭pK$~㌾SF_siK&@`gP[uqʼN-m.4쯾dv{!5-8Z1xH&Jo+m׀"qvu\ rgV SQFٞ^vSUW[P|n58B9^N1J~<5iP86gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method Oa# dHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! a]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMI9w|'޶&(>wc̆*..2%ٛ1,?-S|(#WEEӒ`vyq+cXرučÿڼ?-'-%T͍ȗPB$d'e-~@LnGkfRFxWtمh\زίxtD*d˔n{Y1*:."- "?VrV+H8`\I?foT䀝 hnPKhK;nlcEHW^E N HwXFbI@Z>vE,M$`}̓&>^OM/Wy^my4`~#٢fu!l:=#ud7G`zʋR~"'.jO:Dik4u"]ic nO3 LXEq}YHj9F?? 3Vڇݔ-{sh=v~Yw,D^:v؀0\E-IkT`+plzR]c3}jlB*bv6=eɈua,09UU4p[" z˳$tnO+cy1Ě>wqއ\2'q{YG_-26O\])8WG9|AKg5#֠Qzcd?U }Z*A6nVbb h, BY>?mvėt^` l"\6ߑͤJ?p)pϗU۴ =_vODE6gYZhOa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! ]a0{rf9/ ZآRv ?OП-sb(%%f5j.o:NNir!A=hW}t) f 1\Ue.kl$; H/!EXXuc1X#Zͨ؅Ax wDT'U0 @aܱ>[+;n3"8Dž, ]8ͧs:Y[j=ty\Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ]a0{rf9/ Z|9afY혐jH99#v$m]PD$L|i!F .%to+ |czRe /\k~fa<$޹Iteǻ#khQiWd%D,xEЗA)ogUMezځ>6= jVH7f;(S(jsN#z]2pI QZsE 0[,pAg5yO!>_W ґgTē4LāqtA}CTl y`2`y]'-MeorNt=Děx8c5N|w z9m򲵱{XEeū&,9.TRxl煒Š5A?ЭEhZ.s騑 f1;Y>\_G-; FgZ%&eJ/yuo/3#Үv7v}Lf\آT ?tag KYmMňy:mmW k0#~m/ٛRx~u6E!G4/>^5`v94Tc,(i^:uu2cMT.FgQhCV^Xm,@P"zu?sCս`(`@ [R?좐^ggAY6 ²E|0 GudX#Fe/R ܦ}",uZvmLjeޙJkL LWԂLeR<\|@&EV"gRx(yɵmg~0=C}k [GHEf`,NPliDLRNr A 7P]~^I"HDÄ},6VEv[oYy{.1{@r8W\\WM 2_jelT I0i9ZwfN-ٻ,s5? Uz0@r Z )?4sBu|'B0}HokkOoꚒ$`G@z+* E/ NnuR,wN-kC-z|W8#pmsvX_eh/Nj6O0di!%֤'T1̓>2? #)S2%=! Ս`$pwyt0 De &gN\>p,l1 ]f#(kKC\Y/S`Kg% njQguPvZ6?U-/Ҭ |>qxNZD$V ;Ur{ILLFB}@1h靂nyJ3h[%UfE3Sit)#U\_ݷ8}4Ie))q  ః0^`Y 3]YOpR [vi/*~Yx_g>cYܚ}e(-qǔq.qF6 ̩hfA"yMD>eѧɨMDʼp$kbZ}^|G y |KĻ]|hTWP(V&dafADMZfHhEeq#gqYseM웭\6_\"X6w=Z,q1bY[(~~VoY֦Jt₏Jl\ok 8 fdTvp%||&3V7Ka c>",5!x?UXKg.A ظI^Z]jH{|f U]eg!Vj5x|\Rjt,3A|zǴ/RoŶ|pDu}1ׯ_RvRkwX_a. f㭴;#Xvgqk;A70LkmU/dI58\p/xodWMa %-! aF.  dD{r$|Wj|n 6c$뗒쫚I!1z}/r%֨>P&:7'!7WS]1[&O M{aY O/TPGdB[o+V^vc= yO L#ͅ,[P9轵AR%CyaF:C:7wa8^9V>ҵoG|j6 0n1A+ܗ s]!A㓸a.Wyw[ekyUxc#(E8Q8 -Hx( 䑺; fy/|h}]i t20 ߭R VA9Cj,sϴ4nS4v etN.J7/@:yY$딧n!Y@">@2,>+6a7%d`is.:3 x!7HTٝ>.AGH&Dd\BR/2DLP\+SJ9'η jLox < 4TQJp(ڛ~N}GtgR`KJdဨcĒBIJ}:ICj#]8y䯭˵rw/|QYR$8Q&0h ^MfDxC,@*;`LdP%tp "k.OQF_@9h= 5D|:D'( ~X3b ~]@ '05 _f|Vv1lDO>_~,-m7ŰāOFh %_;Kr#x uS҅C(*M5u6zQ qu }<<2$RO\`.p15tBrlpTCw=oNV3kmi'b FڈԆ:“io-Bq3^8>l6Aȶ'Xx;+ y) L06qɛޙ~EEotIKǙTϤۓOX5d}-<}nUJa钔̦yiA} SW}V˟+H3zR 0{ɯ悡ιIQlSZ`~[tv #k+=S8b?=ѤODd+-!1#I-1cCtNbWoGZt/U-qRm]3V &7Q1MIԟxuk_ev; _j)o`"kv!Qs urTb*)W94q¹by [ӣmd $ixQ|'4[PYadpy<89O/?_{k! QA E4sBFM³?ȟZ&-Wi?_*|EpapUGQq0>oP!e3 d]i1{3<F$IGEաFc`>VPW.M5ۯZ[phK̙OzۓNF-?}Eu]Q?OaO>J22eUSD,>=\[&8?! O;](VH@_X+ 8Y2U}Ȋ3 -g>݀k=% .f۳w=- >]dRye%E#8f~6BZoy "~j6]$%ĪڟCLmSlœD֧yk:B>#Tu'e cO=&N͜'FOP. [g#d+7m?- kkt(=G,5fڶ kP+dvgߖyUYxW1*Z^(}u<;-a4 v_ZQϴ38#6VSj?'O;b{f@g R͚[#GB-\YN BTV.?(1{b1[e1O[4RtJ+?Y[ 1!zD=1N3,D{ ͢[J-ơH% ^ SΎ5v 0}4 d+qƋ v^B2Kc5?įg8h͕C Z͚Pѫ* ѢLt;8|X- llox\wj!QG%1|&x,*79#=B0z('E_S80H]6;,P8+ r,}NEBM1xO, @^: r5Њɯ`L *,.j |qX -kl,I]E L6}aex92$4A-uD.+.|ǀVZ[ Ǿ3s߹Hzr#.*K,(l}9QR߮ d؛M]K Ce7֯m\:\뜢5ϫ ?ΞН QSnZ[GS)P'{D֓,!}!XzWH34lLevi1Y8h*0ח\M3[6So8-/i.;&NJ-`c' E=1#)e+׆ ;f8}fմt驸h?y,K!ę9n,aPldѡF(!ԙ;*Vif@ 9tsE.IU^' ӽOU}ͳ~ D`3H( )u~v{0!Fcf\9u)zbw7!ץa.aS+wXXSj:i7IKeYɤ :UzThQEsx{}xL-(Q8̟,%VԺE+1悴}<ɳ#ދg:c;YmIduՑ 9|ɂ ah۾FAT(R D ЊOVzE^a5oCOW}͉T% K>\g˰ɇ;P}:iǖBm>6 wecb t@̿}k9ԖҘ^JJA }}Uauk-TwΣ,72k] wNm$w.:ut3UHT6c)?oG9qDcQ+;R< `MęؖN Kru/U<^O.S NPx^4)Xo<2$IԊ"a~&[_XC*ȇ"ģDPY|л,YvfS?\먞wOshT`p6iMġLMhbrv1/?zz}#v(4]åPӰN6ڻѶU \"nax~Y9H>ICE8sxn5R'HX#y#OJSW1 A!W?? (pDqxW\xP`mp}ot5 M $%Ul]gx=R׆8r*螅.vgtЂEv#^4s!$Q\lpeWhbM(eI_JJ x @WC.g–A&g Lһ7EDeϧOC HUI Te58kqD7<,n19`ɺ^ۏ's5xbN&8+ڥ*Հ8A&eb6Nk~*__[Mg!" Dqm97fb8U j_IzYj!I Ƽōusj=y*~ 8nR`2KX_J/e:~e-vY'(J5x89zo-ۊ(aMq^iG VvWaFvxjQ.GTv+a6Tr(^JbLU'1NASE}<)[rv+$6N5 &z<ꪶu˨"o*CCy2f̀CMg&nB8|aQ"zwzB% `Xhl{K "V%Co:HKֶ 5xJɧP kB;ȫkg\<bVPi;uCz}wD!пHy>1Li¤?o"DGx<Vm.F;ý2Nsf-`HO}ehZq:V>`k)i @8/ '6R >k<cT2~ZLc#[oHt,19ݙ%l6ҷ.S;AT&=1ˍ#hUSd@&ΰQز8;ER~ n'ơ;k1X !BlnfHSevw;6$@j<&q! WG"WD=fk~Wث1PS¾z0k4DQ3|Id[=36 r $~6y]>i~)Iao՚_(p3@qRG ShkOGIFDDl:dO)8.~l3-ɑLUVϨ\햘cWpA_:BRk-95[SĔ *M̽nrqk?RrLU hp(bСa̪2oǙbyiX{UtX \҃?BʹPi qg"|!_Sz\ˣc2zp5]ӭP%O^ >2W#d.0s꛽ꚹ ̨OzvrO~9]uVb51%mK\90`3q& d:(B%Eg,Tdd!\twʍ%AƚWv(ݹB05YyuHT}wN*#ZE , ]B~obh10N0 MݣKj G%+oN,&R4A ؉:Js)3W~cqVVVD,S6έҿ G<"(c~C/$!#kEMqh@?u02)Ìw*s"ͨ\"~Y]uMnߙO V!Mlf<6+6M^,8W`Y`4> Ѣ ;5̑W_큦kNv#U"aN?ٞMI$۸/Z:ҹrub3 qk@w߰ꁷ^w6U,)&XV§" uyOJzcjɑDDRW)UY&k.OpкЃX0+y?S ?6=XfI@\*}{^pR48.#hLKР(Ü]~(_t<(,ª-@arZ4B[/ ڮ2NHwHϋoIÁxv#:@ŐFOfؓ i PB 'i\9(%̔5`Lof)DǤ-4<Js}6XR+VX =Oz h,}"ਫtKA&K g~_X]3ZXQqmߞV. ̏Ɗl-՛u7q>a}4yb[#MuI*|K1d?HK\`jqbӃ@ͼ mxE[;K_i>}8f1%E)8Izc6N) 6o] ؓ_\圬=ѥNCM8 (!*[.-Ųƭ#ԉ@`%6 PzW[lg-"k=~փ/ ,D%@layLRl3.r@ؑO>in2+Pv)*RF7>U|H\ ^;7?Hv~$ fgO:Ee,]P][fnW,{{1t!싖p7R࢛JLկ/OBbQZb2ÛLZ~QX{ )*D]v+V c(AS?h7Tj~GܰUT#HrY)(vq/bP=l]Z^|LO_%io651Ⱥ m& A/B`+#e$%W_+ނ lcn <4=( XZ@ODK\hx:LTzTN*T:HTu^C+)wl8{g2 5AO` m]egYZ X eOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id596Oa/ LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact7zXZִF! ]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMI-pTƧȐzͬgvGo3ű]xƥ SP\u`& 26nc&MV{z* \cھ}C=m(jٖRBPkҼ"؛VeiMn1۶L=̭6,뷽up;[.︨4ǽڃz2%bRPEI?\2Г'$$#aA^lKn;49/LWO8Bv :uԈB flJ"G0#,peS3)'*dl{;n05yT݇kΒ|M&4`j!R3*ɛ%;đ LM7G `D2(n)$=NfECtwETҩ#NFE\q|!+D=#Fhu/mecU"]&3/Or/F ֆzg6?x_iI{8s6QNN %P!VNa b] m*I4NCQ߭pK$~㌾SF_siK&@`gP[uqʼN-m.4쯾dv{!5-8Z1xH&Jo+m׀"qvu\ rgV SQFٞ^vSUW[P|n58B9^N1J~<5iP86gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method Oa# dHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! a]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMI9w|'޶&(>wc̆*..2%ٛ1,?-S|(#WEEӒ`vyq+cXرučÿڼ?-'-%T͍ȗPB$d'e-~@LnGkfRFxWtمh\زίxtD*d˔n{Y1*:."- "?VrV+H8`\I?foT䀝 hnPKhK;nlcEHW^E N HwXFbI@Z>vE,M$`}̓&>^OM/Wy^my4`~#٢fu!l:=#ud7G`zʋR~"'.jO:Dik4u"]ic nO3 LXEq}YHj9F?? 3Vڇݔ-{sh=v~Yw,D^:v؀0\E-IkT`+plzR]c3}jlB*bv6=eɈua,09UU4p[" z˳$tnO+cy1Ě>wqއ\2'q{YG_-26O\])8WG9|AKg5#֠Qzcd?U }Z*A6nVbb h, BY>?mvėt^` l"\6ߑͤJ?p)pϗU۴ =_vODE6gYZhOa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! ]a0{rf9/ ZآRv ?OП-sb(%%f5j.o:NNir!A=hW}t) f 1\Ue.kl$; H/!EXXuc1X#Zͨ؅Ax wDT'U0 @aܱ>[+;n3"8Dž, ]8ͧs:Y[j=ty\Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ]a0{rf9/ Z|9afY혐jH99#v$m]PD$L|i!F .%to+ |czRe /\k~fa<$޹Iteǻ#khQiWd%D,xEЗA)onD|у`acC 6eXqEn+y-~PcKQu2,q'$0}o B>Qxo7;DVLߺ@W0Ek|WhxP"+SҖ?M00{LINI!r8;%d]-;3S1(rgYZw Oa# G (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nGtÕP-1P媗<.=tsV̺IB,mmXD5@" @#~9MfIpR0{-$Ii  .ttEO;T%"~s"xAaz'׷)dkrr[_e(u3[nqvcBB (A~Z᝘gڞ%L * tצJ qtnMt+NH{]j[lğ8k]2]) L:j=ٍLK|;'=UYpkJ`\<~HE D8U MA6ݮ7؇~j"LLo&KsCE.`,GNŅ?t! DF %p}  Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyh1A3dɞRԌe*:J8d;b,bL0ADҬFfثK+#JJ0I*:<zo.-,ɉdԗP3H{heK͚4~A0M#k~D9kNGRvcc> =PwL@ȯlՄh7hZnR]ۅ' OI*cb5o" Z@,Z;ajyO_Ǯ"y( UwYEƲM(mna`l I3*k@bhm9]Oy[qeٹoJ? ? sf'~FCC {v]VK-lsxS5#Zv sB 4ű"L< }U@] &{A̯!=Pj=@yN:^a]_ˎ^@XK}_<'r PQΒmB:@5.o"}EYΌ^Et*_{—MNJ$!̩ݶӴ?EܾHӧ[QY;j7 Oڪ&^ln\Y͙G/ xY3n`G)󷢪lB}`QˉW")n >\#]9eW}7h Ak-ޢD'^.mUܐ&)B[ P^ArӍdR+$fQc_^[qzG-y;p5< RU.cʮ6&ыsj]$VC)62:y+ayt_ KN6Jc]$̦q?KRG:}#=Uy;::Ye$;4k<@nCd49ODA64U6áqњ#tol(}_:T?(vha((( CGdNyRXhsIQ.1-`HbHrMiF"PBN+)nx)hxXsGIoIVAӛw8EyhLT نXZ@R ijvRu#T]^/]4\h(Z:3)iQ[wxKSAi%"Ꭲo JnHpIY͓mЪK#GnY1Ao 3:48_~cC㹕;N+G!ZIKe2 qݩ֓U2%k&J@[^X/ix p!9Ţ%%9iDwg`U愧Wa@a$.,`997j|\mBZp;6OwȐwUOu_Aڣ C, lt ~'o(ZezU.2'8tOqK]tL |Tn `AF8! B*9Xɗ)s&~;z$Džإy KXxZOV4ª;VO3 {&[!!Xg){E/l tchiION٦,;yߐ2MZ*6DZlXLb:9[PPSSUȓ#0M qdty}(`Qd7n&Ǟg"U':X0Sn" 7܊75Keh1QP:t;O 7e_OK3 !e #DusOZld' LkC*CX7TyQd =57J6{߾9GV%ۃڳ)BCtLU߸yۥ\֛c?ѕ؜'oh흌~li!T{ÔlgyX1JݹlqюTQ%n((Pw hӾ<%AS[ Y@) lj4@hݠ¿GҏʮXuv]vƟo}+ul"#ԤٖGMeاPpxD0 %JFhaBb B5Ki]?|.ݮIH`mWD 4LvI#5;{жDuqI]N>;KJk<;,M~Ab i)Lށ8/uvNLc$LQʛr4!͒:Olm;NML'[ h=ŭIt^?Δ2qS˸>netX9or:!ekh+/5Ҙmjb`BtGpyN!}D#!2ՉLT^~3z4UM|M1I[֙o -Чc7gwRMGۥEA2EJV!_mNK4‘f ͍ ΠSrb ZkmS > @Ԭv{~.^;F@Rѵn-ѕk0%do :WJo5iʓpr,RǿB]&KS4[u[2e;RF]/FPَq.ahL/rփ2fB_$NGG[xI y A( ĵ6ja'h~AVI!BϲR/ C=m${ d n8)+UOHЦoOvAI:F̌YWF:H)&I2ʀ='2Ễ QO:-F&yIX:ۼڥm$ߟ_zbAy`uj As3P8WM1~Y^k+\ljP4@PV[ 򗅃/Djp,ii ,ȮS.ǦX,atBпTR)F\MyF1ne%`tw8d^Bosf:O;,~9'X|ŠUG5[ 4/11-Hqtޘ3Ks;_Ҟi[X[<$-7[_HaP{9vopRn 9k?14GW3qY'mVO_Cc! Tq+rĞuUa2W8vFuS)oC|!Ս苳+D$i_q^(K!Kh,Kh>ZQ1ق>e4lo 43#2+ A.46xE:f*ZH@%/|(d)PpMFU/dµ4J>)J? !TYf;¯9 J&ЄsfO̍.a9N g$# +V]g~H-| hߤDٿ;}?/ˇf-ƨXF$3?͘ଓ/9hk4i9{_h[03hՖ 4` AquzT{,O8*oYZ&+e &vU$(i+{m3Wo94Y4ZC/L3~=0lv2=Xb(;&G1ayhO}w2! ^+'Z/2!Յja ;cV픪N^fcw.えϬ𼻭>'p`-Ēj؏1 -dKY(.) Rq)-xT,J'4GJb.V}fk7Eon5Juߓ?.'; b} 94;aA6ބ1;\?P^MՉ VOoFBN?iF޾M\waۈ$ql~sPPK֖DBe\Vm:+u@Es{7:k}>humN$r4wW&mǡVoXQ9Si<+bޘCXp×Nn:Xٱy/үOYyl -#A;DS8R2q_ؔ$8pW)v@ 8x\OD pe=`= N;ו"r9m';ZjmΆ)vmT1/t@Auq;$^r GwGާ+.6>xsgTJ߽Il2y2Xw\Ƚ(tᗘgDZvwk'B*QnW-M#m I(ue8S(7ǻz'UWM}H}u@Ʋm÷/z0q} @yNhIW=7wxS4:r:wiĞbf mXIl4f %zdO0P܏]H|>y( >PX_Z- nbJ K$:nPov ?"8@m%7eֳlzOaσr4 P';S={IQE$FDRnmAb) R}ިtN[j6 xW@ڳCLj|qhc}Ztn'^C;+K^.z̳+QzЛ},GX [B툏Q_|hs)#Srf(ЎOP:iY7DN/ʌxoPdlaȍ 'MOOrouIc+ݻ5T]IW_~mV= ` !zzI¹Pev,;5C,B܁ٶ޿_} Ⱥ'14d\>0:RW(}mZ>8piӺ4V@ꯙ*(~i|of9!t¼6y612y&8DhW3nk9UÒZ1cy_xz)M*xn"81^dbsOd&Nj:Dnƴw׶yhdSPW} ߃̞rRX37]=IrWyڛ t C5VĮ uJjLKCL/ $ U b@irQ`&Pqu<e&#Q~ٽS D~_* 1 5E>So1=-@ͣKft3CD9<^ZAY+ yn΋A'3fp(ku-DX8#L8@V,snރAU&:{Ǩ]{q&mdBZt|{^hm y}Xץ*~~{Vlg>)b$wg^ 閴yzB˷P'MP? n- $K\-zXꩋxnZsn2GAs %EڡYݱsdo4{KHbMUWQ54wfGRkҰO;_u<13h<$+7MѲֹ?mc\mGuE!#9#wI^q]F%b./v]ݟG 7ZIGL`O/ĭxL .*oDkpsHL"iw/cܹۨASN!Xឝ\$H, axWm;cKة: ?ud1[B'sY1B;)e/x{xͺA~m! pC_HCOβp=z|Y3sĮ(XO`LTA<)ȵ:Sԗk)ld_I-V9iYFPW) ?V_/3WBՒhdLZۍ?4 ύ b&|t:^.?M}L'k}ppl!%Q IqQ-ڗ3K!픽9izoE"‘u) K/9,Bh *uUYҡ.rNoPBJn6lAaŮklP_UU^fcj͚j]̢QO1K VbE,ے=[҉q;ֺ5n ~l yڤ@[ ļg+LV-fqq6%46BBLvj8Ugxɕ+f{vSqe|uSbOGzCl}Z(2tSW! ]B鍸ύt m1f:~X|HCS`Dq! oMsONTBÛ q^$zogQE}&FY[B8v蠀,IDk^81GigYR!%{AScѨ.~ NdUIr -xx;oA;_ڇӰĜp 7DK{ŭv1I P/p6  5r=x?[h#jϼ 3w ,ZE &raG4? Bo +mzQɸ_HUI8I]|VmX۩L+(GoD?K9K 9#BeOSĮC;(W j:W0*cV @ PAnWCwKO! N 5UX bZ*[kDbkA89;^"e4rfH̳?3/`-+mcŌav Vn^_s9Q~C(ܐDVf`W-(\_pF\;70O}VriN؉O1dGe zB!k2hIC^iògtu<OU#KR%gTj[vBڋ1AƒDHtĿdS:j=BW#HGa2- W+p{DQq%Aj 0Zj[iA$\kbԴW($-9-)'F`oz.7ْ3}5qtYCMX: '8W',EΡހVUyFK'KSⰁ0#ۺ@6>%䫳ï.\Y%ɌBXC'5eE <Z}¶pC#W/`%2|(\*n}kTHdow_pCI &Xӊ-~;r&x/5H;Հ&s yL']؉gK8^dF1Oòi]G" 'ꕌTڴyBfcm\d*&y9Tqo__F߸7vOXnĎvܖʄzHSgg,zW Q4@(!?IwkJ|ѨN#~#&"RWHU{"-?9S똑4K0a \)L3,Q >NW{-[K/C kRl^GtYn팳9Olrs,e5( TqrSwnrϼAѯi4Yc1-V$``%ɳhuIΚ$%`9(텱YN)''z[\#PxZ8_J#6vJn3)-}[|kSYb0uwxЕ3h\ R1s0A\  J'²T|gt]z -eDZLM p16 tW E3n낖[> ˆ]8^3QG(ɱR}yw5}{&pR{俆="cT;cgSYn0No 1lU&$DeTPsCA{Y9q'[*μ7*^H `Z))CMd;]'mfI&ih"y( . bf%u_s8*>np`ٲfߔ#tHYxpQ3];|W3F j)4w- kK@4.$q2z_ z* =խ8k#J"d1/DR2IS-Q .T=M3-kHqMU\} %GQ5`:j_\7Mqj'К)*7U_S*=uNElb&z GXz9mrc2jQ12SxDqs?"J ?T֧4ߙR[]@p:7BnOo\(&!Y.8#aHgopS68LtG|鴭 :`R~b~@.Vr:H nMZ%‘:X**TKng:KEHJBdsGsJ.%"kh[{NT7sA9,}L@Va(Zr}'ZB\zd5MgYZ