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  8Op<<$ ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.745cpu=4.150gc=0.0007zXZִF! ]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='s0,+I4Vٺݕ-2@F5L:t(mxTXC/]%X|gYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.925cpu=1.779gc=0.000T1w_,}YZ7zXZִF!  ]ŗXi%5F3`Q?|}+-4 ܮ8tl.2[ AC* Gvɟmġ6Pǭm(8o.m""E"WkMy\EKp."@L`e}kaUi$ hTBkE"mV*:V>~Ix{:$ niS5HPH&"-`uRom7-hh0@8x*v:%'!1l 4i dU4\ ]Ǽ@Oct:1f+zPI2ت :<`D/Q].Ԯ{7~veH{h"^sQkOjǩ8x!ȽWufv3 ZY&WN;vB#9 @=B]q,'uKdw^|nۗIVqXYwr3\0XW] ꊘŽKxQ@(#ԴS%ER&ŶZl{w*IV|! -8~v] [ $F%>-4In1MY""qkÌDOE|oaٌoMs" ר=4u?s\l0e?Z+挒I쓱e"|oЯ'kQOx{5^.ĴI=a_F]f7gv۟-Wy>I_tCK I>L4ZU<_vs9+>R"ɔAk%ER,~I˷z^4P?L2^"5`=+gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! a]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMa`w}˩ӴYJ 'ܔh!}QUST]~-gb*F|m1Jbc'f˸:9D䫐m #Gȓd;`&kt G n||~S֒';OG?ħ~o@ѬģL" Nk)|&rWmdeZccdN`!aG;\ vS4.Dz>qeY#4;u+Qۃ5iqԊAUS"V 1M>DҲ #Weh΋o $X->6dC8읍a*yY:.9+ IPbWc*Eu wó`fZ|ւ\Mj W*,G Bl s(^ Ju31uulT,%h(^tf%+yyXz =_4!g!p & ktkE$o܁=gbZ.+_z['RQ?`OkHa'_4'tWz뀈)ހE0A X3>}9/?bizu9BJҀ0c̑;@$(QnSmoR&SƖRD_j~^ '߀LY 0!`S,P;arcbŝҘlv;-БrV[ m,:k6 U/1~WFui>芕}О vۭO=}4'vu}47"mQ Ynpg+Na(~GP4A'cv[Kc7cU%\9ޱ63gYZB 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) 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/ 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(- '#9RUpMqESj}toaN%ұi !bTyX# 0Tͳ '%Pqt&nC83SKsߐ^<<=spё"$)%~f`̡[Fg`~EϊdC5^5.Wo;m&NiT\nJ>E"mV*:V>~Ix{:$ niS5HPH&"-`uRom7-hh0@8x*v:%'!1l 4i dU4\ ]Ǽ@Oct:1f+zPI2ت :<`D/Q].Ԯ{7~veH{h"^sQkOjǩ8x!ȽWufv3 ZY&WN;vB#9 @=B]q,'uKdw^|nۗIVqXYwr3\0XW] ꊘŽKxQ@(#ԴS%ER&ŶZl{w*IV|! -8~v] [ $F%>-4In1MY""qkÌDOE|oaٌoMs" ר=4u?s\l0e?Z+挒I쓱e"|oЯ'kQOx{5^.ĴI=a_F]f7gv۟-Wy>I_tCK I>L4ZU<_vs9+>R"ɔAk%ER,~I˷z^4P?L2^"5`=+gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# lHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! a]a0{rf9/ ZآBb&pՐ ̥Q{ndN!e"XOnލY?͐~ºs_5;bqd8<:F(- '#9RUpMa`w}˩ӴYJ 'ܔh!}QUST]~-gb*F|m1Jbc'f˸:9D䫐m #Gȓd;`&kt G n||~S֒';OG?ħ~o@ѬģL" Nk)|&rWmdeZccdN`!aG;\ vS4.Dz>qeY#4;u+Qۃ5iqԊAUS"V 1M>DҲ #Weh΋o $X->6dC8읍a*yY:.9+ IPbWc*Eu wó`fZ|ւ\Mj W*,G Bl s(^ Ju31uulT,%h(^tf%+yyXz =_4!g!p & ktkE$o܁=gbZ.+_z['RQ?`OkHa'_4'tWz뀈)ހE0A X3>}9/?bizu9BJҀ0c̑;@$(QnSmoR&SƖRD_j~^ '߀LY 0!`S,P;arcbŝҘlv;-БrV[ m,:k6 U/1~WFui>芕}О vۭO=}4'vu}47"mQ Ynpg+Na(~GP4A'cv[Kc7cU%\9ޱ63gYZB 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) UFrծLfpr4B Da뛚OrOHqԴڽ5/ؤaq?(㵫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"D7vC) )"O"èIj 68r`˓lHJSXZN-rVDmWϤR7"ؠ\v ]u 0 XʘNJ-R0_#3L?h1Tnhm/Pm"c/(+gR,܌G)NH+U+7=%018 0CaTd󭔖G*#X';LI  Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyt"L:`n @tmBy;&!#oc(R>̳\ `V:fc_&?uYe^?)CjGY؜쒯{SNH0DTmr TZ\PgwPm3zY-,׼f }j*VKv5#MG-2t!/2J RQD|1mRe~+PEs_9=X E,Okh&\@p'ĩ65Q+?єp89"l"4QSKFQ-/S,PQ?SSlR5R:I~%__f {$eBGݘt*}1_Q'fu +L̽4lz !vhpD-.\QPHNJ#avipJ\51^k?DH+ʜ&sw\jGN5ejd:;-<nٕMLQH$p:N@Pʊf޶C&\CZZ bi+#AFoy4P詞_ w!j]x&`8Z/]54v"5AQpZ7g(25k"/tb[`K?FN8 ^bh %傣 /=\! > i):2tu'hbn CMFmB#26XF;;{CG%ݻi3ejBI[<$zp^)3nU V~Ap~~4B][-Ո>Fj:qpH OBmw1 & ?aUeibDG_ڕbO4$O$ 7"&c`fkT~I 7 JG|n'sے)vSr^$NNS53GF Ӈ0Y-RB?2bUKID{:[V*T$[Ŝ\AFZѪAu}WTDeD3jhtdIYyVnޮQ?6?ۂ79]TdoJ2Bd[8ڨa՗X@qfzh+P_kGy%tD2HU׌O*) ?0S5s\q %XD) 6? /ۄA N~e ųBb-Gʮ k'2븘 +Fo.e1%NVSfԞ^8i%ۙ42ȴm 4oiD(_lxn/|dR뢄. ?a~Z'SQp Af#>G?^SH? y. w<j×>֎fZNLޞb7.yPsKCBʨ Ӆ4"Ƅd&k꿒e7uZc:,s6W`-}TE$bB"P"o.grW=Y |!<`8lsaɴme ̛ɂ:3W})sjM6ZT;(0MTbbܹʬb~.+a8r΋`O"s^oo8 Q)D2@RĿ;֌.Mġaf }gv1BoO/u -:rmQȑa )Woȉ M( t צU[ Œ^0H3QRM3[_'@pWsz2y!./-.׈(?+ohDvk#*꠵SNnq'_jJimc F2L>R:)h}A]q^)!!O.tIu}:'D0)ÚvLOSuX(= 1Kz7L~H{{WO_NM?"tKޜ^j@j `z]u6 m3c"0lCRDͮ)*-Ig'PZ2+RlA~7_3@ᣦ4 tz!$Tj Ö+0b=(V-~@JCԇ޿uFa\A%𴰍&┅#azu캘|uBĤdQõӭ?zm<~Wo"Io3)N@ΨOz8 xD kȅUxy3twB.7>i۬m[0^&Mf6d }ȳ߄3]̸vMDӺAӦ8kHwcpF<[i轢U RG^FVt3@.ػWXQr*ropT!q/ߞ4{97 ]>|\FD%1m\S%UH|Olaml$F:; +e$W(ҏWbfo@3a)0IEcu^I_5L|n~3E&-g9u h]x̖"2/eE= 0iu ϒfwR{Bgvs= ͺ`%Y a.KOA}E|rS8e`$ \(( )B^׏qƷg8Z超;EmǶv놲:oh~";BPX b$#oi1dgxPkmӗ ìaP)dT:Tg礢XRSL]Lx-< #GV(Ցh1F=1`U$_ꀻi"[35QBk:]-q+ً'<24(sR!ۂ/2Wc.gUqʎ?۲~L=9J_&8:Gty4ǩR K-+Xa6C\M2P ؄p\ RC 1oď 󊩪bDƝzwGS=>,C{3Q '`$mwDYt7>XpzbPq67[tV汶@9%2BR_cC=EwEq`(-Do>@=ykqRQdԆm$QLQ]0w}6>YC97D Ab.#L|=3R[4|(%Q¼.%h̀paG7UyxBG9Z*ب/, HXvԯ~Rd ~hC4`>Rx810L=2"CcQ-˸R9Ã*[U'!7f H1{wN\/RF~T'CE})zqSWT;G-%2 h @n>lX)3~a0By=Ӛm]ghI)?8 Z:%RP3UD8N[Jx AI3LaXpb+};6ykv'H/cxmH{+.9W)+t;{ՆXy X`HF)Ɏ"Nf1r$G6?!v*.pԜa|Kct_mU(@)C#"ʎzfTISIW'roQ!bA @+Z%iۼƯxkbJPjYS) T7YX`cvxY9:B Mn.R cc`61[_>åTayh8#%!23tunL+-d|~JϋK4.~ٸ|cxo@xݶ'u1kUE}^Sڵ7/7-OWRa[70|=K';Oܞ$r1:L'4alx4VUw}D9IMk=K"VW"uHlٜbwѳ,qa ؞Ђ#W]tf t:@FtkzH[VBtjFn.m֭Y]wT,cSo !ktʗ:kNG4&eK_KA4 K}ha׫-d:Xv/,m];˽'xS#eIa QhJ?-:ۤxUA0|A+) 4$Em.'5}qNjMEx~8~̔獁fo(/ۻ2 HM=|tSb|Vww_B6|Slb{ ,C-|v$еDEص~h.k:UDRI;qgjчhy%6BͥE[}_y{8=sa Q:{KVHJ U.,'7JLjd?ME}coLth'3X!k n‘4(I\*/xc|)b9Jg=nHUp DŠ ګ¿-zFheE"9nYbBpJ|wO=~c ma  |T7w./& %Cߚ29'|}< -충j|Σ˭]$RqUGnL&%F8qگa.)J\6+Q!—UPJ_@|Ϸ^E.N ; ?&)ʨeEXh֔Ѿe:MF`\GmKOo0 qjQ7) sug4-šW?˄.p[~Юycȳ?wFLyK"bvx /- D΋SIݿm 8 xŦ֮~0bj@U].X򃸌v@"ʗmf҂{ 鵒^E<B?|DQ9c;w*6G*6:a 0dumMײdflBA$AcwQ\)$FRe2ƔA9t%.Vm-50i| 8Κ\lwPB 5:>\߄ dPɥ:I`ٺ  whb󥢨zh31+͢Io{w|7]GVQ]wL`tmTcQK5"._ 6{3z5ؿJ e`{.* Jă?2lv GH}o"4"Ob[# ~*{:2|\A])p.kǴC$k17`gW{9S N|}JiHwm8nBo欲eَsf_}s]^ˍ@m# bftr'l kzIAJA]%D"@|9j cTfVHRn_R6FG?^N *3q%ŤN&D@e;~702,_?+\G^$xᫀ>v-f&Zrhfδ֭${__za&Et=ѭbx~P^b=[^ix([Ix`}H.9h֨<vժٝ+f6ދWQH~qצ1AݍMi.fS ҪON>+]ÿ2<_6ͧo1Ԯ~rݐՇHrWg0<Fb.I[թ!̄ʡ9VׂDcG1ah$V7bĔ`͢-J t,et=0qۺgT׻&ykRIՋǛk${o}|wc:Zfu\"uY2Hז%ZӸ=7\fr海bj3@'iM[о̾F y{sp2X_FRSc" Ǹ?E,Y}tUt7c9$ Js(Slfv( v`Iي*06kz)T:3Tav,KH+UrK[/>p5TŻKly_?F@KKB%6,iTV6'+(eG; ۃ%o ~μǟR%m`UsoOGA_3֔kH qiYmZ _qlB}n02h?VzPՄXD~ArɑlOơk*W-tf'cK$i@Hzq- "SLHCj-HtxSe6rOe!O- c!ܱZdV`8,K;[PF wa˕Yҵ361k&{!H[;ҥQ}ج>2ϖ NZƬJu0=M(CуkԎHw`'\Uγ^hrxlJ:g:P±ѶH&9FYuU U2AgyŐE2#ʔD-"tœ őc1)[aWg4'C ACzXjWJřbU:59m(}DG]pt7_U:lUՔgeA{];29X[T$ NSZsܩMGTSreltJ(gYZ