SQLite format 3@ .f  5  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsU--]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_sourcesu77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info /5~ j$ 5- UHOL-Nominal-Examples:threads=6elapsed=269.115cpu=1340.537gc=128.630(/U5%' oj0u>6QӧzR ,b=jm޻ 4ݮ$ZmڔZkmD}bW}{j+FBuU )R/}$"kac$v [! 1)ܬDweϏg#r-W{>$O&_(C  YjVF(v H=r?WoxTdMN$XO`@ &bBXVDSQV0Ŀy򢻏R#= 88&Q"zY-H0yh,HA*CaǦ B@jΊ $``V! D@!T,,H4R.H@!+FBnJN1  :c%@p``4ACG!C `&"Xp8ؘMBlz yAC&!*а 0$4P8ఠ0@ \$4P4$0@,H`  @ Q:VzuRX_=׼z.2_+W~n"syn^α^ncU 5K{g:3gZ:~!)^{U :nrr.v'Gg b~WE5frqӭ|f6+1c}1*n_&v;C qYV'a]ΞJjB,rd#.jȵةzȇkJO"֝y+{)ɍGzk,7tX,rsuȘ:7L[bt+|f 2IYeNoQ:۞-!-6D!/7gȶ9MN>YeV:^rJJz̎}i1)y'9d& /$Kcf$ikj#kHXM'a!wv4 i{pxbY#YR$_dUWEk;1d:#NM5_!C3'RihL#e`84:i42榗+x#Ht^e#H =fb ݧ&|ׄB2"f֬"EL9ppְ2Fֆܕ5 ]];Ùak~8kaOJw/Ȼ쬝?v X9I42!v7̮=?JFvz*gBiT"oHZ?rOsLȇ]sukyk}Cګ=5kr:uU˽z YWzdHejwdjaeJWmhSswYnq,4ONN,SvNٙw/;}3uuC>UNe?mtםFӬļsfeJ*Ţ+e4 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"   ~zy   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.thyu zu~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z 5K) 4HOL-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 q& r&*A!!sw@J4BAr )Z В<Ѥ@!Bz"F(zʡ""& ʼnq&iq$O2XDKPJ($ZnޒSI li,b7co_.㮿*"1fe."UD*",K&|U=d]S;d X2b+])`04&=úݡ`H[@<pҮmdK; =<"męқqMUQMϧIľ eܩ@W(CacHAHΣbdUL&ǂL  Dыxܯ300qὸ CПЄ@rę"4ډ|۶sOe"ʙGAUd,UdYw330/0x1qqb;cL BC4@4,т ( }P(,т.ZF ZhAؕC%&H (%Dž$Qwߚ/vf @HhI$kZU BjZ*>ET*m`T*,fZ-ʵRufڴw4t;UK7{<i rMʹq}w #4vn틾mܻ:MGD_ P;ΫTʍ/bDbzȉȎskkӪ(fUWF=F]KBݏөgJR<<mx5ա&x̓!gp!Pwli 51`Hz"6.*kJ-yo l cc}ZU3IRR,chPNQ!q(P Abb a 9?l o8 kװT_w"$zwnYڐuhh 9!}|{w t s r pnkidc\[ZYVSRQKIHGDA|@{?x>s8r7q6n5i2_.\,W+*'% " ?821-, % $ gNo!Xs T z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  '2ש ߵl/i@EK05ň%@KAzbXUvSo/Q7HD+~ 7CU&H9#LaC4&ks 4I~ Cf1zN>5xإxUUWʭ&RhlLF\=kՑPH5Ww\aJ|͒n3*R]5q>~W(kM#*b L:q"B5,0QHe7\'&E% z/ #٭4gOD7dR$7(WD\<q3a57,eYu8Z+g!D&T>HꖆYN.KX _,#f%S(cv5ٛH>(X`ɴn0[}k$!+w)`XeAn"$y 1^# xKUr{%\- 4 qj>|c% CAd VT֒qOùֲ9(C7; >{1_i' ^wzcyN 8EWcqmp9av&Bl6/C `-O?)Xwt" >ɀryc^mכ!s/E7ʏs2Vm-͜zno`/(\&a!L;s|"x50RQFQNaރ7  .~% EAa_ O.{6I2dlU;sb-+yb~>d\\oGTX5iP 2SXš]1Mq(0Qh,$Ԧ2">2 +eSM+qrWyDL+pi ˑ- }\mT: +{ T1]AoYu~7:s5'J)j( RGVoCFj{7SK2Dˀ.]o`H2|6hd/xI2k!Ȋ'@HG=W-" q1qҠbQb.)}cAjF]zIhx \{DӃiBy¬l-w%fE+X^tlOdO-n8IT`$[3#BK7*0yyJb‰h>brw7Ãs7MF VosxVD6uQvtJQy];R=BTOfTye uq~Ue$!pCf(9R.Ė}b4Ķif<j5`nUK4`V#7;yo#@Ǫ)wV At.Y{7xۅSjXhů9& =bê@V5J ;%"':AK0dsGlYA~R*v$QnCs agKBNk9FVz-׍Ec|8Z{{'@>1]+Z$3.#%M*ƳE1k:pez4[y&U3!DTfC Uc|gm;'ɞ ;t+Umc"#:6nmC$%t[lRt N4ΰń6RxkEg"v%1_9|/p|rn4[e=vyj9YR@`H&&ϋD}%~=9޾Ídς2I"x+q D!ʬ&o(goFkO/:o8i iۅ,⺹BeRk~ v-!>;M0 ŵG~,j-.1N.h Y?uo93Dr~)pOw}̋<>ĕY`m X"ReH[|m",:7RA9Ε-4ǶuqmW -A bCSwDãLHh>bInf 4oC:! ?V3 "b~,;QI?O_S) QEha[̺{γ$EFT]hf݉H3d^Ų67![0&^`G;Df>DYEwneA 6Ʋ hFILM&Kzbڮ-RX:T=b6K iLBMG2tQZ^9W U79W,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| OjT%0oS jRz%HSȱQ.SJ)I)k{}ߋV+ͦY8c7555y f<e<˼UF&]euR2lIelc86fl۶mƱmlcUv"&tt~δN[hM%p&yoyiӴ]r X`mmI$[dYò,˲9rqX ,X,ƻ˦ƍFH$Gb[ִkX)L\~-B22#ΌC$·N,xN ;( @  ,4XHPx$—D-)v hA|C5+ވxqGr\$.3%Q$, H^:z[  >gtT(mMǘ@j靾זGp`B+ii.5a1<1x`ϭPR4z 5Nn4 4NP^avw\keքjz"^o"9̒sOpC\z[B<+UtP_)nr<=()(,d$dw s-6P%yx}ʰ>o?Z[s Egdg˕Xx + wBeAJ3ՠk^mY!ƽ;\24}]n:ˈgx-I~ ˫ak-0m :9xܦN*HY?q٨כӀ+P|3fr.[\`X;X(vM鏥C c(aruk]> ?%p';ȶ6-; ^㬖L,\{cA{U1 2'˖-WHY-vO -_:(H <z',,_`iiQ$4>bvFV9IմYG {19s "+E|D2@mݿȹG  Y͉JNd3HSj= 'QY;$+7J>g&)l d@uVA=-!ŹRVqFTpl7rBR:?fO7tK<""#Y ޡ_ 2vM~1땹2Pv_wuu lU+,j!?)Z=]O;)8ů[o! 'O $5 T| &rM@x!SϨ+3˲/О0~cF ik e6@,n~2KSU`j{6rJcV ̋B(? w.E$DIO؍ {WyNG(^3&ErQώ<*jt:ݩ+Ab/}j-_ln"$ۙeYc`jϏ)0ODz>㖖RH=Pv0HkڌAa<[ Su.7pR‡#=6>&~5P9z(j[8Ӝ}$l_/t7/(QNV>]P\׻94Z}"votEYOpYWS쮂Cthfc1S]A2$Lǿ#xX[c%t6_)H<ךa͏cIA LX Y)KJ[GP"'R 0ɧʣGÄ&&+p ix:̮7G(ᵴIRJ D'̓✻zcN3}ǤށUq0r~hC1# SK ‰<a0z&o#idZغ 2L! g!c&cuAWʡl6ޠ+憔ǜwcGJ*`ܜtw]*PzY DXB4X@H&L, 'OۯZMbC^61aec%z [AʯY\jDӒ{Cq eDҝ <~b'KKip(F _PwËBڈ^*֖x>^Q7jɻ/:&zq, K՚&t/^nRG̛&v wxy v QcC{&.֌%n2 C(X7xq:KiMM RXYBBNk ToZ2:8M>eQЋKŕ}@=S0 ">y~&SB+Y7kF㱵J>:tE6$essj),Lisu[I]v*xah6! }%#(Y=ȢusniQABK,Xx"`4vǕIgxh $ D&&.j_p/u!ѓ>w }%~%A5,ZȾ߃m??$0Xpr'.v(CF ݋UMx(z? -/F`聯ak*{z h] 3]¬Nsՠq'<-.8ӹqCpGa e9 !{*|AB҈یABr%qTnfl ] JU*q՟|X~өTm>E9ȘBHD)*UΰZW/],„qMe#~Z W[ _ Ipjͤ5kRc @ ظ~TYjg75jJB${BPv3lq<0!w?fr2 j}`?@Կ&8bB%o I+`uRzW/`0u5"fHHam'.R܈4yR3cL ȯ'SW<#N (|N Zl/u H$`{Yer56d;f@2z`8|+g#bώj6ՅsVn{qH(aOmi(\ݥ{auQ `qf\99 zPA%[hi>u dߋ9`*mddQ.CIaC( D@IG.Y܇M+wqHUœOK@uKӨS 8G,bՙі=6m汧$-Q#|x(8;X @!rJTN՚Cs*l<ͷ$XR #-L;b1L6c .[I6Y+e_6Y&B4ذډ x0 7G`C+a`_5,]6܃~Zlwʅ7C{#p`|$273'|Hm>똧?O@x괤D'׃|x\i>g;>HnQ\PH@<8U)hHͿs1Lȗb@yd |p(T(}ASkb--ޡ%!d!u" !{G1dB{L/ 4H%:ל) )V*+$%AʣȤp.٥@YJV$tXvg/&S}gߙ lA6&% 6L<sCKS1+? [{&ʞYHquHe2[em "̉)e vI76IT]=ٿ<\zcրor^Bgki;y""%\h r}((Jizl{0͖{yaV($5sHnNO?褧C A'wG%%~@KDI _o~_ь +m:^qs[iL߻B>)we&wAiXdw:Fz=Lދ0V)ǫTa.Y)Z~^<4bLWd|2v+Ro#O漴K  NVB%UaY9uN98[҇"P "jmy9|{|fS0`)\*@2iZd ̪zdO [/\{|oHUU]ytd; {K7r 4fmY:mjY&&d~x}QD0zQ|H:ԓV!i4tzaV R7+զW>3bZˠ+ Եɤu2Z &1EւE >@ K`-ǡP=\7!=P]s4T*޴g[G \_ha~G.Z^½HOc1ѽa7&(bߋ|詌 酌~ hC+k"[}$[EE]-*@1S|fI6LGk#a3dr|Z Dͧ]^PP&tKB5O1_愆O1>Q2H N !VLYmaA]Zs 4p]ETA|\RYRՂ6gltڙ`}0uӌL؄ēD V|-b`1eE) QV覣,Y3lvت:Ն?D\ǽD^\ j!b \wyF_344<O qFRڣqT{^~D$" :`ЇLmSCQ~Qx:ڸϟ\߸"en'+/śh3쏌jIU@b='Y6O\{#&&+94V L苀ajJˊHL[# QLҜ ɿ>WR2]i;r8[2QCR"k6'e=g_/lJ8뷯@C!U@OTM٥2SIv h3n.t+Oփ|"௦Ybq84_&RuRQecDwF*+~6krIel, J37>B溲=4(ԠjKE@MQ^飤7X\zGT8-]4ޫ\ȷ6b8Hs5qbȱ7@@Oq)) :pZ(Өsj%4GFH$JT>f KFd8lk֍bnXjr1 ]it!@ixiaywAOXXws9BFt`Sf("ٲǰ ? Kͮ=B G\T8)< n{t#*r@?m GgwI!9cmL@f'gORX߬rbau 2Y8xhn*^v0ьO!'pMc(bQN+v~N"? 5"ʿjGs=뗖A55^.q =tN:jxM= ;`b9yu3P}Eg rYY)>c>yȲWs-qE2}|Nǧjpn@vJD>ztQ1pOm\!4ޭb4x!=|x/ am5H,E4>AvO׭~W?GIu@U-]G+V$Osܻz2:$QN Ӵ`NڶΘ1B|F?j=z5[xGT1UٌQ nJ$0YDu@."л~ʒꈕ7^Rvv*ӰM_{9-LM X<f<6Kwd:A* JT}i4b͎ç#AGw8 3NScC$ l`Mh&8<{62V/cBH݂ut/PsԸӱ:kE hLy0Eاviq]NKFUZ r_%tS"Ӌ :x7p3bC`:VʜR#y^w_HCڳ+{e);}ɏTYwi(O `Zdy+3y<|&T2/Vђɾzjs8vGSVVN9l f-4X]upri^g7@sf<ҪTUvp札 = iEw}Yj"W~yq:!` Y\dHoqP-Ia{!@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۶<5c&HZaݤ Ny9Q4rB?IY4P3Ns"Hj9*kCPD|.{~?*i"@?f.(c1vY!cc۬bru(YNq*<&@u ?}0 pa`/t/LNb7o;A-)Pr|A ZwiRap1m.bR!˺,a N"]Jwk[ H/Ho d{_G8)a=XggHk9(S?:%Z|#!ZX%PG+T2EKe5d$њ1]/`H0w#rKUute.к5V0ڗoT0, q5i @`SUuBBuo#Q/+ՍegšԨ^~/HT1ROmNsDxA8lϟוYcZXTU_uz0OM `?e OeI \]iy{)s')I E],p@Xb&瘂dfL j`0Rs{q`s d̵8hr[i V *Ux:M0YN]2#q :{?n| W5M= r A=KuH$L8lM(:u-XN0 Ui*e;Ut*?N+^6kG dž/uh4`c4'~PRb4@oX̵] OeC~s`>[,*WMv@J/Ar?]PƒR FͳG"/lfYenepi?eN[Fz7 }%= bˈgƓStP%t@SiKyaIa-U/H%gZ!pmIqO"c-h|f,&3+]xhg2¨˗'?.[P|t`TR}K{mggnLiI3M@W0k R!Oα`$VŖI z^7@{%8ŔcseNH nϷ˂C!h^ z~cGZow 7A"669[qi4;jrL#+"={1{B]!Wv 0D ] sѢ.1q4MEػ¦͐NR[k0qP]?H.Qvs ֬>Iq#pEo "&Ik"e>'L4 ?O4 "+q VDѴAo<+@" %^۵΍D3)+B0}JКF74wh#I/+P*?EcQQI1I^ xQ'!YBAi7$ Rnn~4%烬oMk*j8 \mURm(_[,֌pT,s)P.ol:X#( +Qw莣]Ռ%6%/KS/8> tc$q\bʜNt}tG/4Md dz .'Zד?6;FCIF<\~ƮMf4 bp)dLkʔ+#C4a`_ #1"},yS*Zo)?(A`L D.CˡK|d/" gT/EerIllF`yk(z4O3KL ="RQ.cP5,-{}oN 766! ?m5~JW [ZyܴqXt;v>Y ODPs&0GмOdO7i3/:nsI"O >ykm4i3?O)Ȇ1`6ui`#ECB T377 #M~x-?1Oب; -Wf=:7"d,eOPP}=`6lM'B٪cM@~(+4U ]Z ~Br*XZkcPZ]/ȿK )`WJ 75vE z˼bU#xhmcjR3d$3 {ӈN=3@ұr1'BEyWT,?BmX-}k5 g*- 0S^Rrj~x$ٝ"@\_p|ݲu$G~vq|ztQzqk> e"r*-LHϩQ>z?lqI +I%zIXU1_07Um>TY$6l'e hFCVXw3ao9PC0_BPA4Bm]3p69n3ne 8@뫖7\=s -d&px)TO8>ǿP@ Q/!!+8Ke"^+t5C):LddS#LD~#m+Nc~:q=K pE XVXG%Pp/CrE.Ǝi<]%,?X A o7 d cM,mq+F㘼8&u[ϴ@>|ZY"a ] EV$V)8\evFVX2'.zрɈ"  hxnoJ)@ߌ)sC/#}i(ODcbo'|IRY~zlqff2Cg"~P}j;2p]\q072l=cg3>ue|PH.뽟wKtʭWN-?8 ?ZݡQa8=9/^s.0\}X aIsxo!)Z2] =åke2] @H/1Ads&'Vi'8JT MFpBz sT}-&Sm,|p@ 2.^!-ƚȃȠ^^|Zgm+4`wA{dFY|6`'V&g"}^uM" *P/Ƿ&a}pMB32@Ӡ(NbP#pBj 5p_'!އ58#; V,&jw|Sr7r?ÜF Q$C|b#fF]{g֙&JF5XxUx#v}ϘwOOoH^tObc8Nׁ"  P8JJb͠@v 03 lIE0*a|(F+|j@yYEnaANU}o^3 <:_ћ2.=u#K߽ޔ+&Ha4PR0D_BL+@q{W.sߥ\ [7+S]7S$Y`6hA)(P?=/HJrx,W$pogQJTIy<]# gLg/ΔRLA4܈xt/Y) _Z37N@G!%AEI,"z+KKV^ɞ[fsK% wwȢ ^F30AvMn0Zv*%cAE^XaʭS._ g7nQ xٖ̒剫R\$6[cz5ENؘ\.L^T$^) Q2<$g8bs[+2}摗q ,R4=/C`Mt&7?熦*p)Pͱm${ "[Vh4a  0̻7BNFO9:jCD(\\eE2L`u8ZcH?4'ǁʂW86@*2ѱ[68왴fiŮyWҴ-w1Q-N8y2Ef2yt}+8gۇ$:x- e;. daoZ 1@BHnC-фPL__h`'$-USI&[YwuYqZNu7>cD1W[Ho :WX:?mZnHs4 k{Nb \!LA7I2 H`σ/oavAT/}c ?{G\${-)ζqK>.ڟ xJKdji%Vr>mE]B W*^ZSV`]VZ*^P*-d0E‡[S'lC]/dIMb/V }/O_f\1qaW=U8jڳICq&#ÉĞHġljGu02q@o ǁ6 a9/ΡvUtl=Ct`:)ɯ:WRTy¡٥IbE4 ;qz :ǑmKnйCϓ6H$]PVx.*@uKIE~ AX?JPDbe8D:IǨU!gzX-!-6$$^緀!38G@OB4CKQ +G+1֝V"MaK2|AY= Y- )2J!='#S`|z% 1M]B4qQƨT}|a>3Ag٫ wF82[-'jɐKEwͯKP Q~+X-WϧfPk ӂ rrm L(/#E~`-QOvI n9OSR}Ips;^ Y%{G珯x<K:<=Ќy>3tЌG"xx֗'a mk_^Ԯax!l q\^pد1(3#GO[ Ocg9*߂?ZE h[tF_7/Cmѷyq`EWp&BtKJ!"u879+N9F܁(i}e1MÁS!l53iYӦP =$-uчY$,ļIRU1&?-.dYH pvGx9ZP>EEFc x55Fbԟva\π$pNxɩjJQw{)ms*h8@#ĜN4E<[N*|'24ZYm}hpFӀ[؋۞yQSѦ [.փK6㔀jv5O;]п@{b€ !jܩ.Sff з#Џ"=0Cȵ7{UX5̘bÐ]hi5=|pp@wH Ua쯚;>|7 Y&-?G..}/_Y;^7Κ A= @#4FwDu|S/3)8!4*y~!2Ywql4_4[\A]pa$ Fr `'e=8/Y#1x~Cj#pu 4pR=.~',{p@fSWook.MOӟ;HY| R佣}.sfFߎg2%5`xdJb8oTC^Rjb32TB;O6nV&xb|e%ܤsL J$80S¢Q~x1 D]om1! y) ׊Ï5"P ?H?G/4Fe~귛Z=R#-r~{ FV+jEƧs-I6O? t{^!摀%U h,_0"pl?(EsWMX5(!n&T*rN?PhZ6NiHGLzHy洴H%>fèQzCwa/,i\\kg@|Il=ğ~./#u i $ UjGxqJa!s,o@( M+F(*7nn1 ΊCS 2tNa̖ͪخX!qӳ54wYTJk @%R;Hֿv9H!ꂰ* 0"՛iھi&I&Ǩo(JBQ[%֩! tƛEd!Xs^v#098'[<*wVVg<Ǥ(:tqpCi|h ָ.%K:~:McTntİر 9<2X{V0c u :%:,2ktiƧ;B]\GO*JgL8:LwT [2e>V{f8^8υ 4D k$b- /iG~)PW;)VO. sSBۅkM?MS/\ `1m4axє;{$'A>& !/*lDuΕ _?cz٠klMoiJB2Yּwbo/LЀ)=f\UߓT3Q̖$c=ytP!fU. s,B|EȬxCd~c9 { 偤 pH}Ŀ 8Q |8`_q՛. q'v,8ho8qMbй,i΅)1,˒P͑]PBXK>X?-j2v|fuݯKZigmy o3X0e<"#> փPYZ~p,-Sn QmG8¥]ΐ- FC` ThLe9'_SD?Pka?2;y B&/c@S ^A1]RK\<k]._1 [jãCِGi 7_# Ei3py> 1s=#g63DϴQ*Zd2VHS rmAԮ;)2SD;E;F9=n @o T0] `bFР ̱/^am 76kVf+tԀ*;tՠJB|n/RM{2ZZtX: 0=EC?aQs>_=/`5]`X*)ѭb- h@5>@VQB yE3q*P2IpO*9dž J,A8+vB(^x0b /;f~W_MP#ő`Xޥw _<0hxOLƋErSBH3aJiI ^\o[f\ YRepFF *dsh KƊrضAp\l*^qdTqo5д\`/4%0v%on>Xo]KQ~h]ގIU|GBݼxY5ϱ3 9"3HEs2LF0|m4b]\[<.O>O΅/ PDjb ձ}!IAL*rjpɱo ,d4#A:@Lqb0Ʃ8mɂ)_eRm@o Cٸa~:0f,Qz{r—WlQU`nj\|MQax0z앉jhٞqlJV+|Vѧ"dQ !,Kg6\0FБt}NC D4Mej7QBZ ʔ"͐I^h,蘬/1 j ;u K&$y'mS ' [6%x8q%#mTe&ʹѺt1XT]m8/X_xI}4ZzkN^n胖 ) Uyz!%s=em-1L'{>vl/ Q>!}E ֌Bz(;'[;T؀ka)5OX߷{/=̞e^k,l} osqQ H0cXY=ʥB-Df"C~kRI蒝)G*@ Z[v5IyYCP-Kgd {4ğ)$f6,o}˅e}DlEM^E9-vsz:wA.6?ٴZM`]?I@X볤ʸ 6 s \ O_9yf4F#yc)޽,C|{>z_?,+8Z0ډfʳ85+@<ÃVK0@¨=F83n)i{ƭ&&D#:WضJ]Z [i[1nU L2{SQU 6w~ g}]Ek>wNeߖ^d }-d~'L7`GW&LX-ǡkv0"LX"]yS%@a/t"z.n $e1Bd?t#k܃l9X-v9gWO/.?ADZ7Ǯ'kV.֌csM:øY¨x4"g=x@9-,3 XO[]F'X ~YoGg`."x.7qgŏ4 9ub&XbŃ(nT9T *ÔZh7#ЫPBc̦~#ܚ ٽ "lf\YDqx8nHh9-EM H 5U0G+.; TQԹMPknt6O"9*@A8 'yV罛vv k6,p|Q}Dб{۲D0"@;ҴMO,uBUAaڃe>%)ZO"* |msF:EtkijE+25hfm$?;W[rw*ٓ'g +t*+Px oOo8*Y`FP0`ʇDT|kwh*8*T7#*EV'B7{o(^֦jͷaFZ%o9-LVhG7z@HfцYf\$aJq|yźm(`>IQ21|Q;8:0VӋp_([7'6IO r 8TqDb-#oeI rQP zH4[fI[BV0-@J|{PX%=Zf[C0R"B=7c8b=Yaϊ2P9ŒkrcX築HŤ&OB -mev\6ۣPQazFb?b9՝8ƌ !/lق=+N|Чk˿J\~vL /?`t.="Я@Ӻ.޴K1bTe"*۽d/m1yǪ/G`yjLY eW\Z ,< ZB, N @48s-s_kawc8c*C)e#&kaePU-zmk6AW TtTZLĘ% Pa.WkQGM{p8;"pd)_6G]𚰐,r `$@Z$΁ѻA˺z [8~tTb"Xo)`yY2T-zZLz+ͥrZv Jm^]u_tg6m.$y!EPMv-ȪY wi.a^ϘßamT/Iޞ Tk 0b|Fr?|'@U?/!>*,e:U =G 0UL+oJCvz`04B+YCG7y}̯6\ /E?@ԏSWKu+dR` ST y$pҾ4Li*{M{?}P $ly%2>Asח˧A@nH~-<5_LRi/׹~Rm2Url]5Nnp D,!΅%]6>i$awA9 F-) x^Z^R¶C<QZ^)~ n5 9p0dKf-pz~P^|֘N!()(ipt+д1%";kL ~R"bRheyvsnN>7P<Ň|dL̂<:I-5]:ȼ=;BNnG@GlQ?!h!kdޙp7h(bfKGb_L2}Q/H i'-(: LKJfށJ6F"}{t lfJZfCʝznI AG)/&h{(OE%:~49*21(ciůqUhf(iO_|ډS+**l`5DfѠ#,Sb(HS 4 cx$ ͇y*J CdoV(⼦5]FOsTؕ@ E-#3X?fU'WXV1W i7> eHiCz9_wNaPÜKHؠy\"ΞL&KU$ӧ4IC73!)As"`ѡo1{E#80]`` ߍ\eC$e'|'; R>KX\ϋP~!B pQ%$0n'K`=b/0lVQ"zzՑ[/B}~$]fsZؘqxkp&LV5tEӡ$H\_P~0}s2n{F:8_^r"c@X.3ZCqb]GNRHߧMfYGnKMig<%>(+ʚWv^\\=pXwF +Q]鵴f`)D/ 淖vb _/u -auC/æ;R_ye/B'1A WǷ?^Df4EҴxAW_yFPr&i!{iL=3`d)HkmWD5Fk#䖑`"ꃿ.A^nDO>(ln~Ɂ[%LtPH (M|.t9+lw6O̤i|cPJ! g>ԛzQ›[rޟ?X)I6܊H3b] ѧ\smdX:r'uHbý+6Xd9v+e<^l ;/QI{^140`^a7ĽS 'd!LҼtmsB4x~_&P'z ~]8$6w#|#+v1\'LGq6jATrMBUHlN2(={s%Yo+R?<ck -Vt}Cc|tlӈ) XT $IX " G)uUql#_p1O*_l5{0,gO'[cvDiސVLq JP+3 CO()Ex@ H,#zFC0)$lYSi[ҰfB4Fj]PL|Uk\m}7j&V6,88 ?%,Cʑ\ej8鶴YnS5ΟpTnmF{i2C1x/] "*ݚE!$S3؀G}p$K=I2)ZЂ[#+f.p+rjܱIn[!.v &"_lFaç` FPKv~(M7 $8J1yWjÕ(C1@M`9d`<zm51V3eƦ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"Ng(IM2(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ΪaYZ[: . x\<&6<5>T';ơZsX3$}X ̎q"s YXemR렓Iz\3bh1R:k1fULА[TG0ңz(>c[8'J7"i+Ε+ɒL܌M"{Z2S5֫SF_L$w'S0f$_uuErx]r 1X&A]afP> DǖrgGʸvx|NAhgYcsA⏻L@۳L%;+[BB? cQ1O$M`@H!ChXE+W|c rTPI! Liz d~N !N1V&6T-dOPB<: CP%(%Iԉua&Į$"D3D_:@:fXc_b$Ӻ'Y;h y^iMҠ5|0X):vy`uQ0:#4:4RErHd[܀[=ÖH#u:M+03ȗITbӏ Xd6j4&JJ,d 0K# "AZ,ō@LT*L PvbÞ'6xD k&JԅP%MY-Bp;gF2 F$'Хʍӹ֡t@ E@YJbcrPd*$Ƈ,d#˄;Y̬JӮPVT̈bc0KɋP1@tqnrry҇Y"C{ð]t"JT1.A!Rld阔|Ǯ̓dfMnܑvQIRDs,x5TpU~] 4o1 K-X$eՂ&ߌN丑:dwAemm'[ȗM8`06s|i;^b.Ōcs4hr'1ނ_3061ޘg70uC ,yNHs5:7p ,m~D rQ\ r&fp{ּɖ>,8WMU!D- ;(*ÙO:]s2^'p; %)L=#˕ZY YU: )x)(pךZeM cOM'2ͮ5A >ڪbM)._߰>K_`h{,{IgC@|PqEv0kíJU*ճŤsr,/yvWKBGx%ZKgPQ)e|iLh?H;$7ʄhq+S# KR+wZn2.Xsw>#B|7m.%|6+N^G1臎859g2hɩXUH` D  #jhma 4}QWXJ/CQF$ g71r^l۱AS X#T=I,@Ƥ΁[͇PlE_IPi><~HiUKABNwW%wE^r^KHGEsNsi5SW+_YVcl 䈅&դp+57P 11!oA HX2Drr @ ]$Yښ\c)jc*VVo\ L*`4N, 0]9C-yH!ژ`W]!@xT>vaўN.釜#DiI LReJi*U׷EXPc1pq@Ņ;\N:XÇs0\>SKLb+ )&_@kĂ"Mhe[ 7']L$P #| gG5qٶ$Ҧ ?+/l6qR7#&Y734SԾ2BB¯>wA*9]~Z%B D{^l7 b`^Sv!GFw|=IqV dm"ᩕlt:]K!&7(ņ<Ô  lM]f&1Ok7Y:n#2(7J.3lmR`{;:X=Y:+Rg[nҭOf d4a̟O&7 =jdYջ(g]Pt8%Lql%Ycu(jVfYfT[XL+#&1s6SefI[Ei0ge%{nJ-? ~M2B  x 5K) 4HOL-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 q& r&*A!!sw@J4BAr )Z В<Ѥ@!Bz"F(zʡ""& ʼnq&iq$O2XDKPJ($ZnޒSI li,b7co_.㮿*"1fe."UD*",K&|U=d]S;d X2b+])`04&=úݡ`H[@<pҮmdK; =<"męқqMUQMϧIľ eܩ@W(CacHAHΣbdUL&ǂL  Dыxܯ300qὸ CПЄ@rę"4ډ|۶sOe"ʙGAUd,UdYw330/0x1qqb;cL BC4@4,т ( }P(,т.ZF ZhAؕC%&H (%Dž$Qwߚ/vf @HhI$kZU BjZ*>ET*m`T*,fZ-ʵRufڴw4t;UK7{<i rMʹq}w #4vn틾mܻ:MGD_ P;ΫTʍ/bDbzȉȎskkӪ(fUWF=F]KBݏөgJR<<mx5ա&x̓!gp!Pwli 51`Hz"6.*kJ-yo l cc}ZU3IRR,chPNQ!q(P Abb a 9?l o8 kװT_w"$zwnYڐuhhj1דh5E&(h8pC<08PoD'J0$ㅵE1wUn'=VWu`*xhߜ`*FSB;33Sff*VE ƴ@E$ "N>tXS*ZOL>E& "%P$DR0V^K^,"eauaHZ""h& d0q @,*&!Tߠ3swSs3ɘیiɘtl]FdTLDlNMOόikUdT* ~  N\PYN'g9YFVy,gX=y>15sYU,y^lHŇzqzίͻZKO+oUL)OVXQtO8?WNo%o*r~r Ϭ8DU~ Hn!mr<2*驪Tn]QAxͺ 褹-a 0כ$uчW>a>pVA9w)*Ň#>dnUfй+^ۃ:!yVC#W8mk0PzX[TA_σdvIn2߆0ݔC(5*VZ3o!zVcRfVٮAwMTArQϟYAvcRӝx@UVݡs6;MÊ͏Mc*+͏&+^Vk-wMK1A]Z&mmZ0+G9ScܟY)ffF8`*Q!>ʠ9rۙDu#AKi{q}iUm,*S;i-HAB:!퀪絛 6mx#Ahce+z(_*w,_~Y>ΊtM+t-]7+v䝎sYoG`elK7{+xl:v wqWM)EY`tw=!5 Zx5w`mݛ;rmnvb~vٮr$]>k:#t LP:;jĆmBPj)6Y#~PLG(`M!"-I6d7lital]Wt+z"vY.(Ǫ Y:lY5lοIQBEK51T.79U_LIz@4 l*>P{KY#s)]#rx^6J_b?Z`A8_*=Q=w Ph/;l51Vu>AK.5B`\ %=[QR&7h$|'hh.}{ zO.tSy!w$-l}7H0ݥA|v Llz4q^S%7sz*h3e cdhR5ВPF ,^7!q;UXN@C’6zFݟS7=?-R)Jkh" U\qiNyb)hKyhiaYBv.b|Ze[` A)Úv@EtT_dSHG%+szr9\Wf+$cW7k1dʪ' 4`~"ʁ*Tm1$3rIXñ āBݠBR%'))`_ gM ,KAJZ18V7]YG"H NMJ6 &h;.=ҧd݉BYD{4Z';ƥ e glBhTf./Sq&+GGÜ)(7U8 +cT͡+مlLTJc#D<{1A;baL_;9c|iƬ""|*o9:kJP{i;!c ̜y[k}\;)-EHg(YeFF/qd,2]+' ,>icF 3. ҠjF꥝+oS\Q^ڮ ;,o|bؾpNC2P20% <+QE ?{!n׭U,}8y~.6?afSvU}wН HO'e'W?}5d2E1K?{Qv8='QwY@)|;a:|28CD<$V45رXc1` +&CoU L()! oSj wZOa "lUԆo 1Ae&Ă LHjڕob=9>yw,&#?gcbPsb|I#7- ĕ ^VںR d|j_7sVreML8Wf&w6+cėRlo5Vo?et-[][ z,HfHW\3jIE WDS)FgP"t?R`T`LW鵫<0bo#KuAtl Ik00l%Pu֮&lrAӹ̖\μLzcg> 2u͆⊹%^jQoJj}oiTd͘K]2 $E01v̘]PTdN˫>A+Y)?D,M[~Z +7(r;K}&ë3\˶&ٴSMѴScM[-l(iv*k{3Wt7{9:zF7@vT󔕺((d0\8hXB!v_1W잎!,ݎA &1$.}(6*pkq  rA/֎J#1 UjbHk F AtETU'+ϵ6ޅ( jQ ML0fزWэGCSsP6]Yٞ!/b(9y$SKSN:I*f$' :$D) Wy VszJbCUE(h)DGNÞ,:&)DC+Q+YrK{jFM1㸗9^ǣp npŸ2K014HȄmR3A_vWvڞX?z] "@3ؤ0qcF2mK^!3$L2PEݱy/RX"}gV%DQX"#%r?D^?"J|3333̌mmۙ;""HHzkfcjU"dml۶mMwwl#3333ǐUUUUUUUUUUm[-۶c$I$mkD$ӾYZv\emHJACҐ$P (H,`!@B $'0 1``!A au>@0J1orά%" Y bX  iaqxQq7"CZm3j$e9ۿ;*kID$Q0Ō*H0"'"<]-(cN]-;D;3k["X",,gfbKdfU,I۾3V%I̬UlL˄5mZYc<"$ ̪D&m̬U,jVֈJ߿߶o߶o߾}w~ޙU%"n*kLL޶m^{G̬UlL w5VLz۾߮r["f̪9۾YDFw6rK;i̪Z#"o.G;#ɑ# Ij;bIDRT#CiXÊoHSC݋$Ŭv RGPDl XT8#Sr_&_&^l//'#ˡz'cș_Y"x&=$xvTcDW{՟&C. )گ;h# V8'uOTKQSŌ}C:U*G2{Y1ު2[lתhXx;Hɫ"yӑQRXEdViw0q38fU;Yp2VXrx!k"HW9t(#2RȬyP mG^Б%ߥq>S[iC|)HgW77)`#~Ȁ5?U E|)@#`J3:yBfuP{(I^6$!Bve9',6q:X>9.>NTwEyNFo^NaujT1B;ƿ[KF"vbP0z NQaW_;z+#[b}~HTKܫ㞟C4+H~Pv7 ќEG"S$ݡ"?r'NW9t& *t|.>0"\yf3l￾ceaI|&jifEԹ5E:mX|ߙ@3{[ckwpr_MRÓ0%8xii#AL/|-"\Vv%ӘTCŦMq@ƺzw&'!ڵm{=P$|,4Hd(B9Ԛw~xV!U+|۱z%ҏ1akow\Hxey2/F!Zۡ<#{sx#lsww)m1bpDYp먧c[{v;Iνჩ qEy}%d l%spB4 9&$3;G%шs2/qrpI(<e _ Q3˘"m꤭ ;"%׷jWOY#S JQڌb [%`9Q.ɾKGo LS<=OOWMWﻩA Vw db_ܔY}}?tJ*q􁇴r>#!UOӟg wyyZntXLie/y[Ml^Ø7.x.-|@4ƃy[$A~bTKguʧ 4)mfSkRvg2+yX")hדZCzG vu\Ꚋo}v8=OӾ\L FiNzdB&Kn/J EI! Fn8)~HC:)CF x/oNZ#]xhc'uΥM+v`GR}aj⋉g D|Wy֝l~G tOnkCn_3_UF~.oq abi 31kY-S~f!4ٕ$&=;M>5(Ag6'8Y0yq1;suh;Qq68%vQVQ9RpUlK D9j;EM(gWsBy7s\ l7yc+dԗµ\AdY !u>imBR5svAdݨ[c14L x4ZhdȲn\)nZ)FڌgMhvv[|`, =`⏳~!%xt,"WיSA&itcTHK W}V`Մ0˨uw̠bO {^yjԀ+f^a5 dfAhʼnMmg4)-M6rf@Dx~B؏]$Mjd YoEKۑ6]_'{Z\\l'dC>{5Vwug疨qU8z˰Rz%tz( LseÆr>6$g_U7KYYn:t*xa^H ̫>7w8 ȃML[1m$۶bY DOUjY+|7okZZ%ZARV.n8bRT$$ޥF4Bi7ݼ{DgB14U( O{Xy7 <PQ@*(SOG].h5J]K'[{pןΰu&s[?^Ok/Ln@, H 0U֠YA<@hTZCӔ6kU[2IU{7E7< )tmmk: A)@Pݦ6♦jSpX"ҜL=!\);#Q펎4) QJ;́|VhH_/ĥU!aDeV Xva:t^~OL &V b!t )hպjW7,Оә-) hOIz00@9(^/`@XAs9a)-l$ƲM1 eIFsfZwǟrKQ x xR\`?( ܍AΓ[\Y gP D5 jF4ZN>\{Io׸.Z4 oK@{=6}p[ŀөt hVUAֶP7+R쩚w&:כI,QMvA\=|&!ToMg&Y\KvgnfOt^_"D rL>P iF;1l7f tIFI \Ha:w;ZUx(R0qJ # dnl-aBn׉ lnK|gWհt6n5olL~/-Εhz0>A%c!^{\;$]EZYdDq/+b[~-rC<93Ķcl <\5ƈ6rv6'EZe]P3..N.+9Q!Yd]AD~9[qfXpi\3Q8 c=ekUyFqGţcn=)C kh)S82pVaJ-B-I= GH&i1ODL=ȗ=۫HzSKӺ$e&=vCCRhjK)!V8M)re7jt44ۘ) ƚmXׂ% Kcl#>X #{sVB2x %c2W3/ݩ ';_O#eAC{=Žk4L s>c_WEf#m )ӷ ZZjrՊ_(2z *cBhfXP9ၱ+bcs Uּ{F/Oa7}Swaph,X0]fӪwrtP.mq"Yg+$簔;Wf8b'a ";D_7Vͼ |̇JkLFcS?-Pc^̩_h69̕ ϸ!yY}8[EK|$Lsz'cH}VlLo>&Ş#+.Q x2'QXw ̔!Vti\/cX/sXr=p4Y0M&S),d|)iI33{prS$vZ6xFc"y&.jX(5j,L1 `eyhV0qq2/2 :[|6ۭa Y qѝPEo&|= :# yV:ۿw~A?PWK􋀈~L>)G.Ed촔X;?G)P X 7HIw K"BaPȨw :-ۆY9H$V'0r^I5c۾T 81T+IRT!W8\9Zg> !Ƶwĝ}Hx@]2O@5 АC3w1ZAiMKqvietly.mD]];A7)Q3:hZ:C4BV3CF z }:Os!>s##hĻ4r+`Zj#/ij7yaM3':"H= 6y\Ρ+qqDCs̀x#Fc&x@G{E1`&-)X6?-徿E*쨇s](uUcYZ9(XsbEqD[K’3NmԩFzv {DpV>q[9v阉} h׫z$S+mGI!ڃrmR/xigsw}f8*LSKn84ч"#C}A"sWnגACa+[2st~OLԶNYFMcķǰä-ewQYG;1GHj8؏| '5 q:cкKCљ0ʇܥXV +{t+c""y\E:seo90 2-ʈ9_WFJP>wNVm0rXKσ'S[~di39VpJ !}\WP +f*NZLOx%&HQ߂)( uh'SPߨ /Y+وI-"eΠэQpQ`y(P [4@A8&kvΞ| 92[2ir+)IOauV-~ J0F,E!W9=qh8!A:%x=@ nnz뒀$MKOE=(H!K+բKGa`=WI #A4dɁ} <y[)Fdt/CxRlju`N;֘0ӓzHm !)a{( O_ A  "m%[ >xn?%bYfw 7@%Am3 Zi<l=QQ{ؤneqT5ž/Zi¢Brc=EWgp6ު>zod".0sSdQR-Ev27m!wٛå.;/NV@韈0Zwֲ!m禆8LuO>@ϯ>ۧkY#5Rqlchx[J69LTNq'7PiKUulǞ?b㿳FyXYϓ# Y`UTUoڅ:P8qR>16/슘4)?mʇS[x@4Z7`` wdpA`o.?lLI0tXcnULxʥ N !:fV)=2l{VOȎ(i@ srEe;<Y~y&rezL-faEƔ^?^.Wn1dL1e0ЋU#ا#ϧgҐDl,~T8\'brfCU "DI ^n2+25 kT+2zfvz zoVGUv]9Rvi:BjPgh#OJEPD[E[rRtP vN>{ `']2!{DUbt,􎆎8|?)}YJ+fsL.)>SUUU۶m۶m33""$r!fU{"\v]r""I$IH$I~z׻wtGwtG?f;3̘ݮ333ӶmvL翙3'2olf׆/lUnMDV!" N,ػvU["XTDѠ3[,#o3UlfB L8P,а@ gf%beo z8eR=j&wbGk|[~m,G!2VBhyd Σ+^Ԃ&T|6T2O?8 "r'QV-:q;vXV(kO> z N1Ohx`/=(i~OT{TkTB]]rFȴޞA|Ŏxמ/`&;q"VbVEݏfZjdJ:rۜhg$`?m5,mrMEvZ:CV1nNxơ8ѥ+mhDm{ro&;ȊujszſD \ωcԖ.?B>->EViu*OSL?Lsw>Lyhx? Z\\/UB ~M[)]0Z9 N-/4WS欂1[׍Ʊa>Ϯ'xVCB7w]J)Y>ŲFЧXsޓa9Qi<Ϸd)Rf-6 #s XĨaW?Ѫzb&mۭm8](]Qb}k?O@s|h毩p\&TĥbیF<=.𴢇#` } Im":v$ĪR?e6|JOnpȳ KNxJ&~ƨWxX wR&Y&mX0b=pv¢zVͳ(}]tøz;6HxAU8E'1dOcSH\d]=TYΰazN$r7MaxKj##lkwKY-oq۔OQ ;gڑ7%#c~])#T}tQ*iou^s@GH!;jXV Uot4!;/"K3xPm5.1}g$vɦx#4l[ z^p`c0m{,OYU |A̙{aZPCa p(lͻ%7iLI;}@rX᰼gzol)Dtgaz[@OcŵAFb;ZJ>lu5mA8ML#^ U&`RRH iHjZ BbMlQn|}p96`5 ?ft٢zLVw9EKwvq:~t3k׿n #Ő{oҧ-,֛c\ 8Sur[伯ħ^J,lyUŦ6)]4YTˎ.twя!u_r-~Oݷ0S ב6X U"HA>0¬4/Á\$2'HfdT&`BxSEѫӪ@+KoҘgȭCz4|>)q7F75[[oe6#cs Fc5{j,}pަsWz= mRph<sak.Jkq:xA̼-{ 'ۄ9IX~f49 ܧu6"-ThזЕ<|Iz_%8)׹e˒;ok,NYL71]J|h}ji԰H#+h(nsߨnr!UFAe:rӓ/{=467mُ5b9rOË,T7tU \#şv=q x.p[#C5n>B b"w%]o &s:r=fjyrW7cn h#E{&muV*ig%|\B@'x9$ZS8ϠE)^|9 ݀ѫ3ݻ3~\k<CwH8?KEǃt ZW2r6qk#bm-ifcvXbHm;1vf|WڑM5ű2񞆎gWԿsu,H;dǨXѡhZrz,/ɑ V=ֹ1t$cW4 jD%b-3mw߱AQjDޅ*9j&?UgMa|78廯r'{Z`5:[ݯIܮ|:W:*[jBaݎgupz:_y.<͠]y O)3^L"_5Z] !n;>a Kx2/HEg%Gj?˵Jr@!%[AW;Dz]Rd-z%6 Pfe?C?Q %a,0mÔmmPۂQ*iQ{y,xk8V&H%v7˖!e7) j/F-d`vyL_k89Yge?OW5YFd~EjMxGRV 8%Rsyp8 W^뜣_+A!D%ߣ(Ժ9eZ QSԭ&dv2KrXJz{-gɽ"'3{mub׌<cW)P |zUaLr9?oZV7>xs}]0Jx-#[Osb4ahDMڏ*gGld'%nL]0bx$KʞI1xg[Wl fk줆C&5;dzgI'+\;SDe)ZJv EvYEd >hnۻع?h;JQGRi+T48qJn+~7W;TQ"Qʯ|W+ ߂nZįrٞ2 KHrw{cA %lmy)''v2)E<ٔ#nF/sL]Uzb_x4[L1U<.998KV99Z27?yG`oieA voyFOqz܋{>`.ZiX6:r[PPag:њlj`Bc;3;7}T![VFNb<++F4Kx;@ gxCȩ.V%>c{b4<]ZƃkmCS+y>'d>; Q^\i|D}#~G&%E UX˾@>t`R֗ۿ=]?wEZ7JG$U=Uk>S߻mDyE{t7;[w[!PW bN!>lfI "W#pvn^"!ZSzz !)&ZAU HEjrEd>ȈዮD%|iw~O2)óƻ~*gcG7WﭫG},SY?z}2}z"P嘋0H!I+m|Tk/_Vq&?PQk" T3 (Q 4.=-:Z4g? 7 ΝͅpzYY\Ǚu7\= LТMT˲hp\isrV_~2UȦ4VTǙ\,}~*j LТuUR /E 8w_nWxϋ{j>뗅 lЃ bO08g{x^NIJ]/kIa"`N` ktR_:(GX!͝BC~/cYg,p:Y>_ sz}gUlzb25:-=utSŬ*-|N,l0OS%/nIQop_r %qDa}X4 `  P Q!p !D Jbk!9Ǩr !sr6L`R)c(%q']w(1,yohLkNpTXѮć&}DF7('<=>;{ _kXj(OzT@xRXuKSXLڱd+9aLFqǷ?m̷0WY38~f/ݫcc[uGѽu3xxQeRh Z{r?,'wiTҷmьfj8++ZN$q*`@'GW0Y'";*@Ğz<1ήp'@SE *Vh/y;/pW"uC_bqV,A# #??F֣vזNǾhI#ss%h@T A{XZsoR{uxU@+ Յo͎2P)g&LkIҫSYκ6ƅ\IT1O,qa飝wb*KSx:4ͨO<Ш.< R2Z5oj*&PG7Q3HxRG^Pގ2 ݺ LR0"}G0* Mde &ɱOpӢ'Mz&VIHpMRV`اKkhă/oD{>\Sb_t\%栦H2Xrc\dZD.9@X¤xɭ6ԭ/Fn)A[CO8n.Ǒ]+(sFE8|ꅭL*ۧn"wn8¨YD" a]10ϺsuTO}O.+@"ez c !s)pErQ0oų&7U5{d蜃 unw bDj\mMW8k1s"Grv~HZ??R)vb{)Re3O"g^.w"%XV}ybԙH a!a1:teX*-9 QRsɦNAQxg ;_yR(>A;cx'٨./1{p5ph$tL= v AyhYAIf_~>^`x W+?&S{H^'B|ƕ##$d= 77c#wΧh{ U|@'Zb~>3E1 O ;s &X_}vfቀۻ1qy!345^Y%e/30?R׿@|ExeHl-Ҋa m&qP,UeU?h~'fΦÖZMYyC"%;ѯ$O=ݟ4K1oGNM z88_#{$ƒ("3)_ͨUy&AFL2VYxc 9SqnΛ)<R.n~vglvk| DL( ,}:bi{v4mON]+aȱ)x0[$MX[VRRU&zHbAήB3l76da aso`.WUgX* (9) VAs9 03TbM<_v-Ώ`oX-vqn(t\>jڵ\^ќ6,OC))j}N*͔u v͘M!bUd&I^Q Z)L'EJŤPc_A{[=^X Ǽ/d9`!|}wG`Λm=5dÃ*ocЬ ox ꘩D-f-g#j-Ȕ;.k;Dxrߜ`|( Ծщ'q͐?(>kÒ~z^hA0z)7nfXn^i@?w `'x.l~'9|M>~x D hй[2cB4EI\˨4E QdB1ׅJƃ[U*'enPTÝ} 4O n$K_L>g6sflerV O`gtZi`>Wc( Щ"˥akb*-3[άer&HvT^PUpqcy /2yl+njd4)lu8A ܟ"r#{LSʸRx c\0I߰TVͭjZ6šqw2'llW坽X4 n{'{-< Ш%0t@wVILZ5THuگWzymq=Me-jG|ݴJrL17ڀyߊvye m>h Mƛ.BfnNIijIXUv^9yw0cr:sh&K h)!FYFn(nqe&n1*LrjKlǯH=7Vm1b:z#g{,\?\-_a!h|0񧆜LϱUw~$n*= |Lw'a5ޱU|cEN"|Q=7❒ήtS~籌F.y !ŏCב./ȈfwɨMCq喇";ņ kA2m :2g/Sʆfdj$g–>كh%d=C("XϏ%S2z*'sP L`o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodi5K) LHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`piC%Id}o|˻K`(\]GJLl$g'z\k (RQ €CLJ|LgXW*p '%ځ.d~1BLIp[_0LRcH   5K# &HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^* k$j࣡E6}Oz HMKl !PiT4ϒ( dsܭn*s@p,)ìA%1*=H EY -%h-Jӆa$hrI t8J(Q!83ۈ懤IMOꚄpyls(㍐P< DАq=p$Eac "5 Yc )-ʑ< 1 #Ѥ!&$QΛff}՛wO$F8|ʉ(ILwqX]us y A0RIcR/I  8pLLj$͑5(NʁIN*I (G$'$!ãI 8 PKP,  P4"Xi D:s$RX0 iICı$DxgI xwwwvgwvgwvwwwgfjffjfUwS2xfi_MD̻3PsWu3wfiWn% ;I ƒ}Ѫ^0WjYBQ$2Po*Baaj[2Y@@*܉~0$װ8=YX8Dr0䘃$i;n,8 i|DRec8 hmmc8 3a ʁdbx!5$

󙛹wxwxwwwwwwwwgfffffff6lfm]m۶WUzVmVm{Dܻ4;ۨo>xkonnڮ׻^j"Eϧnnff*&^^efff"&""""""""^xw6wfkuuu+]LtwfFڭ^&ݚ[f6B^U*ꡢ****QjT7..j.j.**BUTEEEz?}3333343O֮SLSӻ;;U33S3;533m۶KiVL;3OUD3KYIwjwf΁ضm;m۷o۾}m߾}۷o۷o]wݾ}vun߮uvݮun 46s9&Y'E= &2  *< & TamdƳnwn<*gHqfv a ]`rxljizkGUh@m/p^xsik<}vQmw6!4i$dtSOчU+)Y,;R^g$AN6#+egA!(fƅxk~H |`UdsB.z|u2jP!E&x'Fv jG6i|(%]ECVYcJGR \tIcaBEER IEjO$/@K0MWHc0 eBwآ>ܿ߄`.F4nMx`yOE]IMo<1ʖi e>,l9b6D+6pRnvSSrV=KB[zE6"E3bۿRWϕWz/“SJj,Ҏ_H7Eae h(lȵ[4dqRISuzcJy9{7VjcpyE.yp#?+ݜfVwB,-8G '|q+PWPc_Y߹ThNX\KUR3D!ň~Ǥj,D﬈bGT1-1PơcDZv @|Zж rld_u5#rdKg+SgTVگVn eRsV j{Jw2({m!`C["sn=_d:` RfqChmrP_BPh ;-w Vx27r0׈ͭqx)5jg(v. w#tVkSl)|UW[s;ꋜʣ%EZ0)nfԮkS uk } f@Ro`X_;4Vd,/gqJx9[b<7wZτ|_wXsrd{RM|hs@d'7u8_};k>l )]gep:W^}?uٹE0SPX]+PDip+\&<:8di ]e ,Lc %  B` c0( ( ϘxQ;)ȼNk@t4m y`0%U;;"0 c, Sw3W&MaR:ebs-8,p'zzG=`vi/=uGzj= D85֤ "zki!g+yB z9:CH;Rl,#V2tb`p_6:fW]\=$;rIH~˸AlnWMrCo4E\o!Kti_>g Pe㪳R)#ѕԚa'K u"LeJ_%I-:xe#DX3TdjJ8ߠ1]m]4I;FRF'}@i&c'ewzoaiؑ T'̳0N>-HT+ " U _>J͒6XPGV&֬?dRhHYFYVfBja>\ iq<(1p `|H{#nHl2KڱB쑤W^pFܲ ҬB3MlHZbéTa\n (S6Y%Ou@H!+UnxVMkǔQ4<)xFj>GV EfNLA,@0~S+~d#OB Ɑt/t~/fGJ5 >~vˋ%1-3./C縆{ $!-k EdsmvW.(L50p˘D U)=ʛ5cȋ%u#-FJ%֕w GqtS*c^:T)4I(7FБ8T#(K&!.d8(я%ə?D&_}ː<<.%6}ϻIrBt(Q;q:ǷaS &4^|1,$+`jm&5+<k 0ꯔ̹e _1t*T6*a7z39ƚa=. a& cA/,Ax+I[w~:XTUDg^ķdȔE(aǼ Yn ?8M{l%ƯQ*պ<țY$ 7+D׽v)#YtL0yc+/uۤVNGTHt.Q2оbB?( Dߑd1e:߬%Vll')+JRqxr0<sx}Ԟ Lf̮1(, i>M/w"ߘ˲=vd2XIly['fPKs1"_=2QޙЗ1tf5Q\:Lt6/U6,F_r'(VЧn{:S@*\#-DwT__m[uc+=yJ ԋ:-$f ]R;3CaSd\'x~ Εd04oHE_=rPkJI %wjUet0ѓ8-2 (psVC,eeOU9?@RM}\ӥ˺ p{ǥ6= yq^Aq e 67V 3FIAGfAͦm0 9h)tpHԡ$h\񌉭Sg6II+pE@T*'V%8T=Q ïVZ gV_/(Yn( k ]ioX n/ ˙@jK>Fd$d9c'wy巴py4$@Bs)ݾ7AZ$󫈽'[zsd@4Kk W\[Y*Dc\1_48/tE)&cw u%fpŁ[1'O8GOضT V/ HsLsMdn̅ȱjLT)Ty3'3Pшr2E2WKb}e)9ϝzL n/sE튔biT&C=uK\wrl;?jKhH˰!n0:۔Ե|R{lbŴ%pTzlue+C(ו@!kȞf"gY,0?}u7[JO$xv ;b6/3ҥӜ mWQƬH;;cjFT4F WTUX6ёksVZ81D㻛gT-K$hjcI+P4L ! o+s,2RK5p"( ڲdEHLĠTh|7HNT+FRD2U4j jI8fᩈ>X7W@/j<X-eFcjP$CM}nm"2ͷ=62C닝uŽA1 ;}(7PM i{Vp/`Ӳ t!AG7j_K0C=mX6BՉ;U1䄭U3ׯ0{]Zcg=: zLd6YuxQ'ݏ@I>I73/eL< MB=KÑ;kTjW@UNE_5/ ΝdފbdAj] [)m%ibxAi`i<J)IiQ֏8S ɬkezXWK\ůvRn8KQA۞5 Uu/e$_O1/h?WGq1#5vL7;pVg; d{Xa zg-`La}bahM c-/E%ۘsʣ.3I\n0)r@x%*Ig3y+ZpVcUKwuڵUs  ͷQ5/$MH~xY@ Z9>QWc+~ӽH©{8Ȁv|[³&ګ@WhrRӳ1hwH?7͚&QF4I>J&QM,}q7C)pLZ/N2~'ߢF/ zb;%=W 2ETOCy!Hwȇ%`^z]Ƅca#w5 Ҕݼؒ}ԆZ}5.f(Tфo~c^:rUaf .귨LYٚêܬ2\rLFs$XB7S/+BL>D2t2uH *H؈FrŌ=9lҵ#/(]n^v>W}^-rŒmhIa@[0}>(Ɏ`9:f2* ĆRk 5^Ҥr~Tiq&h)h:_.hY>}#g^3X6Sݘ)/<]?iϋ~H{E#:\YDM`HKjzM`==Ճ: d.C EcJ\P\M}Moޛˌ(JKc7oZF[}^F[x} %fVR/Zt7Td0ٔ5{=Ezicg|e^v] Dy/|"Q_eP`Ǻ""Vzby^dO%4=%h1jXprFi&dh1wc\>dzF9j,EN"lLWw 3oXd sH]W +Z5iUigP)lhɱH~Ko2[KȠt$ ]/;Y)y~}jlO Y`ܢ;db4۲U'X.'S:$vdeQ@1ya1NXwp, V7_4= 1[EYT j*ӦIeI:"rm Ǡ>iΒfw܇2՗LAU7VKT5@H7G;dBP\5V ۧ0MNa 2j2HIO&cBן¢#%υ#Q  l[m+Swlˀ{}{J [R&ɕѐzHy3/u(Scp!LW}NU Կ Oz5ԍ#NſJ5tr}{MɸpE75>5b&.$Հ6ν?wߝ50(^u]6!7 ~!T>~wbObkX^; .du?; 8/WDLUJKTR4^BN@A~C^YR!KjJ5KeWH LtJr jced{f%z:mw4ޛ0l+AY:aw6 XXҍ`/Zah"AX?̓yĢ6r13 jyi,%A#~!lo>]`zV9&o\WFQK7O0p_:dw# KKK,J IBي" [w͝/\D$1n+L'Gv+d⫩Z[uv y+0|&pBopxNMisB9%+.g1%u2_<=Om[4k$NK꼞v 'ް ];a䱑7bMA:  <3kN)͓Rɳ.Ai>H'y88b,3EdH,PG~ PIT4% ^a:"!~E.[1d1ó \nTWE tCs _z&p:.*^mhw kjTziP'mU>s2y?aR&׌jvQGSRlYfgYTCA)@]< &Wq"dQ8SWwJ E?'7?eܨ`i%ovvoMz.w;(v Ć0nML0iI#W ܇^ׄep 3*yws`1f DJ?x =t ‡o72 ,@bؖoDͤix,G?N]iHYk9 =ʓaP&H羻yi~M:Vƻm~ȷ=py cC>Y]G^у8ಸLo#Qɤˉ6q JqcE)٩{eGn-bilb \^IX&+,9Xb=2Hbŕi]1G~G/_W$`bBCY]a[/+6VW*O1=MYjOC95 y'.B& FsTL8fDtq<nb(wrp8]t38g ˁ XsᅜhœEaVa-DZ<8.na-ܬRm ^L{fd 5p&Y["Iw"iMMI-EfA~QFC!f/Rv6=$$: RI/zCS*qJ;7VaRL hɢjΌϙP\?2P9Kֱe KAptϳ#>S Wq9.͕1ɯ\a#.0MtG6 H|`b2m^> - /_jM‚GMC3EɾgD5D|KT]8)s/8`Ĉzpk:Jf"ʸvJIT%ES*Xu`$ f?Nq|p%5ҥ\geղZyhD)-Z=$_E? ~4wMD\}?%Ϧg ?`FE u,?&Իt2%`6C;iha2<#YR8B{=N:oKKs'QW^U,^%eHt=IHrƍg4-o*4!'X4,pD-N(:DHJ`}gz"UH$LЋf%#R'e $ !gؠW+H[k}":t_@+"F^,50eyʖ 2'kހ"^47g/pd mhL#=_[ 1)T#JFi+N>̣4F^dG|X~[8QwN}؝9Й՚DOSƕ"fh]>bg@efl1~kUc#Cs@#hЀ!;}ۺyy (|H~"fEN>89Þٕ.;3N}K?ZҦ3~H3 Kywl (3tTN cZI(Nñ 2fZPWĒ5uQ)]\jy$JtDl5TK@$+7##j㇢%(89F,'vJS1\^V/ S8e+T TsίJ|HkV:yH 5qeD ]G.i3i5sW݁cȴ78c ]o*pIñbj˻A*d|O Dʧ0+|_J/G7 G; S\FGH?xz4DHQ B3AΝy!(L慈2д.ݲے_QQ(,-1"fecE̿l@ITpBtCECaD\ S|m@8 ')m|mϦ{MuoMW-%Ȩ2fg4 " CB9L@9H B !B(2dDBAUm⎢ ] d#Q3JS"&2j|;X:d{>7E]\6~v|Wf<3ܲ{?q"T_LHO&oZFRA2>Ԫyry"lIxetgi#o}qD)ϱWj&Am`K?C%N''DRtbɃv0P.:q]MK5hm (tPqQ0L fHIr>K$%Kt]z"4n}&rW\E4Dl2[`QʫNE0T`(5bi^mJjօʛňzA>g H-dQE3gwm'Qs\ߡQgqd^EyBDR@wA00P֣}ڲWQhn9{}è 6G: 6ڏ6dIDD0fg*_:a^BԐ:/W6!Ópِ#6rmCB,أ0FAHE\>Ɨn/_ ߑ ĵ&SqQ#)9l^9⒵ŇJLvV8@CZPA1# TqɞkᑏHL}Y~qB}D FT_> V1̈w(kEcmvno#ҫۭj/(ĄaT=BN aΚG^qMSWI8U>ꪩ%m嬃|g\{4@ ^MuR!|@aNVͭ/iuNi 2=5ՙItIt9֩٪}F&@BYL6tw><(7ZχeiE<Rh!bA4?keJ}?rKKCK]Df(l(r$*~0\%w9t U"S<$`pz~~F! q۫G9%Dt;QB%S@YB.%~AM֖3َbБ޼"Z=cьLB-GJ /;:gWJs5gĹyĂN JekxQ"!lZHU&F2ׂpAM-9KwH,6h([EZ N@[af5ǶM.V?YhgQ7mވ0I2a%_O(,j~$g'#./ˁ ޡ,-dCyi9l_RX_RV*?F^YUF9HVz1X9 {,< mwꂟAY*4Y&uN*~-n{^'׵f Y3%I$ ĈI:Bܹ8 WI)3w*NkAO.LkC¯HPoݥD}XoǡSZĨHvc%1K1S:[<2QUƀP:bhz:ako5t2OkD qVy􆪨б# MVNϾ·YZW ~ A3)T̟PCX.lwEHC)41ڰIFKkJ{.CS2:ǰ Y9Rܞ!w+qHB!QQe )ϋ>]XG&?+Cw(`4Zkb^UmhuI "h# .i$˱ֹc:yEY,vĐjX~# *l6)    5O% ~HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`} b(!PD=oz~Nm7wYff=hjNքj|3`2nVGsqR ITsڡx>_ ۢE;ؓX_. 7 Y Rmh4"0E[8J " h|fF%\ǁ0<<_ 6F p ,%?D/M]#͠OMYs>M 8rzx ƄmbqqQH$BW^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal t 5K/ ZHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/l4Qʐ-f`9 гYe30%҈$c1ƆYÙ"gAJtT71O'5EA,**s6S%aƢ+8K J>{#ha(9B H R,6r r%J /̳.4v6bFx$(ZH*8 %4d B,(U-I ϚIKy?߱@/IH1}%fEAr+R0ϊ骖| -d^hAP8KR+)ܑpܕh0_r8K(Ra,, @<0%J8 CF/H-cFA _LZ PQba%XypH$gi@ AZ x@bCsp+Z,  H'5HQ(PMr.DK(I( JF[3*;❦NǻvQY6On蹚e{J)e"Zg>_V#* aub ͝4$ީk̜|ɮBooލƿ~|wgϊgyBK|o&1 /;VHhbQXP΂}lhGTX_(&d%P$JV$JRWjH4V z̹݊ogڨ;:oZj'or&5j4|ꆾ<I!? $گϿλ;3O-O~}{2jry+`F] H&gA}[WFAfwO*0̲Kv\;λ{Dfw̮nm [\VuSw \Gh؏HyDJʭ J"9kc?ˋ͸aaqf JzHV;0uFl'8(CA L8=  M h$44Ѐ= ]} ٜzlϊ+р sq^s;l;_kg;Sv}vgg,! , 5O' PHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_F# o]?#[fqHRSS'r0L6LOVEXo!Ix]I0{:wb&\료j%t| Өx]D'`P&u\\|l\$<6EBnRﭬSmd.e)] V0_FtgVWh׊¸*̴Ֆ29ŧr'q~P0{QG:PexPR^c^9$6Cac2ʠl=!|R"Ǯ%0F~dWdD ?bRxChÝ*TLNՂ3@rQBNɕ0tG~`xk xV̹er{ 1bd%h1rTgLr|Ma󶮺S3=sy;_'NJc:BZZ=Cq&R CIx?4S=+d>~02EFh N$ . ͓T뎄$1Q>hϞwQrl0Fk~GWÅtZ]Fp vO;\zciQE{ P0J9#g$Az58@ %~Vu50`0n{{YdJH:[sn`u=e6VO 20+`B,wօU -9q׮RW-2y"İy%2ub*LW0,`8VLƞ\ :2/r .#ܷDBKX +Ίd;j`יT B/76%,m$ /zQd24-^BsqЩGjhfǂ}ul*Ӽ(WQ@C$ (\qR6 ֦1-';8o1-f\Vu)CKAT6MhpU,~hWr4Fu6H|ṿ`՘lV^Pv!Ci\vW$NU6`qp.Fs<ϫEt~v %stXRMDJ+-RwU(\OxiLF}KDZgBؑ}-NqTJ`Ø4H)crEN#G!J}yX$iTɳfN,O.Ʒ+o 9 6 #C PMnT9Bv>?h89VN3lVEUPݠ(L"MqDE ` $}ˮ!*@@Ie13G%d!K+\ izYϢ^PuhW(Q]Z5}QקM W]#J weٓ[ň(GOzHKe^`^]uQnZ=0&G!- X0eL7s:Z#(Wz _INI>)< nXwĨ *E(*! l"-0z_JTt᪕F,uhܘ(職iI3.mg tGO e?r.m.A I aN밑c"j0L1ݫy0>xpq}-&Y2pSm7%s^ /R(F5 m\|,.=xy5X"M?dglK8?lfA2$E[MA@ AuMϝ8-i]@&YN]L|' =ܡtGxx 8xNF\״*qΔOT6|-$Z*\ I.#V^ֹŌ UF"D`}G#b}JMΣ`5D@;r@ %BQUX]FCEzճn]#W3((}48I Nr=/9-ܱӉ1$a*js* X`a`(AWcdFD;WbQw _=k$K׀90)?sҼ'')sas*P!Q{0V%c$Ml+y)a~0X/1=N!D4Cm!yk[r]^~4e{e^&wic8t2x)^)q0<0"iU gHE ^mM\jQ})v|SB?3D5;SDpb9V$dS(6;/`Ub!"]<;GL W^Հ݆8YCL@ cU_ڄc+ 2r4XuA_&p0LY0E<.ne[IJ LKt^< t٥IF]<% )-UT~}ZxJ!9 JdLhzͿzd) K'! o]@'KQpf}8KM]jr'*o g75Ken _Pv<[h:O 12oƃ?R? 7. M#K_X諙{3[!'e\U*^"Qz"H6&h9ѿx{>I?/öh#l1 z+ [][!٩>>91,@il+TMs'w:[lvS"Eg'AhȂzf~0J3Q X(,jcҫ8,6rމlT#O)=/ A?O%</{h+3SVfo<0%Rg ]Wo%DZBs$[(ETI`>/^IBLF;V+fiOJc n^'TG#aFT!*zv]s:#a٘ee'm QUak}|1FFv6p'Rً `J`d,`R~`m?lfH2Wb)g'15K0䳹'~9cdNMXzB)z Zþ8OoӪ|:lVeP1ݽ&tE/!KIk&)䃚˦-:"-f6@h8.wF~q94B_?67Ew"ChAe2h0X?P@VZH{*סs+@"0fHrjΑ+LSK˩w! jUUA*Ͱz`$h!1f6^w ɇynW{/lK@SL:58=@lL`TC-pϵ2 G`na $)%Bb$H{zQ^'=DtDbs $C@ hepJ<ޏÿa·x