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  U U('p,4 ]/ HOL-Proofs-ex:threads=4elapsed=1.248cpu=2.296gc=0.0007zXZִF! {]ŗXiɟ 9M7x )8\ % Ȑz=ff]u;ok)^WLwds~E"er/!sT4Jf()'/ji%hv^F[7i+NA'RgYZ7zXZִF! 5]ŗXiɟ11c4I{荵+pJUFخ&Gv*2 ؚky7oO?' ^.^)|&kVo;RAf~mʻ3WlA;SX L lc{0!{ٮ@{Aie /}gYZ7zXZִF! ]ŗXi%N bԄ*bQE{R3-~1L`kus-5ZoΫ<}p/U# ZggbZi2%?tGoB2#!P%bAR΄Ĭ'G@rR]ƒ wb)iP#bX,W'7͏2a(C@x9? $^podDڜu !;ca)3}0_˟&1?Y31XoޢJ&y;A'pM]MZ3^T`ʿx#Ta ֋da7Ei' nF P[5wI#]Um _]ӹ#WZ2E@3"TM W`%\Z$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    ,S l , m?'K'HOL-Proofs-exHOL-Proofs-ex.Hilbert_ClassicalPIDE/messages ='K#HOL-Proofs-exHOL-Proofs-ex.Hilbert_ClassicalPIDE/markup 9'?'HOL-Proofs-exHOL-Proofs-ex.Proof_TermsPIDE/messages 7'?#HOL-Proofs-exHOL-Proofs-ex.Proof_TermsPIDE/markup P'KIHOL-Proofs-exHOL-Proofs-ex.Hilbert_Classicaldocument/Hilbert_Classical.texD'?=HOL-Proofs-exHOL-Proofs-ex.Proof_Termsdocument/Proof_Terms.tex6'9'HOL-Proofs-exHOL-Proofs-ex.XML_DataPIDE/messages4'9#HOL-Proofs-exHOL-Proofs-ex.XML_DataPIDE/markup4'5'HOL-Proofs-exHOL-Examples.DrinkerPIDE/messages2'5#HOL-Proofs-exHOL-Examples.DrinkerPIDE/markup>'97HOL-Proofs-exHOL-Proofs-ex.XML_Datadocument/XML_Data.tex:'55 HOL-Proofs-exHOL-Examples.Drinkerdocument/Drinker.tex    @'5' HOL-Proofs-exHOL-Examples.DrinkerPIDE/messagesinformation_messageserial=2422838line=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=هƐ!+JZ*Hd6#1NۢҸkkmj *l?nYy L|EЋM^wwsm˘c5E= A`w_¸ ~mr 6wG>oiPǑVAĎOZB6X`]'6ܙ3ˣjGϐޛǝRf6CohP wgӞZ(1)UrћhzEQo8t#Y^Z;6gU%D tLU7Ջ.SAΒ3q1?1 )\q,JeI;DB-I'% S Vd3gQ,UÄ!avxѪfE6@l}ctTxو {Swz=zbNeձ N gYZ 4'9' HOL-Proofs-exHOL-Proofs-ex.XML_DataPIDE/messages7zXZִF! ]·Iq n[:|&[z'xY _EWU|:Lz S+wދY :Ff6I,2J`8J qcGp8V,P,"+&{BY%`gRўRT„KP+sxܗ\|hHЪ!ޒQ&>p#etmV=7q%p =g84۪"66gDKpF-h2?i G<:+a3֚A ꆏ%M_D:*x-r6@+MJ٤g=B:|Iܧp'7 Cg+:!ZA ݿ;O+|?HJ#*):˅%RB/X=NJ]̶I\X%^g퍫5O>*pI;8y73'r?J+x;k6"S^잔i8C2ri=_a&Ӧ G_,p`.`ge=Cq.4\}"h͝y,;}A~|ȘdАan&qyL x횋ʽZ^h&\#ƅms5D|'9m:_Ǫ ݸWmmY2y"ero(%gkď77oTei18JB8 R|X7(#7w?i$ĝIw{IE؍鿻VN is/5b-lG X)T,\Q,qc]Dʆ8\IʟJzUX"CTdpi ̥Qov'*f'm5HSPT $NpG*;Q` p1`I&Ma3@BVrHwWbti~ذ)2yL}\)w"?Gem +a&2y= #$wSj:(7oA=GCL7ngRBņTYMw`EMJ*2f ۖiWy˶aZV$ R #[S:fnIwX2 :tt&J)7{z?+l`YW@h!?'ϚHSQFuGx̿g%ԻF_;ƄX"?ݏOmZ;%4PɕS|*K>ߓHp'ǀ9icLQpf.}ۃQ+ 2Xk#;xc KfvK :k\DD/qowHٞ=5 "Xm%yT*فhkX,k$(waU>$/v{ -C(H 7J:Yvh*i k2oR7jpvo=)>om?‚'٘OꖼU=ԸT=G uXn -\-x3wşuj0qB-pKDOֆL d[rt~d`b%m &|} ^Nk4*W/GנRݶ/^ϋG5hU S7O-OzK6Dl<Qf{AmWtZDJ8]kȽǧC:ToM ,9pq#!Ү%eKib Ʊik'CZ2-cLKR'"VoN`ig˦( M%J{hsD9_b#7A&pf̯BW|^qM)[ L+HGԙCԽG{`0-p3#49ƪ `t ,ŸD#4[1| HovVҹv_))Gbl3s}nԄ.y |^*#p29d/+{yjŲ(L6OXnG 7J!py:Ziosg4 X*=b;>kvid {TkcdhUF!c(Tzҽ|..# ˊN&7:2Iʩ##>ךMkr):^u&Q脯~'<.b(Yc2Ѭvc4ŮBrtۀ&@m#k>݇ڕ*K}m&o#WF;8wH]d9i] ǒ\#є[::-Kyl09ס ]TPmעq')( , yӛF`X\V@BƐ|57*Dh"H݌'.̲'mh8@\O N> ՙ^j δYq gǭ&-Li?,نF4GF&e׼qYހ ydD/* gAٝwq:*->b V=E"cϑ@JKJۻDtN=l? .l:`_[MpI5J`J^7m!n˳`R*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 = '?# 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=6X( :xn#g̎MBGkE+?-MLO]Ơo,'NfyR{N<|y*IvmySflةskD@JRN$N XYgiQف6T, S>g^IVpA?l 4XdžoHu"Uå,f<5|߭cT͂ )RX8f{B[=6N*>j,kX>0Lyddl u5%&㦯ߵ7sO8-/6$<]1mzsiaztdCFt$ W{yvhM1J4[=$d>S z؁gPST&IPUYp B; |Yj^Xx<]]k.M٭@>m[H%U琈+"C\GS@pl"YXl}6q9<'*(bK͌6޸UV@+?C]`+B~;4㪰+-6F,P`W_wtAO}yjz|*_9='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>zgYZQmTD(!u <^(ec4 tY.բY<;:boXa26!k1߈4N g|ؿԥs|aD(9pi 2!I@hzV"o' 4)[0J_c/}|-]:6#tWKjCːxp:M΍n=[M,.˫zvQnt}?ŵ) EP0*ߏ5<]M dHBL@xF8"{07?I]581 HEpnic{!Ұcg/㧢63r k7?&WHđPYɞYOW'QO lwxOT4#}{4KLW>a9 9J 8 |A#z K |4S4 ׶W8/7a kIJQWB  >gy|Ųx'σ1\%6O䝪sK'9h5tNܠcJic+rm/܏#c ߗX $\B*EK KMe3DA-l%{#sdGѵ5_"a3;#g\McaAЗoTQ?u΄"JN`c*-R&Ӵn~_5e6=8!ETKPcBՒc{3@ﴢڜzN~-u+]TGܷ*E nƠ?pn4!# &vǮ(iZeٜ'mw9#Ql M."1h!ٙa,V<7=9KHTr\N)8x2%af;FT=RCc"uՋC{}ǝ`IW*#/87 Pyc13#).k`0F}"pXPsTS7oFsT3cqG0!-X녠s)k e^TUE3hhjtؓWCFʢiA:RrZPMM;(z;BZ`ɺhtLJR,XEyjVGNvA={NA*t 2,MqIDo‹S>.z\qiݺjP]u17bSI&A.}1% r_W?N%.):Y -ti~{D3^,AAdYo]SvX0Jvŕ~]*sy+F&e͟D} 8~DI֞؄83IW#\5]2YM3yxfz3>Cf7ΘwPDu#Q` G;hV݂[Mx%J><"q{jMi O7%) ,*y5 ,|L|Ü-!ҲmٶF-%?R:zCEXհ$=rٶ)XeqXCrQ3`sy_6 4z/$n{q8t jm@ E`6yBD^piӇF<4a{qoŤ(,]4Js޻꺧LJo`fPT;A}hp5}9J$j@`RfsKB9ڐp'gdP䡁>jQR[=_E+.An>}Dz"Vʈ J#4$8)\9Lp}E>ط5ɀwDG)GDc`h2Aq3vF4J+y'#PNoW-#b{d9fs搊2f2E$ %"p>#/#g%O|L)џAB8b~]K2'-J2s W"&pٝ ĭb^Xt7])\*c"ͬW*'@աMy lj;ǵIz[ui&/trCV,v¶詊IϪ̯͞ӶzGxsޅKz66f2𜓎B| ;8@> ;kWV0 ߄J[ͥ/)s߻V}:Pk};^/d^ĺv6pmUq+T.uWPRʴLXSH 6ݵJD 5Y0ϕWywͻ! j4䒴گ;T2p=h6W*y1H_=Q5n?Vw&IPbFF=^A5_Dt"Mᯡ_ltH:FY.Sflyw;  @ y/ӯ||,%L@so>8qQXTeY@ ج>EطvB" WKȜ@P9|nF(j" Yt."0ȳoOm+&j~Ur?pfUu*v'K!+kc4_hƄ#%мvIXTOFtw"wCޑo*,H9#Fer&i+٣gX2)pG!ݬXuryc;?H4ܺ)+A}Qm+ylFSTн:&ڃʇvh./ _DIR:37Dc8RطQn U">E}b2杹On&vt0g. BO3|rtR?hyeQ(0W) 0DZy m|HȷI2f#~D-HcXެ8B ,!π ر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 Pmqini&!W)O}L5!NQ4S<eH 1[ɱgYZW '?' DHOL-Proofs-exHOL-Proofs-ex.Proof_TermsPIDE/messages7zXZִF! @N]·Iq n[:|&[z'& ,Ƅ<+‚I"I|U\ZηkUXpS ;?ͧ9UhE>?bGQ_I DlZb5iѦG @s*;$_5Jm/)#xv౭ncR1LrM$!`>e_&?v*prR+ߋ` ôr=ЗŴqz5kK#XOP,b[(,ʼnv߹R'w/p}ʩ .b桷|)qIJy%vRqX0oZq~_/:ɽN66Di=N4 m^$Ć!@>Ɏ9qD#Fcׄ"*b PP- 'K' dHOL-Proofs-exHOL-Proofs-ex.Hilbert_ClassicalPIDE/messages7zXZִF! cz ,]·Iq n[:|&[z' /~{߀lDLjS \#б#2ݙѿw ? Wjq{d{˝D;H,K5+Q:,П4 WOU"gH"Pw}If>l;`5DNJ2z =YȱSlb22bDq Z'cYǝtECWLtO& 1 -l4,E(УX Rl DpE+PѲ w7laWD?Ǩ' &}:VTi?rQ1!w_}@K$LX ^b3jlTZ+?/;ȷC-q;x+B6s]7T~yȈ2}mzc@9FMaVǗx2o>t4R+[鄔{p'TiFo+-#lO.6Fqᗹ*ѶI/'si~2gIАܴ-NI]bT|ԡʑ1ľY$"4xA]ɫ{ocd(g"3kL4 c#eXǎu[Ϯ3kG#UB}*L-]oҒ-oe2%f vV.fk{Š>߈ROv1ǦgW5Gu@t:A.F#IWEK.bm'-L#zB&X+>$1Y$ IcJr9zzP $ZG͛&`J`&5҉Ebxos{TفnMB"S Ld6UdWKp&5y082xMe]{=k*,$oa&sdnj 5!#6X{P|=)4BjЊT]Җf`ynPv''2]\ny3 *D3C0 AC]FM7MIąq9S, U:7H@HPlRIaw6M1ׇߢQЂ[]+QHJ Әd3!/Tx tҙLgqʩ p#r>B*M]:8I+TɠIn7]d6E`f0?kUt:6o(X]11S_] @* ܴ*Gv ~ys8,hċ'' J6D,F AzD6 lBnfw-gdZ:DmZ7ta3U*!&79k9MjÍ`N~kB*.CMU}ѥ6lg&2#8WJu_?h_@8ƜwȾA(uz~k*󦏬4)7y4~eZnEm߬:U~5w*i):TN<)MPl> B\_&:gO{CF(#hd&ઔ4O [O٨5͍0diJ֬E ,O7 '  Ȏ lIM=Y_(yВ,1Hz9E0ԫۚo` ɒ zpu?[c̈́Dfrh )ݜ鄧}22Б2.,PK{WN.R$7P#\#!q8iIUe_Wb_; xS ǎD`OCr1*2\U=Y۾SƆ[ ˾Ybr3o=7Ić7jR( ށbnnRvk鹛(H!ʫD'qMYG0˥cFv+"k@|t'ym-̀!`aWebOBwֵi͂,aR~(;az(3G(X"’˧-P69]o DEP|T,cw *zc%H ?/gYZ