SQLite format 3@ .v   i G U--]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_sources u77 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_infoT11Stableisabelle_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_exportsy a~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m g a 5K) "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/XxJ$.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+<&Bp} WTph,740740vыh,s nqY^5]QqR)UcN=ɔTB4q31,p0۰R![{ffR e ee W^NHhXxXyy ለ]%Ză-h , ,]n4ˎ%Zg тozc5Ofg5&Q*d$Qhjww+ mT!Ъ`3c뻊yLTK}±`TKb},JZR-~{nvutNl^w_ԐXxcMU68{K.$rϩǢ[;8RyW<66xT<9y~zUQ̯jz*VE'R[gZRhk%T ڹIs虠gR4_&d2@ZC@d"ٕ{T͚j>-»30kQ#IRRP4ChpyDyt!q,P Ab(b(1lJ-aA ֫_f[K]ɂq,ὫꏶGo#aUȭ(["ISD)2߉<_0{@xc8Q 2B9v$98Ia)bG; 3(GnNEoJ$S5 cJMp@|$OuKk]l; X5K% .HOL-Nominal-Exa$x#r YUD3ւ ҂тЂς́ʁ|Á{xtsp,l+h!gdc`_߁WSPNHEDC<;:98632y1u/r*l)k'j$i!daMLKHE76 5 0 + } |{wtsrqkidc\[ZYVSRQMJIHGDp@o?l>g8f7e6b5]2U.P-K+('%" ?821-, % ! HH+Xs T 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/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex 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_Machini?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesvD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marhF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   r5|~h| - UHOL-Nominal-Examples:threads=6elapsed=351.978cpu=1760.475gc=84.200(/X{ 99&) KB;75̫/? ٛvʔ  5!Fvv3KC= G1//˘"ꙧF|,䓦L}Dtss>3M0hhxpQ}4Tu~7PSU2sb;n!* =XLZI M7jOWfՌfCʶw!nPxCh e;dEI8,"6f`  9{H²3V~hpppT4B@aCb"a RqVsXCŃ""""xVg$![ՠe8jZ$ҹPX(P,`!а@YBGG !*dL5Ydƈ؆CCXl@@AZb]ezb)ڸlBb% Y}q@ -WLX8`0SD"ua^IwhH9RfFIit&^YG1ÃEAD}u<{UXKP<0(<8  E"b! @:̿H(<$PpɅCPHp`0+]y{AB@$Dɼ3AD""a!4ƫ#jj "烇CePD,j !Qp  Er  "BDD @H@(@B 8$<@$@P,(0@0  tSe6+4 ?"2w,DballzٙfhzN̐n:7tK!9gܙehd3hblmc ٦ld#2Oo, G2>$˹Ц8~՗K5^#qIA+*u겅c_b=Xb47f|V.id"RQSO{-HƝB_7M+kKI+[wy&v #wӓ77L1{aשnj&:QkQŤjmlLUl8F)$#iT1Ey&.*."^9EaE^Y!*Un*+X ޳kdYT߰bnVVdeVK7UvJ2QʢשR_פZ=ORm*?okc}Hs΋򎌪*PCC%,SoG޴7rަ7ۏxoz>[Y=C\%O=U4ެ8S6_7lTkB~>dI*$ײE*G k^vuvW[|vevkľjeheheG*Sv樵j+GFmMW2[>kْIZv 5 HOL-Nominal-Examples?5o] "HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thy8c52222686a1f76cb4e111390fec7aa78dc4381a(/XNh*ns-\l4ă %h[&]#ƈ/?>r_Y!O9p̱`;Aqcp!9 I$ <]bj=:|}:]zr'-B8ђȣlml4aK!|WܭDsB9>[N[)$K*!Dmkꪘ6lWq_/xQp&k+Y7dpZR y֔sggI'˾JHI}}oy'zcܭ᩹,٠TN-;\>xf3*YM9)i{Ӵ~ɺQz35u+2fUucQ"x$Es.9eN􉿹H|+g]yfP%~>oPD,,]hj!K7Y&ɢC4/eFP9 d7)ȳnơ/aDΡ wNQJyd-Էi 4Н3s>H;;Aj _Hκ2G[͞p! N?WċD!\KŖ/*檜ew+WQR\owx8 4!'x\㓖u)}$z5W}+[W[rXTG5X@3y8ܝՃ;O!YDg=ѱ/K%ޘ+Mc-k<'u*rB^KRmQ¡;86 5ih4Й 0oGs]=I6gyR-%Z[ӣR t;4uDsMmmH ·yZM]%Tk(8u]8=2ȽkxɾvZƷ4"e|(O$Si-밗w f`--RZuWN(GdȜ_8-&N9 u45l⇘ j8%:l{>:y˽~-t1~@,׸9H?:Rc v X%ƋZ; `j-`0_Fbb>81+Q0R E(+xww|e:KrbTxʓxXߑqqSJ#^(t$ei@)y zX|3&s70\LWݠ6 \=Kk,qjbcRfM,pO*ER'X0 Y-q(1&Jc&->$L3^E׻3+, I ק!`՝[|5N^'ipEqo>&HPAgtp)n;bbݴuT!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.thyr!Ybz:6jMTo?:kﲙv+{[s^im ӴѴG+egz;XAَ/-aшAaP@Xv(;\NbM:!bCm-*]6Q&(S UrтYJRJ|y54G$mjH04EMU%.+Wz a Z&XNrȘ [ު%W$UUd2wݑ`TJ>_+X3VcoFul@[ Jv+*;XGXgT7Єz-]*.U.Q+6S sV)F+c KH[*t~4axd4^)L0!ſDwRAm :&$ H, Uy!-{P g-2i$!o̶"br[~?P(8FBFEM/w Rvψ*裪Iu&+_qT_ @=*bG w"FMkwbss[\6Rr3bj-)i &t T6a};>\U'+kl1>L0l2/](™7)\~i// aiÛ>&͝#j7r'):w%<}А´Uy=BwJ1I<ؿ]a7ntlaZp0, 3*{O`OC@ER4`Vcˉe( 'l0rWgx+S`sz@_nXB%Q" 'E~A9'!"sڜJq{dޭ<#{=ц6}Cʅ9(o⬈@v"Pd IBWe?:z *}R=CsgNKї!%G +:BeH܍F4aܢHFt.gPxb}xfchQkNKU c8j~ktRfgo<x2ѵ{N]J L}oQ?h뗔o5 M|˔Lb_$W /9CಋyK`1r #PAll$uP пv]%Źkoq le6c+z{7A?N\A`{e?2 J#mP1UA@RWXaoN?\9 dyxL4."98(qӊ\&M_ S'w}+ )D1='Ȼ;igY@z-?hֵL}&Y+1w{˵@m @)l<#SA'AV )7 `BA\]ۀ) Sv +39L/XMHαT5 &>M}Bi|[.$}tQvj9cV"U9>15٪w顋9~F˭D`i!yLX%MX2JU-AZ?_fT,-38Զ#jx)r ı@%o=e<& k,{.L >Ax4s-AH $t>*(xݑSLo87? F~{Wp.Y;A}> :H 1Y?:Q)0'^JQt_g=r`c(e'WT cuۈs\lqNG(m X0>{Gp A#D ^Fd?|Q (3snM?9?&b# "y~7yl?HxJ#pdeUu^% {Mb*n5 [&c)S#=>Q˼Vi<::]ҎUCco2&42TS!u q誛rj5*Z0Qu3&0gQWGnU kǴN 2dI+&N1d|<ӕ~bğ χ@?q(V|85=YQ'6!I ϘJ@^?a*G%@KJwQLp*^N;6- J]Sd F'c*BbsqI@c3fRg3*5| a:-»;\@]NbJ%[9q|~V!6GͪP`Ȧ&?p5/R/pQ)asG[6\x(¯&%^`j2jppY;|gXHF^X;19W,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|Nʂ\%0oS jRz%HSȱQ.SJ)I)kxhfߌ۷^'0DHlZoo6͂hfƁ={ٌy*@x wCBC[{ QaΑ%9   0 Hȑ@pWrܶm۶@l۶m[-jZUU=EUUWUTEU3uJ37HHhB d.9o Ln/طo>55yMkh<5X,_Y22*ʤIeL*dc8Ʊlƶ0c۶m6mlc[-2-1󻝎vvrDsn 8(!$?7ӷo7} 8x4ӤMcmdlK"ٲ$˲eYȑ=@#j`bq5e]64n4F"8kⰦEְXbMd/ovf"y?p>wbs8vjgءEi~TX@`B E($id,$nIȌܥK98XDA$;ȲD ݒ;l#ec͹0avܒogXXh|^H`}Du۶m۶mۖ}xAAѲm[l&CeU!A$*rG0DH84D0nKlݒc+!-ۨ A,I:Wu]ZZZ֪֪֫mUW"RQ:V.vUvHFC.$PKΈHִS*M;ie*2vӷҊT:J۶vePt-T,&V# m'Kq|D3O4(۶m{Aa۶"uhPԮ]iM{ݺ =N4(ZmU*<`2&$ Ms81=n-}^4#U/l\m*W\r.K$L4M#L$ɴ4ofǛS.S"Oe0&1bXL3qGd<ѠˈGls,ŃU4Ѡviv2AP0H8#=u ahpYBaP â@8 HT<P HBor-/CE*HxkVGrD!*g9Q$, xĉbgՓċI[,3djUuЯM[à }2)$zF3*i);ⰛWn0PmQJttS4 p} N" @ ^g(5~sWqwe4kZo"WsOpG\zC<+Qt J_)or<=(O(,b$v" cm4Pҍ%?t清}`XoZWA gd#KXD+ BAYڎJT fڠkH]yZ!ƽr;K.7T}]`m}<˅g$9I~ yaԪ0V89 xܦC*i֘?q[Pa^9BcY2X&6(; L,\{cA!{U1 3'}˛aSt@8-ҷ"A\[tSr caW= =Y-NYX^aӢvyCI0x>*F|7z$sri0xds4VF׭ۺ{Gs3F +:{5+?~ZϴY PIVn(!)>#7I<4 _gPQPq7]!KAR̻\sWJؤ|F4,c+"wW*f{p8tF.# ODTU89k?5a2"w77''ʿJvO\~3օ"~ kR"OxY#_W_1]^9H n+P-$8yQY@** ,&i2T̔dY# caoH| 1dg|@2D2#@ `% `Y_}T0`GRNfz[C1۱Py@/h6eEdR$ּ7v[m^h''RCCquoo$N}mƱ)7jWjrDRͺ&zڍj{RWM&[Z`nYw$-[ت=3Q+xRštև@"˳SN*my )g7 3McƼ,oS& W rڪ5`3U4 9\qҎlt|&j:d0M0MYR&)SfR=K d) k9(nފR>u^O1tOifGSV|) ٩\kmKYVy?复]MsR%lr\[8!j] xEE;k M4;MfT-r 5_JO1):i\ +pQLlX!p~o9*,v7u>Ls>ޙE l[ZԱAG^_kc'-KQ{XM=8 [11?8C#˝죀k<۠n ©щTuؕw zsFWa{d2.(γj&~* %,r94mC5HCxLs$OL,@B-K9c 9u#pѱ۬H ]Xz4G)M7Ez-E/ʚx! |] ~>,J=Uh1mB]+$l|8dG ^K+䄠.D= BQNsDS6uIB@f'50'߷lƼ@6]­O, 0RAE, *ιc7V8cߧJ:X0GM(#!A #A[N3À[9% ΌS.8YݡvnR*溻ܳ:;А$᠅0݈=f@23d`R%FLfS b%t]hmỷp1vf_Iw@+9 I*ԙM]hX۱)EfLjԪ$6$(#o =Wb2{!2"k7}N %Ҹf. J>K(*>TQ\˟S%Aj!s}-ԽC-oV:ojᄋ*9b*ׄk Rx|;ayW{‹/O?(ql{ܥԚdSFa+<ׁ4#4'vS"ڣ/]i^SH1r+mttb&/TY&Pߙ~ئOg-er8\ +2K i9%km,(~9JzqYDt@2΄(Y+ju5\W=)|ۧ)WD`Buuza7ޤUA<o(c@OLxP)gw!/:|1KҨ|m* Zz)]4ZpV =<ɀZx?>%<4? XhOSZrswV "&g`+|J<$D<_-G\c-$$)3pDTCd(T']Gw6)Yr rpLAU"rnN޺-xiGnDdŬ&cl*34QκlH52?v&W_ ɸ$ƝSqW8k^W{T"oⰥ0Pak L[6㒋ጠ7/u,riKNRN"{u+)GCEGauH X #Uy\f LxW~%|y{23iZ=kB(t9uTdGu,㲔P`~į{lA '*aȬ!qON't*'+'[!=Tbd_'jV "i,lN\E*F)xjK~V=no.FB6A+)ٗ(ׇ u)AGvAK} nP|EpU&Jg6#)(o l$>av/(Ǵf=>P7!Qc"jz{4MøQ}='vRl+nw^{lO;/yP"@A엓8j[sh|zb+e410´k$l3PydDhWveKe TJ :9vp~`vy~k?tO^sCXΏX8<>V6F߼ Ttw]AM0‹nJa8C|jȟ~>9~8@;NcSQ >rIJdҤ,JGC|ӍzB0σ{ y}nA|hSU@Q !2o,mXlo,/u!xH$"3 ?5Ƹ'k`~a@A"L([NXP!Q@׏f/IKlf*zaZ pcUA~SI\+ݾ#XUnx`=ͼ!"|$Ǜ:6x+:ƬP 7`w([|  i2W\+Xs178A1dp (!"'LS5~'U 1;;IN\7+ayòDe٬x t01pkm<ɥ4#@|MNqޠב${aE?R4؟)#ˋ*gvĊ.g0!R1H(v\{])?9WEtۥ/1mOSzl,UdG"xE,DhH.nY,5 qψWk"'O",U՚U`^_T获 p',kkw%+(,Nս Kr+,] GREX҅fH}ϩjx) R~A}TĘ1d(V$I̖]*@c@zWY9'NH!WK@W*`>K7Æ?Ɵ@y8Mʻw~]&^{r7Ls*Hp-%d#ik:z72vny߆PEy'N5(\P]6We NX< C p~hk%l _ڡ«j'0pϦe$樀1t,܄3p޷ol0е'#lab0(%Š4_N ./7O*O1U/#6%@y& x . YR޼ Tv 4t9e,DYQMأ.o3rre"bc4"K\?*+חܦǷl:@feC2)Xs3ˌ$ymH=@'=M>qhju=%RD=/)k&'JOZL2Mx$2tUf1$hq4o!oVI1?+5ϧ~+1H{H +0Ol;XV.D6 =@|u]Q(m9s#fJXC]@CvYJQů"䓁$Z2yHͣP08EM<8,a#r 5 Npiwʡ;J>԰Gpȅݖx—f Z,TX[*C=e1)AHʦ8{_jU(咊t ?I`AG42+T5V0\©BMYi"Y7tV</y'ba'$ Xr6L_9 #„&g_:jNo5SJHa`dSxzeLH\tI*02(A.=?侼EƁ5[Ɖ ;9ɛZ`Buֵ@dѿN-7Gh#~*Xpo"'X`to$DL:*?BAx(mtQ@vGH4,PKV]<3jQI o x$-#_sqgLjf6Y}U^ 6SBkk"S,@EiMyӰ43Dgf]=>(YTGe!i>u1;Ξ)K.W0,f䒦* PCKgz{#KJeBJS V]f vf~>m^Ls)ch&6p: xGTt_`8;H3bqQ`v({O %):[QL݀E=Pl~ ~l|حK f;nhϮ(=sqZmQ~K_&Ps`1Ӣ=]I]BbѴ 4/S$De?C<ꌶl&F[76dr*D Ɍ> dvZLwFAȗܜ81lU_@`rWXPEUj|8Cc6tzd1 SݢD@˱t]α [D]ٴ N(}@U Ȼ"~KFX边L2 _+=!=Ow, rΎ5H"Oq&#j5)X9g- H."0O3c^4" =i_liƊ-v"BS 2-LnD7|w]G(SP^wu$eى bQ@BP;iTJK o՛" 3O18Lvd-쳚n(RWmV&m2=eDb8?鉦DșoQt@Z(+iw#]irNP2ձ)Ƶڧ>bN=SY,)ەiؒ*Ƞp*vMRlOMv h32Qps$N+|5"YbB=D|<_&RUTrr"Pr2A#;{+ϒbHjm⢙P s=ٞP5RDDǁ=PMG|d&^,e C/q~p~@+{@>Ad=ힱ/ABɔp*AtQxȃ$eW7#i[uA.Ln9mlp;@ gq)/(;pʮ>!(Y}J&y!<$RU֊%HfTg_ pY%e5)Ɓr4⎼qdxxp-aGV@'g 5Ad&o0OwYjc1 ]QJ*,@ElV' XX;dy2BE&nZXSjưZ{d) KN O.*o=F  ( v{ Q4q`>pzk3-ؓ36ӭnS37v@ yfLEDHϽ ix{`#[vÐ"k#_S55I'x0u<C'6O8Y+K<># \9)gҡjNI(@ȘG}i:S ~`M Ҏ |@M=diod1f[\Y~躵W jpq̑xr j` ~tGEh{_ϰ/X޲EG4aIЌ0&U[HfDwAjS1hM&ȷN6?A.}zOP\GjRr#mhF3l$"Ao+1!hL8Yiю2^NDUCy.oD ({))n(Yl DRWV}qF Wy|ߝd !Cz穴7g7C> :oa8ڄ u1(ѧ7I /Y ;{$+`@lDߕ_"8| pt> o0t[py<6?UJ%VL66Am=KY!gƲgS84~;oCF<_^;i=OOUӹVĀ&*ȟ)FmGcO;PmNp/HH6%2 Z' :~,o}f8kM #l@jW$/R {%0xvUkTcO灻:g/+ҁJ0[ʩ3x&DF/|e{F|+gD8DP.8;Q2Wp4]O g#.uF8æ)8Ü- i{۪X(М}|\oW`7^7T?GZw!V*A;O!=5 pRM/=/1VUg3$8p4Ji;a{!@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۶<5~1!48oog]YW o>?-@72+٭Ye}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y?[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`AJ!P EP"N+R.y6ms{5g^(.hE-$CIfK[N'GtE3b:^=BhJPUyuPID&ۏz^H6,UދN[kAb`3Hk0'L켭IrŞx fB?4c ٓ7ĒJ2-M!yc/H1.$-}0سvXnD7S^(ZVPDqVii2$"L3\/$ZȐo!#[,CE(A E mW3~ōs>fg6]W tGTOh\l<:.y@GPMTY*h^ @őh#JKà/*^_Z֝/ C,E4dLDIjmWq C UEl,0'%T! f"CK r"ڮ Z*8=u"F$79Y$D9=h]zQ="ir GɻNFҐ ~] dgbDGJ%&'ڰ2-V`D<ǜn'1'z<&NbG Jܦ0nK덨fԭG/=S44!Q2"6xig߳@Ŀ7,''Xɣ*@E UvV2ֿ{ h I472]4/rSH &F1L+sy`(Qj WmTB1n {l3ܷLAǬB G1V w"_` 3E1ܹHJ2D?҂GGzHmnH%GEqIشkn(NSE3Ct{V236 $-yǎqS2 !̗dKxGTBlipV 7 |%) )KJyŬڦJ|WTG(/KaP82){??)pӅX gng,cwGӾ"E/Yr)9Zyծ2~ȑo+k 8感 Ve pQ>mWA`/wE#B)䱎=Iyq1QEa4ׯ1 [*7VNa7u=@vxvxnt`@#vQȼޘ"<4Ug? R-).VB0a`5: hbEJ ǃ0= Vk}-iFގ;"[ɂNGL'xV2v#'.#?ȤKFHنV ;xpŃ#hIT3ZY>`= ?9m(prf렍E`RNj#\y;RFp)J}^:ՖitzȘ<@X;CۆnILߍ:vGӋ~#R!8z~{훈i!BbUO;0Kn,{!*#uxp\\ρn{~q/q INue/w4jsCB\\sR(oƋd2٭[\K;~`Hú+~F;TEWCŠ#o,!N 2W"k 8B3 =7N= 2ىopȜrހhq8Gy ! (e^ȕ&ȢUT/V6$Iz GRe3An%"HZyڍ'JJɮ @lQC#]HX X6o:!gyK_v)rթQZ%heayދ$0)p)\0.̎Rج5+9 pZ-Z&nk3 _K: muSӏH,-TṗJ,1yb5e2XrohȫK<@#*ݡn^pX׊Ԗd2vF$FRgi7780a:U|(#hO|hzR+c%hZ?!UQ| a hZ7PM9)nav:[pEjDJ刳D3MMy~U#Ld=d=,.-(98<9=u9 >z2UqKqZ 'ǎPۮ}^Uֳo6V ~d&ǕPQs&.QK"vj|snŅlOWJDFMFVZz'T}wuuGK\a[N4z~@B#B1lOJ-;Ƅ&6ՇJ=CbSub8ɿ}h Å. [Az؎z$9;nJh5T fGS10z pm1Qrd|8Ax$QdXѴPgYI'y 0)"^qmdlƕ 8ebȹS ffP cڔ+r݀s 1߅VLmY48`2}6Jo7`2:5 P*&44姴ĩ:|!L߉.rly"ps]fpܴEkYVm,wJ9odA0Qφ@ih\.8UlQ6e@~ͳ 3҇.QH|mNv^ձ\Y[@:+؂ӧ#ҐC(gAQʦ1.I 3=ڿ,lD/t7Qi-^&e/k'@ҳmĦIv]J4flj0j|t6w\h5 c)ĵ>,5sN gU/6FQp<[D7=jzMm&;tw5Z@DAkn aNVL&ls e  M"q⎓>.t[lܙ"6KV?wdxŷLdن9(DV v廙O3.ٴ߻0|\hEDzIY0ˀeI~D$[cIHQ69 c76@QsHϰ2NOPܺJ> Q1q8Ie@A1B+J8GpYZu 7ㅒ@ Y`b<*;ȋBn1b z ߹B]9RּhX?ɷbh; rjNc;zܨ 7@¡\$YXo?eF'Uz9h~E ;I& WV'phvCuNPI?( OH"“ΛHܓM1zBx @u\t͎v)6.S0R Y⬻6.T3 |@; F%؜pv1`82'%BI7M1nNdyFbTx$ԙ8nU3f $Hyz/\k QD@|vU! >"5߂@!R{|)nҺ?t3tn,qZiD3`ϭ7V¯߲M4X<MBM"#H9x퉙Tx|I8Py\H>~g37܆/]A3 _9`0^p^} C;. ֠4~ZAF~gw|q) QFN/sl)S!81 ~Io/T ,<_mb{Cڙ@Kk~T+O1=ST8Zk;b }L@)7䴔,1KaF، Q2 Tw}u.U%@W_CO'U0>} oTHUju@W7jQ4OMكTo6SBaPo2 dG\*|S{fAsru!># ع,8",8LR-߃w}1`{(Fl1¼L3_1 A%}*E"0([cWC\80Ԏ .훵n_na{ Hr@ {o>@I|>tF30}ؼF8J:؊-T;ِBKi r#@1] c/#}^9pI']%OkhKx0XMǃip.y?~* !xsKdR>tqԟHq(%H?_zOɭ|L*"4O[H9;jXCD(l:2E@Ov8 s6gg#o[g* ?NwI`⯈4WA@*#DC6'$iҀycqZ|1`Tm8k2E䥅2st<m+(: _ a;."daZ1&C=b@Co(L3k[ҿgo6dE_aId>фyLE_ r>k7UC'-Ywƺ\q:g><`pyg@1bV 0UNZ`I c쒆Q` c{Uc1P=nハעzBؤp%_!P;bnr8Ϙd}&{ȵLijip֋ D|D'UXÍZƇN:JDu b3B f1ɹpdm(V/1~_]][5u- (? ~ʂE<ԝpb"t?0 g$(uDxi=AA|`{`T a*0]YJ߼N5?E<[G*|'2vZ}I hpӀf5۞EQjyKsJv5O;M @{À !jܩ6-Sfvf @'Ï:y0bAk']qq؎k2 \!ﹼh=)uqpuHA;ݻa';>O>rD% 䳡 Y&Vf]'+)߽/ qAHz[?z "a? ;Gh-:3/ 7FR 4B6dB2\b#7KhPauamMtfAʛHNpDAn@"N;mG^Ps5G&|iyy?c1aك""}CGb<-"p1/D9窭7/1R|RmiJ\J_7h tjSy8!@y~2[TFCZoT q& w;k?SuhyݰWa^Kf-rz'JŚRoÂJL{1/ c#9u܊E$No jIa(R왰\i ;Y/ˌRxVP 4i= O?./~GoI 5 ߶7ɳkx0(n[5CX-K6y,ΟkDT"#*Jq1_!pNQf/_f }lW C`=35ǞRh,Tjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JBQA֩" |ƛI#Xsj/~'ư9'C-/7WVG ǤN):wqpCi ָ.;Kz:]sftĠq 9<:X{D/0# uK :%Z=l2_ERKzB}h`G d(Q6p~injazSs=|1u #$gH;su0o$\Ά{";&rey)b " _y@̬3 t!ETBT]jU0M#]UO|'pqVm! o<_y953$<ۅL: W{xK0oi$\eׄuޯZ<.lHKayIH}Uv-1|BD 5z A}18~Q"Lu{ >=ʖ v{Y}՞%g5s4QZ}t0 4XKuBKB>Qc EDRՓK\ԵvZeSU 0vXeFk)MeA4%>6ҌI< |ȋ} oE0js%׏E0~2z}e+-_-KJW#ŽCA+[7`F@JUmx A{`F6j|dX^}=a(YW ;-bIp0+ m;Ϗv sA!h\ :@Ąc.Q 9~RӜMt/!Mx(#`Ե AMUGyIX oΣ$m+s%}Se2l'֑^XTέ7ldrd5mo>ϯx]~/~x5By 54$t_⿾^>Mqp|9SX--bո&8tƖ4rL/r$Ts*"{׫"*hOOZOk{:S̪EA:{˒VElxUhKly5ȃHmٲ2ʈTh_wj4K|BknCA-~p)c3Cdy wU516YGF[TD6"Z2{^c@ 19qI СRkgA"{: {׋EژD-5A.!]6K~ֈB =yAlZU0|Aq B \liO<* g)mYe ( )%9ELB юoƎFhTd4it۶B5LG(*3t4t,>LS BrK {ٹfj N]lo %22vTL{Wŧ ^?$!f\dQ! /Z!4,cͯ06:, }ZFiwx:4@Ajp% >A;)=Ju-Z-qB,? э⡟rԨ9'X +O#.Զ\X9P mbAa,?{ g0* |\w-$hͰ!lgCb q@m@(ΊZl8EggsK";"mmHq$loDh& sO)]C[.;Zc S+#brфaRZxH3x淹V8j!,HBP!$";{#TDWZ9!h6mWt> ORng6QZf עȥܪ(eeu_}ws r"C}3݄5qOqG¶,-(W" .jtQ۰Gvw݃ U[+4 . RTT24^7Z>R(6ZC֛D*Br,|J t$wlw7eC̀]W,MN/]h4g و%@ٺF{P!rFGb7 s"*KS,@˶_mZ*:1`BC:^+x/ޭ|i6]X? b oT{G2tͥk+$͵m=)@u)ͫWJ]ɥHAb5#m'.!%>t*z~λB>-~r(IqEոY_R7lP4`4s"3qNX >LOj w*\+ 6`[aUZL1uf1z 8qhnTfnCQp~Wp.G q_ r#@ɤeG"D7e 웄ifmҟW6_XmT] D92mY+VH*;hQUoXp^阢,գ00t7$dV֪ `jުXRPZTC- Bj7]d$ ؉ICS4.@͒֙0:ܲq}-Q``!Icn̟)w:ttXEGE^x#}yVu!ȰS[%X%@1ÂOd(k-"PH(c0'0tH w^AVwb8Ad(x.Ɉ%A\|7Q~k2cqF'̹EIYMk Ab;>y WNa37.89%q윞4;~$ghi3N8g-U<嫺S-vh6kahx`_%EG06}TV_@.3ݲWe!_0J?lFOX=g1so* 0*&t4t Ҝ#Ҙ2:ql[ ,@-Jx[ԚQAIrm2)cK1֖-_bAQsŬWe:FCP8w3O"o S4HS[ȰcR1N†?rm 1r^c\Xi/1F(*[A oo.<㈲Cz21siE Qc$Γ밓-8b} RHI|CM(>AD ZtLplK Q4J,ѨMUmPљ>O ibV% $}TOV 䅏Y\|>ւ_ #`;{Ԗ 6HPg)-Hԏ8: J LMq|_-BC@X[L|1L+¦ ӟ힛qEnS%8/kJ¼Qm7\ v6Ѻ87/kud&4F5XYƓ.I5U  sEl: eb%8>TVP{) 6)(1`Ⴝr_3FP,g(5?FOT8Z[q bb곽Cek9NX$MDeM8!ZrF߮"#P8G* 0]Db<-(V~ǐdԦOh,6A1xz+X;蕢L@UQ=mz\گ^_`aWC_[ߓ"J 5Ƣ![G0o IO2Ԋaex$^.: o4^&`+b7hڭJMcu*nAȦ:o0*&9B2u ?Kڌ`خ@1op ˋ/FC`,=;R `amq7K|®3TncP< ]^\d*S7A﵅if`hŸF @KR%8T^@0j(@6Wެ("mE1 :hbnm5uSnpP%B&YAX)xkep;lٹ'OQQ QߓC=I VkƷPރ&jama< z"_ZGtxBgf[]N'L ~nd*>V=ux'~ŏ; q|&aŃn4yTy "ÔZŒȘ#?BaƦ;~$ܚ•^W2a63YDq4x8FHk9-EM ]H,ق5U!0G+凔;nPQMS5@t6cBy9EvVX8 gy_ﭛv0{6,P|YmD؞D]0@ҴMO*UfڃQ>/IO"* tm;xNyp׮ij +25arxírd>;n[swJ"ЉT&tT/4 F\KEUj;ˊAC)I!;ݡq+K:K-14Q7 !G{Mṇm5CÐσ'uk Æ,KjPX,> A(geCga`pe#Մ"_o7Vvu~"l 0??YQt\M/zANLlzcIJ۬O U,h -pDz 9k Ҽ0T6reTF_ 4q$I-sR[^c -8vP놄-ey}G݂Ƕ#pE~=cr=1:Ϻ "nQ9NŌгm* Do̡EJ蟈yQdMĞfBQQP`*mzVV["Se? ؐ/.Yo8% /,l!08&|]ӵǁ/U\g>ԡ AG^$;a㼩 .@{,]@ӺF.^K1bTe"*[Z26/=1cWE&UyiLY gW\Z 57(<ZB, XxkaW44[Z[_k1݂<x(W4U"&kePUK-F6A%_x|97132Kkq¢wb$⇚ǪO{p8Df3-R(Sm- ma!F'u;xp"zkaI0wwԕw,skpBJ|[ D>Cz]PW|1B${t P5(K۴EiׯڟʇrUt:w0GVtPX8*J{KX {{`` C _۞' AC&\<3&b苒8OFYJ8nYN@l`d^҇mP*Qoh?&Uvma$rޣP`3Ur|H4sZUtУPv+Ntz>n\JgC9blAF(yQ!xx0.@mW.?+ 78DV曝x["Odë)=0'2/?%"y@f#]NX~^Z1$odh\|{s @"mjy؀Q7J x2<"f]h[D\Q3~bVuro۰vCM{[>i*_g Ӈ]" ϏD we pvfvYmxU \E>NL::)T|d -vJ MoqN^O[K@w?'nX^#\%ma<;AޱG' [ YG>.Br8^M'SG]$'H\`*m3L[E̋+Hn ;>{ !:k3X3a״ >+ҝ&9 a{rBcuoSq\ -ˁ9@bp*δBZ E&Ўez;I#}6:/5]Dۗ\z 6w#p`+yb·%]ٵ"GvZ{B Jj+Vkq SS/ ⷖdF3+_[$1m m_MwP20onI/@Wo^@WSj, %X!i10-v/3D%Ls9.uB ӝa{f"?S9J+Ċ%#YX_S[SV)Q\{e1ݿn`[3ipt9L10ik¢E'TPpChQ4 u,pqv-]0"L E' ǃ?g9xNz?,N Ҷpb;es 8mVqP'$eEK@PHpKѯ?#%2䚭dd-DСNH7ZE67y,sA w)xN%u#Pi^?Ɣ^dR 3ړ RD`OȪ+܇a:'f')A6x#)u Bq'׼EQvO%bk!1G0 s O1ۄ\PRncͱG@vJm ПlC?$:D,tp\/n5I=ȭUH)]ZI 3}*BU5'QMsTucq>/47le .a<1/l@RZN[|/STG+iXImQxkgV[(a^TpPA,^+qv6_NTCSɋQ~/+ jI3/:iAk;P{B8D1 ̋JD̝2'Dx7;ou K_B`Wy'1wÈzx@tECv`qX HUdUp=Gw(z[hEKul3LF$Li2 4NO`(&DZ!?Q|Cot"4mx'.uy8g'džC5a<0 [ 7wFt_d yf*ԃhGU&th@t?Phkz8=#c, I䆴fZ$>YH6jS)J( `z'ygTp?"E %i4]o\Ukn.LP5m.889%lY7&gjK>ro 3ۦfn5w D)"cdbhKtE@6!a%S`1 ɲ B{~eB䡅G+ Gv=\v¹C'6_\$~-LGŃ3H`O)7IҗPn H p /fc/Ԃ_F%";Q(k A4r\-3!xyxmiOkaAgm&LpʟՐzBv ;BH>JСB$IBD$)mCz{:ƠQR-PQDq۠u V+,ett`A3(](JCĄ[:$Ǎ(jAΜtU)(Q0];T\pnY)?ٶclyyScl e&mzf fiQ2)  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[:g@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊8.+{[R;G?WPuv Eh=Nop_p4/r= ryՀBE'P9UH5|D֐%BiXqĪECPxa l,@ֱ:d@ n%  ϞJ7|b}yvm*"ߝ9)Bc {_4G>@^`Jl7<\-cO7HemɓH 0x+",/r?'cOg 9:ܧw)d4,lbhi3뿬'6aa:oC ݇8M[/_i)XSUW`]_IbУbB;ht5 `0e`;I@˭p3EH%ŏ-މfxd0TX:rB DZhLim7l@ N{]%J.` &"Z(m6t  3rTs08Q*\_K`! KgXf[@_3@&cBf:y)ϙF` ǒ~vXe Dɬ&3dc0GcJ[FGad)3yae@HYҜ*/11je*+ tvG= \ M A'A.*,W4.i"v Qv Y@ E}E{eheCEcz3 q^!!3nꋓh:5K_L's_!_F C8 @Yƌ:;Hd9ZS]6uuܞӕN.>SVMvi2\ `\@NK]h * M"U A"}cA:afxFI?È\ӯ B-+9IyQ?v FBBh)E(c'WDM4g/WzV`{]c;gy5*>O\(e |PAt9d?ir1zg*t9qEd@U>A<,u1ysJ:qf&H#ZyHg;rB.{{?% 1l) ~q2h_|%6Ak A&۷^92 ]x8SO{d`G%$ ML62YjA/z 7CYI<x"O wol6i;\ &0`6}MAva2 PԂz@=2X<(&og[!s<2ɇK/cL3WK?(ͮʤ(^&N+Fʴːi$ʹq<2V1\ol=DZX jֲ7))Yڎ!RD#stp[hb:nu ` ?\!@.TnW/HvAwh^cjLv oS,kT %wk'սd|16!0c\tcΥz;4jMcuƽ[a']\"E4υXW $gR&.Nc/Q~uM?Tm,'D;DZ=MlrlP(pnE/Zs ʊ~X> 1 uN}M$F<:XB94g? VtִnG_%>9wYg]Tbo~6Ѭ[!YamGjb1lǕYAI0X^ib[w r<:c @m#%ASWȓп7#޿gwDitI"Am49ap{ ю1y[HǖVHQ|oɎK0[aSr|}=#$C>? `6|o򬀂`@BDtjꡩR?#g*! "3.K{9v|&"^}#K;n}TFK/rr?H4f?_l"$`mh`[" /|DTz V5Ԡ.GN yǯf-mi!NR\"RP_Ynga~o*Zf"d Tw aӕ?Hw: ۥz\pjofs8Ogp<]:Ԉ*ܷ9I؋b/w]#jA݊Ux:\wAFs ڪjw^\=>؃ƀ9:P}a"x%AYZ7Gf!߻ᐧ`/0G0!SMhI5G?NU%i݊Ñw2c㣶pԴ~t2p?iؔ292w~%3&`arـ<РTR%P]##J*νRUWuY0Ѱ y]da;קП0}gcBX_y#}ϋ#@!>O7c q3A566cD̄x\d(dBΉcISRI;7+m;@0]:GA웄L/)*]J hEXu;{ \܄Q#nc-fWSsޗ)qv:̼ VSA ~>Ywjc+L»O7s7˙?uB~єYf37meU==aer@テ L@AN$l,Q tz-b Aw)9Vצo7Oz[A8{7i^Yė]K9*K07lDC(˽&v} 2T▘q%}VYN}dvxwvؚGbIZFCȕA_;sF7oVfEte¼#TC:g0k Y+_;uɻ >->6&má"08 keX0 d+VeuøyM:I[/eև}{'N/n0 ;}32lSHG?5˨qDzήv 3^|<'?P_.@VBF%%%-n=kse dzq9٤N/ad&Gؖ ^6o8{Ft+oDNja5`<2RXx WEM>:E7mo nv$aӍȰ^Gn&x u8e }1%g4+"a=JA.ꓕ9ʽNC{ Jo]a`bCa#MbLK+@7~0u7jCe2=dojOY\MI'7Nf_HHʝKiPȅ(OH=k93]%kPmO}$Xڥ‘B7UmPdWId)Xc Kru ÂjZE),X5ZsSkV zM{KU}^Q#X.>UʈFweS ]T]K5"63f2VZcC:+tT]Q)_({ψ 6p rM'h|{ \.bn$"N D,-Rx} 녃A >JKc>ᶿTbޑ,&1jZ4j74`@d-7RT)orTQ&=4zַ-X48Pn(-"pNb_ɺa.KN_5].~b;UUAFil"ieU^ #40a (s2"˕'s>Eq?TȑKDyޗ T.ɩWK| 2ipE`ry(6ƻ tQ1 [7Gm͒0>-'yJWيqx)%8]II`hw dIW'V!})SqsmAqKf.%HVad(|Uux j![jL#e{]mI&b95]ג#*_H\L$u%Z}ȱӪ_|'DNO:~+ ~MVPu;UX;{/y7sr|C[L0!Bc&wn3Z !a4ENyޡ`奼9ma"4$ټ4RjXALUbWXS5Ck9T%{,/DrGQA*QhiQf\?ߊ'vkfY'Q  K5[jɎ=t35-rѮ5~q=`l% Nk4F]ap y0zX']ʍ 8P;6ڥ 9b[MDt4ৰz]n(ck pW:4 ע5ePG@rc񍪋fLsQПhUbWDCOVpd-K'mm]up̆*ϱ! y@\8ɏ)\k.[9yQ}\+)`yk%10lx`LKTce^*%f⡸bA^]"DH(2$AX"E,ic.μUn㗇 (5?#qP'X/ )6r E"%)B~XEz(؆g +\]d/4@ ̏ 9>R I`pˡB586@B%2hȎd ;r}(@JPH \k Dx{'B Ϊ`LJ/<$q>qTzӍ^Zt7o;@p7d&$/dwB)p}A1P9QoY۽0gtC{jֿ͗V`Fu˖$/B0c=6ݿCh1^(-׾fo@19iAh~LKDb%@ҍ!+wׂi-oJNԣnLr@퉰39weYZCdoD)!4y*`CeZ=!c8J[j¥鸯a#d}n"w}i +"w^~8-*-O]6%3Ɗ"e@(䊟\5)J$:K:i/xZTy! ]PwxŠ5q $0]asTqqΦׂgm#y; Vy†=x X3/dԠ?|nX/9wQ@qias28:o qB1ʮ@+bsUKFAdBoŴ%ީGFZ9Pw;H3zsJC>a&Ot9T_ZXLʖ1Umx=j^;U8jOL-t+fӚ)겅Ŧ]fc|' }#w^`p `8DTz1uо^0^7NB,+ c<7a d[E~^~ȵm@26[[3͐w;:V 9p-/=ND8qߏ+{ݑ~ tUp,0 (Mt^Uykd)$÷oϑ\뛞`oTa{zYƩNЕ3*Y9Xq8=GjxP;'I_QJQ7`SP4e|J13VWLIߦe Z[IЩ! lla,: hrFaG㫫QY6j;q̜um{EobxZakf^/8si ݵԖY⧛(2Txm%װỌJ'}iE X1Xq3niVjl̾K[j)f;$%#h2]o"V}OkAb20~TOڪ虹łЇ-g?Е ;-vf[y &]9[>>=U; RNe}8IC%36`o.ӮX9ߞ~AD>Tj'BxJァaZ\5<Lnx`4Ȍ eVW`W+FeR oIQVqj2@|Y-1'/G.9iK}kͽ_L ` GQ` 5K) "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/XxJ$.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+<&Bp} WTph,740740vыh,s nqY^5]QqR)UcN=ɔTB4q31,p0۰R![{ffR e ee W^NHhXxXyy ለ]%Ză-h , ,]n4ˎ%Zg тozc5Ofg5&Q*d$Qhjww+ mT!Ъ`3c뻊yLTK}±`TKb},JZR-~{nvutNl^w_ԐXxcMU68{K.$rϩǢ[;8RyW<66xT<9y~zUQ̯jz*VE'R[gZRhk%T ڹIs虠gR4_&d2@ZC@d"ٕ{T͚j>-»30kQ#IRRP4ChpyDyt!q,P Ab(b(1lJ-aA ֫_f[K]ɂq,ὫꏶGo#aUȭ(["ISD)2߉<_0{@xc8Q 2B9v$98Ia)bG; 3(GnNEoJ$S5 cJMp@|$OuKk]l; X5K% .HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/XE= PgDH1-١21F]ْ 7823uo$k]$Bir;kA I[cZ%!  MU  &2 ֧PBy9WI1(IܣRA` pHEs,Ȥ "QΕΕsӆ3uFe`33\o2I9g !*b .g(!̔Rܮk5ʽ1]\\c2sspACERYp"4` 1&!9!D!kP(std3juu"bď`xĭ n~>,74a{)Gsfͳ7i IeU Y,XJaފ~-6y#Q uW%œkCWU 5T0ߵշ/K;xO`xSoX3|{zY{ !n %Bs4l}~|8l#V$EFR\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal *5K' PHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/XͶ_L) 0N_a3N8>whI[ .0d"5(rL۽4h+WqXS4wH Ks6mLGKL.zTpkcfs}%X`CYmfst63{a䤦-&rL&rRR4/goRKH(OĐCyx"R *98IYMdciN7M@lj@'"rA!"bHܲ{)^e}W=E~!y-lzjRLLU+\RZ{'"L+aN@Ca+h8lCGa3˽ܯysޓaצO蚴+{ӵ׻ȋ<˔vHex1~ժ\TU麔2s7/(jA.WLT2#+OWQWܼȾ8Sc& PJz0^=QC41yړ]fεQk5幐Xh<(-եa^Yq]r&FCW)c|و٭yyco]}pr-j7NKW)jI }S9CҕJHM(P8 DyWmd9  PpCC#C#ItW}0AB`H'zH$0&, ""a0 0(AﶋxͶI[4M:ڈҹ^D~ Ҁ{[Rou/G=[)TS+EVHPa$ltmg`R-rZPl/=wb6F5o&_5n~z.vPT؊Poc\L6ÇN5 r;ABx@|~ْp( `=yiN)vr Z) ڂ]4<^|3pN7&i٪ SC 9`ފ6ĽK%oj,Red5.v4 'lDߩ|r8~gCO:mV| .0 uCs"}\T4L;Nt}+ x6&.Twqo[+g.ep@^(Mζ(4poӤs*kyɷok2Fw7c#)ΗyRa:Qv./9~=SV?7-K18{ .j.4QD]!rWS'P*VYGDE.Sa ``{#:4Gd: U/(f Șm%K?G=u򰙃.x݅EizqcMz&YuflPYyQ֤p[%j\{Fpɩ-0n!%9 $4r uZ!k嫔6 E%)!)jKۙ)v`e]wp+d (Alyz{C,u :gS^O3n7@*HYN.]gFn'HU LD\7B R1n\DB|nn-[:= ȟu.5|hU˭g{ZL>cL)J̸aCCxk xZ |T5AS^./X1-0 U%1 K+ тX8|ͣ`UMBpk|ƻ~T&pϳ|=.&2N o}l5ް$\JN.*1t!m t< `ށeos>BC=G#x|\/l_B[DY-,=6r`r31B(G&‘W\1n Ya1-/JqߵQDЋ潙ayڱ#S>b •4.Iz6]zVٞ<-OXObxwm|.0M<|$3sMLZ+S:hN"(X;GUEHtNoz)qUb[h4{4"U)h:&_+绅Ʃ~ƣӃ!%̊p̺qϞO86DF`bŢA@GYXM..m}-R e T2*S5$U)p9L c{Ÿm+,5gƓR TXXJ;g'xr˸7dV:wˑܓ׺S7~,8b!tP44[F/ddqtʜCH ۥ J_зJwKf/Hs,IMeLtMj#>ffe\@W,yKfTr쓱ǣYkԸ)(R)pዑtwO.cÏp8 r=_'"Bf%Ӆ6j4k"7:㚦e[RPp)c}b(p_ `Б#[Κ9fk{4Jvy$ '1%D^@-`|F 9$3Ȓ ￑2mFI6#O@[8&{H.k,"A6\|.@G#nlؚ&=زfI#P\R= <߬ѹݗHO@֮ӣ)S*SƗ։ Y?܉,ZLhxۂ ѣDW}8Oٴ[)9k ٵmwro^#fاnt *D#x 4FZ$#V^W kC"b2]o)`# S~oߵ y4eI5Lg-cDÝcݳ9'5Y0~y~5iڑk}׃LRȯPIzCu!Fk ss"- Jph>M9IOlF8?պ |rXGeL~A%ӂK|PsKG]?;G,/!V 8e B.:}4QCd[eDq2+DUao kst|ʆ!|fE5ډT" 4vAz,`;WUyoNg_Jb[L&A[[բj;kEdӿ #zm}w޹&+!% 8KcnsaAaYq&5Od9~2CXyԤ!Gv.e;,XWSʆ2w'Ųms#*)27(:TRwc%glmS2paxਫh9H'A=vna4dHA%{63&G!s4}!ڤCSqh! 3Ak{&eUԔY/_;z̿ U @s2m0PYs"`@&R(T""")Զmbڵ۶mۣѶm[dɒe{,y,ٙtfffؙ6[3EVv&g~~"lg7V~"59EhDp(Tvk3"]ݺ"+"""""u-9VmDDT!l"@+n8vXRKPXʰP! f;rF@4(, 7hLPMd%91A5Tx2ӊUiےlɳloMr]fmkW'-I:]3L[UժVU]DDv{3&*DݒFW'gXuoInfk (@ 4 PhbA0@E58`E48PeM) Za8,z&[nlh`X\h\h@4$,<4х  2,d=zѣGэE[I16Y&`3ۄZ802Hdx8 6 cfîOtșïOdșosnOzaG4,T>|xF"BD^U*ܞTOd'U?[J*{$*WO"DC4DC4DC4s[|"?"m"'=m"OpPA8F{(T88H$0@ 4TT(( (@gaBCۘAҺlƗIMf=&|㨳*ds2Yg*WJں0J={I }gr $*g^w7/%CZ-:}ies\b!np$^Rv{ a.)jw*;3ceKM߀ |P1KPP7Oc?7=@rF`2<~OcFZ8C0)Cޔd8&!+]GXBp<X4>?I",v!idR@?xj'L}' atdiEt~2K⧻ /31,Fճ[պQRl̤qnAHXsJ̆a)[gu wSUb4#{pM&8j#[RW*}gi,fn^h˟L#C^)j>@l(%k:@ݬ+܈1Ue_|Ӽ͋VCţ*@x9K|,.2j-MΜ?BAysqK#&ErJ-V3o$h1>7(ܲ 0sK:n!fTezJ"ornnYٺ%F25_ȷn#%xJyEsCX-Y*] L$'(`n8K 䘉$ cgt3owH| .o \E ;@QNt/G,!Mpȡ`G}Q+ɮ NsJ㜌:/ֆC9,)gŔ^\ &Ku Ƴ8JT/+o0 wnw@uJ>.-t&pf"YR#Q+ 4 "z W@ mX#eO&~q,Q)YR6#֥EOf/ f$=%d"ٓT2(&ț}tx)#(+]ڵȗ=gHca>1I5b&aXz,y2o߮ 1`uRӟ,@;4G$.Tm"eRg7|fe>7S/}Bm%t|Ϳ7h8|TAaXD蟡}~FDi]E).$gCV2)oD.n^wFm|EtXL[tc:3GYj+m`sa>r>*2Ml9KʀVľETihybyT.@v?Ze`M+=KI^QDCMs2gP(#s }&lҊp^3Q8).MS0%CjuRSSq5osAwcIS6{V$+x)c@ͪUNw[i!9ógD a|Ϙ ~ D DS/A颇č݂k6JF ]dx:q8.U1qE IƸZBo ?3 4 (v",0F`\ >UY[&QRF`M-Ta˥1RENa{V7"vCﳡteiJePWbDC]e(+#!xY`*_tE$'+Bw)8wA|#Yz+R U|\j.D0B=3rv7IH, n w aD(a}+mb[+[%Z4GgߎY3!x Jሒm5|C&NYxR&2sJB^z4 .Xd%`r{I^Dl)C)i EC|`LRx1*'gGBSZ{B XFZ2J}G&V M<Juvaˬ-C!a4hN(=0ecs7݈?&68_\ ǣg7@,{aD3Fd": :0`l3w\fQv,XA41Q>3J"s|>d2_a[mW)vDcs&ToH#g]s`$(ז-{-z@X:E(mJ B("2eSy>f%Q@sJvk_M&Kr-as+'M_9):бj53h/1Wwe2+"CGR(ʱ"`FQ9d󆖩bwӓ!9䒳]Ϊ/Ơ|Oxctw0k[=*= t^p`ivi&Ygy*voPiN{w}v  fڃ彽.Փ(YXj4R9ݷ4̾lrw$aeb-T| vkO[Q7W8$5s e],j܋|$oi*uo~|fe.hKu\I>Z#D'gp7&Hm|(?d,co~q *]i\f U4ۗ滧m#bKztNL < xF.>[crd}lDlD#ޓ1 ~?&DI~y7q{ihrDD(6KVnnH›nLN4Q䏉Pg$|3~0K~rsN÷tʞCPv $oX~[>?P1j/ߘa~pc) fZI+ ſۇ2~fӈGZKͦQoм`JbF>Sz9~_NC(mzj~Cydt-vpك~MW p]ix1 @jر׮{J 1!>6>_'8H6dwb#)6`fLQ}Q=nU?ٜ7Ly- ǀ?M+ewH&Fj`ʹ G 9 `a!!_㮰=аRm}1xrgFb_v/nؙi R!wvkJ›<9YY+q:,z:n, eIVڠ8̹ۼ 5R?hqZFvFH atLr=Vʪ?z x_\G>g|Wk}Z:n@=Qr9=z..v(6K=Wdl\[Zyw6 9_grxqiaC zNns ..Iz38M}u_PNn|4&6Рg/>7 $ۆsixLsmOUWf(.' s~%CQ'Wܕֹ~w@ϸ33({jhKeq?LjWۍw J{{^$G/G gi*2EF6慀h2/U.X~˲_'v1;8,hKڣb7,S: )Oٳ[[ ~aՏ0nSݿ1gha[ҷ/4 lH(eIPDBI+vYP%JX PS :Jʴ+efff {{oIXD6-lH GdbB aC,"DB;,PPH$p&" p`$!8h!JT̿[3#M`  1c#@(Z-[r&(8 @/Q@E%Qے3(B(pH<п- A4IڭIF]O%9#Mۭn(GD"m۶LJ"M$D6߳1#"""9Cهoefo?lgF6K߶mn۶$933336[3햜$K:#"۶m$pao?­$[3٤wvKΈlz#gvKzFd<8rGj߶m۶m۶۶m۶mۖ$I$E$9333333333#""""""XLd۶m[۶m&M4i Xpݚl䟶"g(Yq ضmI$I$Ict1c1 .g۶m۶mv۶m[xm $I$I$gfffffffffDDDDDDDF۶mT=k@0y 4@hxHD( HP<0 B` &=|:΂x콾2]15@% jY_  0 ʨZ&$ʴ**Ivг-qlb/ ee lx/wN_w[ I} OX8_d(FW2sOb`6^s-8xqhJp$D0(qȿg|m[[ UhNdRUjӘ5BXTCZƤ *>{AM#q q$u@pFRɝ_hKiA 2l\LGn/+XfL8hI[r_.(=WU|?ICf[W T Cd*a>.ѓ֦}8h+ 9T S;ΥOpN?-Uic\? U]Wad5"JE4͝u3έ⏯__dս؊cԼoPȑU=dDUBi=ypnV(B ;Y_P=u{.b8%pkE,"z)HD@J~hx؍Uدk:DUI8U\lK5WP┻I„twWA`7V@1PE,_=w_17LNKt$5x*c.xEzK%7ͣ+/)Ǖ%&ȏLC$F+ZY'~(Zq[]` is*ꤕj(Ӟ᪎Xtjwp6`\ꢴi rXN VE80ruQj{{z'CbثhjIjhbfs)n~; YYjb)V )8ę+BJ'Zj cI:3 Q2xEO5 K&fewO¤hM.;4 ::ǮYcc+ J8(8A:].Uzn(Ǖ$ZI Be@[8_- ?Rh})t[Aڦ3C,{t8gU{ow) ^kjPȠ։Fr? ZpZÜd ncXΛqT=iFov“)kS52ت^"ٜ FJii>B4WKJ\Hi,xz[1UQKRWF7m|9K8y($օu~ij$S[xh4:O=Λf IV;ݩ.>⺹4I0"t ݯ[m)HWsItLͺ*xiDEsƫoc};ϯr{YXU Uۗ4!׊pR2-jS뻳.y՚[ =mk; a.@˲!E5iy?<lPG!f@x6\FIpU䳔k8T[bk, m퀲y.޶( u[Hlbnr6]jbŜFUzy+Ե 1WQkk ׎bӱ'vjrPBhÍ @6qРN.BIm` Dzi^P8(7h  Fj†'P ,e'bˤ%a*)XZIPwR|r M'p-D2Dz O-tI1­]/l=]O۞l2I.Y) ^̈́8F1Y=ΣkRln@vZ: `iB"+u\P87Ez VQ!X J-p˸Sf]JJ.2{IJ.lI%KpbgMuaLP@טbQz8^oJGx~Vz^-gJ<^SGkim*¸1]mp6`ZzZ[bLr9cz*ʡ4˝eLibQ)4#u]i"dO\i^T͏(zZqҪJs^mNLi[{K.Vԯu-ͼQQ: teFZSb6! `kEa uX$X-S쇝isb"jY0kdyPX:el@Nr2T@W5%G![w= ?ZZE~a)#Gk}Y+--'C~ەmO(|~.d2i;H`*sѢ JWS(C ,Xcn4[S-Qj0:7_CMmHbQ5yle廌|JS ȗ Oㆍgwv[8K?Y3G9' ȦdoMnL#Rڬ4̶Hrs)9 ni}YV8&oru9wDAѴ)rФF!1^;Hd9_aQq}`:WkLx 32l&4q?)ԏڋG --eA`~._ KXCJV#k N "K5HԀJ [S3@;Z{H'6?&^."qE9Zk0ҡG5RG@X0[f& plRsR 6gt^&cqG*Av ?K5C%k^ yTVɛaq} ,v)"1m3<ȳECwrWJ]fJU&AWH*I )"}@=2`bd)5P%/ uJb:PXq EtXHZf6^OOC)W'ƋV hlhaBz\'3St쪸QK蚒ޠ-؇R:'xz1St->b:*懓En#?hH-^${%Im.z )cqF7/>ިBW##5 ]8[6_MQ*#t>:1P3\te^"1hWpnĿD=pJd2^ N9Mbvz[ifkQdPAnHvN4X |ȕ: g,,? oR`VA`Ub!,g$ə"vx@&Dt MMˏ|#ĿMYB"IIn$lsgϿBsoWtE=h~[!v˩#]c_~C`;eڬ#2pм:7UU &>S 0Uo*Σ. WXAvf{c-2y]!xXGbEx4`wi9CY 4f k`ԫ3 tϚs[(\g˓~1ov/66 l|S&76%mLs%Z}$ SlscG̔B6i[!iO   ?bkѾfE{Z | X}< x10ZGe敬?GlQv9w_nD^8XU+])((,Q1 _jDy ve-sAC ҘT^eńf1*%3I?}ךZ27D5k3G֬uVBH]eGDwYUM&$FDŤQ?}ך]UEqfB}ެUy xwg xY*?bkof|Ҁ&& @LgC =0|<20 ÁD{KHSϦJD[_HԞhΈeVUU"JDbr*BL|wH&b#*<o5;4,ɄbI[zfD-U]V1Yլtج 'ª558PCCynǂ`])DVc 嚈H1BNt#BѸ:hm͜/c1G 0,,/0id,  ekVEy֬?;fgG]wZ_DwnˬʃZ5_UouU}{F}f*gG]w ߈5{!m;a%A<μ3T K<%⸐@Me,!O_ByH;4|% QZLRXv2[aVuyR*J- !YI͔+\37.H0&X`\ƃ4x@Z22!13e(]_!H0. Jnܣ_bTX&tf%TH(DH,Ѝkӹ#phlT?"ھkof+Vo]k]-˨(+G`FFaȆl1Z,ZLYEPыs=LMcr XYf.JU5Q]&ۗӐic\y2@JUl9{,[aa=+Xӊ΀@EGf(Zqu -OJHp.T޻r>FmBM|,?K.5T@F :B|{&EƦR\Uh?;D6&9<8?igvMLi.m M%I b ŔМ},.LmL 1JcrY(x4-I>/{-*K^/y1fj5\ -(Oc8~rtP߯"VcMDL6#0ӽ8ڦ @ըldS=¦v8l U FUXÚfkƭgŖjthI̖J+VW*un9EɦFWǫ9jR5rY E!GI6OTuIo —fGEC3#6I/(XaN{lI(L IQgv+e M ^O6ImOqX+y8pSw 젇nz&\ )v5n]%(ROLZTfF)ˠs/:PΪԶk1~*ܼ聮@):(-FqvI-;niGrEȝ<>6_D>lL`P{KZWAbR+s6wPBy/Ji3| 8&ƩvT:O&& ۬y4{ǽT;1Q4e2V*a?8(q胡{ ǘ)QRuABu&fJ,[~WI'8D닝>GoOX|RQw#l}8Xނy%"9_2'm9%x22ve@>801@V&MƃWe7lmA '6?@3Hʝbln|TSz'$;-$pC@5ܸv6&'➋44T.[tܺL~RI!JnG>T1`]I3\_ fdP`*_:F\}٬b:hd$n|5h2 rmC35Dcgp-ul@.$ )A#{5)ed]U81; 6+wy|}8ωSQH+ T@>IeMPZ:e`ʆ7ZqÁCB\F7᫢Uɮ%G7X:bwȍ~|;[ͽ?oxA(ȃ> XD6t+k&bp;e nGXHpuk2F5JzM=@)K"F4G Rqzr֢qX%%!IDtFxrD3<$B[uim=8撷՝@v| ,3ula&Nn9c&*n17*F,5 S<a*$/|Xħ7>E9P/-oĄDP>ZGo#g)LcXn6#Y1O8{\Uhu&_nx}6em#Ǣ %_UfZJ؛.\* ꢷ?NeK g;,dO+JTjWŒCiFT2Q1惽a%~Fm=Ҷ:ֿ/19o+ XsKRc}mea M;Njmri.Pa5 +y~dR4paCF94 j]?7 2[wX=i}a{b,{8 Z}av1ů?@\]Q%,hlیȳ } @~YC,+'[ī~LBs\&2Cm*@j5@2Kf# X^@ZW$W,6J;5hJR;gSɘ7AExȅ6r<|",fVTp8uF+>p4鮱wkL8WZ*,Ә_RWr0@B;Y)%ܬ~HrO0KS]. jY,mSrTL:s0(Ŋ_غ<I_Jb'% zپf"%:ӱDX/m?K 5wmxvyjuY"*tM*ESѠlͰ)sJGqdo8Gކ=K}*exەOډ_DOG>(#F Lu򺐙QȕV>j0&_gOd;.tm{u [ҬBQE,Xhc܊s5yDHw77@&_p/'/";X!B<AYtqm8sd/ QBV@|Coa'"k 0cJxD]  p6@Hd{FQ[aԵ{ Nۖ@FeYuW8K@W\f۪Ix4F zdGC˸ʠ(C/vʕ6/ g*(=<&IkRH?7Kf8wX]_ay0v:PqNuW"o q5%lhWQϐ̂XJ:+5Wz a#5OYIAd5!5)`Ct׷{%AO K)^R8'oZaz])IK '9Fi3b:T fe?,jD>R.ȬHMV9vuT\zC$G XSLǮMWJ=oZܱn2E(UL('r<]s+YMJL'dam9;ZaNQ1**wҴ &7]zDP=/0:1rи jcHҕ%H"BZFau| $\\RfT" os+Q.߷\+ØkƢ@G+A FGd//V?{++J^aJΓ؋ImL,Yo>P;RK%4("8M ql l^7؛~ p;r>*uډP׋BN6&'?+Geǃ7Ѩ7@6z+\l9 Oof=-(*7[b'$ }E CrJq;Ś 6cUUYClA߁qo؝֣c6U*']r V!gU ʥiu#s_NK aD.1\H+nL(Зi\D5P$8ߠnX)E˿}JuS`A?Ĉ}A$rK,`'pj, Y!pv<P8YSGW`P_d02yw<,z@SlY:~G|9wå ?U_H3Q|j :ϱ=!]LG/Ϙ_4Ȱ3wc8fbg-q6PqsH-ԷAj:%ڬ|aK$[r.A܈ղGS 4 _ \rv ϨB؃Jn#5o {Zeu:ζ4l-ў[ѹvm!ܶ4=?lҀ8G9VVGlbN@x'ΑzYԼ9W.L@4|;VxECb- ݕ$bd!m&/vl.p\'萃 . l;N!6K"ꀌkwy!(Cw3Ÿۣeri1c"ah wv4: ľ3,,諳\u‘dA zA84ٔZ3|Ffplqh(vy:vF=ph΅`^̬́zY \Ɇ?ĭM qLi5 O#$'|x$飄=I'4=S 8ҝٔ9MMlj+bؓTW$bvW_,^v!Z<7OR:-3=DMoX3c{7AA WM#16_+{G7BRIcil)HB&qa$D#4U'`_v&)"X~DCe˒%`*Q"okgTGf5{!)I&X/*+{'kp?a~ 6|';YYV:T'\f9w^r*&)@xlYzDH`{ W«|-V==HJ/Q5C|>K'7H!Ru( iYbO 7G4tޜ-;4e6 ֹͣ.jDjflyЇ˛SLbtJ:5spv?"$2Q#wkjD#"3Sz7[/ *A[[eˀ4PbYC 8LjGiǒ'`sZ3\2CA5`/ E~GwX0M0"GMI;6Rvf-_tcPv߰5fdȜ[Z䌓J#ZS&W+|qs+ܓ5R,JJV"L:>L3HeB 20+3V7UFE5l/h(f=gSRv) ov%do6lFa2v@[ Ў#+4>PPЖ%ZAux+"uq2( eY a{ipK\Le&g9HgͿsX\eOse ]P v'^˼d8~p_Yˮb]ϐiK˜oMGF Y"D nL㓰 ZUr'×`d= w@m,a"V>z7\+6Q` Vs̗4*u^yԞ:4\UTei^W3wF5T`~emqQ `xRr?P`ӄ+%V\e%D/VvúujT4Lפ̛C` ؐӷڭ ʻ.yL&U*(Eu EHizX0-)1hbzg/g zpɈ$cW^2) ` 5K# >HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/X,D*k&j".vDvNIqO e(3e-0q jI`1RbpaN(ɬSA$ kVc8ixiԝPmpALj $Hp B ] 4,< 0 PD)bY@A hD$ a(G% P,B*A4BX\g9€X`"a)bIX p( PX 4<ȣ,44{sZ"]: QңEk.HTL8D]A^Hj`о42Z)MI3erJN)9%dPJvw׻5.mm_h:iRZUթFE驩jH:eJonZSә奥%tD0YQ91Q xD6:tR3. ٦ww3k:zJ{xf9M<ݚyxxwgw ?^5sg?ME;<0S]LĽ3sԡ|>>/??G<:~>|>gxovg>fl5Vm;6mm6͆hhіuE@CA48P|  &2 *D 0 ¡PP'_I܈4!c9?b}®]; fmںc~83g hR^֗K^_d=)9 -F[B o܂m0-u=5//#/b+fV#5`l {>Nΰ|\w_6Ca7xmŪO~k,}cf]7f,ݿ4]VTM {lA!lj̗P! >xG gۨh i<bay[ˣlw'k̠ܽIѾU0:`GzӶ`hGZ o e _ped~&w E"t6 43u7+Őb,9t'20Nl9Y!iw'$Cza]&N]QftQ#Hu|abf(:5ӖS1rv9;+ 憜A9L +2Qb q|Eq DÞ{?l>&[NK(I.ax戲2R ^6/.pćq;Goy.~~ rxςưm9_9σN}fX^$&.ugi?_y̫%- ~2΁y[R {wd&>]TJ@yfh=Y''^@_ ,5J|Nx^AZc2jB~7:4} =7ReRn͎NwS? B[dPkJ -3 Hirx[TdR6[K̔K񝋿ns6cn `zܽYs. YP. ;}-^[PUPJvͫ86xJZJp[/s-'. qC4f=h~q[0 ;P O@$rD G@?!D Ve 3@<|WZMd< ǂ@ 6ҋژ#bPFПԽQT#x,&U9C$n%]i9fxhOxƄxCv B!ᔊ?i<)DJ\Yo4%^IlcnH<O A\ЌO_sNgó 2'C>ӏ''@Y~,~8?h;x+cudO~ ?_~3~ SCP+i[ ,i3g+Sa sFu-iwIHڧ?n(] dLx֧PZIy̨>`O%'=>>"8Ч%?T$< vIzdʁCic:!>1-;6t髡\tѪԖ9T<C߈!S~I'f;0Cw h4d"5(͊" ¤iwSOrQ?}> bKm_msDAaGiS,QzrPƑ-#eUp\eQmah % 5O% DHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/X N/ `gevs'Lbjz+MbK iSR.QVX zLQ!EڑizJ5&\cG@ yCeӦѺ`8# }'TC8)Gi? n蹌qrz8XL`ojCԇ.h п*7: ": νab ;PXbFoR$>xz"HD Ն[PS` W24e{t,{& :ZPb&-aS<"Z B:pR+'NwJ8ԁĤz[T.;^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal  5K/ "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/X(,HtïD'/O$DffflMy7X\,9 4,YUeq4z%LJ(H%:Zd,rhU8֘1+ RĉhfJ-OKq"gBn5X`PS7Dq$9+aX;] B(fE9():.EzN5V0(솓0Њ0rMTx48R45~doݤ鋏ݜ%PP'B`4L֏r[(6hU4,~CJm5AN@44<$B 4 Cß+j˂$ @Еs,A%K0%hkyXH1 ( <`-(0NFQ,kѬ_Wh8b$ɣd1I aj0Ũ&!BĢf% 0Oܞ̬|zxTGĐfj;0K>"%:LmGى)HI]uA׎I:!'09 AOEmh,AGJ,(b%ʂ{ ԜkD@J5wÃh`(0,D<@ 304,(0@Aa@de:]U\F6_-FLFTJe2fL̋V[D0xI[lyUUpfFIxlYzDF^|:/ ,Guv^Ϲ3>zsv3uFeW>chxWA  w)g#*zĭ1߷5o[{{[cM2wy uT2,xL  ~zޭ0-snwUF5;:o"o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodx5K) jHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/X5 `덜{YexCw?t B PGY-K`  s}LI:&AQHα)[mƣ>guLe+Jo!Otnc G M2=JE/?> ![male M;n- 3}Pg.^L9h cOW+mS%uPW Qwx0_d,'<0ʞH9ih!2<L=)kWT$~ˢtBOɊ0A㳇]؞}ڎ{3X]j~pȑ 8wwu5+b5bA Z'u[r{ ڇ'l4F.Wv<[n M #=^.9A.yvDms]R]@"Q{ x?C7 lF8%$I#E9-ȃod6KAMevXn%XţiGyivQԉYwҒjq϶qB i$l pi7Di $^㸐T<`x~xg)pM3Bxޯ,6_;SK*]ʟ]Ma8$_Vo]M>(lIJH HqȚW ~f{?' EbVx'vQ` CV<թl)6"l r걓IE T 4u-;܂,h9ff?d F ~B?Z \:`4 mDx\ +j/l M)Τ8=8GfqJrww?U*Q>VD?g}evz: cbwph2`ɔtZ-eDBRݣb!Eᣦ(6 A$-`,\R3+5 ')LE& Bĵ0 (ϯ\l\AQPnH>)d3Kӊfؾw$^E{m~hwԲә%i>,:ELcF{%d\8I !D(;7krXjlvK +qge6حx5/*c>^u-QsAD2 ^X-2}F]=IFvmnNoG{ޡ:v[g*f/Ht4X&s>/muiPLg>7jDvtrO ,ۖwVƠ|< Z÷CzGDZ QipuP #I%qR 9*{-]"QŨlJ\q`# >B0%TB|ֲ~̟ bԼ83F 7(W?h8Jؙ"6@$O!=~^E^R?N=ϵ uv9)=!wٔǥhu_nc7 TZn-heXy1C@heb֝9>i}@tzY߽M_Cׯ1E4f@PR>{Z2TNji0d(l Y̸蠇& ]ԕ?u*a<xl APҩ!arQO8C|Xbх(L5@kIոnB&rK> yk3JRl}ZpA~`&F8_ٳ4kg_\a&g+e?F ST!+d&L#-W)5} M]-`]]^|EXw'/$JO€FP:Mf٢`ɔG$Z{S#G%e\w+=O"=,L2P4# 0q7;û41,#**N'/k 'l'uR?tN qxcQ/3˺cn**YO֬dα~0[׬h4ZGe3B +b֊S"6eɂύ@m,ԬWO/ C.Q"q* <4\(4UZXcnPKh \{U<=4B@O%iG˂7óf o-8mGIA$W(vKmwաS5tmEdV;T~vm&HOLP{mg2ͯӰ1]=ͭY wM ȅ2.bJ{Y@@Dp8`jC W`Zj7;$Zݝ2-CrtC"'I!Gd[+a_O +[7wǢ NgyaASh1bˢ4J&PCg q:ۊr%aNxΚ\#J ҼajCpRXs\k,4k9v>:{n='Y>| ^hj-biT}r͠>:.:/`1.I~:!}XaAL6Z+[e $ QRWKcŃ{)Dń1"R3; TsRPo%-TIzgmt D XLt:`(<rUqrkJ o('3W\: nÇKsjm`*xKpJ71E6A 00 1Mmr!\yS9i<`c5zd^-[#>0ԉ9_=pC1,֝3V: Šy9网}zNݭl&[C4ysNHg_$>c|7l*g՗**ʛL5 HԦG:vD~y1@"uWbdCV!xM .t睌'sVǕ J2-o*"Z&]ƭkYoOY"fi1H M#R!&]4x !{ 2 D?PLB&\ d#A^`OR5X?-8(˪t}dR2~"jل1ŵđ[^x* wgqZ0>jY6NBYSv)br'ʷBkYHGV~$pxZ+wP}r~*JceXh |9_#q>!8K|;C]5ߵ0h;Xo5|PUPd knq7S7 t=WoðJ Lqۄ(>fU]Jwn_IށRyuݝqXX-*K!X`o9Nת+ڲ\r=fTV87봌Z!EH)~V2 *E{7Sl#InY (06zj9~7wʤ^v*<@K3Gݤ2FD.t-U R6SYucQYQyl8 ͨ\4ă%Ua)3ܞ*$UθRZę[+~qhd֎["OexАnSQ&w]30_Igsl3Vrp1U#F`g㫀'䂩yQ<(o"cd/ 8 L-3)<5N". BuǀDIE%) Y~Md_;_&"\%Λޓu*آ4醃s1LEDG)Np\ +`ue10}*k.[-D:J_76]^1l%.+)WPIھz4~q▰@+|/9M]_؆! S~ {(bcR4*ͳG{;hit:匐AC(5Gc3rAVjyE BHKQ2&zZHYG}WXBX.ٜԥبOym!(z)bxH,,ie;f[AwhB_UCyk3:YTmH ;}g~7)oɣw_mN;Tݡ7?0r^kĄDȝ5hHBP~$!%  ߐAG&z~]j[,W禱%TǗsV,#|Z}ȐVkpֈ!)m3DT=YfϲoA,F!^q Q,hX9A['1u1&C[&f7g!-uɺN˘Ԭ 6I/hUZX [݃%PI!)A}dJ ׈]3˛#.aa8-*o;Y1 j瘌{;59Ze3A8Md  c aB׈:]ilcU3ʚxksF0f$w3HwI#*r83xy#%jvA ˠn@@tn":Ö"c#d0\xA׭\V8_phjfTA&bkgDž3iH Qk?~I%1tIǚ&Q$r^Z'L&|뻍Qp]+S/y1yHPGZWICټUq,AP| hv[F#RAɕ8yp.]:v ,; v+qyhNIi&/^4j^O815.D}I1N$,HnMoxdgX#3͔bԲ׮Xnub9uQS[5{Nݭ7)\s쥑XZ)AU Z7&~Çіj%XtyI;k Š=I啭M)7B$T!'1Ws B@m~ ѮJ WdĿJ8?>}%c?[Xϑ'.hxΏkbk 5O9r,˵ L [gF嫹"y` maJsb~[rCUlP/ژ" +sgPmMTxg;VY wV9&CFqsd{Q)塗iG14Hz&n}j(ŽzRa%B+pi0dGNvr UFA(PX =~xVG*AzfG 6AbB_kB2Fd qaSk*M U;kpm|Dq]q!iOOXZ`E4<]wGBLK\s*yΓIFL@s5c23!T$*t*I]҆d mdFcTL hO.{#uO'%$[4[*й~ jwhܬb}.Ϗ8w;K3O6&s \6t:3@=57h|UI%N\ڢwP`2$Ikj%@#ċ F,Zr6t#47X-,:v|8gT/F# B~PufĢ*cM)Հ;MC~ݗ?TV} 8sl'; ŷU?yBX( h-/}򔾀#'~_X{ /]OW,e{;?UO̘ۭ蘙׈}~WP>kk ُ!&V#쉷Ukj:^ڙݹ޲j&+`qbKν˼äXzҦPxC:3Bt;_r:NX%EwϿt)]J K*JאD w.S%NG(%{(ERo/J̿@! {"Dx=V8JJx'ZxjaJw=w-"%;M^#D @(9By!Ã:h @D g؇mA&N}pr7B,Ja(%7-ȷZmAOBM{|uE%K֬ԂpX3i?o ny̚yis5cfà x]˅I/5SH0IL2EAy@P(A aa"nBn˄nFhBR+nL-bI⤡.P]GS;DB>},Ψ} "_KDgF[0_ F/n`9bu*T9H~sA W URKxG-|]٧{H _͞ ̪ ZtzNZG&bxbUYьzw}6JJՄ= mcT&o#$S%F;0gN+̱V_,\P4w>ثQ=!gtZȰ+A)%Bxx!wCNI+ݦgAW^|GV3udz(_. {׵bሓ0qN#rA?^sw"HX89.,X)4}IAV9(KU*ڹDI3*w#o=usggW~`FyP9 ͩ L>Ѿzu:i ,q;aQ2Xdbb|eF<*~Rz:'DM`04< `͉Cpـ>%?]ecYw ꈌd.N҂e=(jN"X!fĶ|1M)}; ''/2sIh\iN @٥C1wiw)zÉP2$:7vӨUN@sBV{A@7n4o/cd x.r{UٱEI2+qswu`PvU\}zՑ 2 $b~]O@:[Ps.>}"Si*~:;)$v573k>m@} ߴՈE>Ƴy7Nm+P{q'T_>?^w,8دN3빮2:wD/^6q=wDhĕ]LŢ]?υRW.\X,zRiBE)Y:tӜLJM@Vj6//d€A=+3`}O-ŖG]㬪H,ƬQ'> @I1[>4-qōppu>7E.1[E,`_[' oAQlCXReA=Cy Îϲ4B] 3G3zۧk|lHNI`O<ۏ; gP+xRAFx$ bnWv)P*)^7Gt9wgm*<G6m^A@t=θG9&Vx460cb*eYt^:6 3iSO)TC^M0rRmlў#g4TGnmʥ*Ik"Tع'H#[2gMsk͗Ћ=w[PKl)l[dž նE#!m|f#Sg2!8%pl@kZ0ڱX"A. q[ <\>ipj"Ҕ-boYRaϓOHXCI@ nl*Hx{?h`:BpA9oZ);oД'9KO 9/~Swc2\>`aATw7tϢ )ĽEEbIcUI vx#b2j˺%/٪=i9Ht`^;`Of* +D"zhSj]YMϚUTd-ncϗšxϑq`jVVt᭼p}Lxi e$}o;4Aޱrۈ ̆Eo#1K}}NX\2lY :o+/q>]uyZn./w ]qDLBFf7H+y^Ms  XR-J׵r0)IĀtMsĐA/4(u<@G~{Ąjx)iǕȹkZ:6#ߑ0zcFRn?V>M̵JbhZχ`6=xYv hAy3zYp;TT"Xv3h:WȀ.C6; h?*r@s4!S(G;$?IUQOGHXJCmvdҤ}V;LmFtZ1\4#_ &9 zK4 M)ѰY;ry9/g Cxpl6ذp1 J9ؐ,l tJ^ۣU Ǽ RMgjf\sI`KBTI+V񣳱sfkǭ &``^(v'h uT.*#qZ/ZzE8x;(/f6Q108oܜ]+&ŧsjvy-掄[gA8H2A,p=5x.Jx_^Mf S@vL6=.zx f 5O' DHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/XHt# o]?#[fqLLLLd:0s0gɷ$<ڋi5LRӉcm_ޔ QFhɓr@GXFC( k$ ((\\8d" Edi\`-k$h$P4t1y5M0=8h ]ӨLm^-QXV.44ӢIUlROBRc*)Վ Tg2 TC' ee gZ.G|k%%rcFXRѕ&dc7Fc E77P ؊L"sha-DGW}nϔ9M3ax9TuZ"g 7jJh&E1l>v' 2ܳao@uF#*yEf9٬0K֞ \bhCꏍm@2haJWAdC6;m@94͎B"nKڝq(I7LhX'D=8C%2-pS X-M:shBTO6rcajpݙLrpzy,5tpUǬsWt<(5+k?kh҅dȜG=%Jz2ZX[ M3BLf M .0-\Bx e vК|cBH5sZ*Ko5Ci o3hz օ3/ib택S<<^ʪVCE,F\; ?XGY_Df!*Q tRٗϙabs+=8d(F9JC dVEQ,bdtӚ]4s+Q0#pRo_=:S(zί)ΠIiGaԭ۵ٴ j6HYR 3VQwBM/7Knd2<s".ղkjוn-Y/4VP]5|+\I`!ʑM)*[]4+&e|4w\"_dqlܷ[(]m7>h1ߺ= !:Hf&ɔiq4urJWe#Z* Y(l)9$ vwO,r}% LzTcIs24@W߯όHp"+Ls rjyCrM쎁N*Dk͕ б,eB1!=|P)uLS_{(BR,+C֍֏DbC;=gk4i\ܷiUoOnCEޢ@:#N$Gbu Oų 91*훂 3 sh7w:H!=3;|i:O :P0WbF{AyBd-^gteiXzjnu$,l:-̧2>dMP2hs}ykSO| hڊUY]\ +{0L%ѡ*өΘi!*P7k?YR85a&yj@[|(oHQU1. /A+<+:Ҳ5}Ŷg YglH])<@$PeE]``&Dbb^~2\YށfC.Q3ω{ɟ]s OU> [ LM? >䉌~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