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_exportsu w~ytoje`[VQLGB=83.)$ ysmga[UOIC=71+%  } w 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+<&Blqy1BKG&TڳeIH}-^/#C0,h;>ŷ_`۷#`("xih P톆weNxּtP0| ); xIL|C{m)"q/35pS7[p΃p~)#y~gSD5EDC'2IU3q"ScAt"L= (QqƮ /ñ ۍ2 RnF35ˎlOc[Jk+RΩR5Y(Ulyxyzy؉Hr=33DŽb^2/0,0,Ҋt0,X2YByX2/Ҋ^"ҊA Ҋ!!ApP0dn4Nf""H"_VC9"|2o3њTIW2IԕS}]/= lI*Cњ87c뻊yL(6cG3T˙CPTK23~XT0`Tf\-__;{yn5s855S+晚;94v6fu<)"ݚmw3PsUxg[O<&#r"Z*V2QQĚ<צv):2[m]ԇP*\tSKĈc=SL-@PvHe6E$a־P&{8_zUT#IRRP43hpyDi!qq,P  Abxb 1jJlƃ`94g2ol:HMn B5{%q+bL óʭ?Dމo 6݊(~ҏp^IfnNU8ɕ*F9FZN7E Gb8duJ}xkJ Z5K% 2HOL-Nominal-ExamplesHOL-Nominal-Example$t#n UQ@/҂ ΂͂̂˂ɁƁ|{xvs*m)hgc`_ށXSPOHEDC<;:98632x1t/q*k)j'i$h!c`LKJGD65 4 / (  } |{wtsrljfec\[ZYVSRQMJIHFpCn?k>f8e7d6a5\2T.O-J+('%" >21-, + $ HH+Xs z T , / { 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/axiomsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex 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_Machinh?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesuD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/margF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   5|f - UHOL-Nominal-Examples:threads=6elapsed=344.365cpu=1693.710gc=74.159(/X{7%) MBp?x':"ݟ[ݬM;eJ00p1Vgߜa!G3J]dL[8u'yz~Js3Cj瘮31yŢhT% I(Pf!q+Uhh@1aTJi9$n9T  b*U_zq!LJt,o"ytHe!g#_Eld{>f]ɴye"B~CA!H8$!`#w,ehrƔCClWJ  ̝8834$D,,$JZ!H@LfqX  ( 0,`+ C%M"a]>TC#PbErE2n Y34mt!UC~ژau*  , gH!C8eA , 9rE  NB]}W&K)*#}:`Ps-463;*(H,@X`x@!X!a`hpb PĢ@H((@HH(4, "  E,$PH0 (PH` <$ 0 xh@b@S+`ߺ Vޜ {.t"itC ]r1,C|koC2T v&҆n]bc&ZΊɑMFآ߮W6JtΐrOiLbQQdF_OW_:toH,=tNJtR2iNycCl66dk8u.H2 w#5ecN~FR9BШ5,aDⲄ.y$e</ܹC9.׶ usH}U<$JS*ԒZSrAR[kJ3mG%SA%RL^nB4rިQA O- syV1l!|+S-}{TNe<-u9e],u]kCҽҊFmD-Qy4TڰJKeTZX{Y9֪yf[؎Tck 9~L>7_~Ӽt#7׋7qKZͬMm}5Z%:Jճq6XȰ-gnE-Dډ54mrh̺lt]e4(fMQxS8C45E?\2) zhpRmVsI߷itUmJ!$jI\TYCUIMߐ25ٖAB&Ug;1dI,Y^HCBe5^y}c=kʍ^|x:Kgys2|9WK^sћ/sqܐ6a/gmh36iޔ+.6ΰH4 ڔ5Ւ١zSYytdDd%UiOfgϝC)}Ҵ;:J̩Z:rK/u~V:5X{TGmѭ8b=՞LUW&sDVҵ'#+[%}te_fFflG@? 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.thyFwu58/7SޥzMmm6|V;ij&ZK*8ko&:Bfb׊[XDbmDZ \$(vGs;ӫc*JmCTJJMN;q$D܄A>[xyaV@ih>0JQciޢJbLR@.F*N- a+-7#}\8]hS nX`g募{`+һfYq˷MأN oBZKw 6;q0 LE`cI"[i]SedJ2ƴBR;KW+BfN਎IePOx^ZVF>]Jw*4 N9!g*W_$8vfٹr%"lYd4 FAC(;F( i% -O$#?2m:Bv*D$$Z&ҹkXM0A+\n%rI:;PYaҰP>Pp$jC'uRɣHk)RqԌVһ@ZyFXoiN9m ks$J'!sĝnUט h1mHbV]Ml՛,Y7$k! Ll8VLJ6LxN&A-, 3I߾ WJ7ҧ;0OL@E>3}Hnzk<}ҨgGy7F2ֈ;G)s`-Qe^/f7 ?<1=$j7]c%vo5`8xO_JhB 3̍ "w,t 6I!pdl?,8oڎ @桹̈3,","V SE5Oh.ig_596X!WjV2VIď G-\r;E;/p"JrorߝH\Rj h#- z"S@wLa2QnPB V' О2?C RpbLz/u]S؄f/26ݫ;cėoEM9q~P~u7^):L\gB<#e9jRZknjճ"7ڗ%mzktEgw~q BXYdM9qJٝl=l*G$"뿌Nٶ2 {?1 ub']_AznQ+Eq͖vkсl,nUvV`<[6v@,7+y9ʂ=Fi.2W!@Q[[xi&gb?fQ)jD wÓxd'`M;׎L&6PA X 40Oumʉ#E,-Mت%< F*qYvDCdXe Mf. tuT:ل+ӣ3VgtpQz}S-z [E:9mۃPu'j]u +xo Ku AQqfхX-KH^Κ,IH6G8ƍU@lyN=x1VFSgGЎ"ne\~c xLel6h<1W/YL N-Gyu 6vګ,CS.3k3:a5 uWސdRI%u8kV]dF__XdgWYˠז8u=&m↢` 煏!?6Oo4]&4.Ej@`epe`ʵCFmr<#q:lo[m׽0pE]̆1<(b`~Ԟe/ۼaSYgSK+#0WJ8`8jsQ%A!!-R05"jC"v 7kKf &?fnB<wK fD)Np;&;D'po3F9xrߑ%݉,ۭ\76pfrjfqtժ#=E63]#.x-̴=U[i0܈ ^3-'c Um&q`⋉4-sú;W< C\2>`긐>*n}SԓAlCzdGێCѽ63; %W] ʽJoA$8v4iήφ de"9OߖW:VyKn%"đMc'4ʃa~5sb%9= f{x8zՕ#z< 0HPxIxn,#0:3L{Hk}xa=T7my2b;Ioiz }g,TT+"'uŸU:R{Rΰz *("Wm[xI?+(. EۖJ_1*K󶺈l񻸸؝Rr !L.x5.8ȗ@9T~)hז,^*r@lAe? nT%& N k3!Rv+EBE#հMXt"?.a0}sNH =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|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+VF9)88>Y20#4])|&†L >hukb X ~#UoZZ9m$'(,cF~ݞz/Ѹf8MvhƇ۷Si pANxtRӹZaafyLXac F߱Ze"ȥ/1޻"?M4mH{@ƕ۞rtI|,ܭ)ǡC0M5JťT9/{"mWXNFXX(AJ!E3ZL#Nc$=)0bm.$R#JȢqZRwC;AhmyRkع_&P|ZX|Giw|mCw҈NB>:M6MG`UTWC3%VU6"f̼# r5-14Y{;iEae1ũzGDH|EciEm*Z&R=MeDO:\̐KcweFk`'g0nBG%O x_*C*$dr|j1aW?iP&UJ,TE>n%!^qSA5R pl=9" ,Y5F/_c\VJ{?VT|(uLd"O?tZ8 ?,cTX.id7Y=E46N3?8k@ՑQ 9i؂G;>!v ?@nGfnCdѷx-^;kL]"5]hpLBE6|YtvzU3QT͒(J~WSЅ:K8yrD5s 4ˤ[-ݣ5q-OEx8Irp[`0䭾є4[~R]5G1$rINc )QÒ 6p? ^kFsCC 9+h6^ؚiNJu,@xO3(L)H!e ܜY4{S qCiK,C> bPgєj7Xʎ9stl$`4hsO5G1a)_̠WkkU3gE]?,eL.%ŕvc4t=TQm=xg ,^NI~T_&n ^O2Y|2DbXf?cgq3J9tQo#n/yV 'ǴCUʒuǮ:t}E2,K F] u)` OrvͱlrlcVE[^1.2u`.CiĬa@u\;PJbC1)A'PDAVHJ *S"̍ +?|!@C-@ t'`.Z 8(Sr,s =D +4N@*1G$ !7Y z c4`ګo`ңD1 #=n^]no~&4z.eVcFzXq!(KS :{  Xl2?рkw_#>oW_ԑr!cJ'@At^n\YvY%FLjIh[/Vӫ]fޒjFR)+ 3Xi5>dZsI; @bRqgDw@%&p.~aZHՋJfN|v;1W7W$%@W=~}A[Q=2_`Wd}!ԡV6}5h+ HNztp~{ӎMtTBc8[7LW[S\?nb1(r2&Ĺ$0?lH!ʊ %c_%̴YC[af-2 X0|_a唶Qc?s dGɦ.G*Kv &kF9-U"&}` av}I]'1"4\'WT&*@p_&1{[R%1'ҩg׶&\r ;6J({' uڊl땆Ktc0ş$_ӘH|ZQmtQWz2Ѵ\,Wf+8T^ $o H TH4)'Aɍzߦr?$'p`$k~L rFtnѯY̞ mnE= M0gXzO'xZ냾Sؔq"!77\.7zqh0t)&QYoeR6GC!RV`}Qd]l%6%]oo,Dv:g?M-H1 5YٛRq%ܗ1_^"X$O;9B|@:Bt&[4o K[1pW,12],\)gA8aܚ7޳7jiԙ'[aJ^{̤NJӕj# y Ejy 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+<&Blqy1BKG&TڳeIH}-^/#C0,h;>ŷ_`۷#`("xih P톆weNxּtP0| ); xIL|C{m)"q/35pS7[p΃p~)#y~gSD5EDC'2IU3q"ScAt"L= (QqƮ /ñ ۍ2 RnF35ˎlOc[Jk+RΩR5Y(Ulyxyzy؉Hr=33DŽb^2/0,0,Ҋt0,X2YByX2/Ҋ^"ҊA Ҋ!!ApP0dn4Nf""H"_VC9"|2o3њTIW2IԕS}]/= lI*Cњ87c뻊yL(6cG3T˙CPTK23~XT0`Tf\-__;{yn5s855S+晚;94v6fu<)"ݚmw3PsUxg[O<&#r"Z*V2QQĚ<צv):2[m]ԇP*\tSKĈc=SL-@PvHe6E$a־P&{8_zUT#IRRP43hpyDi!qq,P  Abxb 1jJlƃ`94g2ol:HMn B5{%q+bL óʭ?Dމo 6݊(~ҏp^IfnNU8ɕ*F9FZN7E Gb8duJ}xkJ Z5K% 2HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/XU> PgDH1-١21F]133+ 7823uo$k]$Bir;kA I[cZ%!  MU SDfTPBsg (fI$LwVK 089 dR W:WΕ1l^L]Q٪{?7$ZNfS.(!sJ3g׃ ^Br\nX[oαcvpQ"2ZPp"4` 1&!9!D!L(std3but"G &܆;pq26k>{CKN/{V-C|7 ݧ[&^Cg}O9Ԡ[siFDM tJzPsNxZD`YbASI6[zEGcC>,*ydcbd3o8$ G ~AUTryE3UKLz-i9fWDƉ_-j2-ؤ<s^QPHmjRjjјd!hHJTĶSǗ/WcḘ6IF!02W[Ya(n*0 # J#=!aPD $,BsYmhS  "baW;ҦawWs^~{)z)櫙]^ fBe fW% S9p'Wzʼuɷ Ij,DSDDwNVKfoRbc~PȁH͡Y11si\yQ2MO3IȨHM@[}aAaC#Xxŗ5s5Auwjf&ɦ*J ⥿4*ȷ|\߫3/3_~ t^|N礀)R]7ХHuwD$RZ&/^ʚ/ ޿h>(riӂ zy^/ElITKﮯƿl˛'VQ˺Z 8o _6KڼNmTtQ-ˉi1<[mcXF^i=ɓڀ䪶q0IOv3= z_%t+N:f|M)7 N^Kv%Ԡ,ߊf剶{W h, MۖwU}Ë{aUI˚ =>~b$`?{&!775LC:2ҮC< &L˾PdТ/J-^naxpaHKh[XM~-.ry%3el$ 5| Umi}*7[:͓-N9Z^v[QqBKvvڂQ4㾲/{=lœ~@SJ-Fˀ|gjIau0fiNSq:rg du*".TcE@o%&j*#4 ^:Gmv{!7gd~SPmq/og0xȀ},#Oxm͒535ֈ=$턜M %rqt_C;r'}Fk(yldc^Lb T ޺sK0CM}/R_iTO_\5Wr8=1ɩ]ʖg˃hFPƶo;gϝ5il^l⏽p}\bob,.qV*TZ׺yfjG:NJi8{ Bpg3e`,KizuOky{LM.%{ 5)3\108 (JRv$'2,OGAf%/#CٮSXqcdPECVZ$ַiV=%Z A}&SM5Q {7E>WnAX`~a{ھ^D1b43Wmʸ_n4UE+-2㥵Rm 0j96W*?Bqٶۧ 6L;`@"e0 xV1i2) 1^$wPv`"vu|̖x_&6'W7XG1H< 6r6F E w'Wg`1*xkEZ6_R.74 B1Y"[[3'!.\,5GPpt 1DB uf7&U5,Vk RVs/4-_j {acbvWssUgOdR.)lVS##y֎dCJI`NsyĐOQ}QA9csF<~j )LXr%AA@2.q$(tt"ddU3`qj=13ZsDs;:]x|_tfɢ+s0=*'m[Ty:iU6ՆiH \$=V^,r9wMLjÏtD&d#l߰q(;m.q Ѥu0}׸ 4nL{QՋ2F#TչCgҘ iQ(ǿDQ!%Ιj ѫǽXθ4XJlp 'e?a` o21lnQDOk]GNt*%< Y 832ŤsQ#L9Ll{fvhc0X;T!k R t[3-D⚀ȄȝYGcd'j$*e/2HPH>9 iHMK(.0'SM%;^JԀ#GeVp ,F+6v ^3ŹZÎ,,ܘXMIT8 vyNaW3JQ!#K68qr- Lg} O V0h)j&}} ,,Qow(*ӐSU*1yȘFxדKcDNEM)yqaT5͘b ?TNW*CѷNGf_ r3*dG"Vtdr|!Dbwӓn%a#jt8OS8D.V,V?x_oqI]qCs[vsRy}n[9Ӎwl%zvW3[Q䌚%_iܻA:+0Lj:0GhًF% m'p孫tEu%o*tXTw])8stI܎r&ӍG6I87"&ɺetU њ[| +wH1GB>>fN'ɜ č((L h=st/*8 |7F.6D>cɆHiD֐3?]BrYLIJƏ,m6R8+JiO FMjU9hW hD6X`i+4dXde6@RH)(u)n`%j&](DtcUN&i O"j$P doLʭW9}"@_u"D(HMRhT . eE6daMqHZ ]M*5V*4v[z62A4$%a`{I""Þ ư CuxH$|_.+DX*n*V Po2 =^>!ʔNJ2$%bfff֔UUUUUVm֋m۶l(YdEɒɓ߶m۶FI2IDDD?ZroUnD.lD߮ZKnD >8$pfQ_-hDDDjV۶eJ۶mYm]ڶm۶mWUUUuUUR@OFb1\–AQ!BĄ#3v[ۈ6y=Gce8gOUk6ht}um0] Gkhy:6Znm9kjڲIn۶m۶mffffffffDDDD,J҈f߿m-ض-KUnKn#LE6ݪC[5-DjMv̸P(@@B",@  0pp@A`A0ЀNNa$$XTG0 6g@<ԬvU$xPpH8&(Dp@8 @L Œ &U-hfQ3b!c_-u`D4Są$Oe A<#GU%h ^Ukۈf]vfۭZ[<$$&,HD$"g8Ùlf3 ȈȈT!߿/k׮]6mڬbVUjUTEURKN;mKUnKn#rmmC4c.zT)  (1DI.,+ō}2S7$q$t!~`(ʃc p_7k:u1ݧ >^+@/o|oBh#Ĺrx(3h+mc%'G j[ ?AVPf&9 C`iSXhU+l%_o (2xg ԝ2|8 |̓{✁KxPI VLد9$X0d{mOO7Ņ?٣-!j>mDKc . fs؅^X%Df 8/~'0o޳9 'φ 8H'^.IgUasyϓԷOvg~Ww2nۏ%Kd ڍ3vxn(֖H#hp#).UqdGøʃB뭗biT9k/giիOc,tO+a 뜗V?QF!AZ6%e5%3qAt 5J)mv(н~,l;Sh? +:cә,9~E6ʔD}t8#J}]!~T3XI6 ik=SA"D/wċJΑ̒Le_ YlojI7T*Fp K;g?I%2Dž4+V `)G܀&2s'na@$ m{-nlT $#o0Űu^UbOf"\&l)lߚW*'F.27 0Ņ>S+ 2Cp[n:bmgn3oNwzxtggl,6H8_ٍ%\cuOAZczZ$j#pHBͼl*^ew ȂmhOPvlae5e؆l׮n -z>"ڣ;Q%bl/>cҎD9+JXJZyy@Lu~9vk00+,F`?璚we3i(z#cMen޾ޠh)ZF8+ /E=f= +/UZBϚY1V|ܶD?IykJ^)Q,om ޴,ރ]\[vAg 53|(6;-\O햟AX~b{B|^A#q>pGfBno^O+ޜՏqdFLYɁ9)S);Hjo"~| 5 ,,O?"775k6S_'W/8 _ŇcGL@lvLkiD1 "18Ijn:9o*nsHAe/[ɩ:؃3^(=? tsK0r?t%㎋3uIjGؗLjAZƒMv ܎x1 ֙: .v ;.5xh@X^lH)7ؘ8VU;RM|%݈{6 hb_@iNoi>. -ʝ5|P4N{WJZn1sP/wH(-PClXIK&'?C1YcP8{>I SbqGCxҞV6"Mw( (+- Cv jDf\S+G1| -9A d7KoG>ֽ][ӗRfX|=GmAmcޚ?Xme,쁞< 3=aiT(o~BXOx7V3_Swb Ob5bޏؕ^60{C) 1>y o $I1g S?#*&UxB]p;Nޅ{k >;y.`PR(#xOĵ^;W6mE޷#Ӊ{ýNC{/fdVRqQl: pB!)5m]~Uc#$#cu߱8*Ŕzj 8h!p^'mO|ڨh5_d/rY#~ߪ+߸/ijjALa(7^<,众}j#}Ķ(@be{^. DM60z+MÈ瀱yHqφ .4P(R,FcJhګe]J4o )\(P>Ř.6%gAR֕/Ym`2N:_6vC-G2tUtVL@oӊBQ9ho ^* 7 6"Y unDt\]f{i ?lҹxPVuyh5f2OL%Q{-"]uydފ_=/ Վ/hM8epڀgP`Ƞ >։g;ܠq RmLεWipUGȴؔ| a4CvIkph~"f4pʌhcFyзz:Ce2@Hjz46z3Wmg\h|qHّx@ҪKoZXø6VrFq3ox+W5XCo߸ Z/axK+hwF}zږi1?] lQ@¼9C_5r~ى꺺Ν`ȪϰLbp6MT ^ɵ4ezwfWi\lPշI{\mZ SBzk9A6B ,oVR,m4QAXF]9][}zF0-#995߱XVv^}jF7vjpۇ$w tzL*\p;@쐤!Nmw3yޕh^~ .X )l-%N[=kl32H:}C E2YyJf^rI=xhdlދH^ڠ9޾0DյCؚyC(6TODw$3U p OJ 鵕QvKV|P!C"F$ 9:@<$ݤ?햬"m,"M.4P, QfKdg 6&o϶m۶mm۶mem$ 7[dr,±"_U&l&YEY۾}m۶mn۶m۶lٲe˶",H"$H"jjL&6#L&6#L&6#Y5>6["vKD3Mݒ"̪m-ϟ?۶m۶yn[m[4MIdUU̶m۶mH$UԎ2gfKfm۶m۶m۶m۶m۶m  c1 ( `Pd%YED3Yen^p, o""dm۶[8C_~[l[lvkUB$9.wUUUUUhljf:33әnܶm۶?s=oA A4-(0,&8  4 `@JB =MTt,@9 /vNy6Q] j{ؗjTӤUWD)J!vÎ:̸KcyZzF1XWgI3g@xWBpJ=J0@٘U>E͌banxULgJH,jCdV=ɪ(WTE5N74+CӪ J.L+gYcmFTAo)Y%<̑t 6Ց4"~"q{.lWpR >k6"avsd~ f̌sIS1(jpؚ7JzwBc9 z+eI* .ԍ[n1Y&QO<0˚9m'=, 6IhS(׮xgslR-2c<;RT!nD\[ȸVʺuI=YD[X6,=_,0kX/S TP1MHA׫/Čv]%(I9Q'͐Ϊ/)OCCE]zj׻3ȁZ==UD]quhL^,>kt*FIAQ[G8Xkyz@ΑJ,Y䀎6tB D:ݷ?)YcV#6Mm'ǿk 39^Ȣ$<C9~z>|>c5aUOgEZJ o?T=b4,?ٺSL 5*m$SMOI+$,IX;ZMk5Z[9h\9c?}j*flvlB09} .$J}l3~R#G }&&z?tؔ[9X&z"p߽sp UHS1>ӫO_dV.O}'L&8m*]SNfsX9Q>BG̠ʄ,BzQsʄOⴣ[)'x`ۜQE ֞[a-]%ڈB% /pcj6W[ݱ'+p}B]9i F G4TUgk&}} ҲҦ }6וӵߊ[9#G;aUJ/A:*V__X]zA*mՕ}ԙ2*#ڵJ_tj>]o |6' e|XsdEK} 1P Iztvus&B@jpQ[tkᗢpTSx@FkR:"* ّtϓ-ashW3&;/Rk3)ɏO!V`t$XzZw>vg,h5#~fUe E(vmT~7F$YK ӪQ-ԶҌ)Tͮ;'Oh4K_e{,R`ěP%ժ'["@o6rʃTHBLA˞/"xI( 'fh_}ƾB|bU,ynZʆs=B`_MhL6sBĒ"T-~VߥrW&DSuag^T~o.BWuW=~Uy/o:+8 kR#| djjYwk Cv]qzuºʖ}kF[՗"pI!ºK*H['8 "(֭TV*2$iV*Rl )*RVuVmz[U``"mʆ v[UmӨT(@lSny+(Us UlE=2oޣl`Ri+*kWѓ7*wH⫯|ZC\cTf 7WNNU}bjbsp6 (A8@nEXlu$25$SeXD7bS$4YU0)@4I]r]šB;1B"zUԩbZ4)b)e\F[M"#H›OWRV~*ڗRg+Uq>1k02溎TV"d`}6o@n5BwsU#JڼAs$ڗ@nT쭗e݊l؍emy6Z5y>˩dIkU TNȈ˟"7-)LUXSQE+M:aWiG^, v[KCbujj";*P6!JخNk*LTDa.=ipm_A6]VJzcVЪ vy6- $CP ˺2DU`՗8o{u>;hBVVT/\No^lrnJG?k.HkJ(V%KpPxċvOOnзťi Rn PXő%ۍb..@U-vbnOi݁BieNa4ݍ!qw.yL%IC5ꭾS@TEwJIZQח}j=ruH?Mij%˔p+'0}Kv*HވvW\:U⣩G#SI#ֻvZCuP,mOkC1\Uλ~s>]Tc`X Ż84eص -L$ WbTl{Mhw`Hrh7RTMޗmTFۧLǯdl:~Z2*j٪h:RIR ) ,Mh*|ѧ:ArK<>|Ɇ4M(QrUL(÷* +$g.XIQ-*$_*6^kBSCWHUm{G* ( +XE?fnEv}h"gXoPYV@*Xym-5[WD^oVw+@DEy\p؋ !uXbUZJ^P(zJd4J4yV,L덯C?&GõHޙ@ݥH!zw|Meջ3>LdQ]:y^5:ET&kWOߨϊ%$B8uRqݫ)YXX-5|SlÂ{QZΞ/qF 0SmBq I6,B2kxY/l h®ehNAtl*xXAHڸ䖄Ꝓ4Eʱ¸/ U5iqzriů" !?L%jQ|J͵J|l! ,qeBZY} ǵ eg5+Ϣg\P82!g𬾆XZԄމbg3z V(Ebˆr<HJ$"cY쎆P0.El#힂XMHU Ih"a>j30+:[e=&g75b5Өq^nfҳbKZDyVJy [{PG .AQV*v0^qO zj}L0-D⫠Nu^ KN˚hݠIɸV9u { [ kv>%]*+:]PQ)F)E 1CJiR-і-iBD) ujC)%%ZH#(0UrE2B`b39 K :^;$GhCޞ/ b0X pfOMྐ<;?KnFbi)-аI%>z%GYy &y 4f]f/85v, ;&Rl0_9V @+Z1,|$AٴNdS|._2Zj;4Anl v!5abJ<;+),Y !QWg?Ҟ4vZ@/Ek:Ɏ$1轷Vg10ϥ%' fX:h(VlHuxGsL j5y\m-T)fx|sDXǦa^eޞL_h![y 4*;6G։~LEnZ|`dC.* k2sTBx<XG wFCrX{n*\ͩ ^dx5}d"8hhWerQn<ف8~m8qnj/|k縔V}?WDmդԂɤ?:C^Idc tTp&mκr}1w=0CnL!:*+e@ilE0WW>X|)K[t ߒ YH*1Z?/(.VM;%%~t>+5pyebD\Ť#E|)1da~ψu%@R5P5Ff1!ԢR˲y=\J]hڌ@InVX'0Jk4~: ŵQ64W ~|"C([? A9pN֓ |cj{$جvdOceq |s6mXi߹m+P}w#@О xUCC[j4_J?nQv9w_+mE Nt411qEdQ5u,ɯv,keuaQaHDT(f1*qYY?;lo߽5sUo#fUGd2lRa8?}ךUY"`,}Uf L$"]{f*w_DZ YkJ'' pMVM @|x@fohaQJ?~B< 'ev;b!a%0*L %"EsP" INQ9.3#ڿkkFE(8"՚2#]f*ՠw 9YYw߁Lά =V "<@ACF`]1&{咈D,c e&/GL)rş1A"QbqkVUwR\fUomr2sU8 (s00J8Rk :<0&.*, D  (Ġ,CnG;IpHf6R.2ݦCJ5&wyQK7^VBF"~(_jo UFG2ևSuMit߀RWnƮ!ʷr +6zL>ҧ]X,?vj^cH*(Bz‘y)7^38FKg${ߩ jFXL+tSC\- G>n 7d@-fq7X7$'3[L{a7VUkM}-7 nNG,r8e6(ᑢZW`}2u  Nlvixj؊m<]]mxyS"ēD͚X> C$Α"̈M5k.G @;)vrj}'^bа~82diJ:cԌnKIgˤgLlUi u^q~U=J~&a&6Q޹~޸䩀&?3;?iDJL]FAz2J K* Έ)-ߔb=JHPK{^ gtWqnh^RdC: 4/yX pI7(CFgOq{%{یy*5@׬_Fś#S3LkAq;lW7I@BgQ3ڭg򖒘4c˴!)m\(tl Uqb?nW㸳t`XGq3mazUs?7ȥD7$+$ T@}>2\x=+YThV0jex`A՘f~*;(kfTMmuY$ҿRj5~RLZU%"fZdX =$2L% oHg Dp_I4n"b8дÿ;IV89՗ɽ#hO;z :;'ֿvQig*|A t))chgwLtiߌζ"@Yv+NgL|yЃsņC#eBJ{nT yǿa+9p=7osJH>9pp=72εSїs1Fj7)FkA(( VCBd?7ƪjC& ,5_(SIsZ{}+ _Do3uTɊs*,׳h0a[3&kaǽjkzG/AM ŕzS0%r#c#C]vkz CKOT2pG> N[_y"6I;(/x997r|3UIIbhK5Dٓ`jM8\*r|f 7If~ nٵ96pӆ5dwr1IDՓ8pitsjeM Eޝ4Y&rwc銚T$=U@.@,\Q,pn9*B ̗-m ^MRa&M}rD@M`\mџ {LF*.Uc\ff%62Pg<8aZ\aF}k+uggR3oX w 2$rU!O=gA%p ime-Yن//_5n+* ʹrWP^whM]~اz0ʙX[&Ceo5TW9O6% cƲP(3PjO htMO?9I 1Rqb5>L  }#7#y*ʿjZw@.'pz7@'J BW֟3F >roʤs~SR;_ \5:D2$3r`兰ݳP"&w}H9pfS&U \)Wٝ\0 7-_Rl !*efGuU[ b:-JWrM^',Isb]C\$=MhM#zGi9Cgx*o;ܧ-"zTsKGK[P֒0Qrc6 F`ER4%m"CidY0OQ3Ymv ] O3J(z|KdI>/\?/b[)?֟#ًҕf*-a&_jݍmLiϹ2MKgFA@2_I"kqޥbD (ތ%;܎1'1_ȓ Wbɉg;$J: Oa!o!IѰоh,sLi8^$1ʭi\7J~b={̠0@߆a nX9 zyRxmk|blX6[Q~-? S!P4@Ͻ4Hl lċڨsةm@_[(o#V@MI+ F%cعoܶs֨tpVȄg(ЬqJY'puk%R}Q+Hw:dd1XkʹTraNhW<$nx/%Ӳ> 9gY9"[IasKC+ϱMGwS#AU9շ}PKB:oIj.LOEYgx?_(\T]ȫN#s>ebLR*zj*Kn,ǔǚmȪCjhR1z7'A~:uz[&l/&#{XGM[04p)5%{( ^h9S}`Jk-@p`n?}{kNTp+rص>|.g440[{mΗqԟ]7͢i p]L_qܶɿ&">aNgn?/ʕ>(v,2pM)1ɗP.j,NAI HJO@~ SFɱ_UO?cM m[1}H!RW*IwcU 'fGwF4x٫u6 z*'yz'n[Pvnb$F굙A"YIۈ͒ L2liB6uSuB]"vVwJoU;; d!{7TDHՆ"[#ؔZ"4@(\^-i9K/ I F*v~5)ttHX"C f[ATMfOUfLSgV.^\XuIms)P*fnKB䔤 z~rI4(tc[sB-LȊ0igAb Ԡg j=Q-^OwDn*k+^˪⢲ 7xm<YVZl kn ys|-αd/D%BF T׳&ػ FuN/\q}>;r( @X3L=ÊAŤbBw@*he ?Rkr2|g5K^Μ5z &1hsz%a3O3WyZ L!PzK,<ڇ"%f[[^ʝ4Gh[ܮH״w]o B,7*'P^pO_vf=j>N1ʅ6J;un'jc= ?xh ?TP_4wa"ݞhx}J׎SP&:W .q0N!D=!yepe = ,jݭ|$ JTVU:͝7YЯy+ν3BM[UcUS\Va֪ pV!T6x+@~>heJhX{z`9Ċ{Jtp)M,Sd"+5>t Ke`(?*;1k* hXiZpH4%6909Ժ~~,2x7cAZm~ͱVϔT]Cݨ@Oz|;z|">G%R p 9֍Ԏ:M*YDڹ"3U\r`R6kWRiRcS.55K҄تK&b ^JTin\yҼR6'֮Q(ǩN : u;LuSX:4qw~m;ON~s#()2RDH NUm iOWfm+!w PU@c_KU0&Po tZ;-πB }`A)qds N|T. y;.^rNpFՏ0J6yHbǶg - )Lg"{P/v/ĐdΈ}KN&4F?C|0Qw&Ό\7RO# V*_^?]L{j<vܷۘ0́ӏq9f Psݝm{ĝJ?Z ۩;a^p^Ƞ=q ^6=ˊy}=pXt~/LW_FpBlByW*[Sw^Pq_PKd-rxע*sDz-d@U,sPn`BY[{zTT3'g:Ehh^yxl1]tbe4Sf+t) 1&`~Jҩ Y1PL+&fIGmWCCշ pJh=}t8A" Zu k{ ZnvÀӠA> s+ ` ,ε <C;^>#=#=lY}K\@A4Hw;CzM[a9AU8(4zU,Y .|HE+**Qju^޺0cɗ˙A3C|;QWFN|l7aQ"U(qx8Z;YQݧ\h+%}pm_9|tepjܱʁ)[t2K)y0H2Aڞq.bD zn=1gȠ~H_p:3AKuFs8DZ{ F\$Rm/wо3F)a: ;|lvZ#G/F_ fz嫆(XeGVʼ4e0*Ŕ% eMO)-eusP1RڹX_mzult1\"OL Rl6M}]{z)nj<̗+\G_6(Gi7XO?'{ +7VcSe†<.pɵidA L֡Yh9M˗^/USK-1`T1:? :dE[:SNPqgIG|$l0iRdg]hI`]+3Ze#bF٭SJ*UV:rbCzFPFwDx^!?`v=axtNbǎ2M8X5Qwĕx7=/P+ t(_T [U8t0Z Cbzj~ dVǂ8ЧVFa7+ZrtKa8̲҅nH F,޵0#Uh7/Dxy%Unyu+z[ UMҒ~s"PFFkQfv'&D ~ !31Aҩ"F:ՖEt%eE$ 2<8G4#:>132.Ӿs &V"=V ,,(Q7o_jZ Vs>ITwLߚvHkZ_/NP);Z#YFOȀ 5<EO`u*720!]C}DCUdu*H8[1/=l+WsyG 6֙7_&0CHV;AfӢB!*g\-$/H@FWy RAD$RqvNٺko#WcKvGR p4.H !$ **o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methody5K) lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/X=I `G덜U:!d ˻(R" wD87drJr"n[8PA5Y7w,ڃl뽠9f[ .Z ǖTX fR92-7A õl9dIK|M2I 5K# HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/XT**k&j#"LO\!Z;S#8~U e(',c98 -!B-I,`ը9Vs5mVQToHQ0΃by1P Kq6 re`%$4X?gD-,K41b:H{hփ)9@,2"Yf~Z2\UN". r,Gvϱ9 9r Rk,ȃ(Hb!`AL5D},}bHg9W^*$ ix$pV(C  e 0`@qfU4̽h3ꁓpFAy n]#I K 1(ȃi4RCG}[om}oۿ۷o߾߾d7]f*"l~J)6(dM2e„ɗ.==ɖ,9mZE\߯^:hBȊ9Q"#BC|tdddC&)R=5Վj?=jZ)훛v(횚LLL;vD;"G#vD;w~wwwGi۶mmfL*f":ffffffffff""""""""ww.^1"Dܻ).Bw 8oiJj&m.GQ/???}>x<}>ۍvюvٶg}6:mٶgyv>m>g?۶gl;϶Ϸ|3x#G<ը6֌f A20K  (4 ( *B AP'K<-Üm^+ݝH}[]V[)35%d 0[/\O_`n"yޮ-5}mxߟΒ'~χ´*Šn\}})dH܋ s|q)藏ߺ\?|-|ܜ!k~˞MĶ*oWQzoJ̮Sy4԰$Ij_FPO')\B_JjEl O<#@4W0B4<ޙA+lVVt[ cHc2sK8XNmhƗyI6 _F)¿yAٰl]O7dߓG5Mj'Y N]e1Mga"j*~۸gsfÈRx!In}_]ԉS~枳0yEmGƙ Xܚή>+|? |E7'hiޫbdlS&~Q|T,i6{$mwȼ_= c2\@r-&N!~Ǥ} ct>P9Fq; <ly%*x6gYzZf?_v 99T54OCKK\kcmua% J@]/& o~mpОLKQ_@Cݦ3{V6\Tل[\e ^@M6k /=&ί/HZlRq$ :_wa)08dhe9(sPGA,Yf9(s;AG<Y pr ;An9y/s<⋼ `D<` D`R^7D1. ''LN<^,(/Y Hrb+ Ѓ':k|zPڑ˥6Z T8@w 1P ]j8q i(?t3hE }'@RX<}ϘA p?4g"!U|  D^,.ϞL?Ϛsr?(?_ԟkZ<%`wGLrrG#&?o~H1?F8凙 O~k+'d~(5~QN⇍|~4 ??{Rx `iGsQ{[o}t57*ܰN~;Xjt'/ﮌͻvd.)}>x9h;МO+j48HY3_>,3&|~|:|!/ܭIHa?> ;>l(vs*b\Q ')xޝh3_p$KC,}ڃGG*|^^ϟ~O a=ISo==taR\d=_Bís=zvp,y9AЛv؞60p{|G(>}gx"Mmp5/H\)'gxĖԧ ·K?QgWewqVg[u:ktmp<YTX XW,n}&JO٣\!" ^SL먴qftpQJȩRhLXdpX,,, $( aP  # (0tWAZazݵ?8㿚t\93&* maq,J%xl>؟j #%Unܩ9"eeWx{zܶq1@MVf +!okAX95@xqUiTp$;&z¥0d۳%S@׭F2E ^6ak[d C:K @A ` "mmaWfǻKǒv{bYr#HR{cz~;*P'(O`Ѯ7x*/Ś֫$M < G1m #ήNqzHJAcU.\^|d'.9.dJ>xR80ejm>qyb L8'NnqH8u!i_0s}?%?:ۺ͏_. Nq8Ȟ#G n,~eNe}Iytw(}6w?j,pJ]27FQ/ ?!eȽύg*F@?|]֎up .%< FhmQw@=Zh&b]c< 9Ѡ/\eb%y[@aV.KF+xy%7XdXe9U3J2R{@!5<=OC]KFX|V_ ._y<#[{k%~cx k߾̇w K7!ܝU -=ަEׁ 鬩K5 !N:3=L}ܞ}EJV9yǵ4;uwP06k|"ը23jPjߨ>>˗P;kx.6Iy-S $uD-"AMnU0elT<˂zqaSmo^–3X,νAKkL9h)d )^O[FIůj"Mv0׊G=N&,L#acST[_/Eo[nuM7&?k\zVpCnq3јئpێxۃ}cqb ȅ@3#l$$Vl 1T :>d#nЗ۸jˀKguA}P}fY-C\хmcN+Oۣ2d 8Ѧ(uHT`rH yOz~9?F# YkA|%I Qjt*ؒ<M1+cx:S@}kaF$7Dclc-90R>.rOAii\`LY126W$?Z5r٩%[oWS9Xu1]hUʐD Z6산8\"ƒC;9pOl%?rgG!`mbv>,1a(h ;a*C;ӗBU#h96r43\ttŇȹ#Dxf=(W0CFQp',3dJO2&8F:Oe&ORvy|m dmAʵIVz҇N2/!M){fm¯MZutڞ`!OGs[87m3-ȔLDŽ@e\7ʬ$˳fOrnG[ ~3;Stk")-*XDVGlT\Õ#Ov =DV0nGA(Ws$}򌮈 4MG@[jVb;:"Ӑ<<&-uwggI q梪("vTP8nBbaԇJP@ЗCP.*4/@h'xz N0ܜʽbͦj pmr1J7@^=z\%4/DC>z1đJ9 f$8J4 $?;2Zڬ2.aF00au @DCt-7-錶$q՜Ehbzuho/&@8EZ29/%R p4Vδ؊rp[DH52ʦ #TIJX) .+~8| ;2{Gl+TYI@CNbt>> vVriٖ$&sMAHd>X֚h3f2>7Y[S5*iQ8d^oHwt)E5Ɇ\LM:VUM.}]L/@EOV|"7űddoE _e|;gpy-%L\Y:ɕ\`_~1: ]oNt<-+Ch_Dka@ccNFoPrkoaL=`^,4eeA?7LAJq?2Ip(/Ѡ={(u%O`]*#[[R׼muWtĥոn\.I,̬{YjMh)"HE(ՔhZ;Fw.DB[/ F|;>qT;#Mͤ|aj}C$iXӔuo֔З$9jg2B7G 3W FX<RiSYD1_^@~>Eipq5So".8|m]$ۆRK2S vc'kBaC!|/}|`ogj<,H5WGELn5cI ::e&WNJh'+ٵ@ntYuRB9N,93^Ɠ?^pܞԘY|VO͌Ke dM*/5ew;"֢Aѻ#<;_薶 k9{9'lћ5szKnחEbWP6Ҏ^:N|fi LN2yt*rlVS|7`#V yǁpyYBe/ q8Imɯ t|*׋TRp^a&&iixIjXKJztdbo(ݨs~C@qŵW0  ɽ);9o@JmCQC[ i)}($&8@i"@{b@m@.N/:(|׃4Hnj!pbOAKr7+\=ifRBФİ`.MkBQϑ6!m@P Ap]ީ(qR|FթA} *&qhS31g`L(WDF KR3NqXaC+臶gsTm'<;RO9 K|3z ,B6* d LػB7R瀨Yш;1$doh>9]^砀o鞐o&g GK-?09(]J8xDV q%bQC\9"k8~t88M# ҂9ܕ內KJ" C W_߶`va0=ϳB9Q3!/bJ3p1oӁmbW^EZ"-F,a`Iiյ:1 uCF(Lm t+/2ʱwnq/ȧnWBs}e1rK rۈQi [Vm}1uVadl}3xpY;%gx4 ~Z0F6o"G?>;(jkգ9_Ʊ^8s+7>'S>I[K1\il[4{H^r+ޡt E'\f%X(#eCQoJ С V2oWq %hLe? N[:v,AR%ί.рJmW!%!pIW DŽ4 >d򀆨 R,E~A֭ŸVMXhk6ןs7 "{K^VgkUEʖɖRE~fpa%&6%Ik4d6) %+L(k G m)mAV;{x$ dӥ#K gM*?TdЪ*0uCvR MXǮZ-VDwyw_DXP Qூ{4Ϗ%VKFr jmo?NlQ̰'r7"Peq`RF V.zTjn0,M-tuP>vN+Ȩ)R T]jɍFa:#FиD=[;>D(7X𐷾ޕ{2 R?)G!ɦd9LƖI`ai=.cЂ lp:fB7q#3MwTqM`e@ڤbBoXk WWG?OO}Y!ax2$բ_=c~WX㝹ÍM5drRh)5:AnBS2]pSٶ4vu> ^%5&'.B4[vBdRd\w&//m1 GtlY[T'c,38pN:b h'& .n9KwEGkF6XmPU%V b2x&-XJܝbl#8JUL+{ dͤ_3WZ+g( {=([ d'+H2TJ׳1js ۼnBe 4%+c('d$,-r2|ZC-rz|I$iX_b_OXěUsJLr^Wpaf3uY[|d3'YFuYg'0(7On LPK =DzfJ8XyӍ Mjn398k=:1zDui؈c'k& #b55Bޣ嘊 &>䆋$~X8D&"]ONťDAF+,3# Rʸz6Bo"F!AI1z  eq]E"6?*kx ǀZ=Ǿm $^:g%cΎ!|;^Y|<2肣^Ԅͪ) pw3:4DŦeGYuq]";Xg '[ݷ)#EЀx@*b/ 8a-5@[-M 荈wgGj9i+ "q6\ ߿/bfTzHcYSga|ےC5̏NQ2z\% obR vARy^fƂdghկzOduū|ڴ1d4_Qc{jJdH+Ll*mvZ1(|ݤX/C!EUcXOϘP^8!LL{fc15%[RjʣBwClREr"s${/M0'%hZZb'82-f6Tcw؈V?{NCb{7GGl}DĺWy-ޛPĚI{ .v^w^4jzczQqDmO/9\M~/p`4\7`jTwƭ,ZMgbU"9R˂N<x0-R5c'(Bi=̃ш1:|P*xDA >ߵW&旃V^4`7 >}A$Cs!Nodznki܎d45ܴxaDŽzIC+7 t?R^Zlh0Ђ#q@k8%ꪩWJvqҹԡ:$epg7*UKْ-&Ks_"={-*Β,jDmRIc)0w_Yn(7A`uuNzL*-ᖲkqnjXHt];G%Q y_h#&[|G_wbEX/ZAX41*iJ+!S@F]|WJ-䘍BP\Zع`<%ng^G|h5-|qɄ&Y5/o2nXN[; l'Ea`pu j^-m\ى1 epPج >nۥPB1ʨ:2)ӕεڳs[8H~gZ}{<(ĩahJH&7Qs8܊ s3EǟaqAo8^Nt}E||ۅ*b,G@# +5-?D['\8ZJ 7{M"pJwiD7s|RLL%ge`pb͡!♎$: R~ Q76m(`XφU`è#tbI9ŶkjBV$k9.tGǗ$h8n=Ɇ{>%έ'~>c[Cpr6 #;%Gܗ-l]%GFI\ȡ1>MZyED**Ybs|QJl'uWNۚf.OYxhV)=mlqa1̏X *݌U**{Y}m|BVCgL(OA嶐>b a;Ҙk{ejR'k3dk"$¼K.01#7>@3T< sL.;K8Y]M=uM>+:L1ڸ [M56P:w8]]~/~$M]@ya DAM7F%/]y=mL9@kgSkj֪y W|fh3<hW l&Ix-_,F/o;h =6E ɳOTRnu%Ś'5j?"du %$޸I@w2Wה71Aw/D# +n+U{: xp KΘIGW,_<ȄT*1Bhg"<]8_l *1hj3Eq ff.^[Ѣo lhJԷE)b!5Bq7:cYXm](7bdGsvlWK!IH]N`$CΥ#rZM-*9j8 q"#o_\{~ /ڦ. v?p^w?`ʳ$T++3 E'3"[ V4kݝdd[zJJ(?cqMnKϷ}?hә>N} 6^w ћ! MO`fl\a~{&1RW,ADsd4ffK)xGU%?>ZLҴA{Irf#Bl[ U]H?F0d0Z(&~b! T)uv|zWܵbT ۗa%6euщeP){1ŚXkK";ԽRZE m0!<Z1&]r7l"B]Rr(G8e|#U<z=k\GR ,$2mw~4>8C0j=!uLanERk(gtu^s2JT45DXU\q 1T/!H>NEDo *{ DD &Bd+ߧ*Hy'+KHOz7a=S 9'AMF߈%x{`B^JRAK#>`RÙ":%|wRMxrǰ 0837Qsɮ4+;CRBzP6?t"]ô3 7n/7w[XQ 䵖O vMs;25FyUՂFlhx$Z̀4ХRلhܹ+,h1"Wn3pI/S֚q & * &! 5O% spi<;33UjZqK옓͇)&SdڱWMJCCv8[zlUZDycҲƝjH/C:)IF"^f%S|'ra4O؟Ni/ ӝjW: p": 綁KbAi전1(p7 }"Wv qT?6"qA/=堗׭ݣck/jAGAǦCP!lG{Dw57V$N'%mG@R-Te.V9^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal C 5K/ xHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/X),kJtddkP]/$%%%ɶlOZ_˳D4/%aG#假1eOpyb쬈!X{6c1ðE(7,Ƭ,,ʉj4Gț[q y۷9c.Z$ΣRjL,2R_XȺZ";}EkgIR6*1|gD'Lo[ |QtW)%j ]'b?wofߦ_6b2VqS.v'^%__MtgO(Fo NIYE}m -C*")F^ItC=Jh,$Z'<&bP`$[PF)$z,0{XJ RzQ|Y1hImF$ Fi+ yYY N޸̻q0hanաhTH?l\Bya _@0(R4DY%OYEB2!"b ŐuG#ecJ H$Yfi\&w=>)??v_?"Ͽ/)ou-*gr&\LǞ#̴HaEgmr`)ډ)HI]u1vDDHP:!'wŚAVC18ԉ}wL,ɑH4w<,jKXԜGA3h  @4h@|aC8< 64$  b"Ct:17QLj Y>5< Ǒ4igNeLDD\>;ui"*S?a#r4T;i3RJe"efxI[ 5˧VE%y0+I]#2K@BJw=PH:)}s'9ٯ5"/-0C//mhHhhH @4hĔ Q+'NZ?>֚g^=sD^?UU (yvuT20@ͤ9ꏋЎz݊i2~wFS3oԪəةoV9W0|(+o!&q~P0{QG:PexPR^c^9$6Cac2ʠl=!|R"Ǯ%0F~dWdD ?bRxChÝ*TLNՂ3@rQBNɕ0tG~`xk xV̹er{ 1bd%h1rTgLr|Ma󶮺S3=sy;_'NJc:BZZ=Cq&R CIx?4S=+d>~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