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_exportsw k~ytoje`[VQLGB=83.)$ ysmga[UOIC=71+%  } w q 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!w8ʱd:jM==@p8/滼!}c'7łFyߡqUsq}Jk)qneյZAIi 5 5xCT߲ŸU/Uue5c& ֻ^ MP"bc jW.x(Ri TTw->uDv\Ȋ۸:o`4ۻm0z;nqכֿʺIIkUAK[|u:u{fkf?/_o1Z,]e,³WqZXau{[%"1f?SI(D=]g&◹KAXC_EO| ~aSx$6)XG@?Rq{D%|(c;1)QX;`N6CRzaրl! T5K% &HOL-Nominal-ExamplesH{$j#c PC?. ۂ ؂т{xTvQmPhMgCdB`@_,\+X*W(TSMKHEDC<;:98632v1r/o*n)h'g$f!a^JIHEB43 2 - (  }|{wtsrqkidc\[ZYVSRQMJIHFnBl?i>d8c7b6_5Z2P.I,*'%! ?320-& % ! gLo!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{sJ5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5fA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messageseF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!     |5|Fr> - UHOL-Nominal-Examples:threads=6elapsed=348.007cpu=1706.597gc=90.632(/(tJ I!) KB;75̫/? ٛvʔ  3 LWu^qhԺԤ$QԽw!S7%3fW쐮2[##.P8Cg_y0ZOS2hP{H,4"φBlBL!DvNڐ )lL:<$,ֱq8EsH̩TŃ"""je E,$ɞz̹8쥉TvGM$xU1XRЍd:6X1kj줧5!}&{(&P<(PdVc,.21"gЍ3ix\-wBbCyjXG{,jPHX8``jMI%"hWh0br3A(  &LH(<$PpRsaVG!KP<0(<89D|^5b~  ,^RW"{c5H cAD""aaf҉M<$^V3#VDžD" р0e !Q"CbAAEĢ    Bb` `  D  (   yf]{m㾡[:nmkJM8JVeJrTCFW5WcC5fL'4I5 S2"rREDT$j゙%?yKsyH=N5{:9Q~C-:M'9ohylHs\~_P|9=T2 ѥ9$?Dʜc_h*SgP-D6 է9sD3Zkd,;kK.]]*U[wZޭV˪T}oR?+2eueoyzRBDHHߺ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.thyoi=puHld\K۵:(*GO lf7sm}OrR,7n8 /Z# bb@ #Bƒ"ȵ `D?m؅uCm0#nPt2s>c2ZO7ܖ[ |Bm0%,u3:,@;׊0/,*\U'h%5f-ۖĭIeGNaNdG. jHׇdžlwl|vԢr_DaxoŧF;VJpVA" UKxDG m~ߓ6FQ%Vj+sWP*cq*Bn@M@3Q+)WfN+HVKSO?hsw|]|wJcV$wA29{dSsB+T?{tc0fɇ%C4_̡!S0R|;0ͻ%s6YV4z^R9x<cWՓi0ߵh1&[B!Uf"'i~~4פBxT8LF{ _|-kpUojaaFv`Xt^o7" [t|85b ^6br3qfo+KPڥmW#߲]ޙ w|Ze"k'CeK!Qًٖ@s89Ǟ."r5kcm9xC +GAt%xL),\&}2H|fD>8TS׏5kKᣦDw><[>W\,Mٛl67c8P*Dw_ŇSO= ^]k;DnSfaSف*r5t]0^P,%{)oKh&s슮c ~g*f#JMPE dh:fDI$$nQw޿µ_ @.VbZ_}-hA"6Au. ŷ@ʾBY6C]A,U=&-u~$`pKŐj:{A 8,|%: 2x磆nLGl r۝!u.i=JJmgaPJ`cTqFҲcdrmim,'0SjVQF\'u^1wXvݷP&xōƥ[~F[MAwFaJ:ir~Y]3P&a¤j2ӿcq+NL_U̫G_u<},4fK8GWA5%xu.atbףu0< ձ YVY,ב3@E_6nXghB*(a H!ՆaXٗtK_ M-8&-͵;BGsh( ÈA]L?W#NBXҴP膹;t{%-8g z+ң#B͘HJ^~VI ˦`oNd<" ܨ3n%K}/6z^ ֔bݔ0EI`sUfh~'u0cy&1ȶA1-O# ];B≽}TA Yq*Ip{ ŋ쐄7֊N*aڍ-lvӺYkա㷤A5݃^V`؝" ]/&/ ¢U]cl 5(e7G₱"7OW+;6FP_J`kuCۉ+XftWW>lB1w*ɝɈ>(#@ >]D=(#ス3':5 wP%+e|Aڼ1wDڋk*rhx^`zQ&0#pc'o "ƹ!͗?/cZ._ X>P1 w5ג*6 K0 ]"!MI` 4(p1 09}hy9\ne+!)#p3Wha蝹gY1_/~˗]ǧ'){@_;l`΂a)p}EN~KW2u"65{p$bo%0]9ӶEC,5ba|y+mA6:+eAG.m0,[iz}&7\䨇e5^f>;P9$ѩ)m>V0.OZʸ%+,xcQ嫏>^ ʥ>d@CV#I#>XyWM<*0 d"f۰- >1^6qRQgx;A8KԨdm J)!\ok`ydL} 8%|c\G>[bAD]2^ yz=ھW!kBʮque4=\0w21hۏ<ϵG)SGݬ_S{+#`0~ 4z=NMe$LS&sLO !َD6/&?Qz{)/8Ռ^:gfizAsKCK1T*Erd{ #f=z2wWqx"0=+81voxKZPQ?Ys&'Z~A'Nǒ`i{[4Q|H\>dz {,PQ҆Dӓk?Wpv}Jx56pׯs#_:ړ;OX[kb]Wh!a~Q3v]^1Ռd p>oY4@we/W mQESV{,Flگh_1@)g]ʳi.܇BEvގfmٺ/ՖP+ݺ; ܩ- ܸ<\f1in6b1 ^UW ⫫žyg\ [Zs'j))2E'qxn Lk|O~+c˅/HrʿmY#Rj9W,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 va/k ; ,BhBw߶o߾%֮۶m۶m۶ mb7y, l hV>!B¡!t{Xb[ vmьtF_8Z׊A gdcKX+ wYBaYڎJ fڠkH_yZ!ƽK.7T}]`m} ˍg $9I~ iaԪ0V89 xܦK*Hi֚?q[WPa\4r.[X;X(v񏥀C caxuGT>!BcgY2&6,; 㬖L,\{cA{U1 3'ۗ!sTH9-w%"A\[tQr1,caW= =Y-NYX^`ӢvyCI08>*F|3z$sri08ds4W$߭ۺ{Gs3Fa+:{7+;~Ѫ͕Z˴[ PIVn(!)>#7I<0 gPQPq7\!K̛\sWJ$|C 4,2c+"wW *f{pY8tF, ČGDTUx9k?u$#777'Jf\~3=D~ @U"OxYG^Wc^aq  }}+Pͭ$q}LQYʁU* C,&i2U̔\7fY# caϐx-0dg|>dD2#D `% `]_=Tp92ez_&C5۱P@/h63fdR$閼7v[+{^h''~@w)2tߜHN} m±)7^rDR:LDڍwk{R$[Z`HnY/I-[خ=1Q/x)`¡d@"ã0"SN*js ){g7S 3LǼ)oS&筊W rڪ5`3U4 9qdu9 -jXg1MpR*)R-K)t) ΤkqPvnJ}O1OiNSV|) \kKųy;t<suR%lPr\Zqtj]L xAEu M4;Mf(T-b 35_Jf2) J1“:i\HVpQLlX!p~o9 ,8n>Ls>ΙE lZẔAGJ^_k#' JQsXO/ա=( Z11>8CëKGk<ߠ Q%TuؕwzӇFWa.4.(=gj&~* e,r94<5Ct$OL,@B-K9c 9=kxѰH]X` z4͏"#M7Ez-D/Jy! |]~>\=UhmB]k$l|8tG ^K+䄡.Lt< BQNs)UuI h f'%1'߷lǼ X6]֧,cf0RAE,n*ιc7V^8cߧN:X0GO:(!!A #A[N!3[9% ތS.8ӬnvnYI*,溻ܳ:;堅V0܈$f^ ;2Qn20UcLf)`RmHỷp1vf^Iwϕ@+9 IZ3MhX۱+Ef u~U$6PlQF~ =Vb2{!:"k?}N$Ҹf. 0>K(*>TQ\˟S%ajCS}-<ԽCS-xV%u"nj_7*yb* @ׄk-Rx};yW{‹/O?(ql{ԚdQFak<ׁ5#'vS"/]i^SH3:Ҫ#etb&/TQ&Pߙ~ئNg-es8T +2K$i9%k-,(~9Jzq٠+Yt@2Ǽτ(Y+j5\W=)|ۧiWD`Buuza7ܠ UA<o(c@̻OLxP)ڄ瀎wHQ/:1 Ҩxm* zz)]6ZpV ɀZx?>%<4? XhOSZrswwV "&g`+|J$D>_-G\g-$$)3ypDTCd(T2'\Gw6)YB r0LAU"vn޺-x?iGnFdŌ&cl*34QθlH5r?f&w_ DƝSqW8k^W{T"oⲥ0Rak 6㒋P/q,R) BNVNb{u+)GCEGawH X'#Uy_f NWd~%|{2TZ=k"(t9uWdGu,cP`~į{,uA *!Ȭ!qON't*']+'[!=UrdW/jV"iZ,dN\E*D)xjK~T=no,BB6A+!ٗ(׃ u "D+AǚvAK] nPyEpu g6+ BQm l$>v/(Ǵg= >P7!Qc"hz{4MøA}=#VRl+ng^{lO/<^﷌"@A쇓8PN*9|Kb+e410´k$l3Py䲕DhWveKe"TJS :9vp~`~y~ k?tO^SCX%ΏH8|>V6B߼"T4ԁwMľ0nHas~8^;Nc96SQ >L=ҤYFJECڼ(Cڄ(0σ 9}C|hSF@QC2]llm9XX\/}!HIDDg;5q'k`|a@A".qՙ4PYNHP!.f^ KlM͚*:a pcWヺX+ݾ#,ny`=ͼ#2ҸIǛ*2>-:ƬP 7n([ S2W.Y)q17p1dpP &$=N>ɚS5~'e 09vBN76cRyòDmYt03pkm9ɥi6#@|MNpΠ9#%{aE?R4؟)!ˋ.gv.g01BD1I(vw]i?9WEoyKY^1"mOSzl,Qd"|E,DhL.nY,5 qψWj."'Ϝ O&,B5U U=!_T p'-kcg%+H(N=׻!Kr+,\ FTI X fH}ϩjx#S R~V{ x;xĐ1P$I̖]*@cziW2'NHE!GRAG*`>.oÆ;Ɵ@yp2w~]&^6w_8#婟sS=\K4׏c/`KS7~ȲFl>=M+4 ZxMiGkkc/^ɎݦBEרbnP[&k' =+rB)̖Bq@e^<5E+ tMX"g(Ati) D`"͗ v ,`JLfiˈF 3$^vH+CvC72mN٥1=G6;xli{-9(E2K}̱\EdY9 `B;)3آX|9с!EG:SNQLh(9-# bл' oLOp _\I%\rڢ%d4Ϗ|*7l%Yp F Lc\2#It;>%A:IO@ B]OnQKJ ,ƈhC91\.ɿ ],Y +I$9tq[[n ¿w3|RnM鯟m,^ğ24ċ9[eS7/KMaT.*ASf?g\HiA%K$| ("]VRi:d MWF'{k8z8 NǃhSr:X%2Mz3srƷR5,E&E&r)ƧFr<`Bar9*VA1"d2מ1b!ʑy=)c@LIi׽!RU$_tv"O4.0irLz*8UHeSV8B aj̊@DX IutKƖq0ؤ9W\\򥚤 f Ժ96}s%nYRz]k UO$eY')4.|L/Jv~>`.Em3)/o1ṡm 7t8RNN򦽖u@bֺ;t©͈:+_J'ۈ$0@05 fEPP@ޞ+KyK.Q(_+1xMLbW]er 8Ňlt|\sٿ'k2@wȧ `| ѻJ 4K&hnR^t,M YY-1#44U+jbHQ]gʒUm# iHTR4LB-iùo=aZ\\ein;@ɢu?;@fǖz#bm7fr_hO[_!_"vȞBY&"C2چ5w1+rr41JGyVFԄ^y 8hOWB@X4-(M /Q*1#͐$ U- 5vTk6+Dj5J0p£h22Cj~QТ--j&XnN8A y7y$"ز\Km8 /_wk'И 0~.#`Lj,T(vld+a;!gys.AQfW6m>fqS7x0s:.H,>-Dv%oF~ ="kOwr K/\c52$Sc'OoXwh3M7TxP,)1#œ̳1H>^S߯OO>@0!r"`HP° F S%́&ߝiו=()]vqrb:NP7)hmHx{So=Ez/YA{ ]] P(@0{~QX=z1r`.P 4{ (q$xɧ7ư? 61NxL< E&ͼ2K j!zμ !@_X[hG|+3u`]ef4F Н cש<o-(Kzty tt'Zxӕ$zm:9=(stVOg[2z}*ŒyJ;yK);}@%9môcf 0r.X'9}$Ey{7C ũB ]hU" 5E捄y-/ gSSi;ą9ϡmݙܙ]L6Q 8\ήZ,w|rY aAK )ΰrh$!35B]AP K<6Op[ۖ#a5}Dkl$=G7lPGD @$VLra*R9VYks?5oQ4=C7GqΚEDx%8xODSZRA\HhsqHGII" Oc>3H͓hu"SŖ=ex$!ɞ ?'HoJaHsDq 2EoulAJDq XSOv kul6 2)c9;y'[f&S]B%E$%ӊ1_iV1͗kbT:GB*wܾܲ|LM*]Т^Y Sx=O-胡l{[!rՔﻄ"GczoMy!r꠴,=+~q:rH\зsfQ#soDZ1/>e1$×Yp͚ͪD? = m ^yͣ-B K/VWNst|ʙt°SJ6P&2 }~ڭNto|# q_o?CAFP/dSk[{Yh kcٖDb-)j1nU6y=s$~mg-\XY<33/lkQ:MXE?cp6So}%Ri=8@g0F˛0bsFlC @J)Jl%hOUU8nv?u~4/Ǖj*xa^C7g'x(MMO6 㪒0 6!4Hc]w{s Jӛ$xҋ,9ɊX"TG.7*!ӈ5;ݡWx.? hfjOԣRU#3kMxr©RV3l4?ٔ:rx_ m#qt(O!ξ_Nӓ 괯U71 *YazѨw%-'UFcS3 ML/*tV(I@¡ά*]ﷃffoXm3/)$jmn>sjA*_'yE63AK6tR7@"# _ٞ7J'yJN  SV٤>Ar pg4޶**4g߰oQ*ޔwŕ3r/ jV)YsWWH#/uVzKϋ{U ) " o%@xbeo)%Haz!@o9pu?ekR@X--mZq0 Df3BśX͖xZFmK41.eR4%j~B% 󲥶XbF,Q\0DPpI;+ăPḻjZ%V3Z;Z iUVfղZVj9ZâV֚m-(H8,*j{TTRӶ.( uԅCC%,8TѠ`Jm.\6Ӽ3jchN۶mͳi^8ǃP|ZNϦBᨵjV!HrVM8,gVά\rQnQN91Q>)&@,qN&e,vE'M9ݝ|W'x,Wɵ[4YMi)(&rMx%|gVr\UUXxur$Seydy>#NMyrrd7ɉrʹrJN㣌m|f"&K9,2LgryH^o,7sdDr,gfb>'&aYEfhVEv zvx}fƚun]W8SU <}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y5[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`9J!P EP"N+R5y76v{5g^(.hE-$iIfK<ҽG{p";^BxJQUvwbIG'\H/}$716qo'"I!reAɂ W켅Hr> C}K( ͤ=ϱ6L<4gֆ9"7Ē9Ǖ̆MϿ-?yԀa/H1$`܉n(ZV9!]i vfe(Epȹ_dsI$CR!F6X>G~R[I4@?fڮg|c$}Z);,ΐ1mvzP1鎨?('_xtZ!* ?;dPyac/wY^'+7=AF+)Tear|AjZwY0pxGȘ7q)Ґ]V0ax')]J_w6H -TY!QlLd_GP ,`2Ƚh0k4ԉXJ ͑ v,p(ڣ{%Ʌ7MKk2PΘn,wj$rǟ[[9*x:"xnþcs4;wF~QĄ><$W<ʀ;u"VN ѢcQmjM}8贝l^Q?7"I+bx)NyJ9P{c(e)zjҌT[5ӑ!CbamwG,fuo0~1I^\ÿ H C!vo4~wu<4b3+b>#Zc uޜT_j~ h2d$0cM%IսhG&ؤ[YXBTAgxkRzw#Q\HELd <9at'=^WfijaQ Zf/WEAש6A55xkޔ #H2D2$B''$SL%^,>l&똂Ϋ@za3a h{g6Ș=h7܌\%A*dxMpSNR "PGNճv~WkHb 4 6{-ŵ{‑D)}+$pٺPZe `$@ʝUnj;`5Ua,6FŞg81l0m)^ W \C$`i Gl3΋q#&(38.VOh9U1U|0KG朔eF7c D@(B(.@´}t!TO?$$^v[o:T8n<d4ܰm79҅JF殪`pewgY*Wv_r?ZM2O،P ̳ց#/ZZWXĜM-W~fW܀)W@njR2t0yUiS%V?'LPuK͓IyaIC!4[^* KK`Z1ڒL}D[ ?2 6XV'&8\gV5ԃeQ/jES]xd> A'dLڊHA.ܶ -u?#-Ng Xa{6ᘉN䯄|8zZ9TJ$s`?ksS=繟%G%gtg tú<ѷ J`" ƺ}|0n[7 ɫ^. h"Hbh3,g؆Uz@03|)(ht!9g)݃ߞ Xa۵j5[i+^ oL@YFE^?Id_ vQ/5^? :Ha[ (ܞ?Dѐ=k7$#[+=9<2ѸוhRm*st!@+Qa" 2 T_*pF}|Q7;Dl^ӉPeNA< "i}(F'8;x> [v(>{`STL]YLۮmf5wF&t;M-*gl(]ϻGvgMt@]t%@I_KS/kqtrqvLbb[': >DF#4}"dmQw )%Zד?^:gxաs#UY ODPsn0YмXO71/(nsɑO > k4t3埧ˆ186pti`2GBވ Dmm377 # Mz-3:O$٨1<WYTf=:7"d ,eOPP}=`7~M'٪cL,}_)+4Ȫ]Z~Bx2*XZkcPZ]/ȿK )`ͫ 6elF}˳bGxl㼹-Cf#3as!zՈ5N-3{ұbZEEnU,?\JX-׬}ku/^%0^Fj~$8#"B\_tMft$'~L|utqsk~eZr*Q_LHO=-8zl72~ ٕIdKAOWKL&^3Ыcع`bo|,FHz7m4I'lOx"QƂM4#'GgÎsxaLѹ4hX0ڻfэl1hs>eJw˃#0&5^o)}{7|v 3[pMP R!̩*qHq }&)?^:\BBWq:E:W&i|k ;Sd}2pɪ0O %>0GZT ՝Ǯ]ueVz{w/4UH f,6)~/(dÁX r_]"E/yKⱢc`E݄(6h7N~u3w69g,`&_P& k]QS‚Q5iX`Xqw͝w:SXaa @nLso#206( 7++n<$ 5'G@yy Q35c;>"L"G)-WǙXoS1rfy"k`ˠ6<*<'opk*^dKv)2!^mo/Q)>17I{x{Vu [zo^' ϥ:lt4|$|< su[xNnXsͧvcRc<$bn4ܻ')tW+-Dze±v0oJvf"~>I.>Xm=0v+ h!~&T ,+["*/{\0>RB~P .k>#6Ayz{Qj6P䣂 y?QY-f "@wKl5CPߚ6MS Ci ̍p$d< 6|Q̵lhtJ/ϰAtq-}ߤ6JDyΥk8854+1bWLd\DxRz {)FO;m0EE`cjf"*K:u74BjfAp43}h&8_&}DRg(!seErVE F8yL(~oˠԖ^H^15aA åzi,.3}J %uvBw[^<\}Wxs 4@oOuŽϟdEِ dKA "Ǽ$"̡cBwXpV2^%=P@LP=c*0],;rb*F\ģxɪkߐNi"P u}9xIT!z8'JwuW,-Yb%{n-Jw-%ܑ"K*n">>hy1άmb[ȷhU٪Bon S+#btY=&6Dͭ_`c`[ 4OKgU"8AzEb:Jx{rRNa6.UAYCF4 3{| Цw* ~ jMvA?숖ژojvcD~g7G B0ΰR|RKjQ.lCƞ0?Fxv)bW |paс%1 z KU &f{֝ [@jo h:G2ݦx Lf:dR) J ,Va3xu _=Pe! Lj h IW:n` zޓ",0 EDiIP5tG{vH ̺Xÿ (.=al``L%?_.`T0 pp^_Yc#(bTe7&:@|F'?h72?}\J#.<7g~MPf.^rMT`"Ug^"lE2,c??[ bS"3>&#8(C9 _(4pf&sK̉͆ҫ^)=է:0Z‒bbj$%;.Y7}^p#K?NTDǢw >> 4F~&JI,U!;p]Ұ!W|W9pl8j4iWqzx\@XX]Za~}&>]`2d: 9Y^MBNǰLpA҃p* *UYXyAZ)d(jkQ){Y'7 C)L1],`A?>9 q߼UejBwgօݏVx[Ȥg?Xu[9YYBT3͂.8oMD ;0~ʷRr쳲8NPsլ ٦edN$<ƠM.Q`;6]c?E_|g~Okp/j8\SfV%}y J5}˪btw}]e%0哉qћE X$pz>mZׂӢz/7 N$bQ5݌W. {w50 c =Ci8Τ=28وDV61lvT-F& A5|88"2 LW/"_)͎gO 65'p0Z*5C Zڱ_bW̳'s6>&e;n$Io EU Z߄Zd҇á*! P>^σߴw|j'®#?#R 'C-[ 9 $)0U`m~B*w~;(gY͘!?,x}dXɵZJX@\P|>Z 30'^mxHXBI#͂~I5DݸP@"Ӭ4o<1W84:QE.Ea,taT7 Me0FGgֺ3ܐ^pW*ݑmyBjgx-ː(Ttl [$>Űc7Kp #(ᦳ>!$X[?7w b~.Pͣ0pVlPWMۭ=2/IVl["H8q,5%3LG&C,]v :Enă_H"`G-g؝$蛣hqxLG.&R ljh ؖ4'{0)`?ٗ;1׫U.wXǓ ' 3C q8{yr=c w5®9.LS9>qy(bt8{kYP.;?AUsGE ܀{)]g P9l*bh"zFԭFx)7 ;&C;$\,_08u7dq&umʢ  RE:"̛$~[1ƳC9g7Kzw;%OY(4g,uS#HZ SǴW5:)HNc~_*X8oK*K~B4B WqHgHĘ@FFZ+3Yopw@w}{Q#c۳2j<4azx6N X@خfx A|qyhSLp!D;e6Tw*LuԌz5 0t|Q$F,HQ 6rD2!@^ :qMW)d2tW\==M@Z'O;Ij'{7TsCd6t`ebc(B'b7b~hY7]l&(sfV3Ox '@ E'&’FC;?p!/dSf!9?8p1xh4Mf &P6jIaQy\8$] xMOOD .,H $?v5WQshZi}kS?V=8 r)7]}ij3n'O[}$`UK g)rQU`>WE0ow;ߦ2SFz<2){1C`G?y޷`FZ i`索 4S[50Q9_ v97[!Mxb|2[%ܤSp6J&80£Sux1D]k1 e9 ×%" ?:x+7>7/K5cF>XB[Fuכ }R#-rl-~{ZS?ٶ}A9P(!Bh|H\TTRCY|,Ja8b?&,"5(!> ,A*+r9L?@ht6BiHEL <6H%><oq{zY;m5yaQ)@L>8P:oSWA6_kU= B)ܤ+~ zuhЌq**\0kZY=H z톽 SZ0k1;Q*֔zTbd)@!agĩV&(* qxtVO%>F>eυ8DBXSoarek7 , ?KB._($o@]|I]nF)e c7.YSt_&"%ih_߸5+y1;52[(c"E#~ OB`לGӴeTjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JbQA֩" |ƛICXsj/~'ưٙ'C-7WVG ǤN):wqpCiָ.?Kz:]sfwĠq 9<:X{D/0# uJ %Zl2_ERKz}h`Gd(Q6p~?injazS|1 #$gH;su0k(\Ά{"+&rey)j " _xB̬# t!TBV]jUR0M#O|'pq Vm! o<_yy53$<ۅL:!W{p0oi$\eׄʺ߯Z<>lHK`yxIH}Tv-m1|BT+5z A}18~‘g"Lr <=ʖ 6{Y}՞Eg5sQZ}t0 4XKsCCKB>JPc EDՓI\ԵRv ҵeU;0vYeFK)mɞeA4%>6Œ0AI, ȋ۫m0j w%׏ċ`|vPyW:_-KJW#ڻ۝C+n`F@Jmx a{,j|ȰZ}=zi(YW ;-bmp0+ >ۀ;kϏw 3A!h ,$\ @񄉛cݷ.Q 9~(R드M4/!Mx*"pԥ ڃ-MIX $m!VNs%}Se2l֑x[Tή7ldrd5mo>ϯx]~/xŀjz 54$t_⿾^!M1p|9SX-=bpG.8tƶ4b̌/r$Ts)"{׫" hO ^V{]WM=t={˒VElx UhKly4'ȃH-ٲ2ʈTh_wj?4K|(k~CG-~xc3Cdi 7^%16N[TD&"R2{Zk@ arQI PRigAT"{8{׋Eڜ$+5YN!]2MwB =y@lZ.S)Z0|LS BrKmk1j;Nagc_Wa6:Z TkUYw^#~o+xv(!AjJ!!l.Bwr{UYZt-pB,íg 0=-ۍA?!{ԨM9'8Q +bGR.=;)MXi3@JdAa,K {# g0U|\x-DPpC`ygD8q@ـ@(Ί^FY8Ag$szK";G3"&(woHq$8nDh& gO)VV[.;Zpc S+#b䢅p0\xf8旹{V8)d!,H!$"wv#TD*49!6}Wtnh ORU+CoQ!g4Q4f  עإ (eeu_}ws2䚉"@}g5qφ4G¶,6+ W"4.jtQ۰Gw8wݻ U[+4!녔(. RTT247ndQ(lpZC֛D*Br,|Jt$wqlwwUC̀]W$MN/]h4g ل%@پF[Pڻc}m5^ 9>"rFGb7 r"*KC,@϶_mZ*:1`BC:$^+p_i4]XX7чb oT΂{E2tͥk+$͵m=)@5)ͫWJ]ɥI@b̭5#m'.YBJTznλB&GU=~r(IEݰոYaR|P4`4s";qNX 6L5Ojs2\; 6a{aTzL1uf1z-8qlUCnCcp~Wp. _!r#@ɴuC2D7e Ӓfm?_9n6_XmT] D9mY+VH*sТUO^阣*0a8|w$dV֪ jުxRPR\3-L7-]w;( Bi@u͒֙1:ܲq}-a@!Icl-)wZuA;GE^x#yVuS[!Xw%@ÂOB(M="Yq(b0WatH w@Vs/b8Cd(-.ɈE82 \|ojkf*q? '̹IYMk Ab[.ynNacn .8%q4;^$whkN8'\[<嫺-vhkahxo`_%E;O06yTV@\frUf a&0u?lFOX=g1+so ʪj Q0"&t4t Ҝ#Ҙ2:ql[I,H-Jx[ԚQGYro2)cC1֖m_bQsŬ_xYeFAP8w#O" [4HS[Ȱc)8N†?rm 2r\c\Xk'P&@*G*o+.$cCZ21sE $Γ-xb} ZhIAD JtLql%Q4J,ѨMUm幵Pљ>O IbT %}TOV ]\|ւ_ #`k6E HPg)- Hԏ8: J LMw|_Ʌ BPCAX[L&|1J+¦ ӟqEަ%8^KJ¼Qm7\ v6Ѻ87ok}d.i6H.I4U  s-4 eb%8g=TVP{) 6i(1`r_3P,g(5?FO8Z[qB곽Aek9NXe-;,$MDeM8> sZrFǯ"#ݫP8G* UDb<-(V~ǐeԧ(6AQxz+\;蕢L`UQ=]j1\[]߾`aWCQZߓ."J5F ![G0o I2ԊaŢI\ ;>71LVĘmFq¶[ccFmuUZ }Un)AM;z`UL9B)l̻7.bOop+ ^'_B`,u$wUdvmo>G]6Se?]g^;]c Ry &TP_o<ø",^c!V-m Zu@0P9ol,?N2 Qm&:rh:W^U *CÿL2b&[ET͝yq?E]GF8_]YۥW Y|ok x~Յ?D *'$KY(% gD#Ha&S l`/YQD [0鋪1D=A:PjnpJl5CH8Rܭkevؤs_-"PQo۟7=V6֌oWMjø|4Dȯ"7Z=!x6rٹg`͢!?\+>}'jo:*%V=u~ ')~ wAsLCŃ iy-Ty[3'>\D)AYe%ȘfG6<=; I5ؽ2LfèD8q4p1Fs-Lx" ݐYWR6pAE0` V)w2{ݠ$k83X/Q=l^5@DŽR *@6qW9Hv=:>&[5G`.!`,m4X;6 != 0`DiTkʹxJ\-A؟LT TyedOvtU]igCV d}u[ρ%ȣ*wܶ焕TEMZѩ_i,x2wx!uS~$Kolw@SCXWtvTZ:chnb q,Ze ܂qω uդHY|@Pʆ◕Àn E #VoxсIGds5D(FAa~(~0^ x#Nǰדh8_૾-X[Pr y3jal0ʎOk#"hxnI֓[Blȹ[8)q [ h;mG|K9:{. zbuLu= D:rӡ'Uf›oN0?Q-lL<=%, -k 54+08+ۣQUzVD~d!m=_/A#pJ:A%_XB`q+ϻk_|C92HF`yQ+ \{,ou- PO jb%x `Uᷴdmh@fT`crU_#LT {;o-k`t_ap/?op(b>WY/`)ѭ \U̵0o}u мC;֏X iVclEU-kkm|5]ӳ c/ʼnj+#Rhy!DSO )@K4RO)TdFrr "O99/&V%@y{3W't<ܴ|718- PnQ*׷~Ѧf h6c~A{j.}@`NSٖ6zbTgĴaYq/MpV#|HJ^K@4d; 7*2pfg6hYv骡X6q)OP| 9 e*J en% /ޤ.QIآu1ץ!4hkum« !2 / tlEG jFJ+fpM]pN¡SW@8^f/ imMX lz,Itw){,$0TA9C *:SJ|^F k-`g MAB,3˃,`/0T D[uTaע[Cܮ9G#5Etyixzsqo>g9Ff_>(Ĕ~kBΐsAڈ$щKUXKPx'0c2&/79M ыM>ԟ&1by,7wY1)%22 nwO>(7)b_ƴ!=}w|ʅ-,boMmcGOD? t4^3)O˽2ouW^ )m!=Fė3$~m{>`3d3 6SLx(JXMITrw/J0e)mV6D%9:Nr\I[cy@DY:\W~mo{B̗!9tUCFG٭:i"^!ɻp) Mli"%1vco4Q8MG/LQ V=G[< T0Ǡ* bwZu+k6v< 0vL0 Xhi` \V!8aa{kIƐQq{118a =F(}vH ;umqFG} VYTJocmMK2C>l7e'T>~CLtvI/1hޕ]W[$|ٙ eЛ U :Y/ch8VRqXr*q6i :ys.]0 ̞YCc9bspw{ԋ0mA3gi"/krbEx-6]LauIjqȟ`q ",aU0m.!YB }AH ,yK9F f \՞_-H8'+םOQK#s%`,S`5B8S12@; {+5qD$>m2+U[Ըvx^n_rO(@X۬^í: Jta׾G6R jg+a mb6+u+$Zvu4\M!80s`Zꛓ\좯PEȒnxƴ, Ƿ}96B3:I8IgB'_NDH!= ]{]%+{LYTJ`'bPp۹~bY#L M5LwBɚ{^$kO6Flkg(ɼ"<[3s-_F눨}z| =}0yu;ۥ*fB*Ai6匟>'2b8]ap`zDtSoEq0 Z oj1fSzH`!YvDB :0t`iKħ(@~1òW >">&+FbFL]-GRYr$[!M|+@ofy* A:3ǩf3ł `QWLh8odT+ZQdiA1Y|8W?_Y/3 _T4Zx*Gfs$HA$ŎWTo?Vujf;Lgfq+t[aP9ɂρ:q/Oh {:mΡXEx0(pR CR”&Ɓ XX$+A+ڎd!c}MGlMY!xkFZp+B>x ZgDu81Ǩ$ PC~4`ٵt9ň`21-6le t{<8mdxH'C ӊ!ٟ&86j\ZCC8-C!-QGHȐ_!)B;G ݘȚQFk(dgPZ99zV69ԽB%ewxɶszE;F5hO2H1i=yT#s":gʞT,񏤰>׍3G͚\v]FEJ`==,ڃѯdl,x0έ, ]9xW>ՐsПkc^J[d9wf%Ag(|S?mpT! hŐ5Qj;MR5^dm ֭W:da~,l|UIT% pA,Zp6 d6&J-kT b9yrHަ$B >!Ղ ~˳vu(X +eƦKpʟՐzBv ;AH=JСB$)$ID6T*1Ùm e,EW` )(P`nNqιRFGg cL8JW ʶRy!1!q(ʸg3g+EU @tL1չ1n(j3#O#dGAo߲.R+N1S@4Q%)Eɤ4  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[Jg@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊9x++{Ks9G?+(uvoEt=nprI_rmAr{E'P9U H7|(>ۭ!%BIXqĪEybSOEO;@yvqP_i#<#T[hBLJC"?~;:yx0}'(^Ti'jq qqvLrY?c.-z;Aaa4pH:|XZ;Bko"pppsX[ k\--Zway "$mHzxa7Hc\EPuFPl(p NY:䠊 n Ϟr%C7Tq=yvm.*8-=Bc=/Ŧ4揣bn?@~`}%7PyY<,p -cwHQeMI 0x+"a1O ڧwi`L4$lbh]i3뿬'6a0wC P·8M[/_4XةuW.z ] 1(QgB;hY5 ;f`0eIp3EH%ŏ/މ&xw|0TH:rBZhLim7˿l@ N{]%J.` &bZ(o6t-J frRs18Q*\_1KB KgXf[@_3@T&cf:y+ϙF$ö~wX% Dɬ&3dc 7cG"3yյA‘.R9UBߴc+gUe*W "u OQ{"`x Ag:2\Z`1dW4ci!__#8XʣD(0<*90ciˋMQp)C`瀏6f;.hbBCgh#tk^-'{a_s:5V|#_dG8@5vdHZKfu ܞӕ%\ >Rﭚzi2`\Zh T FM"RA bArfI?ǛÈ\S_K -+rIi@?Q@!"%x e :ET=ኃS ́|2U[yXfSqNW=8--+!AW5=C]6:$h ÐV{/-—D`0iˡM3X= KdHY_{cvL`8C6}Y)XZK!ONs;EءP=Ͽh}(*+alg]YvČ6Թ[;iP7Ab` ђiuXYۻ "%>PǡeRrhVAfx\FB 9gE3E h:zudXZ L b]>Jni춢 C=_sT^WMF_ UL]#OtތNNzWBSQOC +yip`:T@և9 xemk 9R ʆ|NABmܿW.ԇ&D Ry4%C;UQS;ܗ;)t+Ez@'Ʉ_GHQ՗ч~McW4ȴl`IeCRaKHp@uah,l?*:ZU0w_ײ0DNϗ-]"v__"򓅉\_N@gݞ J A`~|"1+ Ef|#'M׌ڱr0Lfq.&fM **'mFL]NJMrN: ̷Q)p ]߳o"NgIM2(coH76W>I|q{O!.6l4&P=/zIkw1z/"4F|fqԃ&xyghv';fx )E+{lG4gbݲ7q/G0> 9H i@uQX2˕`x:.H6pW:v*!38R.d uG̅# "z2-,yb,qyG8`ETCl0ǥ"vo,,:˱vb ٴOYhGR)gBnN@AU}i=ج BV2r7quδJ,1X!I b{reWvfg8يNLv%~cHlf-vCCV#cRb5+t'yaҧ|PЬ~ $8cGc 2 xpbJGћ&.i9PXϠxgVvzMHZղ*E(j` Zh_z5 2-WdpZ-x+C}&x+#ŐWXxn|9alΪaF#j 3!xLu Zlduhˬ!5Z{ǧϵu }Sԇ=q*?PCQ߄9/e.э.&4{C]w<zSCGš?NVra(63wnU9R w jQ ޖ: 67F Fg{|L"sodTx)l@8Mnzztg.ͩ ᎉ?xr QmVʯ4-GSYG`"OlC݉+<׋fd@-nIk sޔJ 6t Eг]7g^ sƄPy| :r~zSKޢ0L^PUpaf^J| h 9a珴ܙHJ1 )Yy'p?п# Y^&5, 6}D:&7nؽعyHu H>>z"{!oG?]3x$"r*Jփ,\DΈ +Lo \4;f}I,m %%I SsJKA /PoN&'3,u-Mj}]K | i6CiĊΖr%)zu[FB i,hkLJ|e˃ؤC"dF]c2#&f@>-w* ]DSIf!" E>JN"k;9%ZJX24<7Zkڰb;6fa>_HPߦ <sm85Z"ܗb")^x $\VtlUA6h1 `:~od[JRH:E9 ,@W.,+_lz"-yjG)|+֊i-5Ml˹]lWӆR38LI U (m=]ߵz8%.z@f^Ũzd?Xz@ǯ^6*h=Љ|d͑@ VЀ-ZnJsϕUyp2 nT ?oj"ZH|DPI72O@8l] Նa0U||WcMmsZC zq'[3'r&$᣿I.C@&`Cop^eڻ)>cIDnW=1:qdybaE_eN=9K&Dt a F˄ァC26O(JNf?EͲljP?F RW/՘iqYx~,cKXH"˫0d3 {#e!@~4:1nlI!Ԧ pl9Tפւ@-L&X D?'[Qڼɻyr,Of>xٰAuPgG ՆSjeAF:%Fh HC=|E"FV?ֶﶽ6tbc5>1 1mcւ<ժtyS*z% +~,V<jM'\pLuW4m-juca@%&Sm>ڤVE'8s%Hd^qqaUg+F\b_e kNur7 <2Т|V<@{Dw•ؿ&Rv%t7F*[8֊ޣs(eխtUS(o/MF9FrS:]ALFJW3}^z.'h%.Mq‰scU ‹6z RFh,:j vY\ wd]e=;a ni k2i7AkPI?~){UI)qcؕ->^|ux$+|AvFzpT碬OTD6 3=oN$dWF Bz%VZ. umd S#T4dq7pOB-]qyf,J[jQ-eb0]Sjl!{ GߌKrԲM>v V!w8ʱd:jM==@p8/滼!}c'7łFyߡqUsq}Jk)qneյZAIi 5 5xCT߲ŸU/Uue5c& ֻ^ MP"bc jW.x(Ri TTw->uDv\Ȋ۸:o`4ۻm0z;nqכֿʺIIkUAK[|u:u{fkf?/_o1Z,]e,³WqZXau{[%"1f?SI(D=]g&◹KAXC_EO| ~aSx$6)XG@?Rq{D%|(c;1)QX;`N6CRzaրl! T5K% &HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 S; `g;-̠m+Bi(ut$IMM7!а550ʉH@lUND"vڻI$ h8 0mYE\; \7I̓/hLA1`&]jlmRA` ps4o$Wf^#MƔR ޸TE*ƩKj.oDMmdgrp.Ӯ弼{'o'z9bnnS~&r1CDN`9  11F"&"D:'?.pbN͚[G(=(ԚuϵnBMU)g#J0Od> \o =K!tKiaRCR~/yp/nvE;0͖/4WA*@A̾UP$iB1e8wbÒܾm{>g` 4K_ww~Ni+T~eS ۚ\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal Q5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1a(D}`^Z5`wܻ]Ӕ *ƪIz4?±Z%-lYP#1 (fS,vI&h-j@#RT"$^䥁ߔ[ŚyDjv%% x/aI,zb0 ɝ`0GK:^'/AW4KS1paRt{a&vլ,FbBo2,A0&rօf=EL(lI-dy@ C(V:Y Mt`KDAI恲 $00g= ƴ-(癙MΙ䃬ȁDm2dv=M?Tg$p ـP $&,ˇƀ_p@}DDCD}VZSۨ%hV^~B\M, B&dyoS)<=n3?3"&BS $E $E0U?ZN*y,z֒J A-C!TT\! +Lݶ- h{N]Zk1%(;U)iZ~]- _G<" ,$"RKN lcd z#䚣VyR4Z5~+M}z$0 PS/\05ɚ6f?!NEV5 8M^; ?,BCSz ahRc ;h{$=0ìh;^ºAU2Nr"/ݏ(ZY2h1{\$⮂*; '$!.%+vn"SXca٘Reaa!vuiD臼8'ZTcOzdjs@'\T7}عaRu\Dd(66 ^a^EfC?bkn]B95)s͂ɀV=oO=&ZCЩ>夺+HPf2Sl=D?w+rYαɼIvűTX_ P⟟Tʔ2ջʏͺqq!Oܳ~]jEQ3sXQ:KI,'c,v#nd.] 2E#N yo v-?^g\iGF#4N v뒵UfXj|K5?Q<G\kfzsfƍuMMamp{BepJyd׼̿A%.pHj,$ !0#+VP%.ynE0h8r\wkeRKPE.Ut/Y}T7>XbcN\H 6ij#ԉdָW>;d%#Ú஥ofLmAeV頨B4U5u"`7${þ*dXH6;ǧV;oVo>3"TxiU*&J(i +\~nr]?8~`r4bk.o?6=±ɀ馈kuv6C@_ '+hƮ1 S/A3íl\ǧU^x/#*QGpɊ1<|lחuL!buΟ|Zӳ 2G*m`vkJbu&qFVK =NM1p=~d케k8&Y=}¥*%Cpj/8̗W{\O6#dXbTk24H; eAX@( 'CE@ڨ*%~Uq72ظ aHlI GQL &DK s<lDKƱ*{)T{ntɸigzK1tq.eQo %s]hs+JnZdl# Teq5֏hTe!z_x^d]9.Z~-s> ÑQ֢UaP"uX:s8hKS2HeXK&*iYF~ Dyb3&gy/F$@1yem[xE j':TdR/'`*7CR~9fVW4(_f0=G1ӊh-:%Y%:&_$eH~ *Ǚ=f>-hu,u!!7g`yTV fjzB_(ι6c“DUs6~Uc jG>UXkIdm@^umM>e;5;,MM05UaL1)*$46)… iԨ81/ai'. Db ~}qaRbPXC|dwr+26["a}P @bd(d$xQw3VFq̨7PZgppҎ(Oiv>ھPPM6k0v"Z#M"}]](s̩-MRcB7y"bT~۸ހ$WLz.F޿) *f3fAl_?Hjh41+iLU.36yB,,tE2T|_:`%xjM&w2K{1i׻ S.?Gz#:Jj9@*BNGqH Jx-=Vr0_)\dR$l/ʫ`5B2LNSb qĸܭ J‡:QfzG͑NփxM<ùF!]GCӓXxR9l@n5 $6\~C] φj;3G+t2FaG,cv/vo+*ɏlZGx-Gq\SdYF,â5ѤDlta\*X5yKO65/Z&fFl c&+VI~jg&NfftN-vR?\!aY׶ϙ2&vcP >S ckM흃Ao Q."9)T t@$TMx@_e/iv@xgQC(XDE yeRHAD4O rtv?݌#t7)/tWĴ9r,}Ԟ[,YI^ݙkoΰzD_m# ZHu~v^kuCf V5 5Y iwb/Dx,Vc.c{z n0_rmip'E߉ ZBQ֘[09CfI('y?_8+AdT Po2 hKABtUSI&lyUUUUUmٶmۓ-A !ΐ$Ipfff<ܶm۶D$gVr]Ֆdg6nӮrKD44$솆Yv؎L7l۶m۶m\_U?۷o۶^zUUU!ƅMaZ 0.fB bD'E>{}s%7  1Q֚ `|A4̺}}(Tܤ omȽs;')"?Ae9T[@J+(D %St L,pGnt j_H#7hv%xA^ ^~pVFQۇEFNX}[X+W.=%+ f1k'KWsp![쮡AYLD.k$Aoz}G {vuU+o/ͥ"Esʤ^wlu>S+i™o9E:L_ۂ}`s]bw[&h[KDn5؅6;5m_[٦nɈnru-ln1݂"[0ռbؖ%GYn5V[M ry-#oNo-C%gc*Deo->Hނ%EQD me#wbtl2Eş[6iYFT.Di޶e >] ΈHnIB dT:9 $e,svp։Vl0yg$`NhKuP[PSxc l˂x$w5ă:s`C*G8}k?+` Jm0xՃ83&%bÑ /p> 44>7A&?RSgCheSrx}9-,ut$A1\z[6>c:63mMn&z{ým.OoH< Ԁv#OG 7fxSyn Pg @(uTti4Rւ]Hq[\8Ϯ @e= 0OZLF!JWGm4Vzu-4V9aP` \p(/}.`7ĩE[Y UҮ/+v-,0ݲLAkYy kBO.wwr0~+b̀G6VǽXZpPW :̮y'T74 %ni0cC{$CߧL[ o}0+{tHSZhڧp@`;ӕ65dbCb6ZPN )5 @AֺG vj5fLhОfc+-ƈYg5P rIE"_i)DAD)}]nx&x3 }|3|)"p3]/y'B~ LzaYLR.1keRBćb=q>VH-\=l'`q64 lͪ@Q;2M& `1"F ]-m)@/ך|yLR4V:Fl^˵]$Ѹ HE7–vIy"%N߫ w跻, =;df" I{xUn{7\=£݈V:UӠW)1a oI=dխCG'{QZqe^'l| 3H~߰|KnK驌bA YOP/B exQXyLGU)պYA1PN@޴DI]`W"a5% 7l@Tz6" Qm|{C]&NMԂQ^ԖZDjS'h/UGi83; (TPXCglI_a_.J_\QYiT$3yK8[5YlqIӃgT y;kxK!o# fAn#qv`q؋yKb04ɼ_\8͈ aQ(׍'o#!$3K-?Ho\F'\]{(1e3skS&P#+i&T? ,L4/E(JpǴsaRq i樁1>dΎ ]1.K*љS A30#O̗k>)`nM9eD߳JW *93iI溗=2q_\q 1EHlVzIa !3~=ēl" 6)"jkq(،q.?eP!9 ?yI+W^Q΁6R"5oדW\b#ߪ!KEFWqzT[5.,߱Q;{:RHnk;r[: \k6L."c}va^6 |Q;Fcث(Ƴ8[޶pvn9(۽%t]@Ii(]Ck&S?)F9 XlaD5@cBP]"Sutjv m4\H9.J502ǿ?nSo\XBy⧙?һUȎ"#_Sl&xuT`f~#̬qwL4"*Zq)[U5dƏSyu?uJGdv.9ev9CXۜu'D폑f74i@קzl%< 6.nV}a N>2s5+ir9՘CY$`)O׮FV4 'J *|~wOi8Y*'LN<^ēAZ܏ܧl4FI=yow_.4+)q/_BǿV6ڨDCjB|w5bF3{6Si/ ASn3 YѿZO#Rm>[Nc맋ip#> L"G`eMHC.&sFdF^>PX4 ƨ; KgyAf5QTg9\+p~z@oMjrQZՌ.LK)G K,_5" OsS[{1N{{*GS*^-!; xtv><}1yU,CM`McLt+ր2lNc-N[ek .ɵ^`byss' z dp HiA ?tiF7cVSi8 Eu:NAϏaЬi6{ g a셖MgH4DzNg|hn[xE͌FMސ=+`K^>y-Qwn)|Øڜ^v^z{ LkxCO.jZO6147@ۨ.ЛQx%8ج+Z/:&mx~TW&C{2eFZSǣ#08uy/ V?>/ߛF(nzzw͜:&2ǘtN PM鼥G#D#Bq""eTUU k]Fg^Kvхa$9‰:&(x`!ag p Ez _ 0d jn."Q D"CFB GnMD2 8P `8 "`0 @#1-Hs <@$$LՒ* H%qfvMTHBB IfVILۓ&"ufl'MDc|[":>Ƙqmm>Fo6Y[Jm۶m3ߖ&cL3#T_{"6foHے$[3-Mv[D:nK~ԑ$ effffff߶m۶Mv۶m۶ I$Iܶm66I$I$q3%TkE.bBD ,``Hm"t ivvs0f3a۶TDDDDDD(Qc1Dcfffffffffff}&eg~9w[$I$Iܶm۶m6ݷ̈&}TM@ A(88$J$" (`96"&=-S!<\4U )QL߰)/X/Xa}JTp=YEݡa)/į[*kGԏ bćKC&SSgAQs"]GKYNHGVq8;x&zm^4T+3l†K-$6R]%Yܷg@B}yx9bǓX{= >/}^P/ᣔ;Ȟ]s̔leF=Y^w>KuY# $ `h 41JdUAtE 0퍪@ygPuHo']<Ć'%6z8{+F) Ȱt3j! <12#<ic)%£Ǡ^fE|g U[*EQ0mjkP*-ԻuQ1zo芯T: kmѸj+ ׻뢲ŪtU7BECU{~Uo)wBDemOJv/:2Ou^ݝ- ~1}l5`PCV?wzjqpJsB8Ԣ%z]u:fGdܕ;zARS;. N5"ȥP ik-L( v;LviPz>x1\ Xo0꘏>|z5沮+oQsx?J:|uGdTEFj@(_ qy^#y-A"gw-@68j$V8+(ALV~9ׯ9k9_.ᘶ $-0S?A>- @MtNpEߖRf=Mя{so}}SiiIERZNǂ^^|C)4{-i& !NC ԮL!]dsNWP ^1W'KzINeǤ|0$a`v2ΛLnLPqԿ ۫_ǃ,QTWXծU"&@k٢KɀaN&K+$ 0Upݦ,4XWy,|nzpU0<_W]ŅNVf.u+ wc.N&/ZCW+Sc :LבM+UC}2] d9}e-M˨grX^ *vEIMWQNۖ4T-Ñwڠ],à[:[~B[{ B]GpYЎ/ڢK!Z]R):Q|!+!^Pݸ$l7L{_& h:Ejj^ qZ%l9:(/y^cEȲ) ݗuB̫ܺ\߮%z¤9q%ynw4RvskuQ.%ʐm/lѕռ&JH-O]W}FX6ozmR02v ֔&1[j4PTKIba/Mu@J FwݩlǾ)@Gj{oݴQgIws=hrs*^eSszv6_hEk+jVz$ͫ:[i3+8#ٲm3lʁh5!7$ͥUj^4 ů/ˮ"s!@Ց;mߘT!HɶM`kWCz0 DV$\Uת^:R\{ILZew>=3Sis^ic&x}pͳ>V}EWJQuuv`c+B씁*ZrK}‘l5b^7zYP͝MJ{cZ_b3_b1RrDD+Z(a^95fNljkXMfcfNL J"Iuťn5m]^,Ym'S1Sm`u6ul3Y#H޺DžnF٥R(* ^whݠy+}aZVk2[VOM1_Zm[d֗(TuUTU])]Y {V7z]Gdv5v=YAPSW*K"rbM ,F1*X5a໋CTz dm>şr1CjIr*CX +bO9k0#xdhW[V<%BcΓ*MFX/g_ Ydm 7xFS6ǀxB3 ʼj˔ȔRg\f70尚~UI2W#eP5,%AUKf#"Klل̒Bx%G/ T_'09eI`M"0/eS#h#GZ.GeTn %L@JF_B٥弔BۣlR32"Qk0++ZYN8 [jG/ڨ4,Wh±BPjIΗ`a΋L+j:;o–059o=93Vbz>v1sfk֍,7.kύOQ*/ڙ WW@w %1t[K4l)C'[s9|^e=HqԂKZ*VioʑeE {d'ZZ%D̊E#O6uo$%ZFY2SCg39yF󮎏`>y'8-Aj= ,gfBh%r&lGCʂ(W>o1ڀ;ztJْ"Ku Zq""^ A[rQ^4gZ[P-\ߖ%9p$@ [-VەB`UQ}45c3hs4ݹbx.,O4taMFt$"t!a@Y aFuuJܥB!t;vtF㬏FM<(C]-ʄ>ZK/ xZP^`vSz!o^6~VG/f%"flz#Jg泌 J/a i(W]NSz}J/2 Q( %~z3%T*WrI<ymclvR[e`y&@+1=s%&Y'; z|Kz? Z ?0Z/-}5} Lkuw2Nm; p~rpj>F]_2V G;%SP= R[,]D|WDC9˳J?{2vqU+n'ZL0>RNؕJc:"/l`dw>m5^l)ˇLӸ0QBc(cc:Qqu&f^5n"},V5\ZX0F!Ⱦ 9 j8]w5S&X936fXH{cI Ne6,[_κoVz~L`VM*XBDlXHdeƸ7doadeZ! Jm)D@TM:#;Ff(qDҐOr<i8Nx]p'W\-E*UH-8~߅P_ q~bUyc<sYW,d|$'a9UB+T9NXp ȝacF´ㆧغ+$X6 :,3?*s=Ze`8~_0ccVv ޝ=d۱g|!Eh9ҩ)OdȁU4ꤓ`X>$Xt8+G0z1;c S*g(7a$mE B9 hb)4x"b]+w7S(uk}59zVU鉝s:{[˒ĆBpo6hN7멥;<>qfpDmU9lJ{3o8|/ԗU*M>>!F[|L6dj3=a hb˰6 A}l;Ndyj?XTvxȆPAx It'FPM (4ۢԒ~{(Sl96ة,@dƤbJ&u`rۮ%{8}T6JYq3~8d۠ۙ[BYho7&[dAH(Ou,48#B,A窏q0=0'Sad<A#xPKyC#89I]M J{$L0Hov|pai-'BښjmaZ |dup00jS Yj5Wҟ#l;-Eww6آfUt+F*GԷ5_*[ ve-keuaQaxTڪQ^eUE6Q)3#fۚ^߈vZ7m]kRhߵ7:+XUUhߵfU5\0ԣb2u0#w٫. gݵYUyBaV?}ך<@ޚMΧ,P5Y5I'3| 746{~$ $ٟp[_Dh6NΈ-NevHXt $PLeR( L,ߝ"L\PLGfڛfN&$KڬhYIU.AfC~u8@#876DpA   :DVc|rM<*xLPk2 K'zUx c8\5WVD۽UKe"!(h A!cɼfBg,n^峲z,lUuBU"wYUfGDwUfU*J;?}Uvݵ7sU*k߽]3GݻfUu=;{Qsn[+ N1.fG4B"PKe,!OޟC!IH5UY^ICU34S1qT Nf +Ѫ2HqeQ90$"˔iJ#1T DvڛUpw\HDH0$X`\A4 AZvFxD&vTL(]_!H0.qΝ_bPX&جd ɄBǵi~aaaѠٜ]kVejd1W5GDwm3Ϋ3-eTPVF±@x6dcgRʢ,Z^NjTӄǹgO0YpLE2}!stf8w''(Is}Ѳ׵7Ș^fd}b:o.-HnF6Hj$66BTzuMz^_-%ωSe:|Hm %OT6{NiɒboYJܠ<*y .Q|ajYQzՉt@+?9#1˂|^ Q;#ϯfFКb]vW1H R44Oҝ<;їʎLbyy0T/Y So֤H&У͸ H7vM V? $͝i>"]͜ֈ帯 Кu`-}:CtS@zFø;zL f)K w2:sr[IӔ.}큮̠;I*zuĭG<~,5ZŽrNnag6Sp˫Spɤ4N5_2žL6m9þU53$O+3P/HNQT,DrBKyfOc4d.эQ҄02cttF,1Gdҍ !֢~J!4_C/Tn\NR]QPjp\;M#O*[c€#{We;:=l@exf?$~[+bwqmImMV^J}g( ֑uN{ĺ ÆL);tUqs~mV>3! 5F gK"0_be5* Hq>(.ն 7>=8YfA*V1 ۯf`\;lj.J#z?~.It GA^wg ԇpTϏ n&#~q oMn8_~(F^i:{F!$0+'szv# @ttUH_)Lwkх@B]0Ru(Dg*G^Xς+!Oql(O^&4ƹz5,U78|kq'FÀچmcL:$)[ #FgKQE|D+;hRH"5M '###[&Dq$5|fށ=qGے!G7iu2qaG]57MܫlbFZI;>5SwT[{M>rF jGu:PGl.}4J\p?Bgw/u# J'%ֹ~F7$dJSYl4cյP/ vd[_ï|E^֞,CoAO!(,L}~/G띃q]Td,aJ2uijc9UiR4NCCeh@}G=Y7C rТĉqa=6SK޻$@ gd}./cgnl n+!;1`2ڡm-w J-y덼zYL\5UgZlB{W#c ^|؈'esiFZ_>\ Co9)w xVf f5\A?FDk<ǖ [qWpdanruѸ%Yu?mIY $-O0]!VZr8.52v)2?=ۻU_/fzK)W$UmĎjJrn7$e:GKJKWVr4G厧l;# V4(d5Ժ_|=45 /W<1AukDsDy;5^PmF[jqyQk ]x:vO*0 T`6$c,= R~0/?6Dp#\ ~^ 倡JC>[r<ᤸ -1YªkSbY7"\}OށզEmM=ޱ}Wyo x0I+JlGV՞)MG)W~v!$1Kuw& ^i8jpKjTʰW nfK7hp%2X*&_]ة*Gp3ualȏ5-0sɴp>Xn% &HPדzUgBʛ*@rBegQfǦj+,X_MLk2N5X( H*yШ ]Ky٠ˆcS=?~9Ƴ19m4hS)GR)`YrH0bnR#ڙKh{|XU%DmN9;ٲl%YiT6۫{BCKh$4]&%BDnu²i7OzZ9؉윖e]!.S mE Rn3a JY rm]Ɏs?ԄD' [væ>s"+CjcģHG`Hk V0ٙf>i ;rqxŵ·Ġm=;X E0z}||Of{9F=D6F^d|1oyd$\*q<;9<ܹT`uJn-+V  @0+" C7=cOLU(Bp m[\(BUFR|Rhu7j 9"Ds)RX>sKZʵK[.7mqww`|ARP{a̕l쀚'Cvk"qL#7w /Nv"+Vx80m5#.xNϩפ|D(=--f,.m#u+E(uz<"V-vn;i=y,<]/*``}5RG6u 夂O2ߙ_%x9g2Y"g.ah#5%Y?AO9uC׮[PWJNd!|xd)38"Chø$6[9fAUoJ@׭Q:j"sز.=epB z;d![\w0FC" *ܠa0Y25r O 进G6"TVzʘJH9D:ԚgUlC˜l \= $oˉf-pRևwyp07P3*!U;O9'Of$ q Js2#嘭(Fg=z~5B3gJýsL-9*'Ho_!݀]Ȁe,겔=I1(*> _Ν@! x_O5֮Q55Wނ-Qg['];G*Q# R *%@_ 090 + (qMEȰe_,`W+YrmI²>z92gc1鈬4Lp6c?ܧ@l6 vF]sSk@)\/3(XijA8n~=6H̨ F\ VӞ_GI9:X,eUȲ `SjE&c{d2hXc6vYb֤؝J] B~=M26WXAI0rDŷneњьbZTnx[)KE gOn q:F P;!W;~pI9]J6 jKfU7V!S,|7VrkvDv Iusc)ٶ|}gg3G6۶m^ڶ3EUD5 RJ6m2M,S&Ä%KlNNJiwwuussqqoook^ѢMWU}jQQzzS_ZS55yL_^ϧӉe„_\CF#ݝjfݚo/2d^5sNtKiwU3gv򥴛Dܻ3L[OL#шFDDDDDKwff,dP2GO~~t6%vU3qߔrxfyn)*f"ޙ鿎:~m~ﯿ^]_W珞:m۶Ҷmh۶h'm}hU64چFѶ66m6 ¨Ѷm6@CA0 4Һ{  &.  ( (D 0$¡@Ng|=LSXɗ"j+Xܿ7r~7F jKDw]7j9minKUj Sw`m^Z61s6\gA|Plv'Hƒۼ7vi$oL[κyon37o3֎m7]̽uƃch՗jܫ㚊 gAO|Ityֈ3h`K`RhJ/)W@POH!,CoEhڅs>\ N^׾8DW/xVg_ɈO[L65e^nO@򍳷"twTux4($γF^?bIw"po8KZ#g$ɔy 5JsEPꞳ&ejd;{IAVmG-2njDd]vIn/NH/~!Ls(w͊NUF3si!̋p*qx7Orѩֈ8 tzpw J_F?GF cʭcZ#JF_84\r8Jk|Rk|TW̶6#1Y``/ %-q{\j7SDfB8 Ț/ %~dב}ɲ9wHpBMlZܰXc&ʽ<! Ns ^Wk+r1b3h (P% ¾5H\N5nđ҃8rp(S*Jиv/8]@+C\nN`Թv+Zmu\2lzc/ ڍe kYY׊.W0?94~پ#|iϳ O'@Pg|%g3@~ֵgǦ7?-̏z5_~`*0O~d ?22g\?ٔ??6S>Cx,S8#->pY}Hm@ڇ0}@dɄS$}`a>]j{! |iR}Զg"H<;DЇi >۞Oo82|W0>HԀ7t]]^C{o$ !Kc̗oګŖ-|m=nDz5VиG %=^ui3;N/v2f@n`Q'Nn\0K}-@pZ'ӏ؜K%eO(/]\mwEoewPm&-9xw}GbG,4XdNSi8墼z%fH{G-cah$ڿ_:}Gޱ T^5_d w \n@ TU1rcEk*OՐҪ3v"Ҫ1 kZ6!=1&DfBF.#MQZgKNe%tႏini6VO|f=42Z.*:mK [lotF/l%.JY~yZҜftm^2&>AgTiT&X:EТQۋn{e Ɣ~ZܘZv|Ԋj|K4VmHX/y0FN !"""'?V$;yWʃ^+,s;%z,_K\cZW|t`A-BqI!?E/}eȍ>;#g:d"xpw>X4Opΐgz%`W*UF  : 5O% :HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7m BN-Pg$>s1?33TjM.rWSLLAJMիGƬ f>7]^V)nVfNN5tD!$#p/cyS|'r a4C+,+#<t+U: `QF: mU:bAi옄p7 }"s Abjetơ$!j*H1^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal b 5K/ 6HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/({ 'DD[{Q#JfF9F9d"&j\4+l؝PI4,lzhaҒ.xKR0%ф;YY(s@aJ6LK8qGi؂Q$FfE3\F-ђX $x  &0 8AqeW{2$MgA jVgX<oﰕ*۳>}gMjF33R*y1%"#xsjxHkafVʙӔ=^1;H~?hGluv ۜ9ٯ]&(+PL/:pwמXƒԨ9JRcṋw޽ ݭνȌy.:1Ѫ i(KbD6꥞{{-oj;:oZj'or&5i6MӊHX|ߗSS1'0|t  Q*I-q"2qf)~z+=xa@CG,IPk *  B`R0$ (#xN/]moy ϣ!'9Ġbԉ̮'\nn%Trᆄzr }gu\D¬NSu>4/Ndf29q,"8MΤVs< s̟o^w-[1lVQ4kfR BU~x  yWTv{r ZDFދya0W줃rݙ~>Dowac s{ `:I@.s3avf c@{48&ҽUeܒHp(xD&0IA =SD0 anbRqoN a[c0_̏0Yޱ.R-]Ziٳ@B i,sP \Dtf&ezdIW>Yl8{ 4,vcҾH*"` .L-zco9׉g&>Fgjggq5ǝ.%BMwV`(|ǹ&2{?6nLύ1/tp*00 m\25}0Msu(6X~KYBw5eA9Q5FKLw}<ոEZם==kzb#ǖaZ!AtJvw/B~%C]7C_}[~.ʜqB9rddso?I%̒WE$^r&7iKOŜ D2R7EᖿﰨLژbm1w~H}Ե4j6YMvMm#i𠒟-xak9([ l6gd QU( ]y !d\맒@fcd+b}}OG2g$y'AvϊncnS=ɸѤp|ʅvD|SbO~ތjj̛5Rѐ^5,/_شR/D:S0iP%? K*LF)mϡaqSN;7ŕ:eipHl`l2"TlwEv٩ a'#x>z~ud=K6ʼeq +]f.>eBRjw~#7;B Kp?$B#0;/r,xE6 C9bxcnqgq.,O].2ZD!d0Np'Aƃ4Z82 xoBR⁥,vN9, 'N:pL`@\s kǙX֙}OԁFh:S8T6 Lպ7)KIYyM(W>xfqшmTI8Pp^W&4ߧ1XTu{Avtȝ fs($}o+tW[[17;iBU{:˯'[_h8/z]KT EDY |^,M؈7-[܏@&\pw,TMP9UH@jq]clh̟4kC*OEJ!pl lS.?%7㠵K!熔~. NeB`WkF*]"yJ-H]P`X }Ū12_7Mr8 k@JxFGzi* yL9|Z j|5f$-۵bt^8W-/ς_wԴ=5S6O,bQInM`enn'5Ϋ̽-ƈ4=g$4Xdؽ`O40\}1&R*Y<層1NHW U@@ W!_^T^+ـ:ߐ?_L$aJFOɷ\:׃ĆhD' /P1!s\.[t1Ȟ$Ҍ&-(^cf]rw./t6F- 3Y0Rq*VOb7zB`nN#۲Q榜\= (QdA]C,䉟eHEOדpTۥid*m;2D$@1zkp0ԪMBb{$nډ0"|p* }r'%V7ƚzl0RпUI;x$4H/;6!{;2sa0 'lZM.cmNqBEYdWA'+mF ߦ[⹔0b{hZ]<%BL,;}j*\KחjvKn1P/W)G;ًaT'#[x; Web{EpJ"9j]Klkۃ)fm[2^-iID*q|sC󂫸/Y1dVv QsX1W-r~YLX(o(|SJepE>WRsZfz~0,lЏ`-|trYl --5*y~rEIɛŇ{n^O8,bHhdž玲f"NT:}t(F6 著 ܦ0*>Fy(k*Xޱcxy7Ik=޸s\d:bH(ڴB)Ê=yGBn_HSQ(=:̳c B2AbgD*3Run6N2>oA 4a/`"D]E? ^[B$ |'B}UOjK9V [h+520T{{F7o= bh])L<ɠQHCoY8 cyrO11WPSڋO&31 YiHA՟gD"E f|OROSs@/~.|=d5/>,?> 8Qaͫ<9oq#kW$)ìbA`9<TkiuDYWQteAdgYv#t?݃ǀN2Е6WI 7vߪpc[NT4 an_(tzm+`\ fd`Q?z뚊t.Ş9 AIǾB^Ư? ҰK0(,qGkf?Χ~b6LXWRv*<e&BbgSiU1bY sOjo?zp1k6&]gHϰ1Y18޵ V=Ɂ*'UqUp( v1{Qe""hZ*(TL$K7/iەyL?n$P۫yM*ePU͑K (],pWs~w -*.-_ɠ.s"qf(GCq?U]Z7z+'k^V)ܫcxMl '(>,! S?4ECu+unA=5L+ Irc0kR)$8Ж '[~m6D4ED[DVXԝF_dKxⴛփ$Β2;- %Y͙X>°\c:=o+Jb޶gu[bFY"Rj:5a_d1&t|aޱ / 7{"d_Q-ɻ̃'dC)͡}W['3,\I^~2; `P6]y歫0IBAA X )X6aB`"UW=>vZۢPWB;3 +Z^&T^Su[DdtE@~;m'3 5-;UVkޥoTyf%^&Ė*\DSM*UȝL$PZ?|uϒDbmb3U?'41+KzK.ZP0'C_nTiu2PԆ6'Oqk7eތ˔Ԏm*tTBԀv FqdHc6+fg$&Jq"nB|&q_2bfDsxjRS|X#:_ vӄi7O-(k;ќAR8ad ]]$1heQ&.c*q^$r;@AHq{ 2#$_v 9a%B]FG#dr !,B}M Ic&z6^+a |h(q»&&LG1tMm T":6vZ0CR2Gvཇ'J[fDe`XPY`C8zn"̀ &|p=ցNlmHԼ#5ܬNI6j]+'?84%a;.XuO3WegFt(T_|"V ϱRYa}4dKٸK5T2+m/u~}xtZu^>J(ok욥1E-> X|/6c얖Olb'vp6,3"$g~>&=xTEG u@e܂ +;fq@9i2Cg$/q(E>ҙo?oD0qU7rc w&~WgLǁЁTSW;Π7 zba_NgͿEPEfuˆ JRawh3d.-(Cwۉ7Na BX/6kbLohq4r'F² _ >cbTޘj,onA l] a% 8Vwͳ/ ?_cʝ6a1dU_5m'?Wj_4·5CȺ)uWmS1Wsny\hmm[4Ȭ%yr7 n3ష/qcQ䫻}XpqqE19VySXxMaq]`NJU4{9WamyCړ=UeІhԺ?{p= o(oCcr&gҚer(eQ2 iqYޢM K5y$uZBS (>gv$n/l*_z0q4b${eeε<={!/T2r 58cr c`(.ulf}A|K.g_1|SWLs"U8G[|BRS@JBQzr f6V|Q$m6<\eO9`|+˽e5x׼8Zlq(> wDfAx 2@e/l ڶDN_B\~Dse,BʮŖg\&`broS f{ĠՐ-|\F>#"5,|4wz-P(Iֻ8xX1D;_vQBzVRlSD'6[ -E$iAogFl{-u:莻`ӬsD 7-,nj:0,WghI%i8:ޔ[xk$Jn+IAM4r#-Dw8OQqC%7\;v;^F;Zj >=Dugy G)rɧO 82]FK- !6\C~s|pČHyn7!dG$eg2N`Ԣ?rO Iӷ)VHn?J^m$wp0٠, C M"J?Cc`Qa+n0s"sv_ CCxm|5YB@tSZ/Ęȗ2KKU;«pYg<b S̄7B,vuiklEMeah bZMr.$z;QRxx522ӋiBK i~kat+ynY f(즲Tա*[%b4G[Q#vր !.QC|lȫtr0+K%AfRr2>97.,lBmw>4k|iRM4ݯ甀6)5L@l֣d#O]WQ!@ݒB'KK  a@ͦ-j~ۗۂ)wOG%>Jb0oR*fWkJq5Wx&2?_EXiWJu$7uvwl}њU|wQavoon0#8 d{MfGD.:F|n{z~'3fzj;c5aT(o/I醘ln̻˸wJCݻۙ}uUW3тq6ޕ*"N4 ShmlmvlvюnYo|OWFDl7ǨP0*$x7-7ޤlƍ7)/CL@&2<a$g;3޿{C 0N7LmpÄl7La! LGo ӆi5<@MCiEO[u>3,(UyFA}dAjXMW.;͒557S3o#S^V 8}}8?G\4s\}8Ӗ"jqY_Dlc{za>kgeHxDg=\ @ɺ?`dzws WEVgʡ`KjC2K88|A-q12=ojRon])?[\r^E`#bhz|/`po$pnK(ڈ)@z#s8G8E< # "<@wES 0Fߥe#R"c@8bdap"M <2$x/)Bi}g>f'&ͯq_}BJ͇hFq>7"߳7JT|A>5FK3cv%g͌@j )cQ`[ =DXzwċ IEc'jҬ"]4?f^1L1b"L zr*jo^ڊIT ~X@`V3݈pɔ9/HjK*aDpGS(y|M3T `=%VDy7sۀt) Ev#Tc=,=щT#=sV9(Gr)K,⤱Xf8Z 6^VY6̃xNnf7C}RʑqkτsڔCwlj'.Dj_W _Ç KF.XqSɈEZ.h62➒h +{"^-+B C)Z,汩-J-Yf*j7ím[[->cܴv7àK X>~⍕ QS|?p5=zHMub3-h7އ 9f݂\I2~9&1zm .n jSf((~n"'uw %Z'Eirw%Pں[եMJBMbz=jіŧDX2b2@Pj곓-`ٮ }k ^djC ՜!+%Cp(Z-u"AբxN.0CS&u-mf|ć Z_I}~qTp15d~zZ.$wi~d[4ˉv<&uvC獬%m=SqV`)C&WrIJZ5>i\~ @y'D'"=v$M.{L!ׇwa :~dT,eTncPi #YvI'cʴb̕Cգ,<Z):\Mzx%_Zbz3|e`&_A Ǧmb8=D$VGX]hb/Wވ&`d2,T>F|T˨hD@I>OJgiDy1av̄JqD'(tRi9Kh@f2q;anz7'E>V0X*S¼Frk_\]iJ9af͵k.'0ֵg90U }sk=]|ͭXq›޾/.b4^5l\yv6.Bs {v.!a]Ig{: $-546l0!i# wK :~Za유iW (l6:R)@9hZbf@9c*xV@Ȇ1ӌ[^B SHx"qYG^%v]a9VW021bd XC[o*8!e$'VY9(sS1qH~Kfw$?$8 2O4[c ;w(^l " uAmM!-_QN8 -nTW=X{,zfa H\&NԳ",_] &B}+X "ZW'YܢK0Q)uYNۤ,EIx* *5]>VXD܂}@[ZP cS5D٦,<]]57%bdGsk!`2d@iӎ@lS)&!tu3ܓ#ٍIkgZS=O64Ѳox? =XHqNvImM-tKvR! ?.4uܺaǣ|0:XݙQq?r ;`wBQi= ǻr@Y3lGEmP)О# EݦO`[~-wѨ]G~HHh=F⺤kz_51Y'}*„Q5ɕ1o(Tsu(Fŀw<$I1훂6ȃ D]l܅@B:0L?;5ե Pm/UB]n=VP]%dMkFvz5{!ll-&}ԞbbqL3b%j &EMN8ghATK:dW'Hǖb2x'ѭ-NVuj!*KGl7i"NlC\l^y02Qfݤaٿ{ {#24z&5h1 ͅ+}pZ;9a䙹B9=% N(G)&Te83?>O4mzfˣ'v"9]+u חi&'8\H@JJ6yDd|fv *>e/|xC߹a晴hsl+C8;jJHr%͉ETL ` 5O' 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`օeT9"0o`>% iF{v`a{cǍF0%BKSp u/-Uf*؃"~RgIX -`(g* ?Vhb#q,t~%NF a@"iH>7[~NF 言 -T4 9G&p`Ip p҈x`*j- Q־TjgDN)lQ!*I5X"S/Xd=N0T:"Zz1/ļ7)n9֧&b*aܬ63pSﵷz4ⴼ1Jt] u]0~.-I%hwU3"Ma8"c5WvSVb>4FT 4'M Cvsb='0^! ܔ[^rS^zrfW l0NQX on xx"Au3M\0C pMg!2Q*[3̧yYaxGдDe ;_S63蛧f%؁{(:ĵOs3 Lz|tƒ^Ba 41 *C)dd峁+< Lt #2z'-نlFHŀV h\ڿ?@ok!;C PmE~^b$,<99m)_ʡ 5nDK0zs?HcT_9n9tT8` ? )"`t¿x$0&q+ó41ILq'6l򣝇b;ɑE-Ny7eoY+&ZbRpڇl#i4_HSCu?rrs:Qi7.j",L5Vcn{(3Sku-#~ws(Katx$t:Ih&ɼɖ8S:D#7U,\WzIKS~t е5뱙aR)Ro=ch[Ki$%r(1 (ʊǒـXA_dg@sU}_73٬F/ m/ž-p*q£܋PxutvtE3x|qmN 9[xq {n(4L6yaf߽zA'jv0LwPwu4Y!OSckFpocDOo8>jz%V< TBdl_G}%=f\V0# 1<iL\?f8MlOo Th<Άg^2$_5~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