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_exportsu77 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 X5~RpF ] UHOL-Nominal-Examples:threads=6elapsed=273.624cpu=1354.455gc=125.934(/qNj.%)kF6w7xo(}q=ΕUĉM;es.&XVtzi6CNGYk9؝x.UTFNX!o>UBC*UMYo*9D=և<6Bcb1-?ڤQeRJKq(I]l.,',0CfHYb']n6~L趶4J%/dY2c.iC̊ȖF鈴VZzRc\xx#mdȯCF5]jrՠz<r1"H:V!Vdc8ȩ@,"8X<4PHM_Au u$PHP$4($1px!"  ФLx̓*g/,d""_P ($Dм ( XP 8mK9F:Cef&=s,F+ gUTR{Ap@a 2+6#TU   ;FX@0(@<gД]9J 0(Eh$&f5b@8ޟX: 0Р  PX 3R9&/!)LFWoXG&mC "ᠡD((PAL:kP`(vB1łÑ  ! $,"  H  (X,<0(E,p(@P$XPX`fXD,X`ap H`hH SSDTޛxTZԍrx\3Xm\ȱ84UQEN47F톯N^aCyozͦm.6y?ojjCdު)jz2z!S*m3-_߰|{CӋq~$3zjٰ!ˆNE( f2!eӋՠl ڌ5wo63^XUKUfwCĂb82.!{2U]Iʆj|dBtE&Cl)]5<GSr$#kMƻ< &wUrۑ\̽\HZqZ{EQn3kj+ҰCl%cC1jϢϺ9ChxG&eGbۑӴ!cvZv,qlv2aGCX3TdYoR}; zH/II!y'XbPM[Y ɒ7 {.qo\qtuȝQ:J7!5&y5e.)%5#R+ێ$>Z]=llDba5՜:.eaٰoW|{1/u m>l}`tQl/Ro>{ a]&;ٻӃu_"Y1{G<_yKG7Ru~vu[ս9Z9YYw5klg]YsntCpz9ͦ6l7+C kd%!f1U?iݠX!ު>k>ⴾWמL{뜦ZwF-eNdW{],}suu^ߖgk笹rz%YiLGTBK]|ҵrҙϞ+7txûY ҽr3i%Mڴ֦+R3z4*dx*^x%^+>kɋ=yijJe~zrƏeƜhJ[j:^hD4E^Jb$bbvUk?^evysjUZ:sVzeU w4`JğL^=Vn_jf^-]}eՐ3ubzA"T3-rsXjzYY,҈C+MVR5 -8 O/,/egMum-akhv5? Yr]cvm|MjtKLn;ű]س;NJR6M$6͋iIMg:~5i|!2wdkKf#BRL%ɈVWM5O5Ѥ>-dMisLz^C,_Sm Zriݛ?-dž3ឬVU5벍{ҡD񐍝Ҳh2ɠiI6K͕i2ݛhܱd4Kucm&~`X0 0`P@aB@@@@@Ae`%@Fz 5 HOL-Nominal-Examples{ Vy~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n h b \ V 5K) (HOL-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+<&BU3s20 3Ufu{zgz~f9cwf&]'J;NdRbvB)' $UU^Eq8p7o6l5g2].Z,U+*'%" =60/+* # " gNo!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_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-Examp J5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5sA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesrF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  \]sܯ7*wG$TاЉL{;,MM>G^9VMJE Dʅ`q jYN@q?j@5_{ 8aSGdY-xE[d%C4=LɁĉh2*T_IڊۭI .@A=K0BZWBō5#8I쁜ݭ.CB_AM]6wa Q?.5&N薯]_Dq{^a3\FJd ][Ih#|-Y 6*ҫ0Ūb>~'A.\ ߤ1k )l$1E)ȖNYf 2,H=6XLt7nIP©>d(ɪF%jM` %u2[uΔHJ8rD+Di[eo3pDлSA@vd0$Q2eVe+ܬ,FzDq nB27Ğd,A9=TȞeƨ^%sPtGJ$92IbFL"z|^zn+/ >ZKy13NY;8-JN@xP!,m7r2J7\(Udo3˛Q &o'40=h:qIܤnhMeyM!,Ra67Iʉt*4Cn"q7L QJ~/$4+N4NH6*:EWF c<-uu4T\u.+ Gw#OenX^MwU >!b!^\2Ku&wς/1zE'R-$DŰM27F/]>̝]%߯dDV$^9G~Klhl_I&Vڹr$Gh W* A.+jtw ua.u 'ɍgCT'3gC?8[2T nyCP@N2|pڪ@jE w‰͹@B}_EsT,xqmc S1'2jY]鴐Qf]1W3skC0gVKM<#6GD;lJX(ZFY\("Vr)ŸVWw('<>esJ{3=Z+ Ni]1rd/\[ (r7 -m4Gm]y?ѐ#2D7zƉ@H>y1 ,$pyyY§ʮ+}*Z0"%c:$˙HM 2xsrP :>W M3Iy9$҈Wf~A)jy򳖇^4}9۷ytV1r;"B;j3d2)DoN)FP&'TɊC8~TU h0[/<C#'bm"09`70n[bP3g|rib(%BMz }wްkҦ{Q}*@,h@oa,E@p/&ăĘD g]Ԝ#筐<_s*m8|{$nH7¢=uIIz8ni~YУA"T!9Ձ/R [ȗl?Szh<6 }9$ V'?8Sl9~ F}0s#_o7eRaXѢ3zXE,5QJ~@ZEsAP<:v*3;AAp9L ?}qIJ) \L]Z#RJ ? $2o{qLU{6 <2 ?[ܺCswU{ uPS_@7mW)`HElg=1 J2?Z_I#YO+8*;e($?'IuP7B(L / e՗Im $O\!;46wN.PNPNV+l _Ԑ;f{H=[)*9Vڌ6|;R}OZR-q4$UT9,['o΍5@!vn^LU d(3oLܙQ]e}$F (트ڴ&$,Tz:WMcO`bXm.x3;k2G1 @G؅枧\+=nH!&7ϱ7Am(",HL=Cyp9d3buxAEwyJ|krJ'DT1v824 ϛ} eki/ N؏e?7TޔD!@f.?͘,G cc/jpF ( ?f)X6[q9 bݏ (PjTT,!JmM =l->C& C(ʚ]xdSbe@#-rwR6aW8 ~+ ҳ_ {&;[C9{q[W}XD' #ǏP(084ڴ%3M,e.1L7NCEH\mM0jEp ETI13;w. ,Hm\NˌBҳo¬mMJfdL ѯ ]u"d$hǟ&F!C(Ǥ-$8QQ,$ʈʫ*iE{ {bZg18;`U_E׬Zvn:L岗Pd0T *cH}bvo%Qt[!@Wù遗KH/Yi.oK<[["xt 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|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+Vݶ}Ep@cBl&WPG!^XLТ֔ݟ(Hhmɛ~zzrvđ$;NTXzJgA>" $n$!XQ2og\:KrqZ TQEf8Qd]ؙVŵ~dD&tb '^.L1or+p_*Hi{-+&8^JzVІ^Fe+F~ ߧF7htVXb$ä聸"8jI!\ ̱)=\-pT<(^">[`?|8ޭ*^>֤`cFn+ӺzhgbE۷aC&fT*|޾}0NPPeGx2nr,Lz6J? 0opewNgAFgI` /ɟ 9= ΈV`1ġ}xj ݘcO\HK$ 2)^ b4lwn$ L@0ӹdQ?S .g6N6KW $4hk0a]"5M6I/҇/~33?XѾ=xN?AĤqD{Ĵֶ"KBh}ehϫn!嫄uhhv=%сξEGESgߦ/% OB#pFX;buؗ >W} /}\|b=(T"];p *6AD3˝yJ htL $FI"Hd}70RL ɵS'7;#ц&v(MZ7!;y&F)Vk48g"/KrȂuQG$ PoF~'fh;ƐU7)GX~X#|%يHDw-VoVP4jrgMm'*#UB, A!B$~#rRH2 k]M"cFQ#".0/CE.śWb.V1Iazg4uФ to>c'ACOj**)czz~猩O4w 5)Z ;0 !I4&efn V^تc4hJ "6.j4iB*BUѡT17,xΪX2=y z'RZ(Inm)d\;r:kKp 3S2=.y %(1[Ʈ+X͇#f2H.ȕ*0QRKBoNEFaj8z3Er覂A;#( mf /Pc}K>C|y.9+C؏&QY ~v]|XAN໸[bKUbM)'׀jA])5rWZ>eA}| .WIq_1|񬿜AQ^cL;4'XFPD1h `̹60b ];|UE)i^߲g#ZDr耂C1_;v lض vK [$K.]G7ڜ6x-M@yzKALck" S{ Sg[2Q 6Y@%`xiGih'+oy΍?ݸ\}d~KTveo\,>4L3C7 Wn ׌顅jwTK P-iFGac"D ݴ[fzDv)kvPMam6^)x=`Sbkdl%`gH+Rk콳Rb)2L!v:t  0ޱW U/=Sy)=9V~B`6{O>ڿҸ/Bȼ ׿s}8ho+v+n0FۤP{ +AhcPp:H>;6hn^X<) p2c_-zu %uC#ҕg~V' )۩x(>@MDN"Q+=+ܓ-O3PAln=C, =P)F1L}$S-̪ڨE_Lˣ-X*!"co޽BdVS/6X ^0aL}9֖FNdqGfۮb^tsjFrk"r7frsI/ʵ O߫k'6jp'Z؎ۤuCbl9} OO wSntzfd> {\e=N!yt͖BS lt%ٽpU]UV׶kZ_BVoQ̬^6K\ڃs \mDpZ|ڒx$zdЮӝy@ODC(DÊHj܇a)i<Nb1ϡP5x L`/+ Nwtc9G2.fdh5NCN, o>bcysk  '}k+w@`M@>,-꽦di lQ̈]imBVAty+u[>ҭ$~Dk [Y;8NT%[{E1@X@[ZNc}{jg[QF LY/j cM{4#E~]cca 7Pcr{hXBf+cfL?(E,<5T/u!+n9lo>ϔYq*=椕n&3t_H1U-,} 'b6к6;h4!aŪImY Qׄݚ3 / y / 5K) (HOL-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+<&BU3s20 3Ufu{zgz~f9cwf&]'J;NdRbvB)' $UU^Ee"96G6 35=ңJjDa(M4f41ֹAciZo(%x'B-chဈ}^}e{Na@T}Bttᶭ2i:z]t}c4'':&";}0+-,MsN]V)o+?VuEaIJ8N$ʼEDm~NaNwE (FŭM^"BP6VcIYrBp]BQRL&ޅhQGUFD!mIʹ;)LВTO R]F>M֕̇'}j/QBdov\#ε$>2, 5 df$X1 0oԘT50ImVTAN.f;pŇ{ ZGp//=PVPr=v{)]A0jaIavOLAԎ~8J3<گizU,"+e)Rk Xٺč}Щ1t.;FoFn$*~a֠b{J/=&Ķ_4X?5I7WϟݐXԬxz]r]h+ݤ-NKX+deD_ZMq==W߭ %HcQj CSܝֿqi/z=ƒ gYiNoiBdX j/4s NaWLkN>v"QrpԠ?p4ˎAf%@xS1fR2QLlK:ViY9̠ )dk9|%}`U : ѶMm(_-%=V)bI~Zや{9Zt~8)JMSA2ޓd#2Js-lc)P ֕SfsyH%6saPoqJ:ӂ@6Q6[ojDI<䁾/Q!?9a^w?hvE*T򶋂o 95og}l^ cF]3҅(P,;I~:m%& ~*64-v#/RJf0 )Xy~d]0h]#4/S5R3,-K ` M'f5H:ǖ.C&8,]y g=Wozvڰ=yy"wǦD $vy  cxW4͞R_[c̩?\ʮ~ܘ2[ `>m$L(Nu%,`sMPlJ~ۢkxLe Ɠ tf̏8nZ 1uR3ȸr1,]fM7T^*l|`[Skb'3.J^j.:=V̀DBqՏwIC]}Nk,I` πR'|mt+ F|z#(=/ǚĒM6x>-B˓e ;CZZsSo{3 {Rҋ':Dg\ S-45m_#j{ m0d@{(= ;|'P`E_/5^ 4y-d4XԄ奴e!tz!ϸMexjfp"Rk.N ~P>Uj',Mu)Փ=Sb)=] lr_ w/ٟ~1*4g=w \*3D^罍AG=Lc$*M (&3]}MTfm꟪51T nXU%ol_3Fn*OΝE">^՜iIxoV+)5q5䛛9$4Zmæד_+jp91V1j,x"pAڷ}uȮ|2寝т [3DN eډ f9TJ]7Fky&H+k8.A՜;Z P{SL53>|7S7cʋ3S{sm D sΦ7Z@%6òm*8cz[[$H\?˚ ڦz;Ψ)$_[wWEzW2m̎;?SmCf "/)M\Bʚd5dMY;-_4}2C-@7TxR<:tě>e r,FOFTzWK2;Zl<T"'}泻QKk@N{옉0 [*178s`~B})e&%fslv&Z1a;MbM3"|%"yh0sMtNí \I33,,{=g-rU& b~,#eٰ¡.֐%Ha՜~8 MWw s:m s-sD@$coäK0e =Mwbf~+mW ;Ku<=]9tGXɶ;J9"Y0T{1[h ,MM_J y8^hZP/'?Q\imq QE'ԫAMI tzG,NJ#zV#:eQh,H 8TK#ӈxBxfXNRrv|R$Ix[߾bwq4LJ+LŲV\Ԥ+D!RMKܫ:_#@HKĵVFJ`"m7*pM0P2S:sRΒiG7v҉bo<$pY ͢j_{5H4]qIheB90Eېc[d;{euJe5_K OB|rW8ɛy|EB$ad4Tm6]aS.8׃σty.%EHd.!Rxt#B[jWCQ[drs0w7.<##(:Z5K1ד$Z1}8mc%Z̓.YЦ뎴 $WYGL^{2;o7VS.TRlC;j#;Xy6ݢ؀#'?p ,S%fX'ڍ B:Nva;]cw{n.3S?#څp$kjnd  w4ʊOEQR M=f5vnxmc0D}DK?^U&▪Bq!\S8r諭DJnAS봛RSȊόQg&sLbph$/C9(+r,yN-!F^3{Y{QzkvʜIڜB۟D/3FgO@5 .M qY9<7k=8^?"pvNǿ.zyLhоjCD/Jj:8STchzI3黢B&4 W[C7&.0'c0b.~=ƪTS|W@WA)u*@E./KPJ?l` "0ooy|[+4_s.AɔLR^ ï;4#[E2RFʈݚYDJHyMymvטuO=x񘕬*l.sˈ\ƙ&UuwwEv.߮kl{nun[V\WqfYu##IVҌdQgxDJ\lN (DP@(@@Q@ p ( @E  ĔpÂJ9Hc#vkFV< DxH,$ IC !"+vw̌:IDD3G8"[UD FWDv 0 UDVE4q"i*c* EX莿ތ|ՑUe&oYEy`8<F"ywf$~wo]?ɪ?JR9of'[8"Q~ןV^wۛdM5+^wmiFdU_n߶mmm۶mr/gff̬r^$$YŪ)֌|Uf3-͈:QgH$ifffVfefF4#I$3_YIVѼwnoVUD4ۛdQokF.@!:N#q uXdQ)RJK)- }H`H(.@uE&C gı 1aAj!ȉv{#:fjlj  v{f%YE*@L-&,$eDCN Q4ePQ L#Yq ,T,TH0\D$ ,`@$ 0`B)`ԶZ99_9~~+T~r}6rQ\mҤb^26J֒CO7<ޙ4j|僽A ߓ;_K#r-eחk,ZDҍq2c!$ 6c ގ<jU75m*hʌdRODE2u^\<*ev<4=R'G$ߋGD$y!8kzr~ZH! ̚WNʞAXA13+H;9e ݤ?/NO/)RKǫ,PgxT +\z,Xb qI2U#O{eGF{fչN_fG9YZ=ӈ:DАW,_LMRxL lCx!XXduv 'oso1y?ɸOB];~HR$tg .[zJo'[rǛyo#+9ye\|FyRia@~:-KIB!y{~Us9 ~u;)L˼5[hEy-t߶NQ )/Cpsӏˑɚ0>7 98kA9\L5ʥ}RE˦~ږD6Uҿ?!=m8[AnVe,YÀ?nzɃ~\yF6GM~RS!c'- 0~bW\3(> G &yK39A81G!Ml7&růPgs=:lӌ%Imu㰑q(S###"d[5c9TyNκN@32[k㫽둨 v b.C7Cx 1.vs{~]FM9.`Mdj ݲb&;6r8 dX%aDRC9<ڋPaZ [Ž4irYbBhĞEADr*J_4l^CѧXyJ}R3 2-:gV"VZHqPwz^\Biy̦/kpV*od:3)"WiI`{:;]犐;-=͝5)!<:䴑~:(Hwx<Gq+I%E|oΞ Gf7-. ]DEvOmgMhmlwhxT8F4L!\q]X4wpɊKSrn  9^ގ4/+y-SkUJNw^H0LW :. ,z,<6Q9_]Z 1p1:uKdkĖuQd Cf2xqcZr؁9MţZ"v^`<{;;SOUm9 ِe$'&{1Ȭ17Ln,P*OmE}oS MbNطvlu~4e~^hly֎ec9_5c9;i:鶂vYQrMçpʠiNt5 q+0RBML<5@lbqxa;H&_0WT54¹'0.tlJŒ㣇0 /cvZXv6-JbN^#I]/< j9ng,FU2F,CuEv6)8ux:we~~xN/N U]M숨\wV"o@ы)~+*pF|^/* VLmThpRB㮅F>G9C=mp|}w}̸:`XtlLJ{{' i+XᕨMW; 0ֲ{REV1,A`Y6c/V]>GcS;;t2='N[$b{.,ڴKvȳgS?ͮkRXOK-{? :5 oSȡ&ԙw@GW(ZIKCe04(w[ }W,_l5s kGᗥÔcؼv}-~sjL|7 ȝ[vn~PBqyHJ"LCk Ov1E]{DZe~qC ?q7T%/[t*)iZH( 6CWϸ#2MK=g&@7MӼmNMe'N0nbtyyqXhͬOVHmz蠠f' LeYU{f!`֔kRQf.ۦZՇޘ}Oڏ)$BW~)*?k9ٓ S W'< /A@g,*PIӮx_wS* $_~3 lbW%gR?Nnz!,c h?SB|5ICڿLoӼ2nYi]Y la 4{%&zV,eoy(</33_ȸD#=3‘AY0.Cqg+;Rcفz[{Ό ņ]6^:m?ZV`|~ggrAg`t- .p-\$U hk#nUCMPN'+G׼?aC2 1ݮ`^' `  4ȼ}p$ij0v5e{Ƌ愛<[k*`Wkn`o7h-=d(ڋ5@>9~-:6V394 7KŋjGޕ˲>i_kiŀܬۖkÈ뫧Ka hS7GU+GLl\rʾ6ߑ74 /mdfB{k)ziL\kG^sb9աߥ!B_~?Wpᄅ,DaV2:!:iVR۶;8ʁm@[bh! ;:>=- if%Qm?>am o3Mv q'T74Yk+?ƽ?d}K$aZLXCs.Zqpu.bd8]ffDZmb^ff31$<Ƙ:ڹ#ApGPksUY %&jdj¬TOe6jne9@ 3Jh7PZdG9 P`\U.jg̭=܁OOê_->) dJa,AypNh Sb˞T>B)X*"BCfx(+WR}[2VR'N-iG,y>OסP(epOJPj|R7zKqXl,z;G`J~Dm; %lp+B^w`F=3N]ä&c3H%O=wvnΜ4>nL '06'd`DOIG1L^_ /k _V+ꏮ{f~1I~ԚP cng{' sb#x0jp>d󾹞g 7NJ}NǺGl777<1w;V ɶ~X=Xcr!beL諚JZ`{5jkiXV 5_;Ӊ/"bw <2tr4-ͮ ~[ ~c4ް+gbg;saVuH&Gl0$Ğscss)CtUpOO#ÊwMϫrB=[/aFC`Z2DaNqdO@83ε`Yq=M/|G=NM, ܶo ],ATř'Qs_F4z[O7Q+Ʀ񃼑jq q|5~j殧Nˀ,?Yml2CWxD0\D:htP+PY_ %; k~;|~! $.)FsYcv_{6ƏG2h zVa [{\艹?<܄*4Kﰡ7{B܅D/-̗43l*4I(eu `I !D @\RC3lb y,ԧ}4@ 齈͡v<ڏ8ؑ$OUz7ȥ? uHbS,F%3b ߂۬bMlQmdT3EF^ 2:< wb=V= 77llP+c7IզR1Q]1+$ŗdLD<~dW#(cNq"R^1~I_S3 xJ"ޭpU%qFL*ӫשnB[^LĊ3f z[M#gQWbe'naHȴTp+ -'"v`uH \OZ!Mnã`sw܁/!l.ys11QoZ (5C4a]dDttxȒ!X5m#CT}gCl!AG:Fw0KdqapRd @y䈟Q@jW׋Qp$"=s< r63(?؛B$JT!QR:)Οn]EI~3i'׫0)o>?j@Jʹ &8*:,PU c,?X=0jvzbeq Në́vXuG>r*, 6ipM?]$܂BU( ߀\ik/`HVT.A!9zzYa+&vݓġ.*GҾꄋ,M* f͢(jI l 6CVkt?kEekeDIZFQrG24|j=w4oX^NTwHʕQTq fܲ(䌝/;J X j3-0甹Vm6đUepc^Tq;"Z{hMqHsZK8\.y3gV?kl4O\ ć-X! !cBdK2޷Vr\4@{ۈN$*_ xhOLʍl/T "Zu[x3'Lܑvcb[@]}%P;aiT%zi)AC  R% 65 P$A;O/YCk84tuʶu5X45]_/#2|;ZhxRtӿZ>.KjR$qvǦjZiI6uěީr$Weƚfr_fN›&mvR8djH&Rkxe_>U Ipf㙝WAP?w4;\e'Ȋ΅/;%oiԑ#1'hޚ Y|SȨ93Cg>jϧ(>7j[3߶\RR92;\jt@7qty)x vj,R wj8eXrgy3*zn!_2V=ٍS[- ^[<Ղ<*B 'o쩊Zw c瑪L})җ`7FMȫ~؟Pw[EV 7?-ֆJ^FE*Bߠw\M=\#c o6Q~n?pkD\R[Z_%܀3bSZ~މsNXiedkxE1"_z$w~Vjٳrk?ی>)$ c֬V18ws &ֵ`~Eޗ<۝[#[ fnn.oEO+1anfNpoX.v\uVBl>g)qvG׾#ѰA?Taha͌iϣ'OSʏ{5\hͪ'd76ޔ0Y{~bn p߇+AseY?x9m%J6%DN5hG2b`R 03461EYZA-G}IG;Q1)P$$Z|h0a8/q阑[ 3I&Rr/aUMd{%I"[f%qիL[G$ɟ'II$I'I$IiifffffZjm[j$II$I$mFF۶moڛiO?"3ɭL'gZsm۶mϸȉhKT3%YEDDDD<33333Ӷ۶m*$enےDE.B"$o"37LVўiOZ!UQٟiK~#cX\TpP4X`tШ)?^~"3-L/U[t `:`Ufϸ%mId{歐!\CaOK~mK-I$9$InNtOi6ULmUZձUjUZU7Mm۶mۖgfffffffffڶmIڶmI$gZl۶m۶Mٞi$7wId^<~-D% @À z]!5i5U q\+ƑӜh220t1!sδ&U'*3-٭Z 6",P`Q lv_Qw:fhݮxPK핒L100ZYu 9|#,` $pAac4c;ZU4eO۝iOvC\Ods%G"WDLKOR # Jq/*_׳h X4a\KL5R)<+9E ȼ"w¾(wP%#6]'< Yۘk!9Vͧ.yz͈ѻd$_>u_ YPR ,y{/vt ^:m Z D3ϗAv~ߓ1xPyDbJ(Lv4UTL v!%#$ts+gKvO߷w> i̳_Q+8| sRĜ?J ~lMRσ?f] %y%9wvH>6q"$_q4(^=JYh[NE- m 7k5p+N7M8C3^;B9ts+yW),Hi= 7knh-CZ./q/<_(nNWJir_8d~y*]R/gO>}dXlI.sdyErZrksn)1;%pF=ћs"8Fo7A+>~ȉHJ*85Q+*n]=2J?N[ḍPq05H'nْ-+<3[T 5O-n9D\,aYR[Q+>HS ϵ]+->/ ox;4 !eON $.ws4̂n߸fv`XyD A/~,7ѐ&FPr}j$=YϑVLL%OX@U?Za7#ivL_nÆ|oen~%>!78,=]m6<`(\;(/ܮ`h ^AGV"ag_g۩dp^߄F +]-yk{D ҽ˄ R_7GLpV.̿2Jc8fB.c !i?3&E֪TT^a5#-^FnI۶G>d]Yrtr,a>^EiinDҧ.+Ri1M)9{{sO*Ɇ},a-Y"HSt԰Wel|.Z締H^cx:]?M7LA !U:ȠN' .u xh; a-A];lv~2hb/>2o&1@P/G h 9 R)G_lAkrEԛHQ2ͨ侔*Mh)^e$ 4/4#T'.ќ!/!UqH+fv)AƗGg_7˂~ Ո૊Gr)۬AZiX2,q(c`JOe Ö|wb?"rm=B}Ab7fL_ǽ4&]?pQoE_ܔ0s f8e h'<݊6oHlIy2U6bK1YmOɮBA<S G`ZFpE3&ŞdXD!yCސ$e ukfE# MC` ]L4!}6;xt:Oy2͹VD,c^ XCwm/h܁`0Ӂk #_|Ѥ7y71182gkh\Ao/U|pSx}?p;6/ ᫘;\*nW6~A a|RZx?i˕VfyC8W^#Vɢ17C!6m8?ŎM>L,U.cG_U68 __0vcJ/6l +)KiY.ZB}]{ l:{*LvL#f^9axM[Tu_ }b a*@~ _s\\cU.D.&:J4M#4GowIy/2ť[fi?e7{)r"Ъ fApиR;yj|d)8$e^]EN]#9+$q;MC"a<7m>%H˞x$BxvN<N!R9mLfZ"!5'ˣ- ;oS-Eqȃ;}\ݮ)~OkmCQmzntMP H^ X[a:VMқo6˝3j\SNj[r%cj>N3 OwNIX(ckH v|BVQg>cgTUguܡ`Zdzz]vD%6J1>安܊Xp9j*ʼn2 >f7$nnƿ|k_j@ d +Ȗ(eޙ_ YAc_L"b;v<\C@q%zvX ̅zhbA5=D : EN02+(Ӗn/`P;Ұd !hzq &cR)1ΓRT"^;P㝝O2/cZ}F cDSˑv*mVr8%Wᥘ?z8{ȫ\XPkYm]4T.2K#m92BVv}sACsh^Z ' ϑ0 )q_("('R!r^E >=4'lݳˆaL-0~^A'ms {Ȯ0OIRvDNǽYUGG Y/={5Պ}" sQo56c/'<*KA~!vHȃ.Ɯ>q3r{ߓ/SVE9l0i{Ǯ|zZmh29ri?9O3fw2W|x*x͚,زвlv<5쾵 hf''9 f4ѣ(L2vUzpgE Tv6M$ny`k5HchPoyJ.SC~hW5ťN:= }Yf-fj̗$/F\jL3ϟcv"aw|4pkncվ8x*N@ROi(ij"9$W Q mfuޑ5B i鯋=K;3njr~5kgs!^+\M |PV2:jIq)Nik!gMArv$Wyyۑ}Vi*;<h@x.гi$!#Ƿ{;&c"-h eZ~>ǍШuv;Pd[$†ؚ%on|KrC@yN!Q[8<a٢%ʤ>OIw[ 8o2sgI~!)&ȍQzBL*#Tkwݠ6Sc{W*`؁m]_WMHR6[r O}-Gw ND YCpN iO O؀yc<6'2[ZL=ԩgVq^OXV{,I==J[ޛ)){|&xJ|Ҋ||%7AEzt uЎMݣ A>>5٫KYջٷn<1n~*` π`nO(w>KA|l D|Pr3ו!jK% CV +Bݡv@*lfyUpY@YC8xUXb*rU MUa;Grpj\l%&:@rρ^+ H%xAg[|G>\ІEa*|Cf[%Аo hrMq8oHֻ`37XG2w v:hW+.|W0W3/ɵư=g`tUpzY¯ F *8bia/˩ FKzr-̆a |jw% 6]~3 ]17zԊJxV.R0pxyr"`3yv'bt-sƷdړ2U)Ӎ^%~KwO]V\YYuM|{T?#P1lEXۿ6CYte9UYɫo%~< fV%D`$S Bi. rsy%@-%"6I%S`FnUlӀ֒}pDeOԿX? ݋ēHT/z\h]wg2c_ﳺ*y78x"@>[  (q2MI7'["m/9Y|jՂs0qn4Þ{(~L) ^hlD۸;lD3ê췿Y"ޙa6l,Y-xgfo㭙xw*~{ȌY@."2-RAG7H"dq*Ҟ?mXTN_9?ط}ZUml+YX @p$$JY\_9yDīn.!Loxf fVnZ%Sېk l8C6dcC66cY1dR!c0t zcfY@8IEK.șPnRK76%%b1<.\I-#Q]sjY"(KEABBA9ɀ@pc P&2SF's(V5,2P$H,d$"dd6$쳙2̪f=H2/SK cH01< %q$id>AA`0P(P u!e| MqY@QC}ȽMynTgI 䙓rn6˗oKk 'q 9N^1zjnAkU 7|me9 D#3Etpvsŷf߾S+!FWv2'%:A: FR[PY3:Ir cn;"v~LG >-PcDEmhZD j>XOZ2ŸCFA5HUQf^xra epi۠+XP  =-l\AVɤl%bzi𗷁#'g+IDrs4RjŁ)2 ) ս\hrI)*go%̶˗#%w'w`} !KMz8-`' (@Dws(2ַ:0rd tDM:rs ͱ-82 2U( dkDZi[>賀(]f`Ü# sR}1GK3IoHE1vg˃ dG ^833sog#=ƃ Ꮰ>˟\^؟'`4F,B'E`H /1*+G9"DǙN斎8eůs>+VƱ=P" *\V8I;8Y8 M*sqESnb|ҕ{rmۏ@GJUF) ዤZ!%1UBcrAfH0$ %UgŬ)_r֓K=hrpPG2Z`f-vSb*IT8)TeQ{KxY*,5]DI\\r;{Mq2M[څJ(%9D'7= >Y FL;6 $`&q}6 KLipӅ]Fy"w[39Yx9g= EH& f\X)l/@d{.j` &zcl`7c8z92\»hP܇/YƮ%^nGǕ̴ _PW OP4wMG<=w(syeg!UfR,)0XwTQzKNj2\aJptj^.*?OŘi۱ptp%}W+ @ Gt (|m1@GK,n(+X`?A0o 9, }z'| ={hdT?JAPcflOH%8Dqfpd7Ɋ2)]T뺁'Oi 0d {cpܼ .UJf[ɮVۑh/Mva"w8J'MyF3tlMV N7FN )(!E]e( 5sK (oVtckc.\9G+tQH* )[;H6P\F1U*N_ 7̍e>!ƅG79쀑?Ol+Z;l46ziI=-vKw2B> ! <bZGl '7aw*Y]}4Jp]/'sL۫@[/V%3^wGM6l[cT@–(C]1@YLAR.6/x7x%N2a$q~g+s8 g߉^D67HcO8y˛qA˴qk~qկv9QRt4:Vۂ97 . nߗ\11xҫU}5]_XKm;}ˋZ-zL4.tZ"'Pr {NR/ ZqHJi~F4Ro^?RsBW zHr0hn^ Dc1ׅo/9JVwv)N6<+N14A͙Pylq !m@KeV%jauܴrΓV]<3EXF69S6Aq %\X=oD5ϫȢgOPn*-cM;Y}7U~3: =|߆ 14VKR̼:FAjSly?%7ʇ|9ֹ5lXg8exxYR2冥: u`,T69Ayo/ĉ eB.|Km徟ʜbNߔT0t`:gszeM(Wh@NhòC6q(H7'lg,22\6(Pԇhc) ćBM\NXyeX<6)?y7CZ?;FUbE݌GYR%?3BK wٴز5=2Zh@XMt%ip5f1@{>Ltq˦ 2iՇ0FdBrTD;kq !4ĜfavqׂdbɒU8Mb"$CQ940f00G*{j'>0a ~`>]0 $eyBpvV/[}8t#tںe9 sr3]=ytL/. "D1f Ep(2 gͳ$ s(O>BDhg}m}Uȇ|ۯzU^WUzUUzUU^VVUUVVVVhhVUVVvgUVeUVVVUVeUUUoff YYYl..첫^WYٮ*DfFk]]׷oږ׻[ZzzzfffffYNVVDYXuxx<H !BC4/O"!!E~TG׿JqTD F kLDݯf}hkLĻL"ACw]i7ފ].;Wx6{o{wwuo߾۷oV۷o?|3+zx#G<ߡw{whofifffffF3mF3ڶ}ͻwUu&f%y`6ff"fj'@Ҷmvڶv:Ni4ڶFhh6FhFggg}ggmG9Yv  (2$  (> *"J[EH+("zY`sPiS؝#SXi?o~#ߕfkL`xƛB]CN8=8\@!zW2cs=UW%Շzs>e5&ʒ4HLt Ozʂ4'W@80@(8MJ0€X :ٗ:z[C@J w Du#${7i(ꧣ{B9)ce*Ɩp))T0ג7+X Qp& Kjdj yhk^ ٖ;OJ_* 1]V0@ ~Ԯ)lMsyXPw zo;l! !=-FΙxiԿEv]8rɋw+k P 8LŷP` p&WZ[2@0'ΒmhV0R GsL N^q9[ ԏp h[zd@gF\e[[}媇pĻS1Q0|X^CѼկ"Ftf?~-\nE64 ָ:#O&Ks}#)x#P oZ+@f&r)ֺ׀؀Zflsyhhl2L°927cw2ޅ@.?Ɗi__*W0ǹ{XdUd塁YysEA+f s1$n}Fj몃4kAs}@ A@2#dgQR Vvezj.i/(XgmB'D_ wKrȌMwㄹ;0QS7HP~:u ޥh3j@6"U34{^M翥#,m3-6IXU4'i˜h0ŒON]3pwioύYb<_b@nbڹ&82U}DmMLps5c@o5Sh9=osfSg|ݴԐPa6EE.>W<=`%刳i)DZ]#^lj;=pR9t6R'лtFYXUVA>+2f`{p=;$?<Fщc\3eUnqy*TSn#+!r>rT<{0sKǸt֒=끀{%&IփGZQFBs4Ym1N%JpKjbhk>oU&x66U1ۙSfn-OҐNJ{+R܀͛Q j~oIWQ@zZ Nk8~xi.7!>.hfYwε =Ix*ꗸ/l}dz~?sF.םV{yVi}oi͗s?^aܳjۢk>P_?`zg|~l `ZV˴?i?U {YrD~?$t~Xi?IVwp~Hm{~D~aUt7pDF~,~z`,ooY>R6_2;}@>d1|  ByDRQ醌ƭo ;p d3`޾`g6C?.矱C/_埪C3cc7>fn_#=z}wiĻ5=33J/nVˆyֈ_@ò=":pϹ͙ћڮyٕ=^ mZ.򕳑Ikll.?9byZ w.А i2e$e@C,Pc} '  B` Bb(( ( d>SīɃ)Ιt׀VvTra{LBmI[k 4)zm9LPFP>LWȌ¤f>3^}NVio)4}!-AMOem+ryޱ# 1 c &h+\^@u8yEK;ix3Y6Z1OnS+ߐrKPB@# TM⸆ ]Uݧs`*Pap SWjm2?љɒ@7r s:)QyMzď8K8G#6y&Ȋ7n0פM#S;هYP HZi][2&ߴ'uNURʛsެnA-4 z7DPH3Ry8 !"rWϩ?^\U!R L8/[YP̳8aHLAOE3?StobQ`xЋ֤?tz?t^d"P0 .!Rts ~%'zWZ;T}'ޟtbrenbje d(t<( ZƎဘP9fêJ֋ Gw`eޅC،~O"y($Ƈ7sDtNC 2 ƺ;`[K·YLRTh0* l֤XTdɿM?-~=yiPXǺ DC8TiIe !9+1 ԡrljĸ')1|ա#"(IW\FE|#fbw/@h*Jm6`Ŋ0{.[fd xq]iO1#QF42Vm,=g-SX&*J 'GEh7:|Nz< ?Q85& 6՘}ł|?oP^!X#! rg5@ hKۜȁE(PԨ7fKVe@)nw_rќ,uܖ6,oΡ IVF)Tc*jm+|Y~dB" dɱxrtzP\FUd"zP/FzζMzͿuB-:g^9 h F@HhZjevK& ˩Bn\谌>3\= 8FV8U1ƒz^m9dVm໻)oQco~SZt5,+2?3[o[֜US;E uf"u$AMgʾVEfEˠ6U]iJh}uo&SuQӝҠ;_>In`tE8(ƃZ2FeT1 MVRUs9e U0]iM>o8 X,jh+ϔuKP:zg}A=P!NC@>^1cq}8/% ,U>4qD9P ׼ѱn+Z~,G#kqmW96wKF!JE\K1{Y~k |;_DBr =g nS)ΓG$.Oۼy8Qr@G]R-0EƂ&)(|T8=Bmε.8l5@䍧\ +yEqN+:Ug<J; S`N~ G K XXF᩾,Dm(Z],;2g]M)4UE\ i :'xDѯ/剹WHMgۀ uM˄64W}v%.}H1sΦ>ʑ%"w$I\:'7*LƊ{WZk(G%`)s­g-K,hbʖ .NK¸ ^,f|go^(=(EPGKK KLYgɊ&沼dxSm %nx2 ]էWW;~ꂌ]ҧUyA2lд$G^sDQM ssC޺<,ݍ)UaG~ܤֶB7|\C#ϊvct3 :Vj_VB->Lare\CͶ=Veg۟AHݝG\#Ӱit[vIqW,S>|%92Ӥ(s3۪J,.XI!'^l< ^o.ql';eў[Z6 иՆW8ԣs&5wL%4MfK⋔.Lq~˵Gyk@Dݔ$W˽`K\_U>/a}W|Eu'1bPh n=:q1`#}liu)C"!8+TỒ; 㼾:FN "!!!8&h%Gr>a 9jIZ,gi7'-(ΜiY BNѶv42P)p8M0lG=l= ɶsǿǫE ڜזb+X.nUVu b \o2n 9͵Ob|zf)_lD Z2πb оS"6+AﳛB%/hHM FI!MFd*Ğسy (i:2 .qkuz6K"LJD]u+`rd:r-/_X_ 햢rXeNskF%l[uK[t88o5t|b*n>n(ׄݔ흶l1HScQBԸkgT%ɷzHxULJe3BL>zbe;&f(_F*G'm.9}Fj-xaa2ĹA{Fie0}ۣ7+=֢u/7_ͪsf3y A9F^٘9 :NT~$kjj%M0Ek:8/g:sH gY/ q.rKs`b@EG[VWkh諓 hZMQYtl 9c0J~E\wcJ%RĦŶKz 3$ҳt$]~=~%/8r<2w|C]C145_Jd%f§y\,BJ HaLv +v>?%Hf#hmG!o.T\Y/)\S;Ջ\KVZxwKGuPƺy/N +5cgNF Kb]%㟍ܡ@^ZSCW-AGO<[ZL͋Z3~>kMJ c!oZw )G aW3cu~43C?q5s3B`hLg oxdָN,2+`H|-{43E8GXp6kҺ!fj)4q\=ǶD!}D0ONkS4)1gwr Lc/Q!1+;rǤhVb;AX!\EH">Cڸ Mͺ QrLݞki/垸ew{e2}H I#r>+W:W)Ƌz⹢]rЧ?yB&D  ã%ѰiF\"DTX^ȋs+݈B9ϚMZcǤK^ !-nL\M$N'I]5f Q0tbEJY3p% [?{aa .o]Dy#8BK+".i"xMA˫TNtviߴ_B8H?Q|z',&"L 8w/3,.j"F ؏!OBfs<ʙP`M9QR\&`{ҥ:k;Xpbʏsa a1)`UI>PE4El5JoVBҖ_ d(HWCqee(U.DU TU՞.lø/·-0x>z[KT@!=ޒqDFծ-qZu{FòeNcdIXxr_sy4I*crEyL]`YXC$HSӚxzG>JQwA,K#nC`i-\ܘ4!9;X/XL0.v)\2#a}a)MUf7Xt,߷rmDA 3L%Q VR k8r`a`'׿㽗 7l#[:qϴ>*Ӷ{\Q,NBA|{ VX[V<]]d OlGth@b.OZ g BvLxh W.@eۼe&otY!| wqPZ9a[4ɃosƑ1Qu+GW>/dY:+M fU6{5c#:lj I-S0.4#=왊`ARL"\U0'018d!2X݈B1㓒o_Vтy&dآ<ᔇqP[S[DP [CҺtyQ#ZY2"}K۾R :Q:+EY\0% ߇6\Gyx iV4[Q#+Zճ&l#3x̦-N@DQvI zY ϕ65$7@9\b,J^kn1jOa Ѳ]y>+݁: -*Y G6 QVmM˄J:\oN҃`tT?6]F.=swؿgxqwтAIlWb ؗuC9w,I5ͰT.OFxȜphmoJ +=6I;d cd!o{ͥe%śF^/ץ= vŬv !PfײUT+ٓ|J0˯S fWq!Hd6H\v%̃IKԥ&žrSeIP1eC nޤv4I;*E;H"i)IV! (KL܋]߰o|AR.{S~k5J3 %:#ߺXD!Zz:Ƭ#f&5E3'3Ds;nǐ5eܹzy$VOpKYB|>|ҏy*+>zA%EA,=9hG Gl4)sH¶nPXK?l 34-E]܇I8GcpF!kȢ 4IhRXFҶ$v/DÀ6ס)j;e @YN0ux5 Pxʩ>nM;eVcQw Fܾ;/L%3ID+ϕ%.܂seu#悐)Ź7;3t ]t׍<'8fߢN h'(r//H7Y&=x8@}$ŷ4%7>D.izԡnR7(ʟa(9.Di|Sݮ",$U9 *&bXBKxr'n^I&PcăCz SM86mآe> J1|r&39e(ك)#&E-S줇t!o&YѺ8hqyt $dAWDGKS$dh2#ƼH{}r*8Ah>vYHBʍ7-}ZW#2JCTt\*~ʌ* 5-DaR/ZYT[h%Tv"(o3|;$PBV U3< Bv+mi5PGn>aEOpU3-j>)86'DVT(W;Ce#g5N٨$o4U_:5du0%+9I}CzԨz'xG e.Y mxbΐ PS&$Jٙc}lM-7~Ix.ݔj3%{dhH 0˵ *=!7;;,Y쾨O@xׄ&\ h@rZq>Gxlni8IQM3N5NMH-=klhIs8wǨni4" !K#9@ $1Aa!!¨ $q%6Rd]l)I5%Spzzҭ'D''MbEW15%'be j/F㩕K%N9p%h!:^ݺ@clvU.`KNc몼7#Vt#ܪHK.oc n4á9?;Œgd cfKւO6=B[ H&-OkQ. S2{I "֪Cz-rs AF/2 U{!Fwrz5suX_6W4`&v4q`GU#q @`x4D 1nvt_={H>j\iz D!K{YOZƓE ^~Mၗo _-g [-ywJ-FBQ46ᚲK .i-\Ԃ7DI>5S9#pd3gjϰ+O I Ab~K^(m鲵1N U sHxb?Qkuj2`A !%d6 ӫSIb6xWlV#:ҁzŅ`6iEm]rizZ)K=J &%฻I YEep˝\*i r\ 1.|r %K/D4f V9l2\_k 1ჴZu2w7 (Im*Kn}n XlXQ(CzZ1XO٠b y~Y+cJl媫j;%Za|CEGpAVpƳ'r 86!l>v1I[ý55~S$<(vW|RJ(X) 94U (4 쓏 O[_qD^q'滃Tv5% h[:ӼAv*M^ixW ЅwA(2ځn~;SܰYoh՛ŀq[2\AkɅ VG;3՘Np"CفQP i:z_pP{ vXHKi6L:+VOfZY1V z:]~ A3WIVrVBBAwNKD)·FR;Lbƭr'ZR<5{vJ9,DrP/٩*ֶxSRΖRDat˜qeRN";Bd)J삾UEcmʼnډ'4rŨ~M䵒mez$߉!{ K'>    5O% ~HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`} r(`g=)n~$PPʇ"MYW (2ܽ>m+旪 {ZjK8 [dCOV|cd^ ɊAWҥ~Bѷ*DP0Et"+@9lE&8B!fr?7!l7 Y RmhH"0A[8J " |fB%\ǁ0<<_ 6F  ,%? D M]#͠OMA|"T;p 3&'j<2HV^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal  5K/ xHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/lQZ-f`S?u&f;0*jH#&[h1*SVvMcHc5Y<7k6۹Oj`!TQǖ$ `%Y"@k~#%Mc$2B-RԣbETEAګx6IPJ<˷Bӈsˑ"&b,H ,a(PHb! DPz 3IYQҋi0#E(Zi|тαpMCVR g/R }~~y13. q,Pd`xK=nEC[ܷ]uWmљ{wwZ79oVDSnW|_NTL qaCT}93O-OW'ogrw6?++w¨1~Orkr--#A0HNVo܉QڴM}X_{oj2^"ޚ7//욪D\~bcGD$ܪ wlGDLD ?3vH,C!rspP~!>РL   p  >!>t&1gk i/͝Y!J ۮNڱ!;"9/wvn~~Dl7( 0 5O' XHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_FF4# o]X, `7 3|@@@~ bIhj4b4!Z| I=u^a;4Γ63Ѽ<׳eh0ʔn1,LrD( s$8  0n[P7#ѢɃiOƄyAG[x9 `-lrf`Đh&-4FM8W3[:ż O穠4tO$dBЦ! vQz轨}5ܡp7gL0iuu0ȪaDn 1P'sHyK ᄤw}S*7?O"r8 N`45*1wFWJ#Ykw{;uX/i-[Mْ%v{Dc캧ҋeVc]ԮZo*qڏP7[_-Ʈ .BT*~[.0Ѭ(]:uJQ 4˰F v'ΤxvC; ]QڮpB}sb$E"˾ln':lѝ32Hguݝٔa(% \Y:Fc5aP}_ovUm{vamO!/e6]+k=i "X<e.hy{3W"p$+)L[ӟ:i\moIw-VA9!YŲx#OITk|nU\^VV+$G #b#:zA2SVX{^f5(X9bdg+ .~r-zצPqNwTį?:l1<\&ZE8mDK¼3j]2=j삺 $cB ̑ogr!B8T1ȭv05,&k1jt: 4]=SihBC}:6PpvE)(6VT6%jŽ_M}96FWn (OBQL+\IG *3‚HFPf."du|ECqa7,xM4jY#7C:Ek7uV6'AwT_ WAwP6/|@ŵ:kMV|-'%lݰjqPZ*3P'O +0[EM$ g 6Czl1gX94h(Qm&@ 14gݞg@`HFC8uL_'(%[;oeFvuђU@/VYܱ)!w{ʧ'gW[lS"^ c 'w[]iƲj>MՖ"[w;餮Ԑ=gtOƧF[ASpL)Es?UfSg͖꒬,ȿ=J0?kWԪh^ (]bQ-*ۈ%atDŽ"CUNTJCVAS ݱPh8emd2Bd`H U4NI'Z)W/}2qgI$<{}X_gxNCr+y3-]6Hl- N.b1b4 il$ Ѝm J5iW[b**X"V%sq~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