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.711cpu=4.073gc=0.0007zXZִF! ]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='s4ΌףU hdKx&aDaMC[ y@Jy@X5gYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.897cpu=1.603gc=0.000 '{w_,}YZ7zXZִF!  ]ŗXi%SE9ah]mgP)>'375R9a(pg51P@+rX<`[{K ZDeltSNUOϭVb0 pOت)&<4Vm( M$iv^2#:5Y*I"U)r6Rpkȳy𹐴^ઈlRJ7^=Z l@xm͡t.MV Z=}\j'>ȶfJ JQXڎi8XCS\:H a[܌Bfmn >%CNd Tu"ԜnmʒPwMגΖPj9â7a UOFXKwg%F&fw_nĽidaCʿQ'mUs4tbcMwy3l4y2ҰhIy̪c᧨MK"VOpW>8 S];jb}YF8? ,?k&S`78:c)vflЊR#啁hG~G6&ۼ "V',T(ϵ@BrjaG?5G me4fa,\w< B x=#SıNE&꠆pG 'xeadE|Zi4v+Hs<ͼWS9W'R\>/7֕ aVY?=cD(3̦,nhP3_t ,+h,C׿ս!L{^ !ڪ"M(z5xM!TŊ MׁޢHJ3yvwQh(NH.@! qY>}7-F`ܫT-7eSdao%U~ OTEm̥gQUUp%`4٬xV` 9*v:߅*zw ݅*x4jbNLIHB%jP=Ժ.H3~,JFqMF@}@Ye5b{gYZOa1RHOL-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(- '#9RUpM!]]CeO[ t$SsS7tAZ^߭M>gY0QUlP8F.p\Jc63*:54Gr.b[Ne.&*Wow'd(+QG#sJ xfSgG]OAP }tbFc~Zh׍f (-Ig5b Y0 cNti~ 5"ETQ(pu <;y;IbABVܟ0RU>vmpd"V~!P:຅? ِD]"N)y$ B}"3A/'h֠c3tُupnhi:ns5OJBVhu -6{ds9D=%k/T|`q]Yx VqM5I~EK>军@ T|'^[_xz zO }j5 ,%AK!dD'!=Kfx{/OU}Y5cލTо(Fߞ v_1~޽DS)XТ~`#O8>)L-_?" ~3_LytRv/Q;Ϣ*ZZ W:^uiXE;󰩛$>rʛhSM1G}. O>WJ'-E=) PeZNlCtsLÂRkѰ_'ΰ@9U9"b5}$}i}b+3k6gYZB Oa) LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex7zXZִF! +0 ]A-MՋhvG"uIBm5ĪT9ǴGjUx_,j`C~?،aW撅u%'`K«hJ1xumnΚewGxL]m٤ &=ҰS菮#UCD*wBV)Uf 1\Ue.kl$; H/!EXXuc1X#Zͨ؅Ax wDT'U0 @aܱ>[+;n3"8Dž, ]8ͧs:Y[j=tyhOa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! ]a0{rf9/ ZآRv ?OП-sb(%%f5j.o:NNir!A=hW}t) 23آB sEêi˄Ta4fVsia'=[jgC3OU"30>STjgYZ\Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ]a0{rf9/ Z|9afY혐jH99#v$m]PD$L|i!F .%to+ |czRe /\4](qrȂnvT%;5WZVEXN/a2ҏ'@]UB~ 5gYZ%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyper  D B _ &^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages \Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup [Oa!HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files aOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_idbOa/HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/factcOa1HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kinds\Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms_Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts^Oa) HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parents   Ym"R ǔqF~5q}o}TREa r0\z ׁ뵡jNwzW^PXP(fnFa;gEd{~bЕm8 i1o/`j@\VK0Dzs߃ 1m^p/S L>gUMezځ>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/ THOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact7zXZִF! ]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpM!אCO{"X-<Sq̀pDނ]NsfUTtD>8 S];jb}YF8? ,?k&S`78:c)vflЊR#啁hG~G6&ۼ "V',T(ϵ@BrjaG?5G me4fa,\w< B x=#SıNE&꠆pG 'xeadE|Zi4v+Hs<ͼWS9W'R\>/7֕ aVY?=cD(3̦,nhP3_t ,+h,C׿ս!L{^ !ڪ"M(z5xM!TŊ MׁޢHJ3yvwQh(NH.@! qY>}7-F`ܫT-7eSdao%U~ OTEm̥gQUUp%`4٬xV` 9*v:߅*zw ݅*x4jbNLIHB%jP=Ժ.H3~,JFqMF@}@Ye5b{gYZOa1RHOL-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(- '#9RUpM!]]CeO[ t$SsS7tAZ^߭M>gY0QUlP8F.p\Jc63*:54Gr.b[Ne.&*Wow'd(+QG#sJ xfSgG]OAP }tbFc~Zh׍f (-Ig5b Y0 cNti~ 5"ETQ(pu <;y;IbABVܟ0RU>vmpd"V~!P:຅? ِD]"N)y$ B}"3A/'h֠c3tُupnhi:ns5OJBVhu -6{ds9D=%k/T|`q]Yx VqM5I~EK>军@ T|'^[_xz zO }j5 ,%AK!dD'!=Kfx{/OU}Y5cލTо(Fߞ v_1~޽DS)XТ~`#O8>)L-_?" ~3_LytRv/Q;Ϣ*ZZ W:^uiXE;󰩛$>rʛhSM1G}. O>WJ'-E=) PeZNlCtsLÂRkѰ_'ΰ@9U9"b5}$}i}b+3k6gYZB Oa) LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex7zXZִF! +0 ]A-MՋhvG"uIBm5ĪT9ǴGjUx_,j`C~?،aW撅u%'`K«hJ1xumnΚewGxL]m٤ &=ҰS菮#UCD*wBV)Uf 1\Ue.kl$; H/!EXXuc1X#Zͨ؅Ax wDT'U0 @aܱ>[+;n3"8Dž, ]8ͧs:Y[j=tyhOa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! ]a0{rf9/ ZآRv ?OП-sb(%%f5j.o:NNir!A=hW}t) 23آB sEêi˄Ta4fVsia'=[jgC3OU"30>STjgYZ\Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ]a0{rf9/ Z|9afY혐jH99#v$m]PD$L|i!F .%to+ |czRe /\4](qrȂnvT%;5WZVEXN/a2ҏ'@]UB~ 5gYZ%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  l z d Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! C]D?7 {?:fH\!IZ %EMl2H !qmZvrxI **i~\TœfW׵ic|(en@[CI|}M bRu"d $te,^)gY@А#n)~4r.8O~%si4isYz!v{uҁ$ xsVRԕֈ<.Q sxxM9u-ېG`qCǩ%f˶a:=>xSO=F;Nu~wQ1p%stFvl%bhOy숓l{(3+IP4$* i-ˊC:lxqDe&6zf!if˞%,Q$C礕<4X/@L5 k-hmw0ƹ} cuG (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צJ7"ʹ~c~3ѬOY|âe'N@WJΐ6`kkhgqr g)t$ȹ?~{a\j8F]HGjjOpjjmA0|pq[13F >Bo3@a-  Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thy|B/lc%Q:Y'PZ$֍%| {5|]o&hQV?Q״yZjDgk( , |3&p*Sm[(/Ԑ#l4<$! ~:yȧZ=J| Ofa AÉN|{2.)YyKoA7?³ SվecVc WJ-;i0;V 8#@DsM9 R>o>8Zu`Y>wZ# ɡ9&FyF`."i^в]>kmcRA+~n x W.B[ɽ& =8RhP2jշI-O&4ps@ WM3|MϬ CN*-&aMZ OeUd*q;^;N`"$kF+9۱`֒g W"B0NZzy,4.n=0I}ĥ舎4b<7U}Z1S3QWكU«!f;btVh9wR & -S!k~T 񞭌$D\ƩN2xu7ս"7Ly޽G:fû#LSN|Զu{\LpC&jc%gUH.@K)h5,tU :kۍiiN OtUG'Vu}zdy/r`OGbo`qYV˹y=%,w=bt5]T=w "$B_Q Zwf P~9U~@MTH'~j|K 7Rre0g$O!`<N}Jrž4!x'Zk+Vߥp^3z6҅Ysl}>C0/{b{=!U$iEMĒ Q(्'Y7˷d3`ڍQ9 ]gydM6F Ӷ[f {I,6jeHȆ%Y c3ugE*!VXw~r3M?'Cw(Eb&s/iR[Op9c:Su֦p 㣣к>PV0G.FE?]UatCqFD2< 17].ucomiT 43~tKd:-ǗOXG8VQD2{9S)pG`=cֻFp4s鬕Y(oMyxᔲ 1:7!+вs>TGܬל GԻ Ysa yL2I\ I1N~!Z[vd xy(J)-!IK` yҎP+jhHZdO2ZH=]x-؇GBJc豄)AK2)V$d9Wa27dIZDGmzrDu4ҢA^84uwLu,O[y;1UkD S|~miW&Y "KO U4 3| ]aL(Bjkh"kf|P!kXHFh U~3X$]?2:KfDY+[⮴z 蜭kys8mi\+1߆𬢥} Jla\XS4^qp#v*Ne36}obz|+tEV7Vc}/TYsjHũYPS9˷fG`HO08\ #l{oDaf NEgjHë- e!IKށrr`*Z߃H6]oTĸ e&H8 Qؓ5{i0^}?nkǴkJE*'^۟AE?RLd5ӛluMWe̊棟`e)ף@ȝz6Al4Qw:S8@ii*JZ_53IbՒUlWO+f /mPƄ,_d{:[ &}NK ݨg l:h]ҽfV[$ik~9-3vqxfR4ȕ|GB3T+7}"[1*$;P1z]L@g܌HJz bCnAc?/Ȃv_\EuRYǽߺ {rm!]K^Fbpu[5KO|˩'uoÏXjx;$z=b(ǀ>I^L6Tfʔ+4tT 9* 'SLQ}ʍ%K(MHTb }6 a (3ڥ77DT8"V vYtAई>'IU%qGK%k2%jɂTg¼t 8ZNT̵QMS:N׎Az}Y5b`s\LU?&ε?iLA2,G3b}md/gsmvڅeš?ŗƂfqdCdc1G-oŒ9ۤiԃ}N8#W|rnZBs[{'jZs f)lE7t/gWe}O"spR"fo`mD>^'|($&`æ >zHEvB~8'V~b2^%q_8Mb`͟~fUO28ABӒCSR! RJa#1Y`t3qMWza^0C#,y}xqs;\#&K\+Z]/.N=F4TF,[K_ˉT/v*&Up?L@/J_L bP)a۞ylQ,Ln#+* :ע*cĝi!,KOx«fu<ØKg6CH Q'X5Lzu:'5^(Vz2!*2.19 q4n9ԔG3qJ`YT3ևUvaCc^ S8KqhE;B%%vuɪ֩&^|!g U'f Z+yw#W1bZؿ|kO[O3`E$Fifve(xVfh]VB#hr LBf^ '9ǘp\!36+@CtϙP=b}mKt")K*fy\yL%s~y۫K&Zs@y yf4sQ o(pܘח߸+]0v:T82_eŏX\V%y8Z4MoPMKn%ei[q9kYo͜b_DxH Fnԧ4GXjnQQy$QUW[2OĂnF줛"r&V)"yhyِp&@r"DN?^D'뀅) /p'J=*ÞW鑊)0gJhNnR(nf@rԬ/9~nN]^5y3 uZU S-+fTbq9FE[ʰwȦA2l߬cRvmiT\nz|џ4AS8'eS%?^v勡dgnH\Ǖz1aP sklv.:Ԟ>j'P\k_:w/OAPyٻ6Nv\$*5r&WB@>h}.X8 g9vKg$}1'dLۄ5H*R4c1վ:e(BT W3 +;N`Ů~,bЗ!r㟄zfJ^{"pү/r52Ei}*њ [ λȰ O sc :!3]մ* KxL>pOE[2,)v}뾝Ʋ58ئG/f NOHAgj7pyx\X`қ|[&Ȧ9l8bCaE}̟&А#40̆ase>zW_*\L]X456/PmIaCa/wK_MmM Ȗ#C:fKOMnnNNxߍ=7E۫+O:vZVGT%e2\//qkfk$,ᕣ o$?iAm+sIQ6D6͕Yo/y-f2 <}F- nu;una)a-F}D*<@`;R0Q.@>יAY4rt '5e'Ȕp!YE֎l-veă8zv(.4 /-˄#wJk-CDBkSOt^xXzc[KVU| 6i`J)2QGɃ>!; Pj3N^+#wWrbߑ9 ʍU&&L ~i{gbKk1)fDeg%@'}8x]"BXH|& -[.#:xT2κ53fJ F| &MU08zy3hZuG#vBZ&kbR<~ fÙ͸9mh2.4s$NsѲU][JUTfa\oƶ`+F9U i1;DCNcc{,׷*eSEKJ_Y:C2ɔ꣕_T Ǭ:ꐫrxpCjZ隯N f3zG, @02G]cTH$Z5dV +@wֈ>6xo(f fB,!x#%t'IZ~AG,H 5,a{(jNQHyy_HZX \hK[@ea%TBS~{![vˆ#+ޔp"Ko/厣`5`= QJZ;PJx;qO(4и@#[ hp|ݜLDTilJ&x!y#5*NR ~…o$1r:0 BF[WA=\Dž6aoJS?9""p1tsJ֒ޘXE#l­\tJ/#[n(.CgaXS1{s_GlW;y:584^uVp{'xC80'-}dۑr$1VUMP|rn{U'@s+IgyF[L9fc6$a RRUVdRT'Rvn{WLBUj#uAI (cc_5 MA~Y =\8=X:ѩFd]3F:4 Ki>mg0 d λ kzݙBOoWceH#f)*I}vAM<6T2z}WGiZS>^}_Wr'@Vq3Ѧ Ynv MPb3W+H$d? y 1`*;h) .\l_Q(1#,"A .6tz3>Xh"Pg?mdܣa:yD9)Ϳph5FmR\)AjZz!u6(^P JϴtqmL,bc AX-,.a#zq{LC,xȸꚏ ,B$jN q{'7I&+?g߳`Nn}b2yؘmѺ,πpc2r.m_[uc8Gz"h,Bz#[<{w~(*md$ d|NRb5@X OFG(!rt=q`vs {X֊nԥ*ж2j6MO$?DA$2gS/ָ,CMG QP$n.:b@ū8 y10+[%F~@ T#!+)]K#O%#p]S)}acPpww5B 363p kzLQ (eb{gP)Gg;)oʹձηPk%ld7'$r+݀MQ%ǀ_S!2Uƛ1řa VtLgo_[#x%~bCr(?IF6L̆XitD9P}P\!gmұ4ڕTޱv]43&/]v@`D_mvxϡ>`9³ۖ 7%ԯؒR$z4ro.K!rْ[xXuH!8zt 嬺ci[9-@p&f!ca^}|PüX#NGUF|{LRe09ꗬuJtƟZ,RͽTx&d},tU O`U 9@S~ Ofㄹ qm>\{K?3CalT9̧MµqJ6]Vl>RgQ >IvLcvF͎\۫0bTDF%b4صC4fw &@%,؆jqG>i\oD"{ b̗AvvHܛp3L JVERîe uT>qAṽ̲TA` Jhlg%A]xHarsZjZ1{EքL9"*}oH3)%<ѽ9Ι_I=34m2bT,Vylqz,GTWRj$T秅3`iC'؀۴]4$*',Pt*_ېcYuBb+'{JJ:l)xٲ]l9l2^M ^Q}+],Xp}'l+̄XC Ub`n 2NtVN /5p3^7~d8pO}EE#(iݾF?z/dketx n-yVy*X=Ux)5doKY! 񂟤jɦK1rlJj0lBcpd4xqa#cnH-g7 4P) 5>!NA!$ / ОM]:[8ugrgi]dcx_+=/^_oXP!xPO)W:&'xnHije`XE]IGhWDo?VҩJ\>`ZFl| ?Y)VpveV}|@HOJ/+õP1`8(A{@L;¿" drDfCi Z<S;c4):R+ߝ|D.'fB0d fp/*%PB5d7/u2`-U?Bq-͠PJ:mhP΃ǭWSp"DukIKQ'Fo˼{>YvoEӦF)B\ܢXݙg )f,RLgLUzaj5SwɬB5s#DYqS"/cLLOoU_(T= piZ}2y0g3:^CKjz?Sur8!å<;REByw躡nWȧwT~#NB<TAmdr\yt.bR#~aՔA(^ⶈ>yM\uDt&] ;L" ^Jbe.{FFIy,C Mɓ g2 ۨIz0-&|{VRvƦ,k;q`!j昋i,@rOEҘ|O::v*Nӽǵ;ޞKYF>\\riE0( EB$M~D/?3Pԟ+utjKXQpq) Bo }6kԉcpeT>qsgFCs8xm㰞 *\vs/,ג,­ˍ3F3vR ޸9^7 UT` $B&eIƕ%-*_`MnF̨o\2։Qs":sƛώv1s~MVIb|VEhj"FaKF%H;| zHL\6630R NhV(K){ G'sT*abBZ4.1xS-D%v ƧN^Ftz|/niȥS yzz7r{m<&K;Z˥  .GJU@U* {.J=)CrfLpNH+<;u$;3N/#xxL3M4 /ZМ^eƪM0ALa~^ÏFW7p+ A!ʔ5eGLgLi ͪ\G˽*vB$uv0ԳxR\cM-0µqح»}VwVD&# \J"}ǚqz 0!geN%=OM5OwUzOb.ڶ,{W/ &12h ZbYnFҨX]asA51U7Bb@QupI,ކS&#{ѼNۋE{8@Av]aWV:}肥桤nك-͗1U% QjМ؂x`/ܽ꓈b=aֵorO`˦ㄡt X?Awtu4 l[TW{ K|xe`߱ʀ*=4Er38 5+dDlt[^C8xv*rMymyL[ی(>O6ȱͫZ52BjTCU2F-P:6J '9++=IbtJXv.,k\&J=Wz^i)Ov?4sVlnk`y]h#&BjS.q7`3enpO2w>p2ײWyq