SQLite format 3@ ._  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_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 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 EE 5~4nL ] UHOL-Nominal-Examples:threads=6elapsed=277.384cpu=1387.263gc=109.420(/E^ 6%' oj0u>6Qӧz޴S /Zw$:ֺT4ɐdcM HOMVn;U6[qBm)MZƬ-%]-9U9΍3ͦgIB  DŽn' &@'fh&IoQ*IXKf,"ʽ<\KdK5:˲8d56!2F(@piHB}r5]T!bCRɆ<8pIXw7 DH`H &ht4Ni:"<AB ",C͑b@P)%2,DHhh8(J:zY&ːK=&o>{$ Aݮd җ'X2AZdi'05ʳ8JbPوŎK?k`@ &8! !54!bArHU|Jj$pp0@D5^BæP`ڞh'(4,X!  |{G +B (4,U4DPʹ nB5ClJ'F_olуd`84Wƚ4 ,SSA(XI5 HhXs \*   HXP` @pphpXPp p`A.p(@ЀhH` 4X@ @ 0ʩV}LVjoMTZ!(ʣAOꞋ^\"TYFEN/jgӰ%+Tzl׼y6 yojZ5=kj5K>Om3oyÙӋΆ$3OlbCN5"(q(4V9ܛ|e+2+ێxʦ}`526VSjjH!,cOjesRR+ud'%q ]5Fj"9Uk׌o rM&LԼT;c]{Ur,{4X95H3g+RVlxYUАnNöbgZv ) ;K6C2aCXCg6*9'|eyH}w{jr?;!HaI9AόX&$[w!yӄ](fP!\\3:*tF3y1ΰZY]*ȮRbVbu)rNPNk:krD%,á'5$!]f3`Y%J5U.;:C=oV̾]%USK1R,&=6! |w^CRlifX̒y4WĭSDܢKweMg5ڿu眿 ;g,pJ7 k#ѻֆ49b6 }2, ]~j3vmlf搌lyYVdyǮ#Ӽ*Blryy}Yz}:s_S^s>e kLuҩ6s۶eqZS$[:y7k*)6~)ue؛:O ]碌 Yy#kfS6kmʒ5B5 h/^EV*aFOg{xS=׋ROEɋjB IЖmDPtYJm]4˦! K\m&#xoZb1 m7ua`000`P@a"`@@ e`! mPW\'wY1sF/2Z-^*/6٩S@tF窫z]`[JbF5pCYPpWp{h8󁌖|(Ӕ\!kӳ/I[nZ/#meڤ8ǺaCYYK 1qw>;FSMN,:๜^TZ+E7&{!~C%OvZ401[txh$)Jh[>j[d#Dy(C1kf7ϥ )+ Ht˄egxjkxi Ђ oD}4raUj W8MtW LQ$>ܨѕ4: U_}#?V 5AcSK 읒(N>X=iUq'xc\' 7K/]!rRd_*2״;(lMEZѲJD0j,ԣ&2kJܨ `wH "ԗk?DHHߺZb%#-}n TR*>DW Y(@=HMe쳳U%"'p;{/r4pEs,L/9V3 E;^Y9GO xi-2UjX^g4:nj Xj,2qC !1l[ZCShD2l ѕGҚQ:Zy˹F~!Py#_0+SA儕D.haSGwѕ0GUҬ`a=G gPfSq'mjU4Wd o!ph;GjUi\=K#}_jʖゑ'Bν%1hǻ%t02JxMl$Bb\:!A##Ӻ>8aJQ 㗭lq-ΒRkZkwhj44љIӌVMm.65QJъ9Q{QC7T}Snꑦ!FpQ_'WtB[ nQ[ v̖)IBʓt^ఌa@"jDs`פ3d%ѷ+W5{9)N` -ILuMPsH(rDX( {)HX ׽j2P1eHfD i CaPfQB ! D$I l$#u9ytFݤ7SP|EEv.($}c&0]Xdʝ*ug5 ebF@oH`͸ycC5M*X-?}nYֻ"8]rD>%3_hĠХxJSv@$lSK * N֚c0 bﶺ*t7& #{#!vV63e^PZQ!Gd+jW(Z 8,p G7fcQS." ^\($;BτB/{5 D8sꀛR!%v~ SO$p%& TCYFY#)'@ ։^Lh7ݾ7lBS2: .=KhC܏6O#9b8KڵE⒖Ӣf#D8 !oߟA^i}ボ'V܎f"9p2[^ePBxT?`j]7>AñŗL*E4%6s}uUMT{B|Q#}#HB8m%>^yw!O{XҮt'3 *ͱ[>jüdQ3Mb$hb-cڔ.ҳBsoZ\ i}ݸ ZK☦`.c^R;0@0$Մ!^ltgI -cKFՠ8ZQv*ϔڠKAYvR*[vO"v "c'FkAjZ'%wT$Ƭ)kR˪q"eI6u;QV)V2+%T=?:8GՍڗ9X~aB[QPDY6(I yRAs\%"kgQɥ=V`7'PߴC$޾cm g׵cJn~1V@ڊtsQJ_f˿5=т 7Af4@x# p0gbl4 kZ55|_Lp5bZ5_] DHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy2d8bf6ac0b2d5552615942300b986e0270de9bec(/`Q5#@Vx!I`KG;^f=d8&,)))| c4"䘣h># =6?G, d ?ts>oKf_'BrY{Ya_qV^I{ØYA[֘Y8ߐ8sr_ᤳa qPAI:\;cǨ~R"   }|   x j q1  ] 8 ; 0s $tA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lam_Funs.thyG5iHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/LocalWeakening.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Pattern.thy=5UHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Fsub.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/VC_Condition.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class3.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class1.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR_Takahashi.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Support.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Compile.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Height.thy H5kHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Standardization.thy <5SHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SOS.thy C5aHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CK_Machine.thy ;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR.thy ?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class2.thy;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SN.thyB5_HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Weakening.thy>5WHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Crary.thy:5OHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/W.thyA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Contexts.thyJ5oHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thyA5_ HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thyy c{~ytoje`[VQLGB=83.)$ }wqke_YSMGA;5/)#  { u o i c 5K) 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B*x$X#I9 ݂ ڂЂ|{xwesbpVoUhRgHdG`E_1\0X/W*TPOKHEDC<;:98632/z)y(x'w$v!qZYXSED C ? :" ~|{wt s r o nkidc\[ZYVSRQKIHGDA}@|?y>t8s7r6o5j2`.],X+*'%!" @9320-& % $ gQo!Xs U z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5vA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesuF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  g7}:96p9CFEYRh'LCUY\bг#Bı#32)UE HiaU{KWW6g3!~a@rb/yf։B8(Ymr|L`EDH3Iͣ`5Hk~LkR@ztO] |0 >5[' 2CU Gd2GpkYy& &d5';gi.r (B$i:ab$2@A־Ua垟HgBZ&P^x:Z &RTc;.Asn`obn ac-G4䀮+^8\¦o"~6B3:@E+Sq(q.+0}q(LyW|SWy"|VLC ~ի}htwI—gR']ۙϚ5][Ga/;8eD\R1 ʐ5Kw4TueԚX/ُ[O# X]5q/9U;'3B㢜DM "9h5J4+55WkW '1d29g@}R0 O(4]U\* r))W:7\꾷M<➄j9b$!R<{ H+ORsY.Kp}гNED<΢ŗ&)сW]o+d>RBcUjDn9p48ͭ;>ȨobHpjڃ2BhH<9ŏbs9@2VoI{''RnWN KƢ.!m Aur࿨ޤiKHiz"D &? 0T Ô!8P!_C-j2RdF,*Gvl&W@?l@VNye,WG9_T'i$q9um˩Ѱ)"⭩}> *]kU9&*Bhyl^ҁ'g53Br%J`9&%/ T& g5B*NK"1c8.pE$h B1E\\g{:4Xzw0եπغ*]e4o@^)Uΰs|M7^bV۳}/N0ҵ;_n#8A9툆)wXۅQLGڰ:$QT>1wN 4uj#x4=R$xOZ2l"&_Zbd٤RW6ۻ Dd8M-녤i$;ulF'rA] g斓ҢGPo7 M[Sq.;ͻbX*e!nS1d~^uW"|V8ù0\X%Si)RPH; b}{KWL .>\L"*|a0(9"_Ov+[ɜ#a7Te-2ZB8m}$ǏG y+: 他k*Hsh`6(8u,uuDϼ:ˀ:aj%"t*6ӅhU2"iW)@[*;Epj\sZ ѝDg_BT<݆UZ D~}?4#B`gǮ*vhB =[VV`y bD1h!Ð滥 o8r&4{a~3u ) tz"{<+3տA2Ge\wꋪXd۪8T +38x6ܣy[;L'Wc Z B"ǝgX0o3<6*c*" mI]`H^]+5<֒KB7:A|3zE̜P^KfiYYQK1D-= ~d*}l$4˷P:;ksOoOJL7mD+fY x8w<ݸ 1Uy.];#EveKxB{&pإn\VG4BYLBTBĈ[_URurXg׎.SCUK3x[o&00AAȀ6dӀqUdb2$_YXl$\ai1oP®{0Ŋg f ԇRǔ< pe$?S/ܿ{(A7D>~*y/0BڶY"i(_l T7 | wА(<^B-c[?DCT (F0KisG<1 ?, -b> p'kdv |g7#Gt`512;ҼzNYM,t܀we-PvoϷ|k$P^Ep#SbD#A =ǦQTG (6Ya=~{T| @Ժ*"L>"bk;z,SIhŸFN;r.hˀcZ JDXu+]Dq-@hJDCJ/@ z *iEdY»֩+6:)аY6%p.5UInnL8c6JE!B] [R, AgZW/<'z)Fk$Ǜ}2}ţ{%og hj 8 .B"L` 9Mc̎R= ^H>W>É8 bXQ݂A}뻃rI TXHOLiSE3 숡M 3错MSX=E0m<ʇAs37It ~+W3&כ al`0tg%i,qn;M4ʉVr86Nïhdg!GDxlMOύ2 PQߢbiycjEN!ȍB$rKsc|]`!w fL'=>[:qm Ξ^,0gZ]im(-Hh[kz5I<6h7Js,3nbF9!(NuEY-Q&Ѷ@qTdXͨ De(bݚ$Lq m}\ :鳨A 2eo\\RIa?LR= ]@.D;< mor}Fd0[aexaס3 "p ek(" C֩6 Bb`=XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚*60 Icx`@448P ( &hb9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$ @X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c| OjT%0oS jRz%HSȱQ.SJ)I)k{}ߋV+ͦY8c7555y f<e<˼UF&]euR2lIelc86fl۶mƱmlcUv"&tt~δN[hM%p&yoyiӴ]r X`mmI$[dYò,˲9rqX ,X,ƻ˦ƍFH$Gb[ִkX)L\~-B22#ΌC$·N,xN ;( @  ,4XHPx$—D-)v hA|C5+ވxqGr\$.3%Q$, H^:z[  >gtT(mMǘ@j靾זGp`B+ii.5a1<1x`ϭPR4z 5Nn4 4NP^avw\keքjz"^o"9̒sOpC\z[B<+UtP_)nr<=()(,d$dw s-6P%yx}ʰ>o?Z[s Egdg˕Xx + wBeAJ3ՠk^mY!ƽ;\24}]n:ˈgx-I~ ˫ak-0m :9xܦN*HY?q٨כӀ+P|3fr.[\`X;X(vM鏥C c(aruk]> ?%p';ȶ6-; ^㬖L,\{cA{U1 2'˖-WHY-vO -_:(H <z',,_`iiQ$4>bvFV9IմYG {19s "+E|D2@mݿȹG  Y͉JNd3HSj= 'QY;$+7J>g&)l d@uVA=-!ŹRVqFTpl7rBR:?fO7tK<""#Y ޡ_ 2vM~1땹2Pv_wuu lU+,j!?)Z=]O;)8ů[o! 'O $5 T| &rM@x!SϨ+3˲/О0~cF ik e6@,n~2KSU`j{6rJcV ̋B(? w.E$DIO؍ {WyNG(^3&ErQώ<*jt:ݩ+Ab/}j-_ln"$ۙeYc`jϏ)0ODz>㖖RH=Pv0HkڌAa<[ Su.7pR‡#=6>&~5P9z(j[8Ӝ}$l_/t7/(QNV>]P\׻94Z}"votEYOpYWS쮂Cthfc1S]A2$Lǿ#xX[c%t6_)H<ךa͏cIA LX Y)KJ[GP"'R 0ɧʣGÄ&&+p ix:̮7G(ᵴIRJ D'̓✻zcN3}ǤށUq0r~hC1# SK ‰<a0z&o#idZغ 2L! g!c&cuAWʡl6ޠ+憔ǜwcGJ*`ܜtw]*PzY DXB4X@H&L, 'OۯZMbC^61aec%z [AʯY\jDӒ{Cq eDҝ <~b'KKip(F _PwËBڈ^*֖x>^Q7jɻ/:&zq, K՚&t/^nRG̛&v wxy v QcC{&.֌%n2 C(X7xq:KiMM RXYBBNk ToZ2:8M>eQЋKŕ}@=S0 ">y~&SB+Y7kF㱵J>:tE6$essj),Lisu[I]v*xah6! }%#(Y=ȢusniQABK,Xx"`4vǕIgxh $ D&&.j_p/u!ѓ>w }%~%A5,ZȾ߃m??$0Xpr'.v(CF ݋UMx(z? -/F`聯ak*{z h] 3]¬Nsՠq'<-.8ӹqCpGa e9 !{*|AB҈یABr%qTnfl ] JU*q՟|X~өTm>E9ȘBHD)*UΰZW/],„qMe#~Z W[ _ Ipjͤ5kRc @ ظ~TYjg75jJB${BPv3lq<0!w?fr2 j}`?@Կ&8bB%o I+`uRzW/`0u5"fHHam'.R܈4yR3cL ȯ'SW<#N (|N Zl/u H$`{Yer56d;f@2z`8|+g#bώj6ՅsVn{qH(aOmi(\ݥ{auQ `qf\99 zPA%[hi>u dߋ9`*mddQ.CIaC( D@IG.Y܇M+wqHUœOK@uKӨS 8G,bՙі=6m汧$-Q#|x(8;X @!rJTN՚Cs*l<ͷ$XR #-L;b1L6c .[I6Y+e_6Y&B4ذډ x0 7G`C+a`_5,]6܃~Zlwʅ7C{#p`|$273'|Hm>똧?O@x괤D'׃|x\i>g;>HnQ\PH@<8U)hHͿs1Lȗb@yd |p(T(}ASkb--ޡ%!d!u" !{G1dB{L/ 4H%:ל) )V*+$%AʣȤp.٥@YJV$tXvg/&S}gߙ lA6&% 6L<sCKS1+? [{&ʞYHquHe2[em "̉)e vI76IT]=ٿ<\zcրor^Bgki;y""%\h r}((Jizl{0͖{yaV($5sHnNO?褧C A'wG%%~@KDI _o~_ь +m:^qs[iL߻B>)we&wAiXdw:Fz=Lދ0V)ǫTa.Y)Z~^<4bLWd|2v+Ro#O漴K  NVB%UaY9uN98[҇"P "jmy9|{|fS0`)\*@2iZd ̪zdO [/\{|oHUU]ytd; {K7r 4fmY:mjY&&d~x}QD0zQ|H:ԓV!i4tzaV R7+զW>3bZˠ+ Եɤu2Z &1EւE >@ K`-ǡP=\7!=P]s4T*޴g[G \_ha~G.Z^½HOc1ѽa7&(bߋ|詌 酌~ hC+k"[}$[EE]-*@1S|fI6LGk#a3dr|Z Dͧ]^PP&tKB5O1_愆O1>Q2H N !VLYmaA]Zs 4p]ETA|\RYRՂ6gltڙ`}0uӌL؄ēD V|-b`1eE) QV覣,Y3lvت:Ն?D\ǽD^\ j!b \wyF_344<O qFRڣqT{^~D$" :`ЇLmSCQ~Qx:ڸϟ\߸"en'+/śh3쏌jIU@b='Y6O\{#&&+94V L苀ajJˊHL[# QLҜ ɿ>WR2]i;r8[2QCR"k6'e=g_/lJ8뷯@C!U@OTM٥2SIv h3n.t+Oփ|"௦Ybq84_&RuRQecDwF*+~6krIel, J37>B溲=4(ԠjKE@MQ^飤7X\zGT8-]4ޫ\ȷ6b8Hs5qbȱ7@@Oq)) :pZ(Өsj%4GFH$JT>f KFd8lk֍bnXjr1 ]it!@ixiaywAOXXws9BFt`Sf("ٲǰ ? Kͮ=B G\T8)< n{t#*r@?m GgwI!9cmL@f'gORX߬rbau 2Y8xhn*^v0ьO!'pMc(bQN+v~N"? 5"ʿjGs=뗖A55^.q =tN:jxM= ;`b9yu3P}Eg rYY)>c>yȲWs-qE2}|Nǧjpn@vJD>ztQ1pOm\!4ޭb4x!=|x/ am5H,E4>AvO׭~W?GIu@U-]G+V$Osܻz2:$QN Ӵ`NڶΘ1B|F?j=z5[xGT1UٌQ nJ$0YDu@."л~ʒꈕ7^Rvv*ӰM_{9-LM X<f<6Kwd:A* JT}i4b͎ç#AGw8 3NScC$ l`Mh&8<{62V/cBH݂ut/PsԸӱ:kE hLy0Eاviq]NKFUZ r_%tS"Ӌ :x7p3bC`:VʜR#y^w_HCڳ+{e);}ɏTYwi(O `Zdy+3y<|&T2/Vђɾzjs8vGSVVN9l f-4X]upri^g7@sf<ҪTUvp札 = iEw}Yj"W~yq:!` Y\dHoqP-Ia{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5c&HZaݤ Ny9Q4rB?IY4P3Ns"Hj9*kCPD|.{~?*i"@?f.(c1vY!cc۬bru(YNq*<&@u ?}0 pa`/t/LNb7o;A-)Pr|A ZwiRap1m.bR!˺,a N"]Jwk[ H/Ho d{_G8)a=XggHk9(S?:%Z|#!ZX%PG+T2EKe5d$њ1]/`H0w#rKUute.к5V0ڗoT0, q5i @`SUuBBuo#Q/+ՍegšԨ^~/HT1ROmNsDxA8lϟוYcZXTU_uz0OM `?e OeI \]iy{)s')I E],p@Xb&瘂dfL j`0Rs{q`s d̵8hr[i V *Ux:M0YN]2#q :{?n| W5M= r A=KuH$L8lM(:u-XN0 Ui*e;Ut*?N+^6kG dž/uh4`c4'~PRb4@oX̵] OeC~s`>[,*WMv@J/Ar?]PƒR FͳG"/lfYenepi?eN[Fz7 }%= bˈgƓStP%t@SiKyaIa-U/H%gZ!pmIqO"c-h|f,&3+]xhg2¨˗'?.[P|t`TR}K{mggnLiI3M@W0k R!Oα`$VŖI z^7@{%8ŔcseNH nϷ˂C!h^ z~cGZow 7A"669[qi4;jrL#+"={1{B]!Wv 0D ] sѢ.1q4MEػ¦͐NR[k0qP]?H.Qvs ֬>Iq#pEo "&Ik"e>'L4 ?O4 "+q VDѴAo<+@" %^۵΍D3)+B0}JКF74wh#I/+P*?EcQQI1I^ xQ'!YBAi7$ Rnn~4%烬oMk*j8 \mURm(_[,֌pT,s)P.ol:X#( +Qw莣]Ռ%6%/KS/8> tc$q\bʜNt}tG/4Md dz .'Zד?6;FCIF<\~ƮMf4 bp)dLkʔ+#C4a`_ #1"},yS*Zo)?(A`L D.CˡK|d/" gT/EerIllF`yk(z4O3KL ="RQ.cP5,-{}oN 766! ?m5~JW [ZyܴqXt;v>Y ODPs&0GмOdO7i3/:nsI"O >ykm4i3?O)Ȇ1`6ui`#ECB T377 #M~x-?1Oب; -Wf=:7"d,eOPP}=`6lM'B٪cM@~(+4U ]Z ~Br*XZkcPZ]/ȿK )`WJ 75vE z˼bU#xhmcjR3d$3 {ӈN=3@ұr1'BEyWT,?BmX-}k5 g*- 0S^Rrj~x$ٝ"@\_p|ݲu$G~vq|ztQzqk> e"r*-LHϩQ>z?lqI +I%zIXU1_07Um>TY$6l'e hFCVXw3ao9PC0_BPA4Bm]3p69n3ne 8@뫖7\=s -d&px)TO8>ǿP@ Q/!!+8Ke"^+t5C):LddS#LD~#m+Nc~:q=K pE XVXG%Pp/CrE.Ǝi<]%,?X A o7 d cM,mq+F㘼8&u[ϴ@>|ZY"a ] EV$V)8\evFVX2'.zрɈ"  hxnoJ)@ߌ)sC/#}i(ODcbo'|IRY~zlqff2Cg"~P}j;2p]\q072l=cg3>ue|PH.뽟wKtʭWN-?8 ?ZݡQa8=9/^s.0\}X aIsxo!)Z2] =åke2] @H/1Ads&'Vi'8JT MFpBz sT}-&Sm,|p@ 2.^!-ƚȃȠ^^|Zgm+4`wA{dFY|6`'V&g"}^uM" *P/Ƿ&a}pMB32@Ӡ(NbP#pBj 5p_'!އ58#; V,&jw|Sr7r?ÜF Q$C|b#fF]{g֙&JF5XxUx#v}ϘwOOoH^tObc8Nׁ"  P8JJb͠@v 03 lIE0*a|(F+|j@yYEnaANU}o^3 <:_ћ2.=u#K߽ޔ+&Ha4PR0D_BL+@q{W.sߥ\ [7+S]7S$Y`6hA)(P?=/HJrx,W$pogQJTIy<]# gLg/ΔRLA4܈xt/Y) _Z37N@G!%AEI,"z+KKV^ɞ[fsK% wwȢ ^F30AvMn0Zv*%cAE^XaʭS._ g7nQ xٖ̒剫R\$6[cz5ENؘ\.L^T$^) Q2<$g8bs[+2}摗q ,R4=/C`Mt&7?熦*p)Pͱm${ "[Vh4a  0̻7BNFO9:jCD(\\eE2L`u8ZcH?4'ǁʂW86@*2ѱ[68왴fiŮyWҴ-w1Q-N8y2Ef2yt}+8gۇ$:x- e;. daoZ 1@BHnC-фPL__h`'$-USI&[YwuYqZNu7>cD1W[Ho :WX:?mZnHs4 k{Nb \!LA7I2 H`σ/oavAT/}c ?{G\${-)ζqK>.ڟ xJKdji%Vr>mE]B W*^ZSV`]VZ*^P*-d0E‡[S'lC]/dIMb/V }/O_f\1qaW=U8jڳICq&#ÉĞHġljGu02q@o ǁ6 a9/ΡvUtl=Ct`:)ɯ:WRTy¡٥IbE4 ;qz :ǑmKnйCϓ6H$]PVx.*@uKIE~ AX?JPDbe8D:IǨU!gzX-!-6$$^緀!38G@OB4CKQ +G+1֝V"MaK2|AY= Y- )2J!='#S`|z% 1M]B4qQƨT}|a>3Ag٫ wF82[-'jɐKEwͯKP Q~+X-WϧfPk ӂ rrm L(/#E~`-QOvI n9OSR}Ips;^ Y%{G珯x<K:<=Ќy>3tЌG"xx֗'a mk_^Ԯax!l q\^pد1(3#GO[ Ocg9*߂?ZE h[tF_7/Cmѷyq`EWp&BtKJ!"u879+N9F܁(i}e1MÁS!l53iYӦP =$-uчY$,ļIRU1&?-.dYH pvGx9ZP>EEFc x55Fbԟva\π$pNxɩjJQw{)ms*h8@#ĜN4E<[N*|'24ZYm}hpFӀ[؋۞yQSѦ [.փK6㔀jv5O;]п@{b€ !jܩ.Sff з#Џ"=0Cȵ7{UX5̘bÐ]hi5=|pp@wH Ua쯚;>|7 Y&-?G..}/_Y;^7Κ A= @#4FwDu|S/3)8!4*y~!2Ywql4_4[\A]pa$ Fr `'e=8/Y#1x~Cj#pu 4pR=.~',{p@fSWook.MOӟ;HY| R佣}.sfFߎg2%5`xdJb8oTC^Rjb32TB;O6nV&xb|e%ܤsL J$80S¢Q~x1 D]om1! y) ׊Ï5"P ?H?G/4Fe~귛Z=R#-r~{ FV+jEƧs-I6O? t{^!摀%U h,_0"pl?(EsWMX5(!n&T*rN?PhZ6NiHGLzHy洴H%>fèQzCwa/,i\\kg@|Il=ğ~./#u i $ UjGxqJa!s,o@( M+F(*7nn1 ΊCS 2tNa̖ͪخX!qӳ54wYTJk @%R;Hֿv9H!ꂰ* 0"՛iھi&I&Ǩo(JBQ[%֩! tƛEd!Xs^v#098'[<*wVVg<Ǥ(:tqpCi|h ָ.%K:~:McTntİر 9<2X{V0c u :%:,2ktiƧ;B]\GO*JgL8:LwT [2e>V{f8^8υ 4D k$b- /iG~)PW;)VO. sSBۅkM?MS/\ `1m4axє;{$'A>& !/*lDuΕ _?cz٠klMoiJB2Yּwbo/LЀ)=f\UߓT3Q̖$c=ytP!fU. s,B|EȬxCd~c9 { 偤 pH}Ŀ 8Q |8`_q՛. q'v,8ho8qMbй,i΅)1,˒P͑]PBXK>X?-j2v|fuݯKZigmy o3X0e<"#> փPYZ~p,-Sn QmG8¥]ΐ- FC` ThLe9'_SD?Pka?2;y B&/c@S ^A1]RK\<k]._1 [jãCِGi 7_# Ei3py> 1s=#g63DϴQ*Zd2VHS rmAԮ;)2SD;E;F9=n @o T0] `bFР ̱/^am 76kVf+tԀ*;tՠJB|n/RM{2ZZtX: 0=EC?aQs>_=/`5]`X*)ѭb- h@5>@VQB yE3q*P2IpO*9dž J,A8+vB(^x0b /;f~W_MP#ő`Xޥw _<0hxOLƋErSBH3aJiI ^\o[f\ YRepFF *dsh KƊrضAp\l*^qdTqo5д\`/4%0v%on>Xo]KQ~h]ގIU|GBݼxY5ϱ3 9"3HEs2LF0|m4b]\[<.O>O΅/ PDjb ձ}!IAL*rjpɱo ,d4#A:@Lqb0Ʃ8mɂ)_eRm@o Cٸa~:0f,Qz{r—WlQU`nj\|MQax0z앉jhٞqlJV+|Vѧ"dQ !,Kg6\0FБt}NC D4Mej7QBZ ʔ"͐I^h,蘬/1 j ;u K&$y'mS ' [6%x8q%#mTe&ʹѺt1XT]m8/X_xI}4ZzkN^n胖 ) Uyz!%s=em-1L'{>vl/ Q>!}E ֌Bz(;'[;T؀ka)5OX߷{/=̞e^k,l} osqQ H0cXY=ʥB-Df"C~kRI蒝)G*@ Z[v5IyYCP-Kgd {4ğ)$f6,o}˅e}DlEM^E9-vsz:wA.6?ٴZM`]?I@X볤ʸ 6 s \ O_9yf4F#yc)޽,C|{>z_?,+8Z0ډfʳ85+@<ÃVK0@¨=F83n)i{ƭ&&D#:WضJ]Z [i[1nU L2{SQU 6w~ g}]Ek>wNeߖ^d }-d~'L7`GW&LX-ǡkv0"LX"]yS%@a/t"z.n $e1Bd?t#k܃l9X-v9gWO/.?ADZ7Ǯ'kV.֌csM:øY¨x4"g=x@9-,3 XO[]F'X ~YoGg`."x.7qgŏ4 9ub&XbŃ(nT9T *ÔZh7#ЫPBc̦~#ܚ ٽ "lf\YDqx8nHh9-EM H 5U0G+.; TQԹMPknt6O"9*@A8 'yV罛vv k6,p|Q}Dб{۲D0"@;ҴMO,uBUAaڃe>%)ZO"* |msF:EtkijE+25hfm$?;W[rw*ٓ'g +t*+Px oOo8*Y`FP0`ʇDT|kwh*8*T7#*EV'B7{o(^֦jͷaFZ%o9-LVhG7z@HfцYf\$aJq|yźm(`>IQ21|Q;8:0VӋp_([7'6IO r 8TqDb-#oeI rQP zH4[fI[BV0-@J|{PX%=Zf[C0R"B=7c8b=Yaϊ2P9ŒkrcX築HŤ&OB -mev\6ۣPQazFb?b9՝8ƌ !/lق=+N|Чk˿J\~vL /?`t.="Я@Ӻ.޴K1bTe"*۽d/m1yǪ/G`yjLY eW\Z ,< ZB, N @48s-s_kawc8c*C)e#&kaePU-zmk6AW TtTZLĘ% Pa.WkQGM{p8;"pd)_6G]𚰐,r `$@Z$΁ѻA˺z [8~tTb"Xo)`yY2T-zZLz+ͥrZv Jm^]u_tg6m.$y!EPMv-ȪY wi.a^ϘßamT/Iޞ Tk 0b|Fr?|'@U?/!>*,e:U =G 0UL+oJCvz`04B+YCG7y}̯6\ /E?@ԏSWKu+dR` ST y$pҾ4Li*{M{?}P $ly%2>Asח˧A@nH~-<5_LRi/׹~Rm2Url]5Nnp D,!΅%]6>i$awA9 F-) x^Z^R¶C<QZ^)~ n5 9p0dKf-pz~P^|֘N!()(ipt+д1%";kL ~R"bRheyvsnN>7P<Ň|dL̂<:I-5]:ȼ=;BNnG@GlQ?!h!kdޙp7h(bfKGb_L2}Q/H i'-(: LKJfށJ6F"}{t lfJZfCʝznI AG)/&h{(OE%:~49*21(ciůqUhf(iO_|ډS+**l`5DfѠ#,Sb(HS 4 cx$ ͇y*J CdoV(⼦5]FOsTؕ@ E-#3X?fU'WXV1W i7> eHiCz9_wNaPÜKHؠy\"ΞL&KU$ӧ4IC73!)As"`ѡo1{E#80]`` ߍ\eC$e'|'; R>KX\ϋP~!B pQ%$0n'K`=b/0lVQ"zzՑ[/B}~$]fsZؘqxkp&LV5tEӡ$H\_P~0}s2n{F:8_^r"c@X.3ZCqb]GNRHߧMfYGnKMig<%>(+ʚWv^\\=pXwF +Q]鵴f`)D/ 淖vb _/u -auC/æ;R_ye/B'1A WǷ?^Df4EҴxAW_yFPr&i!{iL=3`d)HkmWD5Fk#䖑`"ꃿ.A^nDO>(ln~Ɂ[%LtPH (M|.t9+lw6O̤i|cPJ! g>ԛzQ›[rޟ?X)I6܊H3b] ѧ\smdX:r'uHbý+6Xd9v+e<^l ;/QI{^140`^a7ĽS 'd!LҼtmsB4x~_&P'z ~]8$6w#|#+v1\'LGq6jATrMBUHlN2(={s%Yo+R?<ck -Vt}Cc|tlӈ) XT $IX " G)uUql#_p1O*_l5{0,gO'[cvDiސVLq JP+3 CO()Ex@ H,#zFC0)$lYSi[ҰfB4Fj]PL|Uk\m}7j&V6,88 ?%,Cʑ\ej8鶴YnS5ΟpTnmF{i2C1x/] "*ݚE!$S3؀G}p$K=I2)ZЂ[#+f.p+rjܱIn[!.v &"_lFaç` FPKv~(M7 $8J1yWjÕ(C1@M`9d`<zm51V3eƦKpʟՐzBv ;AH=JСB$)$ID6T*1Ùm e,EW` )(P`nNqιRFGg cL8JW ʶRy!1!q(ʸg3g+EU @tL1չ1n(j3#O#dGAo߲.R+N1S@4Q%)Eɤ4  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[Jg@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊9x++{Ks9G?+(uvoEt=nprI_rmAr{E'P9U H7|(>ۭ!%BIXqĪEybSOEO;@yvqP_i#<#T[hBLJC"?~;:yx0}'(^Ti'jq qqvLrY?c.-z;Aaa4pH:|XZ;Bko"pppsX[ k\--Zway "$mHzxa7Hc\EPuFPl(p NY:䠊 n Ϟr%C7Tq=yvm.*8-=Bc=/Ŧ4揣bn?@~`}%7PyY<,p -cwHQeMI 0x+"a1O ڧwi`L4$lbh]i3뿬'6a0wC P·8M[/_4XةuW.z ] 1(QgB;hY5 ;f`0eIp3EH%ŏ/މ&xw|0TH:rBZhLim7˿l@ N{]%J.` &bZ(o6t-J frRs18Q*\_1KB KgXf[@_3@T&cf:y+ϙF$ö~wX% Dɬ&3dc 7cG"3yյA‘.R9UBߴc+gUe*W "u OQ{"`x Ag:2\Z`1dW4ci!__#8XʣD(0<*90ciˋMQp)C`瀏6f;.hbBCgh#tk^-'{a_s:5V|#_dG8@5vdHZKfu ܞӕ%\ >Rﭚzi2`\Zh T FM"RA bArfI?ǛÈ\S_K -+rIi@?Q@!"%x e :ET=ኃS ́|2U[yXfSqNW=8--+!AW5=C]6:$h ÐV{/-—D`0iˡM3X= KdHY_{cvL`8C6}Y)XZK!ONs;EءP=Ͽh}(*+alg]YvČ6Թ[;iP7Ab` ђiuXYۻ "%>PǡeRrhVAfx\FB 9gE3E h:zudXZ L b]>Jni춢 C=_sT^WMF_ UL]#OtތNNzWBSQOC +yip`:T@և9 xemk 9R ʆ|NABmܿW.ԇ&D Ry4%C;UQS;ܗ;)t+Ez@'Ʉ_GHQ՗ч~McW4ȴl`IeCRaKHp@uah,l?*:ZU0w_ײ0DNϗ-]"v__"򓅉\_N@gݞ J A`~|"1+ Ef|#'M׌ڱr0Lfq.&fM **'mFL]NJMrN: ̷Q)p ]߳o"Ng(IM2(coH76W>I|q{O!.6l4&P=/zIkw1z/"4F|fqԃ&xyghv';fx )E+{lG4gbݲ7q/G0> 9H i@uQX2˕`x:.H6pW:v*!38R.d uG̅# "z2-,yb,qyG8`ETCl0ǥ"vo,,:˱vb ٴOYhGR)gBnN@AU}i=ج BV2r7quδJ,1X!I b{reWvfg8يNLv%~cHlf-vCCV#cRb5+t'yaҧ|PЬ~ $8cGc 2 xpbJGћ&.i9PXϠxgVvzMHZղ*E(j` Zh_z5 2-WdpZ-x+C}&x+#ŐWXxn|9alΪaBƩi&/;6[; ºn^L ZW ەc{Z2 5[.ac7y5 XJsUp14gS vm}aЭr 5v).;Ș0a-Q"RnIrNg3qlS]U~bU: ɽJ9G*q1׏ЯɩQ\ڷ<" O" kLb=\Cc [Y%VtA&_La6/lbK㨩+.:QW?ХHFp &GOتb`iSY2fÿ\aӌ.↺4kjL8}uk\*"p 2Sː1Ӳ:T/줤HZ>ON$횮x~^=C8eZoqk"olت$$~Ͻi"dq5xT>Z6`%3z﫿WQی䱡"mc47JSEAbn+;e;k{OMh0v7(Ʈ=}&`3>S]@/:AL/%B&_K4Juy DGBISh09m pedd^Ÿ3W$Gԝ:W|gRMC`BC1?s?7Xn'Uo_I.VT)U5h^3ڵHكn?;E Τ 71- 5[ZlWc5pMu)Yu.5ď?dBן!g.oǚg?'Xlq-W$KZV<Dɏ,l@[괬Pu&1mWS]\-3S:v:եZ52ߦ3l6ϚϩTe>and^&$h=xˠ(GOe!3.( n\6P֭fI $ Ȩ{7XW>DQ.tb`Svxk|$okZCC_h8gg#-W`.S Bܪi[x m'b3[׭ZlIQ<)oad+ʈ(ʺZ*Pҋ^,GB$\gx@QXGS.MS ۆNt?uSʰy3wfhW =3 -:zL2ŒǟTJvXNj! 6u F*OU_jwy>D'N,>C,.,Y͉F59!e\6rI;!SN29=[?& orX7Q'PJ,'8"ުFsZ5ߋLM۲&~f7)"{[ypLɷ:s:4)ϻf)ks0Ӂ잝*H5OO 7dȐǼ_i|G\P .9•*l(6М+czXvV5Cl9વ! '/P(pM?sy6=B|faUa@}|o$%JI5]0'ֲ;RK -mC^gޯݻysARo4daC6~P `^$Hj~L` ?P$d+鳞 z4u{fMecU%olѰ ×ϐ5$| @ϩQ u=5gI6b Ϙ0 ]8 \ŗգ:|FɄ"Dz}KUG9;1 P^.vMtq;S zh"( lf^ho4duYg:#8'wm :!vذPʒ`#P&]ez1s>`$f}vbPJz}gx>D|'A3Zǘ-F6ǩ·.l`"S|>2bW?a (vJؾ׿LXhԕH-RX.<ԉ&NfBj&Z-U p]P; pK>Vm}F2nLX5J0sSXbq+y4ؔ#o3ST$!x%D䴛g;W݂(|6qs-%X/% Ս4ѧj~ Zl ]i '2μë焜jeQV!6Byg`":B8Lr)-Adfg^ysw!or&gdp9ED) +6$d|z/ mCaMZO͉21~£{=^gpqPi'=}#Ũnw`vLv毁7ax+$=(*gTBc8e.;!+.b _1~A4kʚQ*9-3B%v؂jxbmOZK:ʉ|i9*& ݐX[9or@J_$$uˠx]'VZwV'Cd)RٱmH,`6(SGoE8)(^ zgOe+Rs+wh"YM-KMm/hFX9;2ޢPA@gblΤ]c/8{&C ,Ũ۠ß)22S9&,ŘOY0 !22{}`'* D3oL$4&/&I lso8lVi$0ݸos9_ o )84*V $(I[ڧ4́ԴFc 3 ,hs'S[MFrK Iz^1Cf\\StV:Ie0uD=sP8-&ҟl&5YdDEL"@O_6A\yk/ᙬ@E dQin 92@tAͦTOǺLt(۪0pM f+W9CG1{zRylAd,iRtDo^'% ȯo82S\HVR$>g!lz}#V#pd T"*sWȷ Zfzu^؝K 0l(hƵAp у4Zӵ nj"׻/S]+ S uDS 5K) 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B*1vV *5K% RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s 5 `g;(v7]!~E2 A3.*0#!)hKbF&X`xH *QeU":-5n/2ăGdtNbP2":K$j(ĹP*.{uS"|Q8=yg^ ] JjlRk}Dv}ۿV}S~S7ﶖ37*{+ռm1bT\p9 9!9B"фe.44i=)}rz.bJ9;V5k.@gOIDCz"L9S2\Q#ۘښvC/蝴I b]8䦔c/A:qu.[i N_ =W()58U "԰τ#Ł ؀#kk*Ak\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  e e5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ `)F0aED+;9n_dED $Lq\@廿$b y7Ø9Y@j4vn:+Ҁ-*j㻵h46Kkg^X[X9.@FTټuj &i{/VSYI4J&S!j<tBш&2NT4 z+\fXa '&!$ $J4&%$LL sgIiBI ,0y$4+ %I$Ix0FQ0س kA*ILa ޟ81)=S+W$Zzܩ>SWu.SazC]"x`ppopH(wph W/""n U JS_]6 gb]Fe(p걧C!P\C| Js3=3ѡ5ad;yh"< |"#bYHjry-=%i9K8iBb,L=,I-0vQ"ag7aɴJ귟w|׹ ɴ$ޱdZ$ͧ۟]fgdZUQD1H4,PfY#"n rP?Jt\z,YĤƢGW"Iua&29aS˙rnkLmLQV3U3ݺv{ReSȋJ?߯3񕧟?fgf *]e4^O]gY)1C4I=C̻gNtD;eMteA! @V--0o^VV zV{񚭈آ䙪w-(GX/b~VښUOr,%OR*)Έ IdZa<O;ODU(qGK&DTU z poiw=!nլ?l%ɴͧB/5K](rnM MҒ!HXLǿ)Rul "ldkN La $f.'T!I|/+EYO$#Iʇt*TprUAcm].mA39{=i acGO%d„R^F8oBFAw'ZK%l\҈@0Vx!}Tճ@8`xXR/ʅaR %%.kV_y۾S,/f7gU:v]"u;pq@~ 6a݇[Q>y}>yiO3T0wzk(CeZ *=Y^78{@=raL{{A{!@sǬZLzoBzw Bc̃n%^iNE^}<74uax E䳼6lgg޺kkhоgYJY }뫰Fm9'_*w=gqRiGi`Xy2kA5sFeU#oRȞiF4s?}jTO^4/{I[̝9n\%D3T_YٜI{$#YcXq=OlW6s<-IU}7J=ֻ/nڸ]rx^Y:fHo$%t8XW:vez-feB1`n97{M^=PP anitW7lAèynSTg@) ,;R1׍J_qWbc NFg>UA&!`'d)HT}iUrFfΖI}Rffby Pcumy%/Uu_d J!Z wzE뷏DN4D4*DH|PھV#AOuQ [bR_jJfF;I"^vWe'M`('L ~bR#0qkdx(Ӊתm.'6]|6jH]D/oB=@Ƨ+0 OnGM#åiAPH?QplQǖ7 S9jvzL οSʏkIcRH(t;I4 u O+ef؇"}xqbq@]7\<1|He8ӳr-g^;5^)>KTCMu'q;ӏ/vﱸj!ֹ80G;G0-VlCIFVע ƮzݖW`L3vd83: h`/_C3ֵ㏇_0ƇxO߲C+6bᯓ "w:J7&,a 5$VN`(复EbG;}dkcO?Jr)tNLN~|v]"չKO(杠J v7%N4CװbeB%6B|<M EiISaB*NmZY͎ru`Sߑkb`!/K6')t+fyxQ^TG擓RWAonOD2XPuaɼl,/G u=w}z4݂dPD?OM ~[/P3"jF| lfh7ߓ]7S"2qM̏pqX 3gz)%M29G~ ̚v2SͿ?1cf,A%^:75l{_F}1pXZ5I'\ 6^D`4RakG %l1yB\0d䒁Z(Ʉ*gF"l8"T;tä)1e#%Hlh g >Tyzm2ߐmOqONaKr .sN/Qs3>V;eVnj'%ܸ6aF` 㯚ۘ5 Þ3rB'âdnH5lX k.(zl+I6X[PVo%X~(Bw9k Fi*́$+Wi U.ySs@)S3>c|A`+C:>pn X QzE8ƙgl ksn~6gd4I+z0^h4KK^8+=(sxKlbw/+D{ JϬ g5>!}Gt759a&'<C,U._BriBOT4ᙞN).$HU9!QTvD "AP< 4a:ck:!IEڳ_ #y:X*3ĸe|>q[ @ja[(a}FoCqG`]1:k!{zv}3 vxh rdž}̶Ov :;ʬ t҄K2$j+W:IƴXq""|B7Ćvd4=Nkkfv",㠦M:ϘE@Űst:$ir44 EQTjQ)^et~& vJcJyg4k[,H34Yʐ+~ IvtF1ʜuEDG.&ٷB85 k\˔; 6CS7H!߯ZWyWk(%la8 " quo:w`3c`Idk@@ 5$Rv$RtIHёW##DFZ8Ғ&l'rKqa.ضrܑ$93333333S3Ul?]J)-^JpUW[?щlm۶۷m۶-y$I$Od%4333C+nS W@f;r ^Kz/`b@E! (@ 4Px  H @p@E (ԅyR,JqEuEUDvKlI$ IE$ 7 C`aBVV(.jOd%=mf+A_"=m173 iloF1}>H"QCh;萢>fc -f)5.@Xp@,ͥ? D3DŽfUDvKvj1 ^D[٪f;r+V$ݞ 꿉f&9*H.~nIT%"a(KQ&۝KVVU~:QU)K|KU"?㍥꿉h'=m&9?ݒ$ɗ[}&ݞ۶m۶mm۶m۶mm۶mZj$nInf{)f~nInf/f~nInf/^"lUGd5ə-Ek|Ԕ2RŤ CBB/$  3A O5&0/lTş6[3/T3e DB„6]nl1BÑ~Mֈ 8UybA3D1,sFi4w:n`A<[`p};gOscbsu,!Q$pS1Ǿb}X UH7?O `/ 1!4_+T#/ -w6nwau@N f"9n²}>P^A>U< +$VPjĊX!.~t9˅3[+emNO ~b rI@d$m Fo%_>Y3CyRW`]ĺs)R.^Ғ~+mbnz ۸*ۼ跲n򏩗}of. _FZzsCɏ'#bݴ'^&wnxɝ]j=VsB5]f 3[7Q)". .ճl" o_%9T#Z^}[D ,eqjOݣ"u]ԫVBs֗5x`glƖg K>ɯM`sj)}>9$ge|  ĭ`S)y؃Z 27%j$,Hwd^&{v)T{$PJJ&ÔYkONRNE@`r^_l 9"أ.dfjtbOl`E}|k N07~M֯'WV睲9L8:7D]D'FՀ׃/6-+-IJۦyf{)){g{Fr170KTvPOStM$m4 zYncTFoϱAA|tyY0ό[t |ϗ1*w˙lV%{O-@GX^v1t oT11*KkEZ\/fCƲzż]Ϲ-,xj~ȹK) ,(tNGu-F9ݧ]ئU3>珋Dwʗ~zLPt:&͕RbAЄ kP2Y Æ@:LWH5#L61! pgp_=)~d+2zG#y:$=9Z㕺LvD {g$pc"J`oƽ`ڊd-$7<foӧw{[t;0:='[z%xq4}Ͽdy=[ re[ FsGG:K,'X M(O )d~X'hR Y%>>p>1榢DL#Un S ~@<@h7RVc)u/Sݟ8ڼ?}b|kZn@^m̻–Ipu&Z)!0];t vffRSgGJSW4C TI&% g+Y-EDZTN*pqж`f)<Хh5Y]OvdL-V+U3<]5g0+WxO^6(_2A 0Vi|Vu:T֕iJPGkLY@{3|@@&h ^(`^\i -j]3P,YrDj-p-bV TFX[/[9-fڢJX}0xdvpG p#F}Ȏ 8я)(hjg5ufx^Foo`};5A֑ȴ9ȿ~5:آ:YZelV)}=L{!k$%lv<67h]AͪGqd)E-LX[ĈXAr޾R*{Mqt ݗe. -=#"m!\.BBh/ akjC^!#7^'z3PNGW(:_{Fnii8,^ ._ki2"1bZ|vՔBbp~Xat//D57OX_e$^̸OKNz!Y;Mrxaeq%#͜2XߕDvRӋ&HTF̷i;TfXO2)ڍfʘB%ռP9 }*d!;M8EnTL 7f:Y@nfDF`aR5US8HB*MIF_3 G[T΢Ն7(Cxs;8Ҕ,Ёqdy0:\S^_2Na"2Tg0Cb\{_߭T(}qdL b'~!7yk tOVv1?(ܹF:dA{bj}I'wRskjL!='@h\Qk+@<DFZ5c(^nH /SqpٚJd+k,k%zƔc.R o荾&>9M  c$ށ!MQ,fi6YfEPol R) {URc 9auuiHTARFB1ڬ0S}Q){ܚHr(/| rҔ|+UbfR;+_O߿&n6k6p[1q[^5&ro.*˯/vo/̑Kri&mEe qZsFɋ:EVҐ3a6>7_= 0bhsp(yeuĥjFIS&ECG|ZhQ'%zF~IY&ffӒ9ڄG ErE3ŏ࢖jqJZwe!eC/U 櫖С (.\]Ì!+lܚZ&SP-PK=T XI'!Pi*:,|^}\v in?~RݪNM)9W[  ^(i6lZ[VrëNUm^sisǍfMV?Bޔhᢳ S90 }x\Ѫ0\O7{v0c9jlҦ0#<0tc+eN&M4ؾ) Om<kJL0`iy&=TOq7=vu9r7fOʈ_BJǩMH>j˼8x iiGԏUhv72*8=2pTbaYem]SXj(C1䆭^+kUR:!`]vV' DcĦ݄HGCVjTԲk/ܕZAf5`j0*1`z dէwXT]9>[b|c`lV8~Of\%kP6y!(6Zʯ'sM-fAs])`[7.g'qŵ*1Y `j/c|Oe|p [s)MEYPy5Wˆݢw 6q}Y?YȪor RX֊߼Z ,K_ljkXNQotوl`oG<1Q~y\gߪ7u]a,b?'>E0JmW$oWiM]@=GΙ8Qseﮯ6羮!L=}: wt )IR;VUUUUUUUUUOd"Զm۶mH;33Ӷm-[lI$I$Ir۶mm&OD{FZrWogޒHf;m۶m۶٪n{d柟gUD=".m۶홙z۶m[3kIoVv[%gؚx.U?=Ӛ$Sm~"{%ibCCE!U?홖&lE*왖/*8ULKzi3l ,..,.Uϴ'uE!ںDvg^RjBT"IrHL$m۶mȞ[UZѪVJTٶm۶9=^m۶%I6'?ӚOdϴ$ %I]2q@&#p`4>f ~ DH.(4* QS~"FNsDۑOt3ɭ=,00)P31JH|QLv8TX];FvͩcjnA<=CL1006⯵Ӓg!4x15vKFFƖ1K4tFlά%=J'3-y8U*x͠@P aCFG?R1A1 'p!ǡbBzTUڨ%xBd8TtPA1a:dD4(&Od%7q"3Ւǎ?ʀ{GmG(PKB 808I"`*VUAQJ 5=EEG3Dm>rHh*HBD22*.hB53!bT&I:7홵䷣NEńSKnhϴF@LQ6Z@sQ I)"/_a-54W<*JU P|M".&ڣ~_hi }O0J82/OvgA~#qJ#!蟗M 6s|a57DvmJ/_?{"~3\=KaK.]сMB>7F*.޿?#$8y+>3.g^(eԞ,(%M@yw2n3 q~ŧcmb`7<-e9 ?X󢡼$JO\uBnfx`sgRUϵ? K, +|`?'Ȓj*ƗW?~o`DQQ\QGG ]AZk.Uy i4;a>;iQG`#6@(@1Bnp(M<N1F1ႺڌvW2aˇb%!jX퀞5cg\:.؃om݉ZbG}7spv,ҧ}Aҿ60j9kT7U~Zo-e-?SfSKjNI!Z:Jip᳖賟Wr?$ż5"Y>3m3~'&`)' qJ  i@F_ N`H'ܚKd"71~Rwp^ρ}p1΅$:&}0&g 'Na!9w:ڶ~7#.V^׽ߑi'.Jkkt0J|"xVJN;f@ 0{6HT/!nw3z4ن< VҚ&ۖrLussK؂vč+z`3򈠩,V'q۶Eca#e>f[DO2_{ʞ/ktP'{ 0¡[npV[8=mox3D-҇CQ_ !-hkr n>.Et >{o 7_Cl8])+hyq*.Y,:NkD&Uc^,8ГޫqpgkvRKۼN 0wJ}sONH5{!S ˺.)9Ba!Kedi!uN-_f#bx>`W m#O375omhH!kGiR| hILl/c`Yq(>}g,]ACT& 0C9V`=xX<n0=yn0l?n7TÁExLpw:K):؉}x+˿WN+>q/_1iڿӃ9<04yKN3\inW)S%k'r/I XWE0H5 gPXΛAh*pS<5ad0g%ruL_W A8Ya\+7Ig RG=e⬸UKžp x >I . n,kk0sm9ɖc)4UGS8Wƽ EO/W){mz%~ vVyd") 'ұ>hFYs"VLB9Ou)M׏??Y(|nxn8ŐFE2:Ӯ,!akNU <ʏXL?q“ ]Xt㣺לg2[+qbBwK|89n|lRc@&C]l; u"!pDno/-6cJmTtX>pXf0>(z1M:[SZ&z9]U8`srUo4볐ظ0Tv,tq#>xQä9[¤y*-iz˵}"XhHy ,bЄ|M:"k)FjqO뻜eZv0'X94Pwdث}bEu:P1`1iV"eY˘frg>MxJ~`$0lq2>"is%xr8Þ.>]Q 1ӆ7#~Fy 4폌 H1uIuI%k/Fi~>;%X[s~y1@rRوtX,؝M[YV~S_UOV0w2ι,>jmF%驈eCex[gحEKIGzJ|hz% CɧWvE1K$7_i_ [AlZ' t*> GW/UI7,V^G_A`Njxd8ިes∱m5Ow ,Û"9!8jN h,Y%юs~\?It%c8Μc~$g؝߱y§?J]MnbNt<\ -1 Ir %78vGxm S.P<rw99/Aϡgi5 PPΖ'~E||KoѬR>k|vw!w!fY2H sx:\{7v{eu?lw_O끉wc|2{#醙ޜ_IYnf{0tzGcFN؈N i}YAom)|~(Cpeޔo+7b+̷l]z~6@<^቏5ӁD w2Wf4{R+)-+.FӴH9^R+6mn`onZ{  f}JCƺÛՙGlAPxb"Pt) 2ݣ8͢)FȡMcov64Au`^4)'fk?|_Ɩp4H`׌-LםbkL0x" c7N#yHO:64R~T#Ԇh?-ξ/C]S]}W~>F_A/̪ lː{(G/Vka˾ghԽ}/F^:H+{"\F֝~Osy h=O8%Jef,EοvW4 |D@O  sYlB|̂,H/šr)bԁo6_RJGmSO3'N >(s48ARj7"7;:I|V|m< ]Q/Jt%|hew%Fd[97 zRuI,|:]6Uon@f: /_EN GFyO%e0%MBdPda֛|C D?-Q0ŧ=atWbMg` .h+tfSEs/ȔK͸Nc5*{7>}m9PǁW d+,Y@#?V{-)Șvtja2YOvӀbl齂E% ꀒ36/˰2'[F'`EjhW^powh~QV$qr1{$qV蝝+_[ Pp (h7\#85헙(Ku~ M8hMd5¦&Z+w%ܦ Qin𔅋zgM$+جQ9%wwX_94=oZ[~(ʩe5ywXZy/F] I_~jrZdT+1Ւ|'R_x@j W/Z!d r/oRuyGqjW엁V?qaMJ4;@H KpM idi;AA`8P((A:C2 Hc3"R/rum`=%qJ 'V$8!H:ޘx8r IZ)A ˡ⃙GYRʇ,1=K~V] &R[a[ [F- 0N3:IX!a5}CiXatz}:yo: ު1.pO<8EO["`#}G?>' OV9cx=$`(tDm: jrƈgd>֟I"99"w V}ɱ31T× k" ֟[dO 'b`KT^ ŔYO)O/=|ǎMGk-#E粵?LP3ԻcXX 1djW0$?d5oAP֞GxəֹXDlvᨙg?Kĸvvէgf~]fP51'k6 4awOMGFۃR!6uY9|hb ֚@}x JDKiNBj9aHqbƆE߻z*_?Qv mOh:ͥ? g*(b.䂘@aBJCaeOm' &@+Cz:mO>208MJR?: Aώd{~KA?YAя9c0B{&IVP۱ļ|kzca)x줾-xK7G7I A7-RL!WO)夜 VjC(!'7v2. Ho @')6 <6Ԥh;^)W@F-ɚxԇQRtîМ71<虐Usݩ4,*Oq @lGREOsu>cFpf"Fqpf>2rqAb〾Ȯ`t2~󝓕zf6g?qp=Nt;C~tG/&BL smm䆅+\F 1kI `LCf_Gў9}O}MϿ>YI^8^pKpFIW _<)V ĐM.6!Hv0I(A7##wHdTg;Ė.zћ&b?!86R–k֙}q[{r{77YY8W27!( .AfoZ5+\fDm?eQ;d AW nOOPH4.+?6mSQy~yR~?zQm{`]uy+K{C/U~J^4B+H]G`,Պ*(d̈-sղh8ZoޭLA2Ҭg0𝉑hƧ;fTL@7d=I_$yΎMaFf$B.xq%TZZ aZ^;| ,Rnv4ZKA*?Mm pVnx(n8|(0OR8WL% 47Z*H3aBqT_EL3XģCnhy~'}WFxNl'<huvKP"*|% ӈ{d/ bnd,. C&YWe߹fزHra3d*s*NY tP/b^ȁƦ8Qv bwYy.[J_bj}UNKbqDJ>@f}Ѳ_NZ}iiJs&WӌF,- 8ݶ9Eו5E !sLҝ>T [iUUv=<2zo#ɾb u IATvTcV^[F3As$sMGX 4BDOl3hdẕ ?RE>S! n i>i}XeȺT<nuiB戺<_N`Y:*ghut@xP`;D5/x\WfgXsĀ0|] )0DF\.~6yFӲmkq~8 5j5\HFf&ct!~ Px'̀ y7K!:o3#3zы3I6vaj l{ )0%ރL4LQS z*N?]8$˪씨SXʠtB]w,J o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodi5K) LHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/``~U_Di ˻`y .kR7N9Gzds(rI^CbBZ2b]Bí2h(8Ŋ2x50 #@F`<7Z%X, $8Vd9B$ "Yε$ ,ss e`"0cѰa@LAYFI<$4x0dYArjr-ꝫ" Dia,ͥq`,Is< ?D |HUbPd xycU/ǍPKà2r,#BSΐh($ ]H@*Fa'$46J4EXPp#Bs( bCn.{țE(HPA5X ʒ0 .7H( Lx0,p,  `XL Y(!HаA0 !A$X0!Y @8 @@4"4JHǎYVVUUUU!Ozf!oUEdcC*~[DĻe*"˨4.#:tSDy#G$ ,2zqKhsy`H-s 4 pe.ACFa{$ d],( H$)J$ 5v@Q8,HeQ$փ K80 1X ' ArX,aAs@`8ƒP8~ 0ƒ<dQ/dqJ ܡ3p8{_Է sѹ5ѠcydEO>kIdPqwg9EATmP osss>?۷s}>۷o}޾{99bmmm6fflm6۶ͶmۓbE334ElضªbUUDHD!QEF;ڵk۵{m۶m[m۶驙J;=?|))7?yGDxC"h|x`^uutt>_snzt}{;?4CC3fZU!]xUEffDoVETD"Ymee&"hVEdD&2m۶mۮ\q뺎m[VjU 3/33պV+3󈈈j"""]E-jQE-Z[wrܪVUjU[նDDDD%*QJT";%]mvv1?3*" aO*N=7:"tA۷o߾}m߾}۾}۽۽{w޽{w޽۷ovovo7o 92L,Ѫ| &2 &  (> ,$Do$XRbbdP5nft/۞ersm*i)Idx4ޕd]4qL~8 &ZiQ7 Ve:0Q|BAEqaVH*澾C@:# Z/ 2$,Z~ rdv׷ ^6/Go"K2BDá9k1GM*^y5ŏCQr ˌ 6$ q!$yC`S`W :U۔:}LGK? Cܩ`r1z*TY{ laίLm76A@1{Ydb8_D7"-^:*@SHԵ{gp>^6`W/6p+7!>mSs̎pwdƂWZJ@X t߃LjK 5$H @hM?#mRkD:P cDjHӟ"82ygUM_ϳ77aEǶ4RL[ƾ7c֖Y:»O2x蔱 W QbO#Yif=|4_>1*tqdCNrtzqM:<:sXBUv8:v;&8ޠg&NLҫrn1}zr?Wq}X `! nc,r[`,-6Xh N{ ATSP}m{shtn')zvZ9|)yW̼do1 1F= 07[/Z4(P@ϲ5"^ھ2Jte=YuO8%U,Dspx,]!UJsIgL8eQдy8O|lVyfr6j[[X8,Z&>lc `a12:텫!d/a]Lc0:fs!2*ڵ`E;]F (}1+pXAzPGVrܫWQRK.+ςt^ [PuH' RJߣc.9򤏳Y\~fi!`D\l-AAf Z*=9)z{%v&EwӚXNlge#vhbavL,"6n k)@ƕbض e\枝:"] ]vgd Q(#/®E%ϺJF`!ls\E8)Nq29Z.c.ġ<g?gq\ď; M4Pxa;Iu,hРͷ9X) <ʀOO^z"Ɍ`Cb0 2HV?Vgsnu6ۜbsҪm:߻?еjpuSC;= ;@w {yR|=Ls=y%r!MIcl# oJ~V3Ĕ, ٔcOͅ~9A dgCA-w ?xQ{dO*ׂEB`2 ;#O?$wNs:8>?Tf6! er-|jX!7;fHÕ _;w!1_?LPcOS3LZ ciwyBͬa8 O?h85gOw1yp}e_?P[!D:4ZPP\{법CvgդmONH=g 'f. 4^'LjS*10wϬ|%h@5965e G;'Tn|OΈ@#{wDBxRnǑ!Tf8.7P v>]'"˪&B:3XU|v?#:7JuN];s̿jYv*hnd LdFv6YP?[drm-'^~7Yr{y8%[ed1)ҳ ȃQ 1U'贸|kX"2Zɻ0>?}񀘠PyS{a,ǟ &cCLK^(%=IJ²oHN&8cPc|Pg63hwl!Rʻ"("oszESIu6*1iT⨳I\T$D6o4LquP0rpP# v=rǢ8//)Yxo8lSzEcu+Bs5JH0A"^|)M_"bbH&eA"Α$|zf*Ir8KX~ ;ћɍVOn9D$KtJ⭷2ҝqy/BvM{(W/;h4YX?!#KaZ#z1NBpsXS*s Ln(ƾI&YmJ>].O\˥SkTAfN7YԷAg6S'K3y?W~{ֻd AA"Fd$)"$YQS]l(]h'wm?H&f0'qJFpX&-c@dy0H:c)k;.yZYL6(rD+sVX1>/390v-UnJPOr2KVNd(FY!u(];ڑ4q60baK'/rNfc|!I~~mWwP)CQXɒdNAOF{(YD>5ftE]$-S$Vԙk+Kt;=9hmD}T4W7/xJ'˜pDŽgU[U vƁKs'h6Ө?8"@כi5]X}y'tįmzwPT , FhK+~HntV]І}Bzmesh*B75Y.'4\ogcjn8LO^|BSa|P዇ߺPP6E}ۜ tbOUbJnA.q!^:pi'57VEYcv_&q8k= Ui,EJOۊ 5(qåՕh)T,*ogqJv\c_gq> ȝ|]Jz|,ICm{ow:u)đ|H $hyAb6qOA [}<tl=A)V?-yǴXxh \` ,MTͰ+$RаJJrHV8Z ^=89#+x阳g`(2kj z,_,:LK?pa$ "K_, 27@Web/ `,;䒷8=}FJc>pcyS;Yai! jvlk4Z(#uI S; IaTgVXa({_S(e K8Z`v8+_U=[&=x=9ZU1ԣܝfXةxc20^~VtZ/~SL]%ff y;42aꑝHwDXIEִޕߕ5ڲQȣR*DHӳ;JJB:(2KUR*l!2[v)MֆDNlma4j3QL=q`S7K{ Oe)ÐTP6<YG'rfUӽy k8 N0"<TNN͑ .:΃ "rcb'Å ڧQAX|%[t-񈻮mY@R< Q'%ڗuTvLzPխ%N7snScSz~u7Tb؞EHxe3v X,)۶P K0Pb֐y8 $<@s>߷TCVܱFcDL⺝ef <>"||l@JQr KrpA(gTD!z_ag@%Clߔ+?"G+ֽN\Ӯa ;@ 2`='Ϭs+{֑'R/xzr:uAGSGdjĜ{gIN2g܂ 2LJNFbd 7bۘͭȅ㬼5IUI~I尉K7).,oĥ]DXök;ݣƩ#fbȟC N)f@cx5yyXڛc<:*;z\k%CdU{L\%ƋWn'm.ޟyd5~G$>ćb^},7Tb'Q*OġXL'KyjY /-ZY@?7 9ޥua#smϒ?,0}MpxW jyKF#pA@HqY)Ɋ؏MuPO8SO_xӏd('eÝ1۟4U<^P9_'vZmU o73#-:,ǛP_ە0cTœ 7$y*P 7{F3|!~=AUsZA+~3l.X!cqkB]5j&Σle3C P`͹r!FMȟ6D)+>(E4hJМ6=~PRn18G?@c` X[6(҉ >|BA`+1YVP-K;=.A@cdHxjq&{`N a~7hNxHԀ2@e¾)']"z^RVG79-w >IT aE2 HǏK"f'haB]h!s,q%ث.!jTl"fԯ0Jx@p3?<(2Ix](#\ˉ(h AR=ߑފO00デnG4>^ԄG!! bh+%-oA? _e1X|a!n3OCFȈ@Vvo?}5\5A+ c AZ9.*tKb;;4d㠁V2CkЀ L(>:f 6D 0h>{;A1;諠Yؔp MyXKSiV&Ŕ z#D48 r:/2ƈ'EKrKN(e imccx=fFdINz\.[KJ8;{EJC%m?ulZM.OF=ԥ4N F ADmFl!!exPh 5! lwA`2DFGa;cYhyڦ]a&s/jmgquN#h\>5FV`di$ϠLŮϬ|cF(̤Dz0C^VV[bs8Z+'X>Pn`?,7mys%x*E+yy.aGn(q 3=M^Z#:p ltt\RH is"5#Zj5W߇ @sLnvM5Ґ?jk.}cy,)<>\-fc#_ס<:^[7wa],:bVKC)I"P8<)XjUk( b@-;,67fe,J]O_,DN5u/a"XL{CAVEyu]4y[Z鋥HFq2?$ B-GEQSv\9c[`|u[%pG0EKFct^(KWd%愈c| h"-'=ؗ}HVa4fK'`E.Gv+$U$^V52ygV7usH4 >s[#CM2A:ɴk)ČOb~ȲX0*Up܍Uɡ,['=UJgfr7bx"J&ֆ[{#yAI3-V}J?ȰFEou86TzuuPf1Ğ%KryԐ :=̤;?!Z:IA]HPI']U^u6s!Ӂ18S˜҉yö}frOBmvu@xW]EêCaFǥ!2mФUB\y 49=agXtcg?@D]m4Lo1{?g3&\ !耕'l6clmxA/ ` ,e\=/s9=}Fp\+SJϯ,.56qf@S>mO4&ѱ-mv`=,'7ԖgQ6*JƠ*3ʄ失6p\%Ŵ킝NW ֠,.ߵUO `!6j˿%tFj8|pZ, K]* NƷɓ1Fݓ󒽭X8}"%>9 ;aTdZa,6(=3I8=wkj ][6264 =!Ǖ !36 :<_hM|&̉/ē+H+f#g(:O7{46\)Iõ_J7c$7XJyo8řFSA,XEx: RjS*ͨL @ Lm헩H$Si -22\VL~Gd.D겳ˌ[žy\ivZYɣ ?6A`-+իd9?Cꉩ&D"uv#1Z] E癗ĔTjiʼnr-J!enjŒ^GjgHȠ% K"#Q\ gح&+~ ^#s5'RV=[s p3X˶M%lPXZT8kaLͽwь-+ /9WFEkNYUb{3Hl;#nJq#@Nz1, ֝"ruOaf*b+\G$jɥ9 ÁWvi5)9洠maU+F+:|6/F8QPNa_^SdNANTP|DԕbOhg[!# p}J^/S]~joEZX=|%f1j2"G%_:ˑk#+zU>gh@myB"2THgF,?`gMUe+}1 C@#=6^GBXWWT~N?ÙƮ.!v=:PV#2$ԑXZNBvRʸc,ueQYAK8d%!N),RoH݉k|9׹"SVUcꍙGZ,-u?gP|}N*}iIGh 㰓3Rw0T+l+" M-OJD5݈_ &[v~yE%/f&;G=H,޶yڭ4PSڡZ#S46;&P4* Oe7 *S?vwP8R::긬Rw@y+DGeSкxrEATH=lBo:sji@7 S93@aM6?5Io9Z>w1nQg",X|Ov4K?S alp8~Bt]SތR=}AvRU8CSE?Ӥš80>h?'P=r%7:GR̠=1Թw1/>Y(dM#CIT8_TQL}j篏_41z ]5RGHIA!6`#۽d?1+;Zo'i֫~ʉy}gz0{(S0ĔSdMcagKfKhq߽߹!% QMlj -R?o'ib i̚|7a ؀f^^ڥ[Zĺx=MxӞM{xS `CiEZN|A0Q r"*޳"+HAlKYn(i2 !@C #9H@ 99 b!B!0jDDD"Q+\$uB9t0!׌ y^yKRB^O0 HMdYL):AOSN>|o#`jwS{)px}3 6Y 7-:Q񢆸$UHh 2e*|Q~5F^wVY .ή> t`!{*˜5m?'gt4"Ŏ`}z7.;Ä4i 1RX$=\EYo?Ysw8$X@a:"~N7=- ?mZOޔria08G.Hʵcd9I։+:`֣(KVHe3L{$>4[v2 lI ?zF/| Ow@n`^`4e E ):!M͂CLKZ+wt*f&l &)J<1tlHՐ E(XEtt^ RQȘc i.%sw=\D] |$Ld\F"Y7  { WLpE֚^~bo  r` A7ʟsˁ(ȍ*$m-@\3d_@}b(_;O(*IO5MN`mQ ׊ qApS&0zR@UXׂYwr_(!~sVt1r3ASqMT܂K;Q4&21-9E*Wڪq*kq*uk8\YK2} r!N481(a$5F5% \R3lL4Zm&[lb^dPʉ%;&>Xj#ػ \v*t؊rG|͓3U9j.8W&Ӆ B ^Gq\Pp`aVGNg `l'ύĭ=-]b#upyeC6gR6"@_?Տ$6"4t*F F@il•txwlV/'+8YG"l%&`Q8NȐ`*ݝ'Żkf^@mM7mŎHʰ;@U ?qN}rWv c&wgqR9W'R|bef}bBq:\/aL7HIQ4oOqOfQoC_} 5f=1qIH%RAOJ"}i2PUl9ZB~r80U6|kb$8CWPUW3^3Z׍BQ8q'CYju:A@fsK([[?/{]c-hJEd9GQNCꆵΓ%EyO]ռ:a}JFi:rqٺ؛Z}`J|.'+ G[(XT+;VpZ9wb XGI:u%(\.1,:oq\   & & 5O% |HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`u RL(PgD|yk'>piV4q3~hrnj5͟o& L0ZGf;$1p@:7%kVX3cO~t`ݵ%q˓*@Od ` !eT W=* PpB\/OWćE7 Y RmhH"0A[8J " |fB%\ǁ0<<_ 6F  ,%? D M]#͠OMD@|"T;pp &'j<2HV^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal c 5K/ 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/lQ -fP@mr@E$>U6&KⰈgZY#&1$,POY]Ӊ eY߸ R(FY!RsTay4a*8H=j؛GJqGEςPzP&ZGbɬ#/+j5Z QѤ:R~qLDWzZ0$1 O@ C=dg"^R*3%{v+ͼٻٯ$ّ҉ [Z$|\{\cm[]]Uļ~~D\15xͷWW Y%0Gʝ8Fi|F|Z!5 C%V?q&i# eU "-T.ZVtYY&,;gR =$ ǒř2b EH+j(*j:WE,yÍñ0<;6^Nc46}J6LOVVXo!Ix]VkVӉ;@K93/oJV ^e4 3mt34*>((p@0Ip (8I2s[H꣑ChE״7e

MK*FSdsM7yzL{x 'f™5ux\Ҹ٫C!螈hAj"NUuk%RT/ 3@'^Wh&4ϜG95gg%nlH񡑛(B23슕Oװv_ySa\f_fX/5rnz_yVz@ =H[w1r h֫ɷ^yhQZ_xWFA5zF5ͺ+m>UO *(䡽J&rj&d@ldE9:O~/ S 9%Uw$1mJ8LNVb=H5: eJ&{@` ( Aa!BCFF.(a0!:Ze]U%Jg^ \7MP^|X}B995+JiǡE#b`ExRtq)_S:z!WJ{i´7̾d•Tq9sFu Gܢ/2v_m);TV 'Cgx{~Pb%YJL;B˸G7 #or@U!W ;-GA:@u%DK m% ,%hBGpV+-=F%tuNLk wTA܁#/~y&It}BDgSXJΰ_>&{Gtut(X+"0u'an+i$DmPQ@!1i2߿dVzW6P wCIzu)n7Hw]jb$ m*.\zڦ[T'[nEB4h52m.!bHR@`ʳ2"Dʧ k,B4#=pZV70un#`ѴLecU!+tѬKX]MGclV<9u&)t>IRG Hn s%pg'PpvU!j )%pX%PO΀7&CBk:F6.PXp/dmZ8lnhp,)Z_jEJ.|!N?AXNyLuoa#ttcU(ub7ݐ^nx͉seٱurQpHQ߰4|A9&J*hBCbS|hIVVNaڔ׳/Q$Ȃ<7%')?gFREME5r*UUޤT[glqk&"&.G=Ӡ&BH\eSJc *"< vAq:gYbڲNINУKڃSW<%ղ n'ԯRחgvGpMN; {ɤ6 4EZ(X˘p_Ry 0Vgth `2r0m7 @\ׂR b_\hIꈘZ uu 5O' HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`vuQ6"@O2w FRRS aw.A2I7ۊi^}̃%L၀ /*o]yJl"M.iqSjfWGFjvMGۊ1:i^ ÜӮzMHH5: ``0 ((1B?񙊰R N@Ȕm_93ڈb kٌz #8/;  MsZ.#MHuF5|[[bL=vt&-^@&wvjc6Лְu)rU0Z jLMffM!T>*hhy]3 g}w ,S2:ke@C'dOU]ʺ.kum&Pk@T H]"b~DQQ=Jyмoc9|;UkBF-m/9#hQn?dbn}:ĪlhZ㏙oK)Wסq0Ō]Uvs o(V-`3(,!TۂC@+ 9p";0rWm6CMUHU&7Et'ݥ^;` fpBZ8qR&dr}61kn$X[d$'0X :G@%Ngк$MJGZg4^v0cz@Ao9ƕV+Z3 ?C5dԄ%V0i1v j_v2XJ(U$sm;muA>?-g{<;AϸTᬭ$w('؊(cuUvG' GQ@KZ l}1ҿ !OMSq&m-fy ݷjqȐ.mQlGdOv>3[`sDAڅUі<`̱B7$l]:ae@аW fs۪|e>̾PVXU6E XZKtN8F:{R ' TO)Z ơozhZg'Lq+faľ}?Y_3pe\ěiDhA:૕r:(aȽ%AEِ:Ћii&~z%6R ,)e4ssk=ZoM"kPZ T냐(}!Qgiͳ0 |0?*HqA}eb"Wa'.<w!AuGn'+C kx8T6pJ_xBlU?i3@}(gIr~02EFh N$ . ͓T뎄$1Q>hϞwQrl0Fk~GWÅtZ]Fp vO;\zciQE{ P0J9#g$Az58@ %~Vu50`0n{{YdJH:[sn`u=e6VO 20+`B,wօU -9q׮RW-2y"İy%2ub*LW0,`8VLƞ\ :2/r .#ܷDBKX +Ίd;j`יT B/76%,m$ /zQd24-^BsqЩGjhfǂ}ul*Ӽ(WQ@C$ (\qR6 ֦1-';8o1-f\Vu)CKAT6MhpU,~hWr4Fu6H|ṿ`՘lV^Pv!Ci\vW$NU6`qp.Fs<ϫEt~v %stXRMDJ+-RwU(\OxiLF}KDZgBؑ}-NqTJ`Ø4H)crEN#G!J}yX$iTɳfN,O.Ʒ+o 9 6 #C PMnT9Bv>?h89VN3lVEUPݠ(L"MqDE ` $}ˮ!*@@Ie13G%d!K+\ izYϢ^PuhW(Q]Z5}QקM W]#J weٓ[ň(GOzHKe^`^]uQnZ=0&G!- X0eL7s:Z#(Wz _INI>)< nXwĨ *E(*! l"-0z_JTt᪕F,uhܘ(職iI3.mg tGO e?r.m.A I aN밑c"j0L1ݫy0>xpq}-&Y2pSm7%s^ /R(F5 m\|,.=xy5X"M?dglK8?lfA2$E[MA@ AuMϝ8-i]@&YN]L|' =ܡtGxx 8xNF\״*qΔOT6|-$Z*\ I.#V^ֹŌ UF"D`}G#b}JMΣ`5D@;r@ %BQUX]FCEzճn]#W3((}48I Nr=/9-ܱӉ1$a*js* X`a`(AWcdFD;WbQw _=k$K׀90)?sҼ'')sas*P!Q{0V%c$Ml+y)a~0X/1=N!D4Cm!yk[r]^~4e{e^&wic8t2x)^)q0<0"iU gHE ^mM\jQ})v|SB?3D5;SDpb9V$dS(6;/`Ub!"]<;GL W^Հ݆8YCL@ cU_ڄc+ 2r4XuA_&p0LY0E<.ne[IJ LKt^< t٥IF]<% )-UT~}ZxJ!9 JdLhzͿzd) K'! o]@'KQpf}8KM]jr'*o g75Ken _Pv<[h:O 12oƃ?R? 7. M#K_X諙{3[!'e\U*^"Qz"H6&h9ѿx{>I?/öh#l1 z+ [][!٩>>91,@il+TMs'w:[lvS"Eg'AhȂzf~0J3Q X(,jcҫ8,6rމlT#O)=/ A?O%</{h+3SVfo<0%Rg ]Wo%DZBs$[(ETI`>/^IBLF;V+fiOJc n^'TG#aFT!*zv]s:#a٘ee'm QUak}|1FFv6p'Rً `J`d,`R~`m?lfH2Wb)g'15K0䳹'~9cdNMXzB)z Zþ8OoӪ|:lVeP1ݽ&tE/!KIk&)䃚˦-:"-f6@h8.wF~q94B_?67Ew"ChAe2h0X?P@VZH{*סs+@"0fHrjΑ+LSK˩w! jUUA*Ͱz`$h!1f6^w ɇynW{/lK@SL:58=@lL`TC-pϵ2 G`na $)%Bb$H{zQ^'=DtDbs $C@ hepJ<ޏÿa·x