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 b~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n h b 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+<&B2b[Q1ƹxcqSQ1JEŤk#i''65VTȞCnj322404(т{4,PPpHe0hAȽqo#"Zq/F wp`PJ@H@(т|{ , ,z{Fc{ehAC9My./ВT{9]?P}˞]I[C??Lc4ӵL mDX][UCByR ǢR&պ=cR0@Tn_)'UR5{kUsO OlFef`@wWgbiխy')e|d6~^;ΛTE66xPt8s7r6o5j2`.],X+*'%!" @9320-& % $ gUo!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!    o o!5|Vp( [- UHOL-Nominal-Examples:threads=6elapsed=339.945cpu=1656.962gc=92.575(/y<{A"(M mHހ~E(ʂ)ݛvH Ȋf"|6C\@44CWȬzSlw!r3tRws%4mawx,˫H2[a?ckLdbcڋD!_0 }^E74V "k"1G˻!?P"`ȡJ{1HM67NcRNarYAxPFJC$0ժ*^  HP2HZ36˱#EDDBE!xLNyA2IUDsÂA񀄢 }D BrHug *H XXP(ƈY"5r $`c1ņ FkVGwV68EtX`!as 3J$ ,$ PS{|a+G"4~\\wIH$ |R5%0$ 0bX(@Ur28`p!  8× 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/AyO7gFV"8=&qVj2궨zMi_fo5g -Jn\(Cl"|9ʮԠ1ŮT;`gJfd;[:;sWD|] x+%g0Yt1/ *i%%ţ Y胾RYDҚ$_O(mQvU| 02Bj>"g}q|d nU'+dmGխe;5UuE]bsJ ћ$NwZ_kc]RLuVѡ{k3E;&IK£j0817TQaoP7:B#IwɌZw*x's@M:b. rNF''V'VPB$Gn62kpH 3e\X-~P_Uem>88(tHop,.t}@疙*Y^-iF~8KotɨhpW]\)LejoLEDI(:,oÑ4^]K hNj_%5]J^*?MT Ċ1l!D JwEUҺq;JZN/x2 TE,C3ᰰ1 "M.ίʇ '+پiɦ@I3I+pT?X/5qfͶR,UOds T'i}FSO0E 7TBDBg,2ih*LZD1;ٸD(5xWK9>}df}t8DI+odׄTu.ۇ( %`&%+~bgJZ!.'n:<4,\ Ue[:kp@ľxk~2ZAOny-*vzxL4L@&H#JZ*rKY&p\%B9hs3baeí:)i?('6HQsUY?1ܸqWDؐc<,D/+ Q <%v ;:S)`1F{D^#+ǜv?O"Y6 w^L,ίkz:iE/Tv!w7{X :@:0h{n(ZHʦV#פe 9 yu?:)1h*6Sؔ,֑t]Ql&{Aa"? f-ä`۠X* : q%agoEX֪'кê\ ަݪ>V9Lni(A!R ULS9@. @vF_PEJNu焋xضwXJȴxe! kgT=̮+ :l?L ƭ4=+_/ J^}8nv|ր-a*tP#"yƽZ8xJXš'B7 :}MyaDÞ?қY_('Ө(L]B$0^Ţ^S.N*L(p\l8IJŐ k[%ǑE(Ƒ72g~܁ߠkޝQȃ'!V̀8ԻӼ SV<( 6}4cK'bx>LssXZc.뙯s3Ά}" {RKvbqnkotȎ%4ź׎dV|*E"cX hѻ&J}!@4d& Zs~cT+wh\.ߔn" JA gϴ&!0^,+qGթV9ʴ?tzzc'Fbۢ$>e%4Eɶ>VÙ6r~ ,pYtr+9+BaLBسӾ()W- 8} 8TN:gLh.9վ% x(m{zN^_6`$g?eItec5Í|PQ0=K4oXn>YA`_W֞X˒^(LuYA;pn..9zC̯JY\0}+N%yW},b^SrULXԂܿK}i YքQfnʑ#)@ujP΄1AC[fخHVӋ[$.d.֕`6ܟM!B=ꦣm1-֭= xa,qê[/ύ?W/2EhsRe{Īڍ{!zm`q{[tnCJtl-_t"Sؿ&&qG$0 x΂Rw4AlCWڒeJz T*`ύC?ƁGpQf/i,Iْ0 i]m(,ȱxڵ@[Ny0DJCP6MaqP߇iwwr00%PzP"M_W{r%iZ*A k"G/x8 {bfa谂wmcJ>4 `8j\>PI3n}^-U0 bgG%xH1{qj@%>..rPo`H(mPl p;a>Y38͐:޼`NxOލ'pS֡E'<#0 =g]WϪk=TGnc2oӰ+#o,㻺 RPƈK/%oBΓWSJt*|2.26,W ZߘMH{B&2렗 pG}|`@CА[l@({9VX2Kv m3EKR7 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+VF&@eb.1cWCΰE@@Z1318bm@[>k|ɺ!@S} }a#JhпN'4rZr׮:^70:KpNzB#9923ro^1BYlUbg% x%̉ uCr馯 -#Fz- m;G'Ph!gpiI-+0b0Cpy?<'oƴ,ySVj P5U( 6H.Xϻ#T7AcѸ#޸l6mq ):DsH"hz! J).Dr T# ak+c鑶#c7p3*jR)H'(Pq@Ma2/9ŒI̚޸V&}zkí.a?h׬v,=42%䘒8&\ .['*!vIN)&/B\YwD][wj/Q9A[TM4XPVPh-i9$3HrBbhWvQO8'^6>Epa6>5+g?f5^л4 v&(pJpT< 4UdrhWqd>G/(|օeY|H?SrL2Kl7aM 䜉ʌp*CA)|\\os1M, 2.g-)lm#I32TdtZ1Y ,=P ΘOatДܙF%B6 a5Shx43g!^4s70$h7COѐ&%]gH:c*"c>|?g:8 9Y, Y=L_jvO1^/[~$Op"0, :G͙-_\X}pLJTm*6p?0G.k2A$C͢C5 zm[̅恊59{/Wd-Iz8otIqTQ8o.H= sh ;- Y_ ilU~S=8=(@R)1ߊ䂥*xfazh,͛ {P}+Fϟg '+U榪kd{"7bZvBnBt93}.P]t8,^iCO}ȴvJ"*"OI:@G;# ]v(nI̛ڨp\($+2]/V8)cLOA0ZB?ѳxcSxu>&+|Qq !8L 1)+%``P]T\Ec'L `c.a_ ߖK{|&"QXS@Ӳ2",BbyʢTzy0\ o$iضSl`qLи ~]-^`1\$JkAr鵒+TlpOIBDaI_/ *E{`-e&f]Yflz 9u/>2}YX7o0ջ@uMX-[,hbrދ< ]q =%g@8Y.ҨEHN*0?3ł8 ;p.X%/( hd`g,<1p 6.Z2Ҟ"0O6,qP΍n"EC ߐF3n0:Y F}I_Le]xƞuX<ǽ~z锟/¼Z5Ͽ?z? z Jkz 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+<&B2b[Q1ƹxcqSQ1JEŤk#i''65VTȞCnj322404(т{4,PPpHe0hAȽqo#"Zq/F wp`PJ@H@(т|{ , ,z{Fc{ehAC9My./ВT{9]?P}˞]I[C??Lc4ӵL mDX][UCByR ǢR&պ=cR0@Tn_)'UR5{kUsO OlFef`@wWgbiխy')e|d6~^;ΛTE66xPMÿ3u<"ɠL1K)cAn:Ir)Gx&)tJk(Tmbn4eg@]'QSOR >U,;X- J4fls'6۶Is@fžӞ\oxB%֩ 9y3 \5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal ^^o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methody5K) lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`5bpyv."MF##@7˻GP:[M*SrJc>L/]8N01dVՉ&=~C6gUO !@?d*7fR92-D õl9dDJ`,N] 5K# 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/)M[`@DlX \Q=n {U FXє?Q8!%ieJVzF~H py?`K8F$ A@T?4A0;`YऄI ,H I, ,P A $G:1H,$) BbqP2x@, t( H$95K' nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1-*at(F.bM :$7|:!ߝMdfff>&$IYoWD JhyľeA(}W.;fA 0؟4iҊJi)]&)›K=7ٿW7aMaIɃ-mz$b"U>Әyዙ@H4Q%H1y g4Kj&/L&icBAAa>.4شPŅYD4k"gU4h8(`„0E%q˳R6Es56#瞺r+>ƊHap*wd=Ehh4AC8ƀVaaFD0:l=*W^ױ[W%t,dU[&I,DJ,PbHT#O=E_"i}i`tzFq(#e+yJWW 977: l0IY~֛?]<Θ^<)4~~ FWbBB;d+6zUT)@W\ӧg<_MPESS&2_?F%9H0Dv P[禸 TVg]9 X)¢7K*+[nЙժl 8~Q7NS4_n\rkx6= jK~W],yg6LnoɊAqg4o=v? pP, \EuI[*/\6,h=Ri!$ Ŝ&8J-Z3/v`X3{HZs g2369t.-MT_`_+̠Pc`;w Tz>Js42NG*M^řvcwg%yJ/C Zs\{!;Q]J84Q1]lPgsD\6'I[nlaESvo.iƈTEdmd!\q i+Ac? 쏦`_4_z|,;(9BD3ĺ:Zֳ47JHǷ(67b+_ꕠx<@Ucr6̬c .6΁/N>/(o41_/d*i8f 8VEPG|X|a(a TTC?qh<ӠS9MNpM)r4#-nT"6F@9‘~)}.^ hH| KGC_@c| H5 bM^@:QÓ>WwRp"~yˑ 8<c^\bp.+ gdRg (]@N$Ґ9JTyb ArłbGqr~a]@= D^A). aiiL܈ 'l Odt,lƻz4ߧ80>#c1o+@es~&* BX@\/f3;mplJbѽލ "t/&0X((|W(ЇZy2W+?M6kS|9`ϐOk~Ə??d xӕП)G#u+&̟Q쏀oɹh|QD ?D?At@󧿨>/?% (g3A'^3Z#, 4T)[ |QIWIg?Cr`g=B,qܑO?MU<Cr' 7?3?Qa gpǕu"pϋ!Oƹ~ ?MSVv翏 o7}ys{n }׵#vcfs$7_n׌667A>UY$_ zKNK.yr(@; ypAÐ f9rvxA I@=ȯ7&$.$ {N @u hOkfaJsY"|rv; gG^?zb~f!TQ[іh}S.dΣkq'!7@WW'RH!lwLԈxe7` gs1tz#1@˃26<,"<ME3gXjqNH Sjh1*5$h{(4m.G%0zpta>cA3y7'3 -w-v ?` g:C(7ȪzgdK9TdVY2[zqz>! 4,m㎿p_KQ< ?,l %8qayBe󑢧b!Ã|_=|oBR4OX.&\&_0/Q _+Px:G /jyI@#ڎnBG]z, K(hN;|}_o8܊JgUXN);h"ݰo3P6 "Jޚe[6У1MH4,$+]%f0h Io-/D6Qt)`㸢f|t8Wݜ( Ç@9c^>bya@iFEsV)wxRȗ,](4-}l &8a}¬irAa-=!qCFq{+:ivvq0]Uw)y /:r / vR/n.|2׈|Cai\[ qcZiXkP(lC7;@fʹsCN}V ̔ 8rMpN}@{mF`=}M{t"O1G V"3 >qAfs=Zﭺ57iݤ"f҇3Cm9 jDgdPZ-вEkfዩayJߗ"b1 ۣvMG&C:IH aY7?Ŧ0kH?ux%+"93.$灧S5+b%;DY@C]7tum*eYꙍqʜm(z>Sj/$̢Bf/Rt Mф:XV4:1YTflԑq6 gedks~f.Y2HlDK˶zŞS q^Ó8L^T8:ߘܯ 9ٶ_I!k/گD,' iHommK˨6@0(\oBj6,/ ݘ5je@-@QkF+ XaxNٸ@\xNf*R ] f%:$`h`'bq|o{RxNJ\$Y5l͠V9%֤xԦP f`!cyKTK*LΌElw\K Rg6s/@W??mbd7'N ǰδl-C*OΦRqc :cj zP< MPʜ`<12;eQK Rc!h`el xdmk$&HELFq|G#֕7;‹H?qI0*H(vK*a fLO}hv1_"(Ģ˝xP-( &>p=nOV&mv¦KA9DdJ'-_E9V@F{Tm@ MZ Wݽn^4'J6pҁL8)Ian>"sqvx\?"_<&[q1(ZcZR#9s۴X8$ cTNek悇tԶY $.w;d'md=s'd ֟,.] ԇR? 9)ޱhغ.H\Q5%65R>,r#讌)/S&UfZ&Vx ԃTdz(C)s1l(̓QP)[cѥ1} 1JCu"k0H@ !ĝY&ocl`8E-> ԘO7HN1YH'>QĻ=>=7vCqq Se`s>$o$unMt:O>v)< ڭ"ƽg.ŻN8A!_^ L 1ḫySlW^;/y6. EɆ'͝s;S˙B$5S6\rZ6$yk|l$wd%3w}ap⹋ 2d@1c+,y|fES[uxk_Rj F1$k 1JQ $ ɀ˷%/qEǍ_rX< n%8ʮjj! +rA3h-όJHPj2M,} T]\bLVsh`Iܼ V T|qs CS޻P[Řh{b+E0kWPM8_b SG5,̝Q ipsZ&ljS @s2m@;?8#S ɢa3$I$IVUUUUUUUUUhDDD#fff633#BݒU$"m$HD33fK䪈8C͠vKhF11_1*FtgHfff&U"ٶMDDDJDDHJv+%%D٤Km۶ƶn۶m۶mc ݡ5t8*F84x p'%IUDYQD<*~T;͖UD3N9+-I:+Ίw$2xAmiHE*P<ԩ*""R")4Hݒ۶qDDHWHEnkfm6ٶ mm۶Ӷ5h$b["͘~-Uyf'5*"f DhP@`Aa@ 00А A4@,"'X<,l6[hf3Jq`p8ԅBvpLx@!"7lϖ")BڶݒUD3nUQ  ۬نbg6 Ł`yo-YEa$Uh6-["loMnIRՈf",H6m۶Mn%Y5,[D3q~toivi׮m۷'Oo'O&8|5*dsc f JBRN@j>̛ݛWAV_ArjW1av<Οh+5YQe[sDX2Ewx)6)F='ys4:|yrK9l0ig4-~js"Q(˦tﺖ}PlT4q={Wen+]y [0V [v!w( WXbX;h2k*̖jfwhwaБnZg=[1bwܑqzwbdVy] tIt/Zđ ;KȖX[2t̵E@#xp| W 3MTҝ5@ḊRBcۂ.9>- pRݖ)%R:CۂC$H(خhFc&ju I[4\A-A.nuC&;7xwnپ%{sH-x;LxR?tKd8oTddR@'nYNnT8g4n &mESn2]'Lf h~#9cx|7i޲˗lw}ȅKN_//p~|<%|**v2Cփ~II;¸6F)ooSbWz999BV o; ZBxȩxK 0(!#onMX'$G3Cڛm3\s;, pq p d\xHv)Z&60Uڍ2>3@>1GC4ETX0񐿍og[voXrta{XkwK6CC2N=0O- _Hl b|.%pc<7Zƹ+ m\Kdvg3ٹ*o'ֲoiaj 滑Gi[I|9'FLû-_ɘ@UrMP(˸+bJ)0({))O37XC  r-~Dw-T )}ubJX˧=I͌t0ؔͣ`pBi:/2tR6}.*_ ϕY(f"emc4fSs^.H<fiZqgY|/zU8el{O52Ln:~ u} ve 8mMGB@ MU9W:/dy2E4,XHsx2)M.ڟXPm;r' n޻A<8[Iȉ߰A[=~knԴָ7b砠u[=KK@/!<2}gs3=Re8༛hOwo Lm{Z<(օ8C|1Aa)R_/OVai^lF<) [S[^U˪! !&Ìyr>wCy&cN+\<\vWovo|A- -E<6*:9y 1~v38lo; 5އYHvt%#ڲh>,vT@a +%&ݡC iOO^@t;H(WxItEf4p.żB})QOoئgG,c͸%;/(i/rp=$P5(Nu]4bĈA9ŲW ыR: dNO]ps3PQ[*baQ^.:5VT|_ΉHmpM}3956|X4n QFp6\$G7 75J( %&c UGO5 0 !×,Cn'9mp@ݔ,q,%G/?i&.+vF4•l3p4}q7[?Hq[Yt6R/v"I;7q0 Bޟ86«`*t3yT"HKGLŹ(:<aQַ8ϐf)a EgۢBZzhu1 t87_Z ۸T]+n?A)KֿI܋o%x4Ƀw_ r1nWA2$ǁ쑇SvN1\ʱ mC Aj~~9zjc4{qN1&\_M휙>ָ\C:*?vA~aaZX#oI)ѮrycϠ{-Zp|yX ;,{k:.m5J~j6jWFPZ g5sa5.{V]G $1T s(𩆟To,܇75t;@Lɗ(5˞>yyR1uQF8o."/jD&j.@CMxZ2j?|=M<JNӮ:Mu&TydX?}(SufM߲ X&w*FIؔAF? }x(AFa_`Glv+םI ]). M⨚aBiVyCj*RSz*{*q.?)g2 ΪsoweoA=uŴϼ9l.#s5'`gU ۸Uihڷّ޵Do,o{oyq>A}ܱ/v?6`6{]@ ĽorB F$g^`|QOd;9L?{d"vDB-N_7o~)f/o)SόOʾfPƥ @+ӾZA=)WSS$!F屑SS*zw66,WjPSP 3˵nbyqR3l29"^ +qsHie65h(Y^fR!xR|6;A6Wqq@NոͨѬ [1ܨ{G+^ɞyݽH!̃l2HXjaE[=7YФks,ě^ņ0!Yn vA[lda=anLZ48K uiȹ0t3 -rgW,%#& H!BߑřCbڂI7h#U'lpbsZKVfu{Q3=9鬿s6~7ʾV{wzm$W HÇ+ߏ|lGc <\ew8ٯBC4˹o<}N ?[w{ wn|$B9sxA*&@(͍c{ʫ;ȫfk7a|-coSs%|Dh?9bQ'.<[/HA"q*c9E(izXucyKXq2{kE;NM~>bqF]l=wv ;70^ä$Gaߋ*u$*H 9월+0N&dJ*Fbyv-sX ""r"uH a  ! 9- 558mp0 ylѭ?홖6ψB)#oR3-9fDBahX0DBaU?7POBł`h\DgڎD-vUٟqK~.$ED"""""""kOzk՞ykSےkNY(Dvkr$Bʪ"gZg]$I$m[՟DUD_ͼ%'=ԶmK$I$I۶m۶m^eϴ63mmT3-IAAmW';Ӓކl6ٮ*vٶm""m۶m۶m۶mn۶mۖ.I$IҬif'ݙ]Ul, A (P@hۛiOz*U?ixXBz =\*PBBCjP۶dEI$m۶m6٠%qKڠA {m7DDDDDDDDDDm۶m۶=3333333AU?vDn@p1<8Z  !/  @0 BQ&=M4U (Qj}qd{H84VpnYp*&+pc`Lݎܸ+>^ HT/Xե:ƛKQOoF`i$O,%ȂzScoED4d;OCY1W;4*@07/&b'Ͱxթ%:]KVsրV#a2$$wpҀ۴C5r'YPTu$=Uӥ%*:iΖJ(&ظ[zW%6+yd'{ ѺJIP״İs \L 1!mS,3cW¼ y!ZSC^WzPA=XdƖ'rIP2YUqj+t;V)kb[P[TgUX Mu wAP 0+zgbs#®Sɚ ZC ].DjC6[w+"Qs.)3^Vk(j :يgrmu&Q:oAgYCs)(xg$cڞm@pqA8+8]RQ){3o~LRᜭՐT i/#摕õF(AZ"YKu$'2Wuي3\F*Щ]c.Na%,LRv%.DJ2tya.`qK$Su s?pT$:%l<}ȫG)a'P)BziۍJ_cSë\+WKK6pJ\]C+*qʮ`Kyol ה8Unjf@+p+MjV22+ 5SVEEqTЅHYT%{?F5m%gVťZ }$ulݒ)}ji˹PaA\5d|؇ϭRWhFO_늅 3I6?𔃖BAiC-}q)-h2,TqJ_JrK,h7J ҆v*J"β2jh\ہPY`ABΩhpMWZT= \l_]!ӟ 屣HmH\/,k KpnI>Gù:SCR'PS FU-G-Gj]7!w5$_J (̬/f㗰FџGimkr7>gj5=C(qGmjPھJ(J@˒`"RTBL1MvUzW{X@IlWBCvzYT}}U(Am'Qq5!B筌؂r6JkmfKQ\߫$t/kTDnLX,H ZA'Ev푺duRvZr3w-}e OB[[;h:r hhd7/7R 4u˖Ҿa_Ea:xn:h۴fYln*e*?лI ۜ æVR,:eۦ7i!auWMvI]k sAAnc3*4뺭Z9Q8EQF۞ldؓ|Րr/zI,F~qGWVaS oىW윷wUz@ѓՒJRii(bT!?raGV;"'N0b]bdP ĵY*g 'XmUw[qYvɯWjTou[C Wp8\}Q/LƘjK:TEE*vRNU(v,S+'#.RZH/dw>[a lEdν=UjzjQr!u5tjvtꦡ#X"Zbc(GD] )jV+柺ixHvD!ꡦb/+"דrXޡxnɔR:G;mn21)hyz=|oES5~L~)o3n5]jܡRm1v-f ^H6X@9]2YذmmDoe pU'jlWólnuoK\]x%M?X(buWib +adݻn.i:Y(|n[b`ڭK'Nu`BuCD.ƕ^,u}Q넛pvzqXvaVMbGSKeŮ.~cWieb?r-uli6JLZQz(LHjBl:>P Vq}DWS;я|8Wa҇(Dj"ʻi14'ktBl(#mhp;iޡ kb{Vi+P9]y+j'û8\!|P Գ@70vzN^k S(WOCi3W PY8! y3Erׯ //, o; gR RPe,$K :Q -HAudQwԐ Ϲ$Y7F;a@hRwLmދuX L7i[Y6|h4 * QDky}q 1޹v] 7%<]eMC t8`1+J{+tm9g^%`d,p){OO ҃O{fIz'E@!*~Z.DwX!V3++rԗpY&ajhNP*;.e U1 åOږ[eq?6;yUlOóea]9][aweI*^ B-b4_sOZiR;/ izJOyW2OHz^z,Py\8=A0ï]0SIobw2 Ѡ B=lQOMJ*MIéJ<&T5a9Pr^W\w粈<^T7\Q'jfDnYu55^=܃i*>~# ݝAjU4bD%~8l]~b2вi15ఙ""[gҋhˣ6}ܣJ6 2CmW+u^bjjJ8JjDdG Z)6IibbRfXFgڔzV8˕HL<Cy^ڲ:" NLz[.R<`eXR529$kvqVp7=c@GesKne7(N*E+l(B@(֘앝t`7/9\fYݚȺ GŪްBߩMSv<(@xRH eN:+@xW((X_Tua%  zѝj(yk~+ =kYb {ϙ.rd=RQ9dU9B ;I K;cOM\)"N4,ܟ\ֳ5{*gYq]]ܗD<ȳɝN hPٕ 2%>s(x€):M4c200~F &֦̈)\ݞ!M:hq5q'f+7rRnM'zt#"83;Uw)!fXbi!AErI&+a6ifXl*ۢə\dfN̬5ݙٯz"ޙUUotMvDߙvU{oĻ]27ݙٯrYQ  3u V!]p4X k*m8tp}C7q؆Cm[v̄Qy@̓Yy@FWBRȲD4vY/Ң(ewgGI~ PL,R(Ȥ… ] +AFF]aL\ԍGu4Y2P"Kl$ ErULD,@D2\ߊEh+ʼ߈3}U՝E$fg_[zF:VfZ FE Ƅ**j8FjSS\YZLYR-TgXZKˢ„b*բ!L\N9$B8)-<ѝ=JO D]u]%jWDX쫲Vyۭ]ӨT4(s02J8Lc  :>4*.*( D "F0,C*98$b`LC >),=cL g,N>PdL\b88m쮣!#KC-B(ӻ9Z45.c1 UwݢE>|6쇮NIZnjLX_ ha]OVz*/$ΔDe|x/͘٩f*k; ,vFV>y~SEo[jgFka?eCPt8 ῑZ*rʱǨlR/tOFeYj/NAif$h RX4 xX3ل*o߹~&b&CXD &^i/K (ݷf<;C3iB3+;;'JZFCxz* 2 ȱUlYՀ  \&kreO;-W>unjMߤ6ȶ[;={ֹfF(>b[ sKqz$ #ڲX~Ӑ*X١xM{*ULʕ96{b| /l9<MOR8'`43ʫQe[5>^;j"?L.WE\qSn܎0MD۫X7/Tn;'2$ {aAozY*J,a:q{EKPK>Ąy#yWLUv.G4S ݲ@O7y@msq烗S CA sm/,jPp$f"KCV',G=:@s<)p ;Chrq6w=߂*lw9l7Jɘ<oB;?Nul-5|7O#,C-t?zbܲ43q9|'$>QW>iV_27vč.X"Q%lxr%D3etFa 8hvl|"Ok):$]a/gz0ϰs蒐+3N#L~ 97H+hR-zuC%9{UAGەFJ6>z< Ѫh%s%X$e:_D~?߷~jgӏn_ ):2zRf;gq;usdz񓓡I.blU͓Jͤ1OxS§%G ?fI-Om/=rqQkJ=2CGGl)&7{>ivK]d~;)Y+!^̜iP#STxEki{M{ymPVЬIʅG2J`mNda ~-|ʔLDGFZy#c#_-|B_ X?sZ #[j1+LE44Kjhhנ$6">7^ghhDwbf!>u/7RpH{xg U̲K#p& xk1|}F~a\ٶ϶A/DqL1^ `MdE  KXc껰Dn%PtoȤ~Kns)C\3;+){~~tzk$;l)u윕jn4Sgv.5 nEU R}AheK8;b@ k lĔ<xƟIbŸt Qf]V g˟-@}8eJ9B*znY{L4 jmV(*{[ ]ll;} %,CDRS-UN|}>(3XLf#-7"|:iOž1cqL@ ˫S,3HV?Vix /ꍹ9*y )ΣKqu#FЍX<~_s^}6gn_VUH(*4 0wpL\ƠĤ=@n.?j'&0{IXk 54QJvXԽM Q4pqpI)##9py4&/C߾mro1۝ ەpWPs:Cx%Mc.me?{&ÛrRn /_z_d:8MJIG~n5~=B_Gc3nb\tVX#1b|9U6 m~!K#jO&wA qvt4aC6)st^:=瓱\ a5-"׽P/" '=bF ez7;GQ- m&@CN+xuHԴb溘sCO\jG 1c?-jd "v ^b͊n+_7Y!g#]OGq6zWVH <i[*Wn&Cٟ`8cZlcB~11ϻӢ`Bx蕦ٯH^sS5Yڧ/o A,Ke#FD[~4cڣnF/梓v˚{utmW srm]q c'zw1 8-d>@k );^ynL@Q fN~0diHL ;9NY ?^G\u;Q6rSScꄆH",.d811$Zu]\"q(]\ÌKL'pM2yr8{yۆc"f3OFڐ nc|3BPdx]bk1?-Sxsq ̛w cb{c'SI=e DuZ:FAw"@]98>, 6i5宎2GGa ?D˦nR4NY6LTi]$u&)2+ fӢ?]]0͠x^> ~Ic;,2S20z 9ƢAZU3Psr]{@AڝlD-e 49#N &ؼ/Km'Bc5AI#(oYck(v4h!=' ]jސ_jj j j ؿJ)\3,[~0.|c~v[y!Vsg B"On_GWKF&a3*s e{L>ȟ""Ny8L' ΩX&ҳB[qJۼ\b,PBMn6WD$[Ir. Ja[%! ﭘոh^4ކ|jv.x'y\Ix'rCx r(◔0sq ay^> d[ :NOMYՆJs݆h= Wm㵈]3]hnO: n/-H.0m-X$CEB [W.p@|F;U2EhyAR8&9xZ"$#G{ԟ_M`Ph{gg%u~o{ɌTC# .Mojڙz^mS}E٥D_Pōći' b9Ђ#ŗJŹIpؿ:J[Y K'8I,K nIR N c;͓Ԡ0s"8mBH[F lj)kKCn+FIZG`Ɲ{M%YV-6H9ŠJΆ^ u,bf[4u~?dM=7fK~JKF|,(,9c xC{5[HJ%Ԕh.s♓R# krJv!r['fw٭!ii*/gylxɨw nPhˎ#kOԶ)ٌ5wA 7/%+ XϳÏtQWF}ܟ'&pUouPM<D|l*m]v@=k["ynPz|O2ҤboW7L`ّ`hإڤM@/$=n|7"[$dd(M]XP 0ok {?ǪhqQlÊ|)a6̱ &/lul$wʈRr?S5B_v"f UF :ØnHgxzv?Dc6ldGrx!!Tnxiw697(ZE4>x?CO~}̂;Cqhpbs:n9$IwWRQ#8$A<~Y0Xj17dL ݭ xN*y_`C6PPZ;IjQ%cMo;&zx@ 5zRb v9 z\ʥÈI#yYBN >Omh$Lu0;}a"mDI{˴4 BoT \ojz0oG %Ǹ2MoTҒ:yt-c \7G Gey2w:a@LruԀKdn{ s. ˃r(y˳ձ1_(ڞW] g21FI#тtӤEȼGwE S m 2`Kity҈ Gp'.̋L<__?~ʅXkfcC^4>AȱqXU'3%[$*-MVCÛ/g挼J׬_S,t]q찶 e#L֤NNHfc/`դ&l%mg|$!krwl+3B'[Y89McČG uai%)"Lrl2r%j>otgj7D4'D֥N]gGJ ["K V)x8>|Tzm-ca:nXb7;ݼϢm$*Ie$[Qa$Bn[MHp2fKi6ĺ~֎ 81 IjA G׿: $\~d$Ьw"fHВ 'sA1X8\^7)K&p"`^a;/%`$f$P{6)Zˤː6 0рp)qĠUTbRoB\_l8A{!\x](0(#S_QY m}'\=!]]693lzJI\fvo&Z[_A)/$Z*`9GDwbd~ /Fbp: 9#X$ 1t^.dZGJLBIrЅ'S2W,"\3ĩDh@u: m!sFO儈9 amEF6`{Bv# (4%)-%v&0j8-z]㫌[uw4.j? ?ßtn0]ƎJCm$${Ho):_q5Tj2/~񌏺*ʩZɌRV.\,fEUK40`bsݷ : b^ ` aH~\v$TJc~#;,F;\@NR ZUCCtc: BT_(⋆)K_fsȸnFQmbޡ!pRp )c'ґ2^pL>z0/x- K"ȐLHѭ0P= u*f=~nDx? حG_[5Dd g68"]٪%#ŠrO>5ͯ/ ;KZ9GTMdn}Z xG%5R/my13vdǾYtrR"Y"/Yi';V? >aZG:Vw[!~XT{5{%H}u/&1h&w,J,y#В/ Kj+fWBvL~ W*z)\dx+ R^h`rbLg6-@n²rv -5cf(^XJ S'sRT''>j5bBF!Jt>5;G  ]GJ9j,@v p3ZtOL-&bcqh't 7 ;xb-dc ,0Kx =@mt7;xqsej[J4O_2Ci.)v >IUiHD3N4WZ`'a̬?- GՙA7ty6!·21e݋.]v+jU jey-sFZjF ;Aejsj} )];3DNN |[+ ЭDIbvЩM |%w u3qr yfA^E#cB?][уn Bs'EhQ<4á{iH0&NG9.++-'XڵWgY".Μ=ifޙxn;}u:s| 5j6ײӶ?N&+ެ0a[~˯'}ڠK*"eyW R^= QIhH:8`\:I",P1`8ދO+N:YPRco۝\KsfD`=v>d8gDՐIj;u$=uC/we&էYakJ=M'g[%h`6ml -d!%}\9\w;|0䚌TM e|'~X4r@hG*f1U}Rvb#!1SC7iG9-*a='؀%IS([Qp] @c/4_pTfbvȝѶPȘk?T>L&ƋG$)K8Qmbhz>p1C։,C٘dr l׉#{ LhsޕTpuAʼnDƂ%\ H1t_ *&G82k&y~XyknI~8ƛ( CإhbH+UJVEظrsڍ۱W=Z֔q=HB~WLi ``U#{(yd9hs6Ol 1'5Ƹ1c)ꄶbA!-OsgZۑa#z0z)CcCSL@\\H#3\7m,N Vơ*`^ NNb!6Mrga5+2h Xd75"Ա3&MII^j@lZNR>`b|W>N!;\ q,F1/t*3sM1ۧed _G>ω8cHwqq)8Fp^ϴЁIIYz1Var{zU5%D֛,AA&`o`"zOv>IQn;,~ƺ W]FtE܎Jd91@Qk`V 5ح3;>wU%q78}Q IY~`:V+tħ 2EUPtIbc"e#]۷x0d2M%VVvN9dA*w.un2[8eQfSC=2U9Vn $&5!~VMOYc{T8&-|^G;=39lzz@&\dUDhdaZ|6ʔSl"Zij+@C9VA:E)RUЖ@Z*] Kx™9( 0^(v(;\&>2vM;9Omk8M7}|r tt5w-y Հ.@%0oCY|b31@so5vqzss,>EvLYpk-R QlyY hϱL㦇&8ʳ"Nw#GzɋdZLY."F i9!.j^o jSf;$v]?ے&,"1d^}J`S  $4VU6q8}3 U-fDzG0tk(F˧ W;e] + lEa9f'I+4.X%1>(W 9#F1 +L adaT42CT/nhv)["wFڑ8~5bϊҠ= /m~ycn{ygNY1a?cKv)(ȭD܋ [|zT?މxoqAq ׶%t9wr/X`T Ee?2Rw-"V?H$+I,LFA:P44 ` f"Tj#Qz)钦~Kt #iWv Uvwl}IiU-wz!k38?1яl?f{cvDD:FʩzcT(̋ڭ꘹}x~QKjϻ!ӆ4=^޽uQuSYuEn*"^4 SkmlvlvK׎1a?7_W;BP1x7!Mf756ޔ̿ !B2!mrXP w}#! ({Duyx!7Ll0? a 4 a q0m7LP>Vdሠ=k}"qG>~W^UђVݚ>&&AKYǦξgɬٻyaR%-:k@v/߅ۿX:Fft# I|1xp,ǝrNV+>p>1H6vuR;R[du1?afh$% #cBPfPW3 yv0fGH8^&7zXO7 KsCyQ^vQEќPpL=z W-|qqP 520yGK NO<)ښC2.jF 7w~t-,aEW DD]]p:H:=|kOIߓ'KF=^>^PD\U.t>&t9ȌJ"%Ei,a_X6 R5NM𪊾Ał+,7^3 rmCdٞ{YzD6!wzu\2(0yM N:Ushiǂ+A9;j@Vz^xEG!HuSj̦e*"` ťjAc } riB+@,|{̡%~`kD/dVi ~,^8p}:t:kp"9Z6pYuwsrx.'hcꒂޭ.I=qѴot4UP\ q c6kMFldas7˙"mOB݀8DLk49mX vwLFx嗻\B͸}΍E#&t)W ^pZ]V3ON6u;+Ϥy0[L'&K\ 8B"Է)$32wnM 'ALROswcy&i@vߙPIġmGԆf(ὉkK0>e= WġKa3t^[qoٞ;E/܌;: }{$ 4E7F627J/`TQS I$WNkmy{w4f d 9þDփ2`˦Ѯ t0?L/բ;V嬁3Ur}An{H`v^;Jͣt56A m}Dd|PRon(C& |qO 0)b@t ~at/CB3X>}N6~O9Qo~- :cxv5gpSޮ7DYfl}UǡͶo7A[⳦DʺJM]OSr_k7I@$|QĬ]6KJ& s %sRB[p/WkaW 5fON 5}vi-Rmy[Et@gE@A.K2 Iܥ33Ov4pPT i^@2qC: zpb90d`W\ -j_kj9$'@NDTwu \s}&Y-'Dxo1DfzCIlLP*e !^=ֈrZS=89&Μu""khX$q(ssi "RAW% Gwb)apNP^͛"u񯦷{Ebsm3L.n؉ۭL؏&>uErߊMg/I_zS2X@:;K^\4+ /!i=ÜҺ!'V %]`ɌpPN gMQK[^YL(kep`/Eiu*,lИ++Na^sZr /AJI78l~>i uj}% K]y5fW.3A MDz+i] 7 9 7 5O% 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7e 2N- `gwdF23쟘^JSY l%iS:+1cLuug6J1*ǐ#Dիæh&4u(vڴ)5ٓ?7bt' 4` e\V*{6 H}Fy.!UH{ei^bې ]Dr cadPh+Ml'@C r` O iEdY?@VPBa}Mlob"7">ALviIh𪽽+DtsL#ANIR9O܉l QVdʲ]p I0d]Da48H=L DðB+\Z7+:KlF HEM4^9dLi5;'㙿y7b嫞)fjHƤ,'6dLJܺdGDT$1ڐ a"(Gy!#g{G h6Wsx$w8ݻ)HHPb3 $\ LLP D(p !DP@VW?cs]iIς 5Aʰ<0Q!UF\eke}Q{vz8ޝ{99U)8џ3oZ"h6$ŒIxݻHi IUa4guW9"cYo{ a$,\s7g7]/MP,VXu ZY=-<X5$WdoU_U5]t'&TWB"ӀEM,Pq pň_soFEC[ܷwUG-љ{w{ZU;y37VoqUD Oa09u> ( 6\\UUSSɻ|yw_RX]@CG($ Hc (  Pˆb8$ (xږO ahd#_C=]/W>O=Y ! m 5O' RHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jH4" o]?#[fގLF @sV9{z]4SӉPr !LxlfMUe4 T]|iT4oŇI|TшZz~&ʛSADz94̄37̻Pjϻ,E-۪""w:_q\zBW6MeYDUWeZˬ2 f+m7)$ ꣬c$1b#K֨ᛮqetFjծJ n! bˤ vlopM˲c.;{ڴKDn(9_R[ ޚ5{,OX @ܢ^| lz~5ʊ;1ZhI<G9%ίQVY/mEs`_@7ʛ# $2@$V$>\ƇJy|ȒGϧ>q%UB+A}kޖi\Zފ};REjH2j1 e@` ( a 1B!Hd!##C.4Ӣ臽vdI$x>KDAތ{0ɀ,>ѐYbՔlkgEZ/4} Qy*qw zr08PXp!F,CIw(W SOf ׬8l\M3axshv'gx (4z3̪pb>]7%SU'3 sKg1|-'=Yʲ$<W xf{pLqVZSHqNw8\Ckv$'Ep qZ'܆AVV5ݎN/{G̚v=;c:ЉT*< is<(ôz\.e^ rA a@"0; uI ^*\" МE&ȡ\a7T d9ed೔u YNWL@lJ0𰳡%VښAE3*[;6i:%|Z˧rYu}p$y bl&NQmNvS%BRQh'D_HvhQE"&S(jA 8udct!|Y C0Bh\yБ-LTm :Ţgb_! >D:;7,{MeDqN\7AǽBkmpuՠM:k(~qƒ7rB*/@Y 7PQo߬ Y W[6T^B؁x>շJkxu# UЋۂ`y0b+S_BLN"{fL懃V6K=qd.IB2/o/;=3ErTs9Օ-~նI %Ϡ\/:[Q*:&4һ {OR.? 3`ʴh&_"u4PX/4^ȋ:\5đKAӴZ{G NaPjRm Vcy^ȗ2ԝ9J m8KxCem^"q@zȡWF{fcCcARsp#5LYa&XI%rےn#2Pb ((U 5O' "HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`օ T&8"0o`>% iF{>l4b{iii /n4r[֯nKTA?*R `Kº/w .Vhb#q,t 8Z(#!dKd N6[`B LE_kN4Xi!ptK#r]`ŽuRx}-Q`MG9 (>;NkQ $)Z݂ƵɼUsp郖EP95zx5⭎Xo+fWfcX]$9W~qz־n\bzj W>fǯ]bB\h:xOIXugcg/Q7gYͪ;%jJU))*{:XJ]qW_y΃t{^8hhOWV34ru-Yӈͦ!M(dhd6QKa'wN:/w·'2Éx-A݅G1+RXOtR%Pd:~M'bO'trM'. )gUZ o5蜏Z~NRScY/LYZb=EI$I5 έ`PDaQA1 B1cAddѾ6* `Mg=L MBCB,!6>{$Jc˕5.sc8LdUz׬1)ŸenB&a̳U683bͳ qXezn% /M˙h֘jw ;"KjavājI5uC? ISE:ӑ{k4"^HRǖ^/-kWh(H b&2+i8RlPo'360rْJUh/"a8mn0cq8 |[DEk_3O,G|XH4gܱv(ofw0: কWdV0A3x @ tF"TRP`3 }i'D?WȸB7 )5yh C o $}e%vЇ!̊ +tc[$AJc[>Sg>%1_MV~E緦C\Wjθ24'[e"޷y3Hzy&{j yc1 YYB(,C.Y1nDQTpCR"t4%Eo G:hl?rr4ZMXgR`W9ap%I- r h[|f:v2]ŖR} / >sp&.Wht u83 p}*:u^m~,բP"^ j~鎏pg89HITw_'h &LjPJR !~F2(BSҞfԲ[u:9 գxkB驍5¬:܌"P&%V8?cѻlRִW$46Mӑn -Fo,)(d4<Ѭ+FoXlFj,5Vkjkwy4ZcM ^K^eF?1 Y4"3/ {CzȖ1HgEyݐL$ENAHZ<-ISW}MK'BH-0[VIm瀆#S}c1q#i[F0С3 nSʗ ICLb!. )CphmTL_ڬK/A'9x2g.`#@,α P;.Ȃ{Z }S`zbeEDwY% [ߗYȾZұW@c{<1zANӻdwff'4EmDvP 2^> `Q1"Ȑ^O#!I&;I>P%!fV L:ѡNeL Ubt:HC/]W.8fʴH6(wQSS@"t"޳iPO%y5{\ ',Rp8Ղ7"u@ZDWqvc_+n^QXk,J+,"=B>޴slݙ[ j b*qTV' ɴɁL_85VĺZlȿ[(p,qWϫfze-ŁVfS\rtK2l>lGw;H4jJ&?CLӓxTrϦ/~y s("xr RxR8鸉CE߁:Dk%7[N<[X RHS#3,]sTx~U# aQ8Tj4@0Ҡ4?̄F.k<\cFs]I[L A[:QB-0&[ѓDVE;bi vئYӶ-D;Y|g;5{O, iFq%io6jcUK5Q8">nm(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