SQLite format 3@ .C  B  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_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  E E8'p$L ]/ HOL-Proofs-ex:threads=4elapsed=1.263cpu=2.244gc=0.0007zXZִF! l]ŗXiɟ 9M7x ),0 bEJք %כ)Q?:wFL"IM\"j)'N?d=$< @\YFnQ!m`Rbά }0gYZ7zXZִF! 5]ŗXiɟ11c4I{荵+pJUFخ&Gv*2 ؚ"7ORl)cTi3)UY%s {۔ V/uby(in[GlVϴ,Zǡj 3\<9P@Vk>jX<(6WOkQW! gQQB~*ghlӥ-[Ƕ}0o~|sv2YZ'JP .RR /~|\_&%瑫jmA6vS(oQA:& ?v F7^4;٧ ~f)Vլ'jbnP7݈bηDKIY}|f m j1b4++&o&Nz&BcnbLA죱ØC.G!| MS.±gYZ751b7e171082019dc3cbe4d1cffbdf070a5ba5067527c097151a176fe2b7115e283a3ad22f3623eb 360b8ce2d5c051ece7845dc1e4599879bfcc7da2 ' HOL-Proofs-exU'9!NHOL-Proofs-exHOL-Proofs-ex.XML_DataPIDE/files~~/src/HOL/Proofs/ex/XML_Data.thy@'5' HOL-Proofs-exHOL-Examples.DrinkerPIDE/messagesinformation_messageserial=2422630line=36offset=764end_offset=769file=~~/src/HOL/Examples/Drinker.thyid=198Proof outline with cases: sendbackpadding=commandid=198 case True then show ?thesis sorry next case False then show ?thesis sorry qedT'5# LHOL-Proofs-exHOL-Examples.DrinkerPIDE/markup7zXZִF! `] !M젗OFK?m:<+cGQ89^bJ9mphS^wtD_[\A&^2K~ >$JڧZ SQ4:N>~v=]u__eFr7˝~땭Lh4ڻQ[[ 0n%|0)VMix.7D(#MRPH 4eY6Ug\KY}\@0i zxtrqP Dl \ W Ko;j(wFٴC $4}}}DPCQai4.? XȆ &$I r]D-8q]jꠂ Z9Ng2+y{_XTFc2apdz Ns9,uZ[а4_?)9 jF3v#} uqǸaƪݤK[A$Mzuc/;ZH~K(;e.WRJYqyaT- ςOЏB/ZS;}EM]DqK<<18 S E bdop/!"4P\wQӣ.$8#C:E?åH"LAێ"aI|3 4j3ykG鐐E0JAiuQo˽ .S,_e)6JQ^Eʇמ:R+j&8Wm2-ODd!NKѴ;w$hk/﹖kNS/=J^s<`_{ tnwVyFI!֔fBh` }{=r's!9)?Ok-Wx9yB&~dTT o(|pTB1ˢo<A?O1L? ~*e;*_+gj~6qw.ű,CT6?soN$&H(ƟjH_&StPToW ęTum0VUD' LԚ,DdI?,ݩ>ݳӉZvzy<0X*Ԝ(WaUcr¡xy?iBUck1qp P!XC=sMM Z,n|E{+)`MROZɠ%m`3YmޢNC~8"E܍996B(f ^8ѦιR86'Mr%1$:Q 4-bɐ[lwKN(f7m5,WE({2$Y1k˻Ԗ TBJc!^ ӪTU&OiIHmdN9>%%⃅Μiz㸵jvڐ!aۨ_3;#a;4H*($$)Qܧj FŗU.rG\7V/%O)6ԶjBP.In"ʜ4 />ʬg֦pM:3lIdQ4&?=~%%2 Tpځ 67M=N)4(<$&L^aVlĬxUhDI/5fiVtlι\#ɖ;"$8D'Fr6/Ei [F9'+YL _#>6ܑy|#$V    RT! R  G L?'K'HOL-Proofs-exHOL-Proofs-ex.Hilbert_ClassicalPIDE/messages='K#HOL-Proofs-exHOL-Proofs-ex.Hilbert_ClassicalPIDE/markup<'K!HOL-Proofs-exHOL-Proofs-ex.Hilbert_ClassicalPIDE/files9'?'HOL-Proofs-exHOL-Proofs-ex.Proof_TermsPIDE/messages 7'?#HOL-Proofs-exHOL-Proofs-ex.Proof_TermsPIDE/markup 6'?!HOL-Proofs-exHOL-Proofs-ex.Proof_TermsPIDE/files P'KIHOL-Proofs-exHOL-Proofs-ex.Hilbert_Classicaldocument/Hilbert_Classical.tex D'?=HOL-Proofs-exHOL-Proofs-ex.Proof_Termsdocument/Proof_Terms.tex 6'9'HOL-Proofs-exHOL-Proofs-ex.XML_DataPIDE/messages4'9#HOL-Proofs-exHOL-Proofs-ex.XML_DataPIDE/markup3'9!HOL-Proofs-exHOL-Proofs-ex.XML_DataPIDE/files4'5'HOL-Proofs-exHOL-Examples.DrinkerPIDE/messages2'5#HOL-Proofs-exHOL-Examples.DrinkerPIDE/markup1'5!HOL-Proofs-exHOL-Examples.DrinkerPIDE/files>'97HOL-Proofs-exHOL-Proofs-ex.XML_Datadocument/XML_Data.tex:'55 HOL-Proofs-exHOL-Examples.Drinkerdocument/Drinker.tex    bHU'9!NHOL-Proofs-exHOL-Proofs-ex.XML_DataPIDE/files~~/src/HOL/Proofs/ex/XML_Data.thy@'5' HOL-Proofs-exHOL-Examples.DrinkerPIDE/messagesinformation_messageserial=2422630line=36offset=764end_offset=769file=~~/src/HOL/Examples/Drinker.thyid=198Proof outline with cases: sendbackpadding=commandid=198 case True then show ?thesis sorry next case False then show ?thesis sorry qedT'5# LHOL-Proofs-exHOL-Examples.DrinkerPIDE/markup7zXZִF! `] !M젗OFK?m:<+cGQ89^bJ9mphS^wtD_[\A&^2K~ >$JڧZ SQ4:N>~v=]u__eFr7˝~땭Lh4ڻQ[[ 0n%|0)VMix.7D(#MRPH 4eY6Ug\KY}\@0i zxtrqP Dl \ W Ko;j(wFٴC $4}}}DPCQai4.? XȆ &$I r]D-8q]jꠂ Z9Ng2+y{_XTFc2apdz Ns9,uZ[а4_?)9 jF3v#} uqǸaƪݤK[A$Mzuc/;ZH~K(;e.WRJYqyaT- ςOЏB/ZS;}EM]DqK<<18 S E bdop/!"4P\wQӣ.$8#C:E?åH"LAێ"aI|3 4j3ykG鐐E0JAiuQo˽ .S,_e)6JQ^Eʇמ:R+j&8Wm2-ODd!NKѴ;w$hk/﹖kNS/=J^s<`_{ tnwVyFI!֔fBh` }{=r's!9)?Ok-Wx9yB&~dTT o(|pTB1ˢo<A?O1L? ~*e;*_+gj~6qw.ű,CT6?soN$&H(ƟjH_&StPToW ęTum0VUD' LԚ,DdI?,ݩ>ݳӉZvzy<0X*Ԝ(WaUcr¡xy?iBUck1qp P!XC=sMM Z,n|E{+)`MROZɠ%m`3YmޢNC~8"E܍996B(f ^8ѦιR86'Mr%1$:Q 4-bɐ[lwKN(f7m5,WE({2$Y1k˻Ԗ TBJc!^ ӪTU&OiIHmdN9>%%⃅Μiz㸵jvڐ!aۨ_3;#a;4H*($$)Qܧj FŗU.rG\7V/%O)6ԶjBP.In"ʜ4 />ʬg֦pM:3lIdQ4&?=~%%2 Tpځ 67M=N)4(<$&L^aVlĬxUhDI/5fiVtlι\#ɖ;"$8D'Fr6/Ei [F9'+YL _#>6ܑy|#$Vanb6 =gYZ  '9# THOL-Proofs-exHOL-Proofs-ex.XML_DataPIDE/markup7zXZִF! ] !M젗OFK?IePX "}fsR/!9Ւ.G>a⇯;h[@2͏h`|=Vƅi)#Og>~ )eM1> C0[(<Fd8'| F&GD{+QZŴ(.m0EoM٩KP6: #SzqB- m  {Cq9֎sؒ"VL\UtkAAe_*qO?\}nT]Cr*UwPwwQ['C,j9Ȋ-6RB5łK*չ3DusR0kņ6/^WP6ι!3 KՋbiaXۦt3PV]Q+79`p6w8A{\ԝZ٦lϭ0i!*RzlFat !GP7ypFˑE r=׹'{qmG6B!? sPt"V#qsPilq_s RkОw&-`4>PTx0$75>r<m <gYZ 4'9' HOL-Proofs-exHOL-Proofs-ex.XML_DataPIDE/messages7zXZִF! ]·Iq n[:|&[z'>7aɿRz8h1Ʋ܌RktC5Ѥdj;%dfΜ;3υϞM0ָ!>rE5]/ d[41yvCr:1l;_ *7kd|9\ъy@Ɣ/ ZTv`?U'Y:iұ$sB^IԿ'I1<+ k/f "~5Ty Hr<}ǝ}wNJ,-LrYi83j|Gp0ƓZlKΩ*_Y4cV9lMj G~>aW~lJb-0 j}0h&Tc#sb+G;T=*ǿ!1ʵ)@._ZhRD|IؗC O%5X%-)g䖕Zb$kNK0J_6`=5)@a,=}cr1׭A)8svA1gSO@1 HxoO=""O ̤JFIu9'GoRu7C>R8P_'%?5K~/{Ey5 ?Y\ׇLHAL8,Xyhh +^ Ѵ*A9EI%htTMi4+lad,Ǿf׺%ārIcFz{[>r[߅q! -m .K?;F&wgb<*;FKai fkhkBT|!*c;He _yᭁ4F_rPr~OjLIut轥^<٭GpK-x;8T+e~S"o/U Qнq߸ C7rs5D++N9X;h.(1d41e[0,&g[}SVj༏l|J i5|Y͵Y `:kgl37&.}.cpQH|5"|d!8a*ot!ȨrvcM7g!\3҆׿K߳L=ܯZfr ZHNT004ѵ_Clƽh1X*]Y ]~yn̪+@ qvr ƋLaB݉&hHc 7KD] 1Z.hHcrx\mPd{N Y@Awi}\%J,,̯Kk==6yx,Hɔ8S#fIФ:w+k)~:'ܠzirNsmdJ_Iz$ʌX K )eA>bĜK34Hi^ UT3z D_)%Ԣ"l̽0ML t_帑 ]Mb4-¬੭? D%>5501|.|RKR>g7N'WE_#/2xA?`89;{Вs{e[ֈl.U OpGU!Yz8Ɖ~)͚G.&oPJ'*aAJK{ѶY){L"bYaiy7 hXK,(_UUw,@rDJA2~  8Nzm T%{ XeJ4o8K:hV̘r뗎By˽6MB#2{ zV A F $jO.[r }࢖#dFi \C5 b#iITk:CMc9FR|k1J2XS.|!gp8Ǝ֒bT7;XEY^HTc-LayhҘ0$sTEGYgՖ-˹BMM{/i  o] A\CUsh5dzUoDL&|v*G׎6"LÖdrn(.X 1~p<`]B'l.,+p3_d*t*+XK^$6uӈK9j~d@BO0U8Аmx> %oSo~SLP!xr_WNcTF}?Y.bzh9Vqm뮕cZgX׀ >oiUN; =4Z7z" Wl,`gYj .S !+o uǫs@O<,E>E zE,X8MSbHd)wX`tg9R[0hS0C h5%_3a¦OGȀCҼOS;ocCfꎴC5 V>H b׀6S&0yM4,h0/hR~5èb ngE әZ:ò݊$~/{hVKit0c/4PPoV 9e*ǹU"t&ؙT_~q^ZxuSuCNi]鳛Mp[J]]DPqʩ q׽=1DѱGZoK>O00Zy}XZ+_s"_M\i}xoy"b,N}e*!>1r>Y5^"˳|gYZ  g g '?= ,HOL-Proofs-exHOL-Proofs-ex.Proof_Termsdocument/Proof_Terms.tex7zXZִF! !! ]A-MՋhvG"uIBm5Lt~ES%d4<]S؅B܁'TUf[w*i-E]T…ys< 0>Nxa{8^jѤ*^9j on5<n;>3j w96A ^BB;6017"v%>N#8P%L95^%QT:Y"ȪvuR:_:!M|,{t̥@}390kx,:>P owLrLD.6^}y6?ph/~.#mwq]bI98;_մU Aƙ1Ri&g?,vhtm͛C}x6Ew{CpWrw Hv3-׏IbWWh5%{1T=fЗB[y*dT|A+R5(580w|xgz1i!\A<d"ykLZeLFH#qY8e2KvtQ\7> 4vnW%.1NpУchM]Җ&;ZD~Tt}NU`#z[Mxy)\p t0c#^eu؏,qK{2K};"/<&b,'B2\ baEю^ӳYit,|;4͌.RʛUWb3[&'2@$j>f$ 6;+]OR_^Ъ{ǘquh3_S ?\0dcq>r^\[Gx=g sE\[nua @.I< m")MH2jtߚox;0ށ눶:O[_G5 eS??&zd08}V X)tDgk8 -3'ɃڵaK=i-ЪDo؟!ǥaօsH3X4v%aӫ^ITRwfBR`-6M‡(\̓!wu ǭDIFsJ$<+oBRKbD{7&?掂 WA.SW)U:H Y1wG!*CA*>;*^$Le~ q[R ~\8UًoPBmOk;3Zow67 ڍG >.CqD \9xWY猗#-+ 006 /7&uVk)Mu Jz\.&H'qyw%L;dAڈHx;oi*N#(4Adw/Q!A,T`YTl:ND2yST$ R`¾RuaxH{zk! BʬgYZ &b&9 '?# HOL-Proofs-exHOL-Proofs-ex.Proof_TermsPIDE/markup7zXZִF! ] !M젗OFK?IeP@3%ԜU9F%(=ӪDBVBќ'|"uJ fk$%34BUw|߭A!D:{; S :iKRTLB._Bߚ{vo@@0gpY(.&VSB+X5e~"LȑO355HT̐8u%JM(`\]]4uM7Y*τ_ LLߕ#l:+$jlEτ78ݖӨLܰ&}lVg0$zͪ!*Nm 7)Qr֐QciQd8/i[ *1hD(*fU׺v'I:1Y\_K%[Ptu|mz$^=`Ⱦ oK,XnK8Vߒ%_+yd@{1 4L}C2jcy'SWy 1qjB ?HX3?2KY=aW̾걯āIds:-4<X 8d-,./بC?pABLJW/y"ll)\s]fadR}_" (re[5B#yc}i*Aj[VsvtzGn)|G.Wz8&YP-*+2žSGhJV42|Sβr }{]6m4@Ŕ_Jq 'KI dHOL-Proofs-exHOL-Proofs-ex.Hilbert_Classicaldocument/Hilbert_Classical.tex7zXZִF! ]A-MՋhvG"uIBm5f 7<'{l.(B..&2tssFyP:pAѿZFTNM q/d3ʹ@BnI+UԇXѩn^ѧ S(<<[^cmE|RRYvO064c*-k&GH<.83=Կok-H4L)<-kLF&j92.HwH*|:'գE{%EV9M-/(l܄YTl6uRU2Ts ҷ@ROExO z4t|ly)PAmY/.~;ɐ*FH_I7q imTthB/d@"K [%5';\‡.G1<%CŽu>6"A|S(>;\^x'~ǿ\ nҥ *PFdTE/thɰ-]b]u7Sokbɲ0f!ѩd9g0 B)a$z l@GD %a˖(%i5Ms@OO5;7bG sO['u4R4:(9Q^F<ܩdnEv.y#jps[ Xeq:Yqsۇp!iWdU+m{5A7X?xf\($23kz'T;ak9MZqJWK.O[X^.1y/{qB$eórK?Ctxf Fge )o E<=}&[%A7|&[<+3'\n)U2CeEg9xԻe{^)M,Ȥ܋v7PN—`^ʕ1d*"R"5MmN +q["P7} ܃QgK ʮw"Ww]b,9J C.H#Zg(ӫEOUViΊ4B: ` _ڠ$n L;ݦih_;)+aȿQc*-ߥh!ͥAw|v IYdJTvyǝ=4 NPEİ5bʏTz%LDIz(Q2l9u$7wp%,d&g? h-l} F|Mr~ .iۙEzQUi}611nQm3҂${pL0B[Ȇص x%-NlkhBl̥;A/Ǧ⺏'֙w܄ݵZ7So3s(^͔ >7Ԓh9Fؿ==ddHfbV@؝imԳ;S磏-pgʏ "~ Hꠊ"cӡLfY4b| Ѵ6[NjCS"xn0K|0ė0 Kx lC9 UK !v,k8Cre` ŋ,y xC߼L4q>XM~CJ5#k˙+v#6U5D>zgYZ`hto+Yӷ,&پ ƃHGuXG:e*-OKlVQ_Dϐ@@屟 ձ Y7o8f`;H|7 ;D~.ݳGG"5Jk.=βge :AspxrtCgFT4rccbv+pLf'߲ѻ$r76VH y1LdDkeb'+%B(f)! ?`Cʕ!qs?ɄfӪՃ.U@ܹcU)sn@3򌛊f0%9r RPw $CW>%OHѕuc(@7 uѵ?V6^Y7!(iv->*j1ɻl쀍˜~$DLcKqLxGbj¢Ļ/ѥ|N  o3psF&kzqXS=ÅDepNj~Dahf!Z4~yduĩcGMkc,Sg/k C6 ?mi{41kl ̢i DLd &iH~gHd`\a$Q W> ^͎i⵲}P5Ύ υj [i-?>`csv?hhz?FE \3_}ȗK(F4a[V*1*xW14k?OT]PKob°ܜ6jN{vy!nx3wB=rJ&'/Z"&8D;;Ra%(@Q[D)#c| MFי !k0{CR{~'Gkn8#Fu F`hBO-)f9LQOZ|%^B;+hʔzuɧXmưKՂC:}[!Rh(Iy!궞ǯ[>)&``ckUR e~0 8oIJḘ57zZT{C4)e92j59 63D[O8JnVGH䶉ԛ4-= N)a|-$rFU"cґ\B\I%AIe [9N- 2{}GLQqF>4誢jnByU14ewSٮz EqR V? ͪB*};|a6əpTs[25mN)qC=GYD?1c84Ud,_׿3D!0? &58 ]UwzxUw:{`4Ɖ7F6n-W"֘d]Y>rZJAFm P"?M"ΰ G[dQSs rq6+Q]4HڈTa/xX9Po!Ĉ'yPCESy*^TI.ijb >_Yqwi A߶ WRDD׹<*K^4ў!+lh4i0Y=ḡ iSunF0Inb\XWlglKn!UQְ &?= kGG-a3ѽL| mit `$>ܪ{N:O e*0,RO YQ;,y4lRN6zTlIo0V+_x^oJx4PnO 9F31A\xmGK>;$ݗ%M$)Ӄ}1D8~m կn 6H/|DVJA`H~GB?AX?SZϙh}` zޙ&$ -sq p" ^<~<5S[Ht4.-tc3z7GڐVj< >v~F: m)/mv&؃ֈKݵFDl&A&B OHR`4!60aS-_M}A4 X\y":E3qLR=Ƙ@'<”L{rT#a -W(SCgpqױڲDS;ljFcs \;oAJ؊_ހyT\d8'bEp)@ 6nltt1p' < hi6z8oe?bzyC s׷;1f 1g:F̻rqd5 l-u zl]*ରȼ y<q\djtZ8#JD*I_/=D B9oj3$7Y-Sl+$&BD2)p=<@+IG =Q9\\Or<ޤkN:fM*MoF*!π gYZ - -w'K# |HOL-Proofs-exHOL-Proofs-ex.Hilbert_ClassicalPIDE/markup7zXZִF! ] !M젗OFK?IePXyB-ìoފeTQ&vPbJYJdxRA5"]ap.>hukl,^Z6"č˿O&N ݬeH}<˵QCyl&de,<[Qʀcw622j CRa%HxqHD8;VKl6Tpջ,H8YR=x$#WQ[}OIBKq\ˊXsD)ڊ>j4y˫_v`K?Wxr D{iٔ`C*t#_ ,x缑p k餳>:s prB=Zthb]"[)?R*KůM3]1*LPky:l1~Z΁%G2];D=ڡ@ϥ],I\.6TwƦQ]o%&8;h *58?4ilJC'R]l觕M-vZڼ @ٚЈu 8OїZٌE%MG?&F8S(i@?<_|c/6+(~; ȐCUtע>H\H}AjDݝj2zC{HܼN~ԥT9DXWjrMō ^v%3t_`9p }fJ=Rw_sHl?XZ&:楡SuC:U]ח/q3zweCH#SM:"AVUZQU~njȤ nh6SBI{OM4}0m/0ߌ,ر)_dT_Dk<;.X6!{mmsiJfMVzzE'iZRo_;)d9Tw/]0G s5}2U6 [QIT408ɑ_EԬ 5I{1xP8k {uVf[M)TÈl4D[łk[C)+Mc`4` g)6;M+Ha8z}+:W_֍V(3n7A0xB;_Wx Ph;qT)C+DnU GVU ^G4 1[ɱgYZg'K!`HOL-Proofs-exHOL-Proofs-ex.Hilbert_ClassicalPIDE/files~~/src/HOL/Proofs/ex/Hilbert_Classical.thyO '?' 4HOL-Proofs-exHOL-Proofs-ex.Proof_TermsPIDE/messages7zXZִF! @N]·Iq n[:|&[z'V%me5$Mg٧l /R=\?r, ,:CAڸ*ײҦ#yޘM}ʙ 6c.M5<3 m+ҲL(5 ˚f\WˑĮmO+Hg:*ewG 5|O͓ጎi(IIԴC[@^;M1MC/!JػHOk~[3(ÿ>qe!wu6 Ԝjwԛhle=ß~T3 y[zQ(~q#7dg{O)lO##Ch> ` ۥOOO/:y jBvV<%YfYp,ҢSl}t{*ooJIaxa^ݹj3CYM!Fhn;eOYz ®;e#ׇ51EZZEDxv3IL!A*wp]*TUj} _~4p\T d#8&e6ժ2L԰Qq -Kݐ whuN_{㊷) Y0{ 1jȭ ~<+Kݐ-"v+˶"2ԛu$!-oiW%TW2Έ p7|vxmt; a|@;$aLMe&H7Yumuաt87CŰ{Ӆ ҞdvW2]j.}XZ(Z5'F&wdƝ HQf$P 'q]ʮlkb TYj86+ [@÷5ăt'rx={ѤT?ef`8"8]XVW2FBByIRil~(o`#1ނu3ҨZQ0̓@xAfyDZKu'KE]v>YVÝWu/7JqOwn|>6ghxݫ9UV!/AZF>{q[fcv~ i{R"_6iߘZ s X?o Aj~j78 YA:pCNa \5KQtQE}6np-H SI6FfdC.5iߎc0ŽcJrz Ath /}t#8-qf$[nwf`4 ]n %cRE&96xbVJH s15@XTIU T!IT0dg-CeCy?E0x@&GjE3=ѭ O鞙H #MllÞ$XtcBio:x$[\=Mǻp|?D7,1{(6J / "i6׋µN.4L.i}ZM PMR.ACm&X h>:{"O4ҧ}l~{ӭJ(sy^ԋfL@M7PgcټiKP >Hvr/!TVa0),rTTk/ ں=UTڦLHT:Kprk/7'$g2d$y+s[g<^|bmH#HyOU2h,Xq$8:y\<4`-|ZxzӾA>t3ߤ@+:4׏FLVy0FDZR"o)J\̛XS[;sOm.qxt G5P S >Ɋ/WRMvfnBx*Rr I\_S|*ȋWz5`4n֮q֐x> {ah_܉Y6'y' E_ qH`s c0.3/N J r$m8d7睺V^T _a|E vj-X|(( .!QN4 _gx)\ALKற s`I?A& TZR\[i}J,--N)n{oLПn ; +9/+X\%_Hgp C;plSg#iJʩT8vTJ~#(l  `0gYZ