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 c~ytoje`[VQLGB=83.)$ }wqke_YSMGA;5/)#  { u o i c 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+<&B?~Jժ0cQ,QEzLԠ%P̃6ݒd b0R+ZgHEQZ S#$ijDGҦ=zj^3PTS &L4=SIֵyukT@lW2~"3UY$fzJDq<y&9IϦI5]wI=ӷJPHH]"C)~(TT65I$4h (",;,(#&g  Fvxxx8$<\?Lp:[0 <4,ML.á{(hwL1IVW$5kl)mr@f(Bq#=}&y揇gw&yP5g29ߙLҏ=]J-z ;Hp 3ǣc7k C!YnByF,Mvz&UܧaIAejexxdgݽYTWgf&P@` X  â/D  Ae ߇6hP4A_P,z> fQ5nԠꡎ/qzD$Q5tɾ❮ު;Z?% ϏDJX1 [߇⡨J,[-R!>ռ"\7~YcOq@*[jώu벘I2SE6DJ^Lu}Z"Aa]{kVQ []Q+I4BMSuzzJ-c\ۥ%Ř>K8 z&B%R"I"l.]&R~y^\ŏgv@8<7+ ;#뇄QT#IRRP4hpDim!qi,P Ab a 1j)7T7 u^ l ([2o*sb$zA|͸&8]~|Bk s}FAnDWM-OW= L ́4jUKhɦ倶 T5K% &HOL-Nominal-E~$n#g YI  ނ|{xiwepYoXhUgKdJ`H_4\3X2W0TSMKHEDC<;:976321/*{)z'y$x!s\[ZWTFE @ ;#! }|{wts r qkidc\[ZYVSRQMJIHGDA}@|?y>t8s7r6o5j2`.],X+*'%!" @9320-& % ! gTo!Xs U z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5vA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesuF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!    V V>5|4^ [- UHOL-Nominal-Examples:threads=6elapsed=324.298cpu=1569.003gc=82.680(/=<|") KB;75̫4ϲwˆ)e eb%-̆s5@etid!vNtn:r?[>LEa)"_T4?JJ944<8԰j&egZblKFmH₃CCdJN{:`$`Y^ؐsmpG"$rk8q;6B\*ڎ솕 \5)8jŌ!PXXHD(Ń"""bM"ɔC|(\*  E,$jwHpZdt"bTm # ~Mwi}^ 6s*X8!UV`qdCNl$ѪsD7xzj `H,`BS>ȗ Դ(&=  LrlZ[uwsQiWZ (FHX$ (8p2tFC\  eD((@ԌpH (D$8XP`=xS@<4(DЖx`PxpA!"HD@,ƚөc7Hܑ y:"9[(4HH6EĢW!)Dpφ(@XP x b(4H4H4  b!$XH, ` ADD@ł&)`BbCCDBCb $@K5{en~)#v%3ˠŦ ze^Sl񾱏mlvXͮ|e[x6@,\ˬΗ>=iaI7tuuב w+z^k,b2C_:$Ew<hrly+ȱQ?8mr4(c>OB<~&SŪ[&uG_{eC6a{qmMIC:C3u,;+WOuɾ.Ҥ$!{'Πqlɚ$JalR!Mۯ|49!wV~!>iV;tegcIԑVbv7ttJ2'_4zX;!I{{rt*X g{MOT^JBinӵ!, 4fm>rJ2<-Yi׺ dUv^-6VƯ]ol:+٦UOCߥW9u:)e9yzƞ#jCvZ"zؓq?֦*^{z۶EK]][t/;-udzd\vʴbZVwzسޗVe:%kcԡۣ'4H^Eq?4#E 5 HOL-Nominal-Examples.5o] HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thy8c52222686a1f76cb4e111390fec7aa78dc4381a(/`!MjT+n-DHHߺZb%#-}n TR*>DW Y(@=HMe쳳U%"'p;{/r4pEs,L/9V3 E;^Y9GO xi-2UjX^g4:nj Xj,2qC !1l[ZCShD2l ѕGҚQ:Zy˹F~!Py#_0+SA儕D.haSGwѕ0GUҬ`a=G gPfSq'mjU4Wd o!ph;GjUi\=K#}_jʖゑ'Bν%1hǻ%t02JxMl$Bb\:!A##Ӻ>8aJQ 㗭lq-ΒRkZkwhj44љIӌVMm.65QJъ9Q{QC7T}Snꑦ!FpQ_'WtB[ nQ[ v̖)IBʓt^ఌa@"jDs`פ3d%ѷ+W5{9)N` -ILuMPsH(rDX( {)HX ׽j2P1eHfD i CaPfQB ! D$I l$#u9ytFݤ7SP|EEv.($}c&0]Xdʝ*ug5 ebF@oH`͸ycC5M*X-?}nYֻ"8]rD>%3_hĠХxJSv@$lSK * N֚c0 bﶺ*t7& #{#!vV63e^PZQ!Gd+jW(Z 8,p G7fcQS." ^\($;BτB/{5 D8sꀛR!%v~ SO$p%& TCYFY#)'@ ։^Lh7ݾ7lBS2: .=KhC܏6O#9b8KڵE⒖Ӣf#D8 !oߟA^i}ボ'V܎f"9p2[^ePBxT?`j]7>AñŗL*E4%6s}uUMT{B|Q#}#HB8m%>^yw!O{XҮt'3 *ͱ[>jüdQ3Mb$hb-cڔ.ҳBsoZ\ i}ݸ ZK☦`.c^R;0@0$Մ!^ltgI -cKFՠ8ZQv*ϔڠKAYvR*[vO"v "c'FkAjZ'%wT$Ƭ)kR˪q"eI6u;QV)V2+%T=?:8GՍڗ9X~aB[QPDY6(I yRAs\%"kgQɥ=V`7'PߴC$޾cm g׵cJn~1V@ڊtsQJ_f˿5=т 7Af4@x# p0gbl4 kZ55|_Lp5bZ5_] DHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy2d8bf6ac0b2d5552615942300b986e0270de9bec(/`Q5#@Vx!I`KG;^f=d8&,)))| c4"䘣h># =6?G, d ?ts>oKf_'BrY{Ya_qV^I{ØYA[֘Y8ߐ8sr_ᤳa qPAI:\;cǨ~R"      x j q1  ] 8 ; 0s $tA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lam_Funs.thyG5iHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/LocalWeakening.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Pattern.thy=5UHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Fsub.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/VC_Condition.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class3.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class1.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR_Takahashi.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Support.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Compile.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Height.thy H5kHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Standardization.thy <5SHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SOS.thy C5aHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CK_Machine.thy ;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR.thy ?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class2.thy;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SN.thyB5_HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Weakening.thy>5WHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Crary.thy:5OHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/W.thyA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Contexts.thyJ5oHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thyA5_ HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy,Smऒ-1lP;CV̉D c')dbLQc֞RvÊت>䢵-q+e>fXWٷcb6iȻw%1>^N't 5kS`d}U(. Zj5@^]q8q)5H6(:Oj:`u5|^G+[x:j4p K#ԻwIi1Bxloԣ@^B}v\ԃ]NL,G9hK!2bBd#!BA7@(UE0̞uHfǥRL?-|VQWTvj5ߺ2I#3f\.ӁoOB^- @cPȫX6 Eh69+# na_ѡNK.ˣvom|=wЗ#(\a ಩6]71Uk9]M_[S0Lwj&g_+7մ9Cʙ|1ĵÒ.YډBf\W.Fu-pl}haF l 9k`,lDʳP4\ܲe9eo87pl֛AYt\5Š$NB"]\e;jia}|E]wn Es5"0q]H"%3ᒰd/ \Aj4J7s]5.x?K$ EI=3+(;#}@zpjq|^Pl Y)O}{L[y[ͯIVh&/d F;;H~M% j spK@:9H527oPUQ1Jz(s 4 &8×wލ "S/ڌT{e|/ tt)s^E"Q=t .)BFyk=N31Sl8UU.5"cz>ˎݔSygGbEW9&s߽h\KڮZ@WI>Ό*{cږ7^iM rk靡h5QcI= wPX:Wo.#NJ|hmW|G0]첔 VƍaMa%ToVϡ)E>+ȭ/Na*YRm"qm_sts }0=r{%Y~׋Jn$ڢ]nʟ')lIH/RLSYAh%k6zeL0(.7 )e@@6x`Qf2 y Bݮ#m$:Rܬl}*]e`FYvÝ-=+H oBLi wCzA^6ʍc)nv z8I(͵s s+$y&z.:&rKs](t:t-Da7J nv J1D:bLHH;c 71R>u2x}n=TgthPϽ: XW^/_ VR &':Ai쎝I-Բ=l%./[] 8sҫ ЛU7{ܰ "wobnBdTkE,R\UiTX/kb-ZxcYn1HS+wr~ }tN Tմ=Hpv Mev>'$=v7C) +E5` !_"p:ڀ+! %~F r\_ +!a yTG:GKWɌ-DzWrD6 ty4󂟩lݿoq 4a033RxB03|qS~0>O\17/}!R%9.(,JqX"f.)p VM:p/L':H:Tf#/lz!oVb`q2SmaJ]ۃ.} <2k3{N!փ*`O"ka"-7 C!:v4 Ʊ7Sw$>/ag\HOӔ2sw{#薮-x"Ҋ+{E`)7(Xxڌ4Vnu-iZvtF\M76iK]!sֱ%4xXc|9Zzj%8e븥Khe&TϽVڐ(r̝s/ҕtBhq}Ys2 ,6źyG ,O*3, E"xq?4x wSIΝ\Hm%+$@>* J`%9g,wFJVZCT1Ĝv^In‘-k? Qtqy3Y١6쭻pA%Y `O|c9f-#W 2[}X^Q$W~ӡX*HCח抔']1"0*GիL:A ":o쇈_E9=&yopJeƼ'4ɡtxyGA=-\uޖ*%玮2w'=x oh( %NIy;@=fvq8,(_S~8BzT%U 9C&xqdA'ĵqV5hb sdNF]]jgh/3-_Z^Dpw7 o-3fr?de8o M(*XL*@v'ԝק 5$3Pg( .] uAh]jKWUj,ATe_1 g&u4H54-`CPkapA\9W,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~yI~53gs#5ZYg0wD  >ċ xk' ~ZsvgYz 3qIj Ɂb>XJ0(h#;nx4os[)KL8)Bc:jwlػgaϲy>k99`#KܖɄІ2bͤYjNYovO@ 5lD0tt20H] 3~`CxdhT@M(EH5' IGw@%֏5hU ~V&1 y3֩]19T Ȕ!' nrWv)b UIPK/eяvZqZSq`EYl}K~%8!%)tzA`"o!`Hbr0x#g~ St30ZC(lt}g;Xћ$#?؃GF1ĺH ~C|\,KH1+6u2xTc`xWB0S1۟ оX7N*]&:ݎ`0!_L`ͩÖS.{ p@ipBEG& ܍bFI~-D撔6TyC7Y(!4sSɅIC_ڋ\xc͢x_ -7@½R8+C喼h(I3B0ˑ2ƨG,Z5B0r}_)a_;d*!5>pMAbB DBd?bwA<)ڧNU]j1@x_rV'9OvzX(BV;jy#J*w Rkk\ *ml{Qçp`[D8B82\[1a`/$m''py+@Hi@M3X+2N(IL֕ܯe$yWīIL|>:e*dN6I (Ckֽ%6ʙCԹQOikZe?]'OQ↳َE9?1_9&-Dot=b'Svj#gGW&n* B;l"_Żײ h)w)Hmfc-6:مqKDP}zSz!+)WaZxLo!bh80)] ҭzp Mce|qZUߩ \|Ufn4@?ٙ_s+gVgq}2¤4rbS}2Ea7`m0&Xs|:)'9pvaͽ?[IwI9Vpй+I3z1zsg]丐PӍF+cxBÊݵD}c@-'7LCWqS P+Ͻ}.e*[&&h5WFzlf_Y] Z;Kh$`+q^)oIj!gq~8O5"c/ \嬾[8&DcRN{K~8C#fd]3=RdLɩMcIأ 9!rFєDA 1%h;&2H>^w>B.@,/>L*✟?ZؘυZ^{NKT+#83oSTr! ,/!c3'X}_VI/T4T/=k&rաގ]nff,n Mi,g٥NƟNc1\R,ɚ`}Fۡz}+Y߲ FFպ HJĆib ⾠rͮ_0  K 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+<&B?~Jժ0cQ,QEzLԠ%P̃6ݒd b0R+ZgHEQZ S#$ijDGҦ=zj^3PTS &L4=SIֵyukT@lW2~"3UY$fzJDq<y&9IϦI5]wI=ӷJPHH]"C)~(TT65I$4h (",;,(#&g  Fvxxx8$<\?Lp:[0 <4,ML.á{(hwL1IVW$5kl)mr@f(Bq#=}&y揇gw&yP5g29ߙLҏ=]J-z ;Hp 3ǣc7k C!YnByF,Mvz&UܧaIAejexxdgݽYTWgf&P@` X  â/D  Ae ߇6hP4A_P,z> fQ5nԠꡎ/qzD$Q5tɾ❮ު;Z?% ϏDJX1 [߇⡨J,[-R!>ռ"\7~YcOq@*[jώu벘I2SE6DJ^Lu}Z"Aa]{kVQ []Q+I4BMSuzzJ-c\ۥ%Ř>K8 z&B%R"I"l.]&R~y^\ŏgv@8<7+ ;#뇄QT#IRRP4hpDim!qi,P Ab a 1j)7T7 u^ l ([2o*sb$zA|͸&8]~|Bk s}FAnDWM-OW= L ́4jUKhɦ倶 T5K% &HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 R;!PgDD[ Zܡ21FF,Q&wX66/ .iљH(!Lލ/={e>(p(5áPh' 򢓉1)_:O{A*NG:v]xPZI D:Dǀ B &\ES}զ{"տc&uAweM[G:Yf4Y8eO.c.~mbmggvr1BeTPFk`9  11F"6J(D:' lQ>HZ-ͭFh{P ʊu&3n?ݔ۪-ig#aB2Yrhq#OzBtK{; nM$Y j/s]6\جK$#5[`>ܧBu&3ҫ@("cfMq ĆE}֬< |H,7_;u16 W!Tbڐo1C\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal I5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1a) x@[o o3 TGXE0q Sc"ǵHfZKu /+kcwE##RآTKs08[.+@ޤ,S|(RsM<@ͣ1 *yJ5}'5Eb !+o,iNU9N&WƵ LÈ0x Ss]0$8 j!M (4y01=0{hQpsjWxmz< ƣ1"'i椤A PPh<1ؽݯM\+.|JDKoR˽vo\ KE0,VhP 8,40H@D< GvCCC@J<XpPXXXHɸF?r}V?tNT.`&" f=PpN,eWkrv-&rDX';JYU]TM<@إH@$@DjÜLsVߧ9')KsbJ攮n͛ ESX] ( XN4fwTٿES8L*oFx*x^-UWjjoT앚k^ş<e-dɕ&#o, ƈƶ*P]Qu)n;ګaSͤxHH`rR)}'Sj< Qti2Q:Dln9Tfa,(翥FϲX C!eыlC+L-$n"7aNH![T̀ݗ S7u٣^=նvpas w[--Xv*ZzYFwܿhuLzE46T{l/WxkA]8YuMɑ=.Dɰ>pD4b%4lō8 Tr?wx wx G&Yݰ hÏcM2T܅h@\}LwN/ Z85 xfEN#氂lk$/4ۥ彝<5}B| Pvs8u¸|u8 c'f)h1"vc{g@wX{ &-í}<)z_ i5qP÷؁t<xbEf>bNMhVFGJ4#zi?:_970}+*pUq!\z"WeL?iP#"R.+G0#("$ko*?(-1-Q`` u\;9juA*_ɗ"_2*R5PTe#_}!d ̙j=\ޝV L/Gazc_N/'1e J+w6cD9/5e!ZV5p'S%F*ZtƓCY|0,G8R yP>h5B.+Җ}`@S/FoV[,H".,z_c)vYDwiY[U7 Z|';M}YSOtS6Q #mm*h+cNU6MHG;$umu %l6+ət%$פjl[y7b/(#u 0=ޓTdڪdUz#M7mt߭4_]hO˼tL<ah>bn+xP2R%c[( &ycT^˭-Ac+kUF0WCebHARIzL4`Xd:@JH^a\ !G/Ctɘ7|aVg^ɕĸ+jpP&MjE@ R-˛)GhVs6KxZ㲩@]T%9xxX!xJJQW\e͞<$vs2Ź0m@Ir$o737 NԈIxd*#C|7IW07bXb cw8]%8dQ!NN4.6N"0s#ƛ= Kε+5냕`/( !sVB$>%((Dž٘G9XG"8o55" wóVA3,|Jg66ʘxzj7XUr5@7A2|lpP5 Cch?\ڧ‡xc\],HӇXC|@Xp,qz%b f(= |dNo+ 1y[Q8xW!pD:n x [e.s:ܶ_x'q䙜3 fa^B OZ~Z(\Ù!vMNđJǐ^>$NPX:a܃X#ӹ&rė x/cAU;,V 梀b%|?A6wR6q)Om#n4):T QЁ|T]8c4YxfD=f 4mK6w`dYQb5eF< d<5 +1_-6x@Z E(N218yH eͪ`!jVvH_qѼ߲zW; odo}TEc=g̵^}9|%_3Г7LS A;LE7~` rgo\mmb̢[2Wۢhol H/Qla fBLDQp$߄$9z;їͅ +QPqcVf67]?B̤yȝ mk$T0Cx@azP쩍`$DR+T+D97_$h=nI= 4SaE4cТi]Am?_lU!s ] _ T PU2зT?LQII$e-gfffU^m3mI$IEDD4S3333333uݹ[*DfڒD3޼Y淫Zh&C?nSUKh>df<3m;DDJdTC9C/m۶m۶:U"QRH(S"!^`p!=(DnU;3 D Fc ֒%)1k`4Z^klYBm]%I$IE."r\BDDt"iMf:.ܖ$͎ "$B"$B"#22o-fU}}߮z_UkIu]4Qg6y?٫jMfH @F 8 HL@ Ahp a dHr  m5Y"Р#Ɩ!!… *62FR~۬zk34q<6JoZf6&άSQa!b(4nX,hfg6`ha{/$|(l?Oo-n|JIw,ΐv[ H4=תIT*H9w7ʚBlS1=lltͻkwLj1^KQ8r>1 /s}9%dz[6 Y[bkuơum|M.HH4|{vQ\ArP,___ӕ 75=;ux76(w+PVHZN`R ezdA&W4w),Lľ \P G>Vd8b6T"3hkIfs@xA#hj ^I"?%s;c7su^Z_GmӋC1]T8>/| [`阇HêQ&e%aFgJF_ub<peQq YH6gF/n~qzL+vRR iҌ|#Q8bkjb(k< mZ/ɢ #u%'rgUcˬ~݋2yLo۱ݺRi5P:FMVM_zlD-KoĵJ#31ůy֓!'d:f2XMBoEXs-$U#mItbFEq 9P8VЮji')QK=RžViijӖTġ+wpoxNMWsJh,FTu8>Ÿ!ՁWC;v rpn?2D^ZKv~V<"Bfmlek!ɧpG_]H/;A `^z:Pxn amK7hg{gX8qIzw:GoEtKݶpXL2\÷t'{{4hJ>†sf~ǸR)vQρk;}P72 Z;pJǖ8R=^"rs`Q+n>A}ǫsY_xoRSvhg |u)뵀u)ެ a/z[.Z-fR1gqm, u;&K: ДV~f)ڋQ o ;*.- k-(mL-+ܚLۊԚW/&_!e$, FSL0HȅB.Uȵv+pm_psu⩈ +XbH;t4m yٞ!1/6>҆U~C2U$40c"I53BPcG&v :>Gnu,+,,m;ߣ|g\j(pSS$|T1PzX޴A^-qaD#'C =XG)Xo2sN4E I82qIKmE zI&ŝc1\y jLEKSC?ki* .1OO"whAHvrfZ[hT\&5ctnZ,T8fpFhnPXygv|[B Q ͢ 7 CyWJ׏nF2$j4ߗ c^YXt;7["1bB AgjZDr8cIRv1!Qv3\ 9i#⿾/=t={I>8i`R[<q m͉h+`D=W“ ^2R%2䚼fW-=XTݛ?i`nv|zåԵ |CX={ S&;`÷5}j;s5<&RfI&bO wV3X`4RfVMלϪiSMo^dSo~.#n *L[5Ui2 s:f‰B {y,=%Z_D W#-NRFsb4ƧT̡hnEv雿)[u_zMyc뻵8qk*߫zN#.;<%MNnkًTjG&T{3 ~8 } 2&|녒|+Z6o,a- u i "gB|cb*.qK~<[;&C@[зй_3On0mj;\ϑ>eFUHedrN6>ɰ@[! ]f{۝lYaoQeZ]bR>C7_屯;V;o"lm[|ۋݒ|ŖH`P6½ݟV RtimE=-r=?aW%F)zM~jXtm82gO+!U] #[kHWoR*L}ppwD0Jh a`MqdƠWC^;8Vy~Rֱ~n:~XdfC+a݆WCl+`ts뵮/F&C] -7a;%} ^]J*m :fvJFː9)oN*U2g V|B^0@11rb ֖w!F撽 _D6k? F$O !|!Ftv5\60?V\Q hl4rQN+bpg=8@wleQi*>?<{"HѰ<9R8SB6'mwy D7 ORI Xֈ4Q.{ҷ+z hodFGWk _Iڀ4{Ě7}'Jͤ,x4y~iǰn4 6# vBz7HFrR8 CۣS73B?^ dL5;A&&Fn@퍭ITZ c.a 㙖v9 p, 8G/6q`ybf_p5Ơi7 Mp l7 s|`k/L=hA]鏖&$oPSGrs`l~s{W7hn!=iNxlyɞkln܆%/׋SpЙ\Aφ/Vbk7܀zZv管!m/xp[gYdbăDž+&P0 {H`.a6I.IMj*KF2EYb;tN|,Q&nvyIw{3{N[2vsڒLuNfl26&sGٙ1ZXd#e6cs)}7fQB^"2~{Q\6)lEIj6n# hֲԄLwR.yqP( p  kQڈWW#)dOm٪Caz# *PFS)QH@ p4Z jB  /46cťGbRt= u rx0D)U>h` ⴅL\3LjԬƖPѵۋ(T@r%*N'\/ǀ` $- 1XsɕЉjZi Z> 2*1 1]-6q"FM0ARq6DӉk[=>D3Y]9VTGﺏR~D ;љ$Ek^Ꮒ z%UdD. 5NEkgT5 vuUeHCPCqV`Lik/"+:ZDݾ!DF|s"wQdTL3Eل׎3^@f$¨KHP!GBbHb҈)f#H-n-$ԠcŤ7))CIìSL"MI$~/+$,ZbU$ޥ:QNෙ4'$J%T#jŀhREMŇA"_]YpaQ^pUAJ9*2{9ON!W.DLf6Z#[\頣Œ)hX}\ cb3ʍ̣߯!Up +.Y[ ~Q)$Up%~r4K4qbҦ)%,e"TvfӰ'I|YpndB1k_:3⣗޴aּM=N('CyTϓjZ(5L]&&* aZu':P[}5zI&@x=gޮuH*#' W*ITpj*}u9G){x,A[[bDrvҦS+ ~eTmaZf^X),JR˘'9?V^ڕpލ(gaQfZuAa/cȷ5zê):AkTcbdYAةF}Y7^ȡZ%&^̺yU:Ua:W)jCFR\eM M Rz!8Kq-2m]YUV4>S^F{9^.w1 Bjҩ\FepWS)ܹZ'-zhkMH+1Id lEaf̽shOȘ^ 1'kxn+\z[R`]+7}Md.>]G:;i7WP).pڵyu$"i,vє.TZ$Kn+;+޿`<u- R].Գ4ĥITK iOQҜ-^ ^'مu7!}"'_֋8$a=}+S2񗪃LO&db>kt|ɥ5W˝Mċsj .eUYk/ױ&1$\u]!:Mi]L΅һ뚯_bOɵ_gzz%V>T}zbBzޡHܶBg.gϬ*f ]51Jm-Ʒ]Mp璸sMsE`ŝ 5_ZqMfU\#qrDE:WyE ±gU8:l#^ LqxFӣb,}ʃ3{G Sǟ\,$VZG"9)d"Z5֪iF,TxUe$=kΛ 9D=KRҕH * 1lnxUj+S>G"U{UI 낲KMZA拼.KV!g3,rrC7bKҵծ-HٻU攥~RtT)-*OMʤJHG!w?:e@;NA˴F#QB~Elm$\9(Ń: {|V9җ&خ$0s 8(+7ر<[?L]o+‚bS%weNyDϼw[PM E3G)2?f_5QW7E_ޞ 6M%o.! Hb0eX.i&`/%MwÓlmeY1^l{OMHUnXoܬ{ڮ6PPA;:ϐ~5>/ :0*>n_1.t Y5ڛ+ "rql ?9/gA/*0jN'3ND ij$bU҅.LpkN'URcbZmȌ|`>;k c>r>Z* g瘱/ ݳyk/RYH[( \|y߃ڬbMa2T}k0w>`I(Kf:#M8/h!V o<(AVs߷X)z&`hYeV\)q ;nXo6|b!TARJ4y6B%l(ފaOAI+FȧLL~Tˠ:QOiu_fj:=wpNc 7 ]h.^AB_OK!9XZl9cnBOw2yծQ `~9ay\Aօa+1is5IW]`w½DyQxk-6#IVvܾbQ> Ve*壒&!ݐsnUp7Ǟ"ޤYP"ۍ~U ($?ko*O&dBr/xgZ*EcBq#]kVU`dڙ?"vImZ3d暬$@3tp @oh@CLL{~A^D~@"}_D[_DlOnw_2!a҉*HT&"1AL&.(&b.#~D5Ca!dBԒ62UoDwmU#".ЛgnWGO8U>z?xx;)P@Co. (("=rM<*BB1h]:ѫL;Q(hߵfUΤ1=˾{kV 4,.~q3Ō%cqUoƂnZEZck߽2/`hߵe̿ [2B\Z]UoZWXZ鿈e߽YޖUQ F$Bư8 U(H46P'9<$qT 7ǹ*W4D TLH $UvѪl $RԼe@n\Ԩ@>o߽5 `' ( A 4Ҕ @ $%#2xD&L2!N> Eq@"=:OίWa1Y(,“f%TH&<$&kL,4ŸFhmͪnjd1!$Ѿk͜WWgV3Z\FeeA8ۆl~ֳh)h^|EˍEkYciH\d,hEVX,h)P*&cIUxşa2^7s֬2g,Vۛnkf4 302J<è <:2*,*. D ""q(Đ4C* larգ!wuܚ ]T6OhcCoQ9}Vb-Ԩ| #1(BٍF֙+]r >l^tpL'YYk$NZO]yl4C~: ),i ^t'o=MLCB;챚V+tL{%Ǎ9:_3GCU49-rSIid!۳IErnD8l% Q-?lmU')Ԙ?Zbx rsc^:A65_J ć6{ZPj`0|Ӄ, T! dT&;jp%-p_.-cg/ ZGiZ4zB&1x3!fqApRm3 Qw[+7rONpׂ@޾THx"VxZ|b /=T ʬAZyƞ!n7 lbSDqazuhd)MM(Z8"rjʬcl5*'li%T2cPV.>< RO! &L|0A p1v{2zӷS,0ƈ#s\>@MH<\Dgfzb G JI~`\,Ŕ Hz)X7Cj;hjďd9} <%VKL A\?pmݍS>9MقNM1QdL_d3%S1}^c7,~2\m-NI[uFVkبaԓ3qjen=xRB{CLoThg:7U;IYX uRCzjjfWW_RE5wDNۓO[='UIT9z+2xY4YJ}̉tvR=&sYV>Uؽ^!룶qx~43ӌ Q?#E֥PpC(+Zн'{?K{ d%֛>NI'4(Oa v?HɬډHh~']{˹s4 X }X wXIhA ЭNғ3RT՗T),, ԙY٧PS*#)ɭѣGqZԞ 3\FXǫWTEoV@%Ǔ}Gt ˾rUxx.;vwJ7'>33J!̬x!kˠ8&3AA<0yyWof9B)Ĥoy_{gϝ/qruoY*m=oK{/uH>~In٦ NZZ\y'tڄ^ E l^uF?*'Ψs > m&^Fz8~.J JcζMF2ƽr5U2':uΕAylxHNp ,7RLYo TK1Y鿡@ŽL{ILvzQgS5KsL-i ˵d-=*le{S`$JrH=w00@7r3'$g8K]['6$C$Jq?P<Djh鳲**xф"=|  UxQy X6kc6Ij(rG>9lSnG3X V0NAXǔr zwg asM4D@L9%j,VT@VV(A)/?35phORp6+macVo|5([dѩϷ4vtR?B l5qtKp;O+{gI:ut oKW'Q\z+쵚adD@ ɽ.(imMY|NQz":8wiMHZFp1ΉvG$yvӅ4P%mdl2a(e;-YT uSД`θ YYelW072 *P"xg@XHd O) MAqoD$X_7q˫߾pZq&xj&2qR[=:7QL[=k9 Zkb4qHP3O̊̍bXj=U]=9@Txwk\Zt&p4\q E8f3tWx0@:\`b_YܬL$$k"K 5CGFaRAa݌zf|`5"BH/y̔B=VNu6Ô 2)iXi{N>e23H|\TQ"6=_y9"vM&a&R6 >ʃo0 H@.JkzL Chko0:PըS=뺈f 6S⥄_cic!By .y14 {_7뗋ZG֏%"#Ҽ>k'-9P nV̕-,{&b4֣h%āKԀJ`\juDGѸ[G&<|F'{5u6@.裤~}!6θL $rżV{K6sp?m?ȸz#n/KqL;_qmO wӧ24`/ `)ѧބ"PLg,_ӴJ9\ _&s{l0)$%DLKu- m~7SdDfٰD;\H|}Lx@U}&kȔ^u>'{%&`jXO[b򡴯qʄ'&C9?v{ hBD6IHxhg! |%x6DzSX)":cyoK#&E9OGi%Om%Q 51uf3HsۋI+Zԓ{DM XRɦ6fUDwr8 /&XD"k/MI<%=@qs}/f:

[Ja0ɢV2 $]o.y̆m-CN+-B\L71~ =c5*$@e?gIX\e>BD͊ի#jsrJuF4ZqAOt 1q>*4O9e4ț\6EM^V\G` ^{4 +1H8{V8B>a|`9cmRS4K:wz#NbYD@S7~5-=^idt}wRAЊnHKp_q`(Ʋ6ru4s SbhsVfIz܂0|E2!k B!pJNbeXk&\\q?uJ랜hTvi6܈WFBJH"HTB<|[wyO}god&[T]Z*HdTu(QN0uP+mbYᇏ 5OòX̐Vh`j02Źn´o xU7%eg4b6vlUj*-qn HvT6 "WRͺ!JeIy17U:CsHKY4o5dWJ4&Vsĕ5>Li3:F}AYU`zWjC 2gDYCꙛ 2,́zz;fgdr'+t$?̔U~S[hXƎ4F=٠b],ve[s,^|Y<oVv4ᕠ>b{MϾ)i3s!W]m5iIu~mk䊔JϖeXԬKY&ߌb4 e1l9>Q_G郖nÏp9:,iNX-lM(u/qH{a-VEiԋk {Zm;5W`ד9D{ĵ:9zChVY@WaCsgdLnN Ȏ(25G^1Q䭸 $> WC+= ?6&[RLR180JJe26U#tyʬ6gH d0Qag+iЧOG‚& h lLkڀllZ# AMTgW.gZElXu T^*?wΐ3};rO7dlML}r9VC*{fd&VOo̿VlV\ލ҅[83't]5”S1rjJ[T,u!w/1kZцZm[8crg3@j!p0_S[MJynS7Ml3neg6|(e6 ʄLdk6x[C"*UDo?Jm6Io2}Vf  t՝:J[熆$5xsfT$Nc2I1C^sS߁u[CYR#?pMl7dLq2f>t@X4P/kkʺHETazѬG}PJx!A/?f G5g? {,N:3[3eD^6VTb$Kxq ɼu_^~PAh5!@&DUt.ʊ* RiURa7f^N#tM a577pY㛔S)# s#}xZF;AQm՝fΒ'D+0sTIuxJʴ(J`DhoKBQv/jdҳ/TVeU(U9).JC[ s̀(q6mc^aA?+ u!7`o̘WgWx%Cm( ^4̶jD8^9( KX9qd U=2|ӝ~󖫎ypڷEq/h 7*v Nd!Pztq~/11wŤoSXڨMem"te9Mv,g*Kݷub6W!*ysS6g0-kDjȴ4O&efsH=#K~Mٛ?j0gxJv{"zb Zvh!OB⇀c3}Gƕ `D:JnHwt' S,+ǽ`;sGBJLy\rM0KH-3rvؚK|{ ®^q@[gIoDNak*"?٘g‰m_˔KDzgBS<1豬$$rV}b/`<ȔVL>j 8Z'Y8 M}oÜ˺ƁaW+?N2zד7wҡdJ.qNH4r@UD^T3DV-Dd  @b=CĚlKkӓja(RlŒIhvs-2/ףj(x#U'UlRrod(&!fͦ 9M6.KT-[HnHntyJ1SǏ̦'Ra3 &Z/iԀVhC|*mព}H{@ܼy!%IhJvI"`Z=ո 2_ }}=|׀|둡L}<ȫ[Y`*Kr`o_i98 sosy5K) lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`5b`덜{YexCw/ 2!Hb!7PKIV`/6d_6AN㬇T@ sl"2–_zYpJ^[+{ݦxFNofR92-@ õl9dDJ`,Nq 5K# `HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/T}&o6NfPeOzODv$C]jTyH&Yx/0"5UH"5Zu$$͓Xpd< kD$iqRHDP i(Cq28THg:6 j(O0N4)88"Q.ƃ{juVx;M:mMo(H8E|&1E)s(ʏ"MHu :M(ȏ.Q8@3 $ːE5jH$g 4IN , #@@, (@ RCa44i8OX(HIAY,aq D,"ݕfffV6333ݮj&GHu31bQGY`Q]L;(9?^z^?z=tڗv:vNi۶]iWmFhh4D;h6̨4W|73sA2̢8S  &, $0B 4$TqwW?+̗\]&;ε>xԍ5I9gNZewc$R|ĉnl/__8\CV?kSTw8v?⬌5R烮M~]>: L<}e3OF//;sYɜo7C~8E!vavG4OvWR |%_2͚-6D꒲4o-k2oOjq۩vvm~?q!ԥ?F~Q6 CPU5Yq3(aw0y̧MRMyyvS`jzr 73a8oްH>sϨ qtx/o9I쌳վ=EBIFAD YNpbaZe"Rg_xqVTyQu&˼QxitEh='esәMڍ{Obg/( nH`ij}/+Qv*=]}i=$jO/S-%1DXU @f-0 ~X!]T?/ SOw3w᳛7/oŁ,<4Da5Bh HŭYe:.5&ɘ!mK<'NNgwN텫pgYp I;sp!}^pjk\-O>a)6ڔo,TxC~r |VU g4M0 *)ayጁ0^:E xD#KGY/z<ar84{>RqX%Kيkdǜ'9RЅ`Z]@IW"W\9\bɟ(Wd]i<M/ ĕWV [s=/ z+ gqܴ|.&'$|ONdD&'09Ay Fs5 2Ҡ P%z>%e^8duydRW( v:@@x @ D'@{=j2N@xK /9o 6@U~jOsjT>?&|MDv҈J1-BgRNy3R9!bg lV<9Bn?e᧓pG}:E d?m9<).8gCrBo?~T~3IqcnihO|KCO?iK~a- Ǚ7?L||(@\(P)6~('xggD<̃O?$}>TN݇]}q:, 2!a\r0 | x("]#}OZ$]t_m`w@ޥX1Au'*Q" Nz2>GI7'S5-/H{d1Mm*ݥ=qZJj%ك'gi&De .^ (?hdãSSSog,Y͈_oDsQ8л~?sl/\3TfFxQbH][C+vɠyb[ @F0_r*TB>?Ec.(+B9Y0ņP(%$SSV"S&G% E'lv#Ej~ :jGOx;BG)0;&;<\ĥ ,{-HDnIAs ad}f<<^^ӄ H>JỲsO wivux-q=!".;sgJ(`>9bD514縙\ ) kf *`'~s^q9B>$'\^A9U1s;kP!12un3ǽLep|1xlNm   5O% :HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7m R- `geF23쟘^JSH0,c iSb!ɚ.kc՟,d?aӁR y5\’~=]2אMjJ-<h9*zD/鉀C:1Eb^FfS݀t'r߅W?b% JFl"o>NWQc): `QF9 mn(àvLBa 8܎H^9 1@'In"F !<$@[Gǐ=LOh'_r%^mZ~e)kh'r[[+벮kg=ڹKhT$ؑ{7/rjRıN$PˌTq⑚o KXLRF‰T _eJ%cM*y KE/P"Gr + 1Te9 <klQyyp㉠]Mqܧ%q)km|ʒ#9y ='iIR6[u!AB$,S 0aM ΢"[b ݕ;x;6ufFK HEfqq7fL陨n辎6Z=JLTGkc=W~6xW 3IIlIɘ]uE鎈 _a:k7KMq8SUds;D츑(M@"%HX LAA H@0A O`p BA!rnhzo~wiI΂ 5AڋXCnQO# NvGc13DWJ)DĽiIg' Qkbbx}jfmegd=^̿xܵ a!wq]snsEonkFeW lAĮ2]e622 c$5t73#y$5H&2#@`ټ{@NLDi  z̹݊oﺖ̿k֪əֈzM*Z"ʧ}0_|}LŜ qAaJ-e"em̸x睗mʯE]@CG,IPc '  P"o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method#b8( QGt7*gB;NRᖎ7U Je`f $l~AIJa+(TMB6D^5FߗixS5VlWWR| TYp\k+(}'_M#,?L @Ge >" ΅g\{r,ხ 7V\& 2OR$lԺ @u ~J><8GKFO)΂eO'(|)Zꐣk,8Mo F`lz@C.db-{F261΄.vd US7':榇EDPvd%_/'yB>vf9%dZ<>G!uAvlg2ŽGT7BhTBYkUFB%>A=WD4aPd2U5f|;hZjcAדF``4_\b9Tދ/ |N62{cmA`'&MMntif3pp~Q`@܀SٓpI=ޤ^U4ݍMTdBՃt).nF{op+HfsxOiVMO'bJ5$pfR}VrLS=J/|S<*>Ix#FlʈÙ8HH @Jd%2F PbCĥBEؽ?NN;ewˉd Y4PKDB2b>{ x0BA 䵗Ny Zmcr7gsFd`ȡ 6XCnZVlf nFvDtƺ/d l0eT&q̌Ifxiy]eܜ[Ep rbl fZ[b{!fmA~zeɴ[E8ΑXedL4:""R.pYˑa08bHqKqPx6[Y\)GAe} /FV_X!;y20AH-YVtwjgd[oDT;Z=w rza"= VIdG EpM3]ۣwCȼ+h:b 3BLLӛmі$yalg[mxا&@P YGb X.K{vr5 ? F5,QE?ӆl-^%v YU-'ztc/9] ֩̕-/Œ^ml1[O@]7Ջt$G@InR(8ϙS\ic?s'v5-%hR+ȢtMB򰈞Ys踴]cRU8Nd"~>wOK[3mD~m?55JDg@@p+H /P\oQ#F?R;&:HsGq>h &Ё$* #؁w}նc)fҪ "Xe Vi]*jaܡvz5#&q| Ѥ5JCC4׵^k9%ZFqBJR4nfT^f5a5; \twSRG# 6" t #NEVe8ѥCbGш X5;;p(FZO8H nK"%JAxI#k©Rc"ǶNLA6BS>۰kMc2ONk~Gk špN}Nض*d dY-Z!r0P%AY7%66>SAZĽS"wֺΣG7}g/3\e*%~9=eH5bYw`jF.zESL%k1:+6$W6ix:_2ʸi@pVh#n(IC) H-;ǸUq.<VCR43ieL3R$Ȯgl: :^2 B,u[S\T^䛰@K|Q_ȅmU bV\t\湥(J CC^B@J.\+vSzkKQ Y.*[mVr&g7$]8hl"JxNwO  _eRЖLwбpIq`V\Re ɕl!!շNuEk,, C!2Q:0Jb`F꿴wڹH;GyY{WB<@Ȫ2(y *pH^ijCcұvʘokuSpbE{3$KX3JZn׌U~U?ղaJBU~H + wW`A:pM~*[OU~WX{5vzȝR쉯UL"r)TJU1wuqgRwNrä YV303x`ɔDzR*4ʔ7"_ΤHPl!e2uǥh\2ʇ,{\#xX Oy^Ff| a{X7‚ȥӸ7f`qM6fiRJ,KMn,ՁTn.~u>V *Qvs檪K{$+V2n.f8@^2_K:[ˇX.2#"oM "׭U,J;H)\9Ό N!9_O[s"͆Xi xm6۟!Su8#gž& )bl}N{($Uh׶1 5Ռe-zH -(,5_VEDLB\ 9ơ7Ņ*"g<@31UV1}@DF+b? _eW8zArw a_C$))..;I01|ÉEJ)Iw\"6/vY:/ L!\;扆ك%BgE #[{|xvnKOQܝ*ˋNߞ|e X|ړ=E>|FLir6zA.Rwpz _y6$4ף!NQHTb&X0}S7SxY/dz[.-^$x9#>Q!s׉yi2ynIթxU~7Onv,۳8M JZV$ЯN6Bo Ek7xUeIl9t* ՠH)D_ω8wi@i`ϖu$Mp`R(Fj0Lb1YbUUI MfA2K7 n E  IX(]?qRŏcR}\IJqR~FM(5SȶMƼVTd7LVyIIrH)ڤ諡FJ6Z~|+=CNvRfCO~$;3N1I ,1Bj%Lvop-Y h=&{B;# LH~^+H{m`=M%On}lIe iMSҤK >]1vwnyxDkVz=;㙛#@h?ĄD;0ޙ^@z;ϞώQ費cT(} 3{cn*z;c5F`TKbb o{o6Lmɜϸx4ݮnxRE;viێ}n-J0*܎mY}s[11* 4viӣ?x79nScMخ̿ !B2!0^NkrvC;v3ݟ#~!Qw&ݐ\0]n @hf@ 4 a:[[[0w>Vtበv{|g@n"y-=?*hI+toW1-}^.b{յsL{7L4[w]_jtt`a/]SFri >wݫ ]UTݭi9'Lau)F=gτa%1aٲvgw  * ;WfG o A;W N5`(IU0UW8gI_ߠzUlW"N$7ɭ5Kx$cmCM58 DR[H2x^{iy5-C`a1Ge'Ӛ_Tp}XHXLNby1Rt}CuqxAVGJA㟝fjMuWMQtn(2&%:7tz@W=wXXKfn*8? Xe@ ,:&vW\sGH9rac[4Z+j߶B,JvSfGS$z/ ^Fd[J,x8nʔY=K5C Tzo/"5p2n _k1»bqӖjZ[8*V#kLњsMP4p蜥Ucyf&ù ٌ~z fB zSGyݾ!RY-7Yz$<_lCd7.)G^jpI^Sp,tk`7 L,78CiXu+ BF,c:;nXT>vr݆٘fr>50HAhnfGIRT=L橸ɝ}Ψ64g|K؉l{@If#BjU_l3&o[LgoǢnrT0aȱtO!ҁ p1(D!Eɭ pOTn;y;r<w/IAX O"!~!<`G@ 8Y@|,D?JX6`Lj@!XLQrK4H -{b><7ೲMk~bA '%^'&$f{2=07>3"HWL3X27cџedg3,[l̨s--g]j$z y CT ,pɸT +.Y\9t凥hB|JK>( 0jx]|@VZgu *`?m Ӓ L^v'>m5gQ4!%k.3et"Λ8g*G6Q.v9ɸ0r8o'ig[rj^c5˄M 0z0*??/ıj4@m7L@tH<͚oL6ѫ孹'xye6UgE:{K UϹlÏ&F<$,b-|<`O x@C\NUo  6W*g>O 3pgR'`Zeշۡc%Ta*6~kv/:WqM31ywt6J2zn^ 'nam(Im'nB^ 51o]d͟1"boF*AS ˦1 ?͑)%.)%/DBL|[dXbC/tZqɌB{m zI@^ТB)r2PL xL LC 7 Xx^.C>Ks}6` 7Kp3>G;H]},AB0Ӗ*12|{0bY5Bq2DiLMMHf^74dj{ ((5:A'=8q5/CI@4AWa㲸G-7twp Ftm |@g0Q3V4c kvS{R;Bׁ?8S|ɚS7|$SqwR|αNw܄b3z+޲7=ZUD& )B| |N/6K >e78#XL ]rXҴd_PZǓ{FtP#ӕiB1^mkSaDw" `ixZC5ϬT<9$- gj.9[L;[5^g,Qfi]Rעѧ )2߭tBXTl%I%L,ϝ?12som<QD۟-^p%@8;Ub)wq%8¢1?Ьx,̑a L|vglߛ6 G%Xd ʒTq^?E(+]!ږpvCix.+nk'@?"2WCc.S%ΥYKXvT" 74\IaC`dDjlPSn<@kրMbyt\ b ~*adʱ28aq/y1eh0̶w>3m,ca>(So$ ((\\8d" E~48.&5TE ߯\PdIqLj^ҡI9:g t}vfe'OS1Kt EwXnGxb6-wP-zsp2ls nLyXSDFfU8lL~ESb MlZE{=B}~yϾt2a(sh2R0OU¥s<˰i֌ݻ B~h}uK򤸪agf.tuY+;}HZ?I+Vsj[ꫫmBYhgLdH6>{z}'9 `3Q>,Y;j RܜP3(biSYӓhe%J* 4_BB ,i1Ksd;*G|}nn,<]恧Yց'SRIhߒ 8LyB?CwQMcɁGAwx( {rr7BF9h,F6A@3P$ lK ;XmX20G_vT .a_+!Ly Zs oj}})8s-0⇽vn1W[<6KCP࡞UDW,&$NŸƹ#նY#^]os4gux: &*Jtd9O[~N<N`˾>K2$v7HBerőyHqNi' \vEk^fh^0N^$&F&LIH & :%v򹁭"N/ZPX"F>[ )CMAa"h (hHMs/ߎq'3nUwESPp׉Ȭyn Eo}d@mxiT2P@$-j[PSleLϫ{@to\eCQ}#ewȣd'˔OMҠ `3DpQi^_P552"슬ja<("9\(we3@FDK*n}JHYZqz;, ';zi:#,<16]L,>[Ox${qe(. O`̲x@l/&e]b͚Lmj2X ѿUm&k3C2CIh `+hR08K_V8"NW+T/x0DR {T`HRE܀? gp>^#d6_K9bḅi9c(DD@u/w~z$Sw4$;Iݼb9_yJA|G/@ML\_a0Mǘ:DHp @a7z)I}3q3[~jl:ΔE{'O79% iF{>l4emii ^x!%QSp m~֖_>+R+}$. ]6;FX(t-q2 JPFHC*\(>lt:*B 0 |Q78`IE8Gc -ȍw Fllp(kT(JҦMX_'ⵍM'?,-XEd1 -mk$Jg&]>=eV o[4]O2FWyX+^ݸV=Njk( ~.}0#x%IYKXnl%qt2Jg)g^T³T:O #^x3X^Bg-̵փtl%gGt8P8ޣ1rGK 5gX4ru-Yӈͦ!M(dhɌ'wN 3~gRԲ *!8Ҽ%>贻p%+ZtHM'CFdsh:9d m;KUHS;jvfM6GI-8OYha;;}rEhH2j1 @`aaA ! BAFcADdHP'|hmz,qnAR9wD`qF3X>j ".4^zGҥI0m9{ o͠e eӿ ѥѧ~np?Ni(^% SU񱔼a4@6Fs3.ȰX^GpT4Ԏ7ŗ{<\TR^ N&LYMQ6v|EC3CG=Lw4h_P<=ٍX~ VōTaXVӽE Jh&@L~ac{p?\ Z Z[TͺXo:\%Оؚ6fi#<,^H~!6tP%BGx9~ˑ9U_gc:v7?fL F!ܶ}=}`Dx&MȱeވrYjZ{ 'yY/k\W CoWC1fX8M- 4ndl`[˄BjI3ldx40BD rCRn=7uq[LTK?XlZT 7F_a*Zď*+ʛf34ژ+)MhɬA9%\QL(9jg*P7na1`V.[M(6!?\c95Z΢ X&pQuŌ*YBD^;wNa9'1؃_`m&qIRnx3$2B['ֹs8~fE MkKve|B٫K[?H?w8&[@;ae0 \-+Laؘ:2 &=aSv "Db@j3VN_0Z}_0" *-6y:+)q{ %~g`av=eEذ|R1s)>|I+yZDz6(;{. [Wg܉Ey;+嫍x,% %%L]P.Ԕ@`ʇp d#eg  jDM"֑u bq]AE9Oq@2L$Xcx!EXCX’ )gcTe10i\Pf_}O*$=Ke Y9ׅIQ8Ć*S24)(qr~\/"J◶YDo'7~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