SQLite format 3@ 3.C  B  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_exportsh77otableisabelle_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, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 66G#r,  ]/]HOL-Nominal:threads=6elapsed=7.388cpu=21.660gc=1.0047zXZִF!  P]ŗXiɟ  Q p`Q +T泎1S=;#P2 - [ .h#23"2=%(JC'r1v _;uEXxa.՟}rѸCTHiq`+Z]Y [h /5d~* 5SN"CsLW7Tم씏9M_bL/d걌,GV~5?Ys4%Cv+Nn.GDIxy`%)ؒVA;?0Q DŃR5[<ȫ\ͅ@NL1l<>ɱgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14#xHF_V/~ 'C29qqBu}*vxc!#dCFW <ƜB)a fNF"QgYZ7zXZִF! SG]ŗXi%PTc p-`L9$A.]˸kS`cӱ{ѡ=MpA>bA_I\P "~BX3S$fjwV8k[C` 8?3HM-d&M#OcJJf"2In(~mZ[:WY34?^u}l&K>߉,3dDn[֋ReED1'+;HarL3yӡ 78&";Wh 4} 4sݾX Vw%Y7A_Bj,mŐꆝ3zCSBa~(=2;U{S#1 nҦ&%6o5f @2F gqBvSFХػL$K~':S=+K"[)uњ rۂupA] [Uyh@,}//{Ht)MȻKl^ ˕%$"1wp}?JnlYv13G2|o}Ԧ ӄ! )b TE:>b<<n3BU[ɸ_yqT-4" &r8P}vA޵Xl<^.%CNTl*yMϊsՌC:DaXќqԁ_,|UXn99s?`iꉮ_}'U^. /YAϐ=IΚsĤ|zљ>v1(lxQ18Xʯd10ֵfGxaǓ;r + pէZ/ҦK=u6z .9uD50b!Hpd!?f L\C{/Ssz33"|ic2(x'\43òC,8 7_d4Y\ZxyR`%͍݁MYLYZh**m`wrT*t,(MC r=RsX|N %Kb| .($K!CUDExڋV.e]ƆSdKs< qV9"wRaU&4KRFl˥\;z$f1e?)IxnPY!AӤcOf @<g)KC+`b4D(A~B:@3, P>YagYZ6c9ec04a6417550b39fcb5f1cc553133af3d712e76fd26aaacd6460a8a6de2c25fb172171219d3dc ab3eeb1feb9ad89c49b8b08584c31bb8c8ae56606e3dce58188fe2e657931973ff4ce9313bf5d74d # HOL-Nominal , #=? DHOL-NominalHOL-Library.Old_Datatypedocument/Old_Datatype.tex7zXZִF! !]A-MՋhvG"uIBm5ŀ9"*'d>huk$k!s(v,#J5 =7XZ`+cm.0QϧDe$h9fbw9C>j HbeZDS V,D7 @ /[N@?K6IIqа,zf ' Ԃtu6jgǟ%_fU͌36o&Q,s3gzlp\BЩy'XopQͨ4$B4<3/-~2Uʸ B {V,@װDzDBwŽ 1%s2ſ<MRz g8D$J>j]5O.[5\BB#Cm_%|)@b \O(%?Y?"upIA 8*+;r0:ݷkf QoGҪ-߾ˮ8֣Z7˧a}-a $X}x?sYI fq$`Z}CLU=AoTFT\ x{EapYp//̼*qZJ &4gI{3h#!' XSC7ILUE{Wd|J8{ORLjBYTm1sBls10Ըx*'$_GL+&hE;P[gxQ >,:L=5Vq(t O9RXgC\Z;]mcb$xow7YryvX N6aڳja&_ ;}!YplyO+S 'SN ?`c@l2@f#CmnB*{Z`ulҙu~{> 8:ޕpHN&Cy(LŽlE_r)*@-(PL|S@ެg V/ɢ/CD7~^ ^,[h tQ񸼓I6ek ,7\SxE9~ۘ?i˥ aW~RZ!LE5ĿhZJܢ`f\Rbl& C&ߐ ~ *~,z|{ *Œ(%ז`Zċ!5a=v#3S-9pi9YO_tv'CZU_ p23ߨkG&o69jF-ggu V!V/?p`+?(Qa^HU*gR vB7fHl\سyU*׭x,d:x1㭇,5o_<{NhA"k˺ XP*\8ʳZ;Dk9ASQJ`h|*!s0׋}H938_*cFuVobVb|%]'̠GTvuG®% H}=Z QZ,9_Saad'ֻ2b2p|U&%þ Ry<;juK\QR@-ԡ-CLl̇;/̇[] d%F@TYcAm xNX2^!Z|cOV <>B)+F6i.atg񽳻g<:7b?= *GIwМ?{3\V+'      X{i2 # a 0 l ; B1#3'HOL-NominalHOL-Nominal.NominalPIDE/messages/#3#HOL-NominalHOL-Nominal.NominalPIDE/markup0#3%HOL-NominalHOL-Nominal.NominalPIDE/markup90#3%HOL-NominalHOL-Nominal.NominalPIDE/markup80#3%HOL-NominalHOL-Nominal.NominalPIDE/markup70#3%HOL-NominalHOL-Nominal.NominalPIDE/markup60#3%HOL-NominalHOL-Nominal.NominalPIDE/markup50#3%HOL-NominalHOL-Nominal.NominalPIDE/markup40#3%HOL-NominalHOL-Nominal.NominalPIDE/markup30#3%HOL-NominalHOL-Nominal.NominalPIDE/markup20#3%HOL-NominalHOL-Nominal.NominalPIDE/markup1.#3!HOL-NominalHOL-Nominal.NominalPIDE/files4#3-HOL-NominalHOL-Nominal.NominalPIDE/document_id 6#='HOL-NominalHOL-Library.Infinite_SetPIDE/messages 4#=#HOL-NominalHOL-Library.Infinite_SetPIDE/markup 3#=!HOL-NominalHOL-Library.Infinite_SetPIDE/files 9#=-HOL-NominalHOL-Library.Infinite_SetPIDE/document_id 6#='HOL-NominalHOL-Library.Old_DatatypePIDE/messages4#=#HOL-NominalHOL-Library.Old_DatatypePIDE/markup5#=%HOL-NominalHOL-Library.Old_DatatypePIDE/markup13#=!HOL-NominalHOL-Library.Old_DatatypePIDE/files9#=-HOL-NominalHOL-Library.Old_DatatypePIDE/document_id8#35HOL-NominalHOL-Nominal.Nominaldocument/Nominal.texB#=?HOL-NominalHOL-Library.Infinite_Setdocument/Infinite_Set.texA#=? HOL-NominalHOL-Library.Old_Datatypedocument/Old_Datatype.tex  |JKVj-Xh2ZZ@4R/@oêgswޱ !G9Ǹ QG*΍-g[Wh-e [J;z˽A)qk/~TNym`X *"ʖMxES[@RAR 36Ka/ڄ :Eۀ8$~&2zmm\f ZGX޳hMMTśbS;)sRDQњ +<v3m>CXp> ܮm!7@9ht9,|3xMmk䣌91MV#xw-WFrIKP[yAA j|!M LH/iu[PTf cit>zZ"xy&Ζ+$`V"1:%Q_{ж 7 >#|G&y}54/P|Vцhͪ-@ڣi4 ,<4d K|}XKjNwi#6bW* t$eOkGgST% +15@Ó:H1U#$‹Kׯ5G{~@|O x (&B8ZB89_PאPM?I_KPL-am,k/dnGPz@$pVSȖ[:_+j`oDKӢͺqTNbO<ֳ~7Ҩr]_vf2i$9iڍ>1P܃R)#ԞU% M8.睆#:}mV 貖%Lf .v{Z'DRp2#wm+yTU}]n ~*Гuc8)o|Ǎ@3+~֋ql's`enD<hS NѐB:Ṙ&Zv6R]TBI GT ʠ23Go1SCO|_#[5z 2{%-9},j sbT c)1^z^T4dX"<Өel큛=Ukοƻ@h/m 'V  kDn6{ovuM?RtkT=_lL\n 8!2?ڻx Zf I_Sµ)Ցw|_f 9ۙ/b[dЈSl'eXfֿAt&oDZZ)1{+킅d*{!8 6uzXf/7 L/Wna|׹\l@KH|Jըzh^F8w(' h4S;,sVɉ&Jo΄b)8l̄ѿ=/JN2ԿOH dn,f?-!,RpOZyV\:@w`Ce ӛ]6昉Em+xݑ-j֬R0Vߏ%[LѴZ @j@EQ49%#kF Xԇq z^XzVH1kgD9Z/}J&",ðJUJ5=;=ܞ%zY+e[Ξ$ξC2j@l``/IZ~đ`.yr{NX8 c!/@=?e3[[e0=P0?徧(z!VIY-#v2z$9]4[#e˳yQSŹ/'&ҏ%T(n0hlpҷPȁWt)0ڃ&zz{Lζ`(!,rيK&P?pګXYx9!5dҐ$ڱV+ p(j/]}L @ėr ٮ3%מ@d֎@]~* S9gYZ  r%*y<âHDB+|"MX˱y.sa`5cۯ'g'xirP1Ue>GՍPINfXg«ұBߩ]7^1ɞV1RԲiz9n߾0V99!Z;{In f*ţ$LhAZv׍<ir(c:>B3,Jze;16b+ٔwR GjhFN욖3d[([E<|'xPci,x `앋oKݸ&MQOO"4yu%!<m[5_':6!N" ).B dCa&Hjjt ={sԈA2.ղ:`XYC׵ĦCh8QqkѝH= ?#8N %]!EIbd޿O1BQ7z[r.hd"#n.N@GnEgFA $m־'z4Vos5;}Tؠ0ejfU&IwN"$PD BآԼKDNZMBf8]/hI453G;pp"II{5 D R pP>Qݧ{za] ;Z"&L~Y >ާ^ˀ.ekxcu&_ D\a<>^ӲOlRv1 ~[vf+?4̏5ģςRC6.:Q)"Ѕhz44-dz:;pI~f6&,u;FbgY҇J#M4IJ,eR]3Ìn-#E#LDžd61ChNS!p'E%i>ˇ&0}^?\y|t!g:0m?ѥC9F83 'VfM"]/l5>vPCakg 8mh0C U3iCDPtsyx"œ)$poC'ӿvEewRҒ%  ^d7NOAi iX2 I\*NQ̂.Df;  %zg̎G٧t f蹬Һ7^^(t!^M/L͚NJh28]p{aq~ect/TWVCJZCv˛6^a4(ЙÃwWY(YT!IόUg˻$Z|>3C~FDatOŃ .["G[W@ūCwJ(ڔ k IR1`6MpF0NO%$ZBP̩/h\iY@@ 777N0HѩPo<'AwmlSkh Jiˈr*.OtN.jIteJh+Rb849@HoJwJcK 8XE< 4B$fRO|@ Z\i;w v((u|:SpMaJ25'(-3\XU哌qi[Im>U/Cժ4@(6t_WQOyPHsXw&6Un6AC1nAkG˴*>bD=nE|6)2V2B:!><7áOFWkYlVYegN$\5w8 =F1@U ;!*2:H }i >w~t>6 QLq/h(:}x8^c|TeM{$0PwCEgF7X*lʷv%:)^ 4o`_묙/6\hF!Bt+ɒdfξo#rCQ-p&Hk pq`ēz> BwVS텘 Xbo`S(s.jm6S;h E6VAVnꎗ|G ؇[ +hvf}3xskC2BjP&T[8HDŽD'{=H{ՠV-J5#ANV)2$?z?YK2("$֔W>ổK>mxt]`ƞ)|m)86 7l3¶n]c톎Z>ޛ jŹ_O\7[q^ Cw)VY~0[9ydy…ڂȥ-1Z)gHX\ ` CJp?p$]ns]ktBt.g-هUx%)T{/߬QBy%XS4B{,P<%triJD {Y}Ā6<W$ '_y4}U}OAE#_tvm)th;}eP5S9Z˰)0m\LD9e V$o aݛ(m9l{^a" vZ g*tgh= j${[/bdKjM&i_LpGguXQt JAQ8xk,p`Xpnݏa9wFD^sŞ׸N [$6hX ^}PTnDoA?Q7"AQ&>E'54_X3BAq7BT$M|~Av' c`[Fw 6ݙ(':#1O+pׂaBv{T1/O͔iOxz4":-MJwAz[(xpk??k2Kf'Ik:U|#eșZ\J͗jQx3fHK$ưdaz$wtiZ\,#Ɂdseվ-NQL3#ڬPJLdx}l =1@\Vg!aTX"_VFBiaDO~J){Jf׵ 2`r-&\兦qd%4ծjԏ*lf>yJxW^#yZʀ3\4k67#J-Kp(#^_u ;GoeFwFur]Qm0бr̀0tsw:S7$IjxkcGSڒdO)rZ H=:03,Qiz\jqS;(LìO`Ia`9%K\ TQ?7V.-b3ڭ \?iZԀΒT i"Gr1QVJ-0D}'7cs%|B+Δ(LjƩFM4?oY.׼(e!GaycPzrzqI~5 4'@+Y)Y̷?iY?>:1 NEE_oJ@GEmκLDXq&v" iQ8gWVO!D=k7s~>)k(6.;1ecLkUS}@)9wf&D|@OHӟյo{N!>Z#"h+c 7o'@:X}D=ฑTeӅW=|V 3-(sO\-1za"̋S?MwFyuPq0S .Dn@l˱pr-Fvʐ@m7sAtK$z5NKtzDОyk '$8TN p:~xk\G }D5&c|[d*.I^e޽16SFyDobY^͈1z64t_}yNI] =WINǬ?MeMDžI  ct[nV$NQۃChgS|Gq׵%]Jt/^Axu("ܻRi0%`OwF$Q0;I+ei2  SsMD0Fȱ)N A!J)J1$߯oEk~fbq %OB g[gN`<;!zKJIU&"q%{ߨ+=́OAWDԩhs%-$N Ahp˨'HvZ)A?x=պ&d~[zsv{: m=tv˾VSh=!h,Qg>MD5nnO\ҜےaJ9D@kb\ 9 b^!TsGy;7~4FRUae6fT{q>J=68paڳlM, b,2Hm+˳ug`U*.aZַaAɊ lvJLZ޵SN\LV'pV@/ c0}T5( reiW] l % %0DGۖJ-.ճ]e,ElzH"M+Ŝ\L\UL\ -jen&F:-N`NŚi.Y>s+HK5l[ пHnu^1+Ŋ1J>KGI'Ĺ1R~z^ɡmSLcjyZj0CS! R7qD4x-)PH>P@jkو@N K- 5m;$n8F7;|Xʥ[1pŐ-30RgJ`K##=3_P*IjKrA#t\4^כhuk$k!s(v,#J5 =7XZ`+cm.0QϧDe$h9fbw9C>j HbeZDS V,D7 @ /[N@?K6IIqа,zf ' Ԃtu6jgǟ%_fU͌36o&Q,s3gzlp\BЩy'XopQͨ4$B4<3/-~2Uʸ B {V,@װDzDBwŽ 1%s2ſ<MRz g8D$J>j]5O.[5\BB#Cm_%|)@b \O(%?Y?"upIA 8*+;r0:ݷkf QoGҪ-߾ˮ8֣Z7˧a}-a $X}x?sYI fq$`Z}CLU=AoTFT\ x{EapYp//̼*qZJ &4gI{3h#!' XSC7ILUE{Wd|J8{ORLjBYTm1sBls10Ըx*'$_GL+&hE;P[gxQ >,:L=5Vq(t O9RXgC\Z;]mcb$xow7YryvX N6aڳja&_ ;}!YplyO+S 'SN ?`c@l2@f#CmnB*{Z`ulҙu~{> 8:ޕpHN&Cy(LŽlE_r)*@-(PL|S@ެg V/ɢ/CD7~^ ^,[h tQ񸼓I6ek ,7\SxE9~ۘ?i˥ aW~RZ!LE5ĿhZJܢ`f\Rbl& C&ߐ ~ *~,z|{ *Œ(%ז`Zċ!5a=v#3S-9pi9YO_tv'CZU_ p23ߨkG&o69jF-ggu V!V/?p`+?(Qa^HU*gR vB7fHl\سyU*׭x,d:x1㭇,5o_<{NhA"k˺ XP*\8ʳZ;Dk9ASQJ`h|*!s0׋}H938_*cFuVobVb|%]'̠GTvuG®% H}=Z QZ,9_Saad'ֻ2b2p|U&%þ Ry<;juK\QR@-ԡ-CLl̇;/̇[] d%F@TYcAm xNX2^!Z|cOV <>B)+F6i.atg񽳻g<:7b?= *GIwМ?{3\V0ICVTRAGD?SX:U81q- HH) #=? THOL-NominalHOL-Library.Infinite_Setdocument/Infinite_Set.tex7zXZִF! Z(#]A-MՋhvG"uIBm5ɰ8-'hH]^T3{9 39Af"=M@ird6G՟/'N_5ZŒVAsъɣFI"@MdZAMEQ_X)?Y^%W^1τ\bQ5tLO|}7ػD^@''-m'Aa!q~2vfDB[f]Ku%Df,(|Yqe 2XtZ F ́-WI}}@̏(I[ @1kSwDN0Ikj@ճ1)eJ/ptN V,@eajfe'KT]idнtYvI>AL]UC*'p椆_0]S/{3<^%MА˝zdnS e@DJ́66ȌpWRE1SϷLvF.aY/$xyF.0]8K8s" o1f?f͔J ,M %q KNs6,CN,Q̙Ž!?⯳{/# J1bJ;w;70{tȟ;^oA+YШȭ 1QWBkP&2RA#==[^ޖb;4|doMRl' mS.>Tdg%0ò̩c;Je?,Gϒ\Nu =t«Tڹx6h3 e*fCx"U~&w`jRUnK1m%0??&ݧw9dz+bzo&NR)}|;2ȑiN_рhםmjvSBMyOeW*I؏D0O+;z6nO`$Ɓ TV90AMIsY3gS9XT_@bY֛ 儀\j{4A觇čVRZmŽ6&^Y}"M*$= wm3=K׏kw*n*S@XeUAA \ zENN[o_P0/@kBj˄;Th*[/§P6ނN:,#z53VVk^ϡ)@>:]\M58aY^&C*j:ɔE^ۊR#QDqxo+AFdZ/K?c J0.ٺ7 $yF)QUYs6_1ePbShT3-c TGPnyH}cv3iA3Vld)+sf/ͺ+4HSBЙpl '-S|`Efa/EzP8ߛp٨I 􉆅oeN7="gY >=K7GVrjNẄ́MX\]BUd#/Vp ~زq3N?3 @{4M[w%vʹC8? "v1I_ԍO(: oE-Rm]z3/B` ҅.$/6yEFS̉ETP[Ư="wj?-J`hܩxZ&Dg6I4tukC3BkO8UU>4#!L@k다o9Wq|To:Kъ\Ǣ68)[0p}T^ǝ-iT'rPuFKdOxFT`,Gy:mK-ͺh6 87ACCRInjP/ _-^A?i`8涀hp^dzyK:M5Awk&!=\3 X9IS^Rw' J0*IwMDo|zz׻BYFPWXb~ڳ[W/N$u_>aY?3ئi^ǘ昏vݤ!v; 8w>.V5|dH>L{u=Mˋhq憎ö: ?<ɱS\gZG}k,?ʃ|LwN?\wbC2vcm .g0--!.n%9 7:W=dR(fv%5یEdP.ϧ["n)KIo:jUN 'W?K\8)9 |#sBC3;hT+| 1KG#tzO#>g(CiD9.Dx&c썤@^@(P\/L sy`#95mPJ{i\4t"rd7̎"sE ŝm` ]J~k^ᓩ1IIĂa-+(ԥ>(X睸XEpR1u0MutY4l`s囶E:yCPXn ,4F79j{[˕>Kb:俽V Zm=??l6@NqZh?`!7L쎿cJ[`;}y9%g U@ 'x@>قWip`ݧ5cj Wʩ. %)n! XwKCN7&Zkk|)}ف;`6`!6pPHbǛƣOmjEӱX  EaRJY|s Zzk Mnp9wQ:ɟ9TLc0s @*/{s`w4}xZ: 6Rܪt@|fNq(r¼t$ ~E~AkYY6f2_$5+5 ͉'j=g;d5=Ճ)pזL 烐0'Y(ϳljŧ/k`zM={ X[ؙ:IlIMEU[E^[yN4GȾlj1D[O?a<,;nƧ)*iu1s(<5BwFD3OH"$xծV_W؋'s]ZJ&UA|ckThP|.r$EJs+^:NiGR[Sc=TdވGu`TMIM7IYlX#8rC omgqsC8@H9ه;⛧R7e$ƯqQuL:t (]o74, w"4Giߛ.{ۑ?V׬Yҷ%*}Pju; OAC pxN}ln/2q /AjHgo}M1<+A"!ynZ|D'|KfG eWa,#.֨r3wl5!N,P zoS'/k'U%M@$Gyyvn7Wae:% M@[^8<#Z҅ʸ+Ņ~uD o |s2ڛ1OjȯR\@pp)2En~_ (0O.P9/)\v[YSxnOtޭXvI*RILFO }E ~.Odb}s-ko Fh.U_J(XVzo\!jMq$rA "A`3V}/Ѯax>WFTI MuRhմGs&Z\M%Oj+qU:2V4"B;>{A6f}'eRb%Y £GA>&hּ(`PQ=qWF^$M3]Z(q @ u~6)tdksOC Z-) 0aI, 7`f91xF*筮/3D?}!,aCjPOd5Qܱb z߰&bL_)]Q~䜂'CeT4=m"ojQśkG C[8>ms+_թCKnPy k!ﲵ6V%h)X*~kL=]Up5ϖJ6XoY3ؕ_30K7D3%Gk~^DaS'q .*Eu%"2=j&B0!w`~&hZ,ᅚZR|&2jI=If? ~jt9ʼn+YrU3 ޫJO%XGЬ'Jzh20GXTZxٷ3XJh0zNJcEWԐ ,sm">R%d GĿ+]ulk` B{Fz̺󰄗؀ت^qHwy-,6+,4fѸ?L̛Xޖ W,﭅{|$z=9U"$qQ]X-Xn t]Z;!&Z A-ag`ؑ.CG6II(`6boS-_lsEp*CuϚw)ZS葊RQwON,x%$Hc: 4()SR ;U2txkmaׅ h'yi&a ZQ_7 }L f4_+HO8 mz_pWwkML6욋<@D[ZE gǃz=<8 Vؐl$?7T Iy*3Eܹ\e,7[ܴea-iV{e^qrf2 ̛c|пW \Mօ^C]VqǬH7Um TSmpMI·/a ՁAp Dc*9VU([)lJ\Za;`(x${$o7LQw IKoIgbwP]M=Evr0]ȹ> FӁMDڟ 6xc%fޛ\qL2j#B~OJKN k!kuaa[^{EčWڋe}jLKEd.uz PaP BtK]Sq_&;9Cw=;*(f6Y㖂nh &WFqjzy*2pQ-_މ^?Xaxg{d!q6evq.(ЉXě*G2cJĿydd(5ɿF5j窕Sv:nSIYuFOmD2+'HabbPosmf g/ے|\DF驤нo@|c YX0"(-h(7MBs嶡-]5,9qS#:#lC9UcQ, t7M@%_cWG>XvgGƒ:mݭiwznyA~unwbT׉5`?kc+nmS􍃜tG5ڷpJSƉ0yVGy-Ny04= JLvܷ2? Uj pLkΜ2{6aS_[B$\o;9|栨}AR(kU C0/IeGJ\ *Y8HUٚ{zxUI4Yj|=rD%|KpE>a$;yQf^7m/s'xC`#S t 7}H$)$0/yf*RCǤӶqrǵ5Q/BZhׂ<X%w:J5rD.:fOeZ\IHL$a; JcRW*E{Gpԁk&~Ž?){8) S9ӫJxNo,G0>HjC>Ϭf5"}BZS 8~wCj̹A-6?#>:E'%JO#kÓsr3nE|4ƨ~S"?niuY~LJWAut q6K:2BY\`ܮ "ΦBPDҹ{32Qyq/@3}s.9ޣv8֞llL~A|pgoݔ&xFX0ߖ,Wu7cC@907N_ Blu8TU ' ʼQ)?}CE1ysy;5"[,g.y6H[ɱӑ^f 5xO}T>7V^ OMbq$x1Sp9 /C/ku!917v9gS_- %צܬ#9xBrFu&RAmDL?91罣7ܳdrG^$8Ӆ!B&{gdsotDbAry_b,?VpB `$.-N{H| Z4ߤ' W$Kҥ#bQ=U_CA9GR6gp!Qsg jb$<[e!˫9CySq??ꔼ1b Ta](:uAo$ːPuCb%2= y!ʞ+IUdX9k}-vNg5;DţWW y> Au'zbQ쑃@ J?TnV%{uj-.ߍ$H@ԖO]abF(N(QɏuO͋90lL!^S EK!sE2p0%ZFVs@j1#wN0vD!̽ĭ0qia§fEb,ObY=!HVwٻ_L_L:{a{-g}|9+ΝFlݏ^- Ҭ|ꤾ~n7#L2uv%X+gf)tָ~g{^䨨(#r)T5ώnzKW5uY*FOFdt6_vT@D[3?;gS3Uqm?}s4zi]\$=l$PJ݃QkTЭsK_G)%1-ykdFzURj-gb3jo*?(ʪֺi.aDYoʗe>R`y3?!l1k\C6 sJnF*NĀt6Ǟ#] G=SL ̭ZsߔN+XqdTMM^=ԥNƮOH53L HLGHFS|DzY f1f}\g: 'm%\wzl dgؐF2Y{ $2mT΁+=_91`e+;u SQN a{ȊU4k^ݼZ &=}ʎx0QH9jSoEX ʢyn|ͱ-?>Ghojį(cp[2M,H$?_ ˌzVV/~"ʐ@dOp1'VOKO,/vѢ͆0=(+G~*=DռPq7z񂚌&y` A=ߤYz +p~2Hs=3]=U] B`MO. U`ۘ1vI>JǸi\vKN_ ج-Hqvln*2{%X#2Qg )vvc9t $Q[c}x@zQUI~>ڹ!/[OJ$cf?D]#?%ҍ OD(!xlliRpN I} AgBHY5-7wB'Ύj.\X Oh< ?+{4( k,."t:ɣZ#y 8~II R)A]s1@]ȯ E1T}@pJcHYEX)$%E]C?8O7@'+[#6jYM^ĤYZ2Ֆ;XTXµ$9h;ϊuѶ-uܲɢXZxfnDzoL:cZˮ"q $Yҡp:;?$ϗ@SuXnR6'( r ITcͭ8QxD\q$KgLň2pFru+rheIQ .^Pf&dhtÈ=@̸>S`/[-OfE4wh{/1GY\q- 5cϐ݋`isA?Xx8fѾ+ZcIY/sᝍ䪞]ND&#uJ r]'ȾZegj@B8"22 HQ tE\t eunFcQ-xEs7IpcWWus%#otoHWd`S~P4a YX+u1mNPY _0>a8K}罺׃G40+*0>Uaw(? ^A&THKVW{0Ƹ/MUu[t]{NTX(mOpvP7}7v#lg5l 3Yhl  hd^|U?>;GOXixh1rhmd҇/إRkmP$>ecllV b'Z !VdCEew⧩&PR8[4.UXN? %@%x+"m^quXcD7=kE*9\D6}•O^r.ՎgOłF'Q`XW\pmh!aT:bC[ɨqp#)9(h+;03S %+w{.sb5JX).?}~WR~7f 仓.+9ƈ*cwKZq@iuxh '(^,BrCk֨W'j*@V9g¸7I we?$j]sd)&|<ۊqRO4 wx2m=P4Y[JaG"O\ʜjy3Ut/GgNgA#_*uRr-Ra{r !Hv],K~?\Yf`Q/_qz5In`Ywn`NmSypYU .O/ °4VF>/VS"̡AV 2DjuHdvgרNQP:_#;Ϯyq "C"6-;*bdǢF\u0q[%Ѹ ezexF-A%v" |tމ%:Ӂ-N*I8p^URF]fa?pVpo6CwLÔ<\ BCyYZuA͏$O~袨ɢ];hp}J"X酧CA`vWIs63K H1f )8Zp]ԩ](꿛l0Pbyj3oaF|Jʮ'*duGR{R;W^g Ɏ4)7K %F^`BM@-yfʒ Ao1mIVpVٿ]iSy䥛2w[ ;36ߺioy5<iJjN0ԍSL!6 T_|gkuᘴA Vةy%&Wdc:Rsil|-{I;abz_IğA=(vCoW8! "-I:#=Qx I!~a!WOSQ8Vở z{I7}ۤj~|~S<<Fғzꒋ"nI <t.0~)PIXHLq@, %ǻ&!~.,4tuuXEXdGb9oֿ/$+NziTj#RȣCG+*SPll-`fxhP+PMb?0@R(;s3OHȖ,=IFiVHvlk1 gqDf]afU^a`يϤl8cAS-Mf (,b5]) 4$p OMI|$:kdH)$3D4bmZ=a墵B@jK`va :mvƮ2C7N ʧ_y O͖i' *STPx SIs֞ EσK?Ф@H%xQ6E TuJ?n޸ɒfsDtonT,7!Iovb 5z.NE3"yG5Ǧi/M{X#s_#EپY@q3U2-=[Гm|X+Ě^CJ/rIל|؊dm^?(,crIMZIq Q0 lL">־s8Kb^-E][<$2DAň(wIQIQEZ{|xwQCB6Q1Ik63)gH< :>=` W 6-^/罯վnѵSMZX4z2xYi)rjկq}:_2LSwHh. 5>u 8|i&,G׭*Ԧ;[Un^ߘ*vv|)G %Sh b%c}˲/_je2c@:9W1D;"AͨHLoիX1:׉c! y?3q=#lu{~^`hrsp/VL!Vbh a ~H $" Hr BYU,)[#Y~- ruXB'9ӆ9%</]!EeQ3)~|e,4L#|T3*ll.d-2 NS]qu(1 ClAz 9҉i?yhCsqj4)ے;/ $L!.VJߴNlZ;j6wtz7GǼs+`^!`pWh>O&m{ï^s8Hݐys%4azB=Xvm @FS* VD#@%{tnf5x0`s }`t^D*"YdQ vb뷘ExE*:!sN *܃ cUGCs3B|=qt,8S, t _46תL5̑XD;H t!(b]4-T ~p!Z =I' +\Д.F`ʔ4E)R^k]>{q7%p?ZQ }xߗI!MIiLw≞e Z!춵axoNȈP,GC—_\d 'Rjכq# aQ+Ăv`IaH`kkrUuNjzm LD09c31ȇ f>qL\ S8ϓk:W}2zF1R-9hV 8H/1qẑrD].G*δzђ_?zJ T$[S({_nO} k/Iޒ$, WvYI)I"FxzԺt]'G;E3V7JM:/fi()uguV049Ҷ[ }kwf"/0rS}q5Nj3 q&٦[=E+~P^pMŶRyaa,uŋY KˀRC6=d uCr2VU #]">VG1g*>o7f֥|I)ip,ϳ|Uݲ6Z̠;%d.㺥)֣w8vɯr@$)765S%O?bEb; @! N9Mi :.%j%^؎a3yo@jeDXjQT RX 0h} ^(yL޻#Wzv% 8 9WXfSέXZs,I+k:jp/&h8N>]q5=Tͩ%zDί [Md(/x a5!H,^/c,65wgV *xQ&sբj؂("S9 HoC ң~l#+F<&f Ks/Cct4}Bj|aЅ(Dld614p!G){Gpo5xkᐄ;"}o_a;k5 7y`1eӟYSzjY{Ns9!&d,+8N'TČܥ5.}U6qDfqN2Zå^AaDy꫸owO#9lWd*?g_qX \3xQ_3,I˭xV\4P u`ƅ"Nm;1xRVFeO24DKK~PZB%Q'֙WߡVsoLh"ߨ«}B9 1?MRk֥Rvt aEB@NJ7m18p}+ hY;s=H|? 9/|hƑtdX5KtC'oSNۺPٟpN,_ Ezks\hzliH2YB\ `ȾdUP;vѬ0ePZ>z>^T$~"<jkj1@CRR^X`AV[UUÂ[j(,a qOL@;I/SR\~Z6tA`ڢ}\ d9G_bKyM-ۉYRΈv})6Y/<@S8]OWdbGE~0"%U (äv7B~G:זb I= 1g +X o?9ErSR72/>A%Zgֲظx8 sәi&׿QruV3 a)K7-%Fz6udކc7 QK۞DaJ3*\JSQ`EdɁŀey 8Jœmd`@tʾaVXӦGX V^|L+4n\ [}'*Қ>g]@1̘m|]V_ÑnohX:mxR3 ĄV/`*dNB ЪS.)7v* vjz0s?Qg_-&oeDp ֢ϙUI. Rt 7x~AOa>oe$QN@ 4⒕̻mIqe79.ˆ3/tK. wv!_2x>}'Z3基S~֟ "Ǝ!'9GI(C_6^ƍDOnPt"94WDt<"'bb4G 132Q9P>+zݕúHHJ %v#N.V6Zʹ`"<r[Hu>X(rG/ 匃 ܯP:|hT2:bp?ك\ˋpS)f/1i򈌴j7٦}BLQ{fz]KuL'RDo R90U32cKl?4s@I{iT0&XǹaAmֆGTkm;۲ȵ(3{#o@%:Kӗ`z"ܐ&4ĦP}uZ' 9jAĈ\,mTkJŁMm+b+-(߅vQ'_1 +=}E+TU U*'}C~%6K#u)3a2-(c9.kn?|nb)z7{!'hA,Ho֚MUIzҲʅST8@رò< Σ,'KғC{`wo+GF*tȮWb=-c|#׵z YdXƬ V3VGv]WKopY)H' 4cVЊpP{"Bn0g0UT6c89apY VΚ "qO&F]?I;{`aÓvQzEn- zMug;YHU j\=]!7X֣n8dH͗VRձtҸ&]] ͻZn<՘uA ,Kayoa5f}4'[]`FSe4KLAt}6iy]mX8f*돇ja_sxԌ9A, 3`\o:<ԶCn' Oah͚FN^-8n ـjl 7ᫎz'Z̄W]$J5>D@m Ȭ ҋarxq꒧3JsPh-@ 1#RRj}t/'^i*Rz dб}y-cM6Dgf~1=5^"U=`5,d=lR8mv Gi{Rb'pB b3ճCNNLwkG6hE'o od-80}39Hh~ ;C]FK6hdۦϵ)ԴOjr Pn Ƌ P̥[&o"sOw;kO 5 vF)Jʌ:1{nAP;y](<V%c-P/4H.=.?,&IIXC6צzH1X/& owqJ,ypfo; uj+b ȁ>W;8eK&I}`: ,9p#)FGA1SOLNO, rnWl\{e\=9=FԹz_[VӠ:!r)"]*+'k̖͠\L#JDb)U6 |AM|Y3灖VsQ۞hѠd6~ԍu2w)drjQ&SF.# ЁhV+ࠦ)"di<74޲ZFgh$w:`䚙7MARPTYQeG ?.Nîɤ6yܧ_ 5vƑ20~oHa{vO< *m]sKC잚d.*zq y!VZbE`v74sZ:`1<U1cO |@tHT qfjxiIa;(#*08A4yA=CnS2?Qk{ҁFEh5'H}`8#&jqÔ-Gt~nM>M\vcA-4F0}x#&Tn%Bbяe}_-9fZN2E x -vi[V,#ס,LcHJ^ݿؽ%_ ȏR$Sb|E[[.mDJِ3vy+ y;fDbeP/©ʐp්ȝ$6f-rD;ܮS3yh@͍p:笉@o86k#ڼGkCH"]ްI~4EEvw+6O %l5SʛIG7D-F5` Гl5 :VBE*QttUɺIC-Ϛ]X<5_y6 `sjKC\[9M儃.#|ܠLCܘ:Q(*N6w?WQv˵`ɕ-xxD#))z?Jx|)IC\``$E|1=wX GUb<.9)fW.HwnBٺXE[ '[ d@  vS{+d<,Vrq2K&C_ wpްۨ-G0D1v%v.9^T q2T`"E;Ӓ^Tf#O/0G o$baˆBIYSl 2癧L$w ry!DUwG8:IGs!d(šw5b]PмT\Pޙz,HSI[}KbxYƙ(uJJ?Q@3m =z/@Uz@B0?5^n'RgE d.(u\$Q0;p JLl\lhI aT9#Z,[fPNWV6 |K':LKTv\дD\BxF8)0J`⒵][E,7t=~ o@eT+YIrujޒ:q[=q"T~r9?1\WڴRi_&+38EѦzELTH nnU鷞S0-7}%z:6B {a_rSZ\ Pip7QrjO6#؜Y[] vi}BaD^t*c7'!:sT=s oi%|B`p%_HׇMdaJWPWSm Kh#p 7h{R(Upqu7IKQ020mќ06~zI~v غ0ɞoRЊHJ}WptHNWk]\9M-Ck׾9aMIѧ 7R.KqWB"f!1F\ᕌbXpx8f>s-wTU_ŁAϬʘ=1/5ͺhv=.l2,j8b0ej+ɢ3F@ԛqaIjG DsČEé߾pQuzosL7O{x?Aw]z,ntO ykL"]c : YL2AiLRaR͒fR Me!?⸺i՗:֒Ӕ(7,܎u( Dwqu$Ō^w]IkAɲtoXo_dYvUZ5B/6T]R쩱 L\CRQdZv¶o%GRӵU׭.ɓCݖ`4n6/CbNӟU)o|R3""@mLD-'=p'3^J1K&ȗbı$AD,l?fիP{΁*!kjrwQ<ڸZՇr?.yomq,iY0֭LJpb1J?V'R62tqQ醣ձuad]F]kۙc*rPܴ5^r:!1M7sTC,Bi#I4@,s \gS [A( 7X[`2>:qtgC\Bh:5OȮx1c_NJ G]/q+SXR|dw Wuܱ)p.ʅ.t LޑѭjBE{5tkN6WV5ao)Q0eޫJ>\ qw4;S2#\^d"  M69 g}+m2):4Kv [iMȟÕ6G I+¥ߖuH:=# a3 m[ya6 =?&?XSR2h#%qnIKC iޣ:, 7qБ!2q7e7YΨ  {A•K1WG>b_k٧4kڧ,fZ!*.5Rz+]K70 tO?o Җ-+Ѕɺv\[J7eh75̙茁~ V2NE/<x&QĎ֨L)^Y6'yl,Y8~&,&!\_*@<&PR(IYps|_ ܄aqbv lMCSC4ËZK6uRwm@MQ20`pxi m~qipЙvFڦ'N)^M,;JdC6ee**vut='v\}`-[Y]ѲTY}گG7EFuo?> E+1bߕzE|A–ȨSeÒG'7_y5oyd P@U~ªtޕtD]6c˴撱NF: ˊP WG~dGTU0gXt'dk4Wv<(]x2}[jj&̩d {:Yry5{sepwha#y'^x,$KJvT z*V;z ,q%ZLA[!C!!LQE5)J 1{2lNˈ 40~`w*-fZtk1B8?dzr[>(~[%wb l xN{{\2[W>WB"ԝj5}6 {`E+w{=eQ\’c4Q+l҉R=[(À Y Y c% BEͥ7Cp,hwZS[L4_po 1#De ά^ɫ+)ױ3`/̵Vm^7bT~@_" wI>Տ=VJY՞WnU4ZڟGMgQ;$$cBF}U]yfQdDYO% K:*wc(ꎨI"ʖ4 Ҙv.!>p~;7&EVj?@" ACYEЕ# LWA^y.>Yd: gnY%-ܿc5.`ҟ38qXb Ě m*b鞒_RZJCo h1dvEk+l۰d3]y]JվE%vVMֆIB~b<~E.!Fh.do>U5>Ĝ{!gDZIV6׽f7LrqE?F*iD6v)!а/z~XAMJ-XI74שl^Z-u`Óx `R֪#Nany&<&=z&<N1@mKa~*R`$"Ș'pjj7pv4!diFk!iP!*̨JVgn-1 ǖ䭚17 ][t*@Ժ*"(F Hb|L䶋 38UD>αHm2֝kL(h?H?w%`^к^,@pb2O5X7{6Tw_DiZ?Kn# hobN}D\Cm٤ޚΫǃR:,SHz{S_o HGrVӏF:X]3a2SOLD ۣW9aeȨteY{,"2F1r?B'Q|<clvQ>Bb[h ?Kv{i~%-ET7՛ǵ, M7:7m~ Ei 1#CbiΓ76B*Ogk\*cymbϑVO%R˖y#=}Cs\뷦>N*dW)Z1[[V8=hאuR+-#q^E.?@"U^8qnac 骻r־|dy[ ΰQ1pV6[BݯI -,$bޢ[+cz5@X0Od)+lIމeCTOiȜ) _8c$=*U1NuaGl1fj7bg>gnii<1 xW|PN.L!8}0F~Ϯ#ZV`YSB "zn5]hs/n/J#'1^jIMI;)J!7Xa'LW@ޫ]9pF4 ס'tQF N\mfP{u2xD "޷~E>yx$- ͜x,T`&FZ E7tB$ p:dOQGѠ{K֣1I"G>č;9zaظ+Ifrt=X̺ݤ2C<@|`~%Ir:KȄO`8 γ_[? BtVrI#TJB[5&cif^d#(o!h&vialxN g,vuj2y >Zceqbҫ@NptӯS8 ;RߙN~7ș@{-^ypOM;Q?{o'kbAyvҼ+-|ǁqDEȓChX[,4_-Vev8Bl y{ہ^N10/2T8nICx(a/û֪sp__ pRb^c^񤗴 C,a] 2(49xR.>pBbH~.n] m7W_ cKs"V,.W|cWHՈ{9g0ww\t3{[E5S/jNJĖ9QDzUSdʼlJQXt4  ܦORc`S2win.=*aM|Na:zf_y0237 ɼAbr85 ^)=>z|`kpvY|^2F40_ȊQm]bQU~,ћdAV^RR ]iօIJQ6*x\5U(bLf5>'oފsAK/Sshj):>E ?wq01GTy;exlwc<|R`+X VE3B iM &l_kxMJEda1é^/ @4"CÖt.+c#84؛**C4I޿?-O1&14={.8zh޽͆A_N:d9qKJ;E!B;RǮyu|lV"Véw'ϾP ЕLKzΤOòjȡ˪ 0O';ñpgI27h4)',?z!$`__KE6o-ʮKģŐ 2@_1|?L-Nٌ= _tb{#28 H객|skvӸT(Vp m+5 ;V<7EBBZ9Oܦy>,X]穈7F(P ޼&LȄ=1ldqǒb/j;a(k{N ]s=Gаu#>RR`6U5df}KDtD1hWQ3.;K#Ɏ}+Uvd$vʰ'Z)\.Eo\ETW0Y'(1 jO#m:2{ˆ'; /IdѮ@ H.HFT|Y<|3'D(I'!Xq/ntav%}FeK[XDC߳=P@JOEd9Gu^hTM9Np(lX 3k.Q/RHŔ*Ѓ]HՁ1r$7${s[24ҷ{`8Z}Oz&H؝аO]1);Zϥ;#6ZdT|5.{7.;"jᣲl[%OEuH|qF<`G+ :RCS!kf^\|j!Ѿ?LٮѴNuDB<2-KMՐ+&Zcysga{4G;~ 6[DGy"_sP,O`kJ7|}wEC۞9%c#~9!} Vq,+.wU56? -7K|IugzI"'ߘ@D 'ʍފCM1*Ί_O}6_,OOJM?A[:TZ?yQ^ۼ9i?\M]|*rfwJ>De03edmS45\ ' aLXґmq(9}Bǧsg|<( ܳWn萒էJNX{hD+GK=Nrbpo?tr1#F9ӜqWlGE{̧T.c3| b .ߢ7m[6ΪMU8;P44R} ]מe~>T[l`6?q|8W,edV<帤P 0c|0}v[{X3ȝ^BgP Oښ6 ֠ڲL֔ <_!7vI8-<' ޓ1u&y4L(%\|UyTgtϟG\J6؏O#|pmҖ'V~\>gQw !Ym6 km^jdٰa+gX4nƷ)5bit4F@l![MPnBRx藯og(%H5َ1:ilPoNZbٞχ mZ?o}ai1bDYf#'aXR[tK_el`ymةA^QǯVX|ޯ#A3g&,:d!zh[Z w++R蘜e9f6aN*>}\kvou6Wԗ[,Wl>G>143Š,ᛢOꓱ+VZTOT^(hqqϼuVv_c&5RhrPVNid8jbH.7H#J?iwY#kWzCqٔ"=x:\R8xLF\Kf>W K^%C6"܆Zf[ xb/=}5;| %.xvlaMSCz)PrǰA>{_E<[ZI ̖4b=bbXR!_bB t}IE]!]5в@ ѯV6@NLm}kXɟϷ498N7Z%בI [l5Fw/9-lS+ liHhM% j@DIkmv0 s[cZkQ$&(~ٞbrFq4"~["6bWdWWwgtQFQ 'P;t 4't?:[\gYZ R#=!.HOL-NominalHOL-Library.Old_DatatypePIDE/files~~/src/HOL/Library/Old_Datatype.thy ~~/src/HOL/Tools/Old_Datatype/old_datatype.ML=#=-HOL-NominalHOL-Library.Old_DatatypePIDE/document_id230C #35 HOL-NominalHOL-Nominal.Nominaldocument/Nominal.tex7zXZִF! ]A-MՋhvG"uIBm5ĸȌop< Jm"d7~1YS%U_{{,wnC#@GJlcvD'olHyJhu9)xЯt,;f/[bϫ&w؜e-4!Luɇ/` abe vy$;; O_w 4sCb݇c&R9 -M⛯C޲`gpi9 N 2C5aS5MUegPDT,h$v7O|vJD _$k Z[J:WE.88\zhf{E9ߘ& . g5n<ι1tlhFiJYE6>3~$~C|;Bw,Ʒ.p)wJwx/h+a^'Q fCi|\ՠʿ9Kؕ OL hJ9F+3ۘn/el&4Zbm6SLǕ5Ac@$T݁zXh yU*\C6'!hD_aCAj0$,`1 gE=uuu;ibVB59Bw#:6aY(J:Ԑ SXr,K?.ӟ$wbI.|o"DV<&9 캥)CI!mq>HmtWPS36;|0aLHlthpE»B4No(rP0,$,#P{:S$$3vVXGmSN 宅LM'jLjˊ: _f~>~_A,H%-p|7TLPt>sIa?bg|*UMS08:!/\0qGbEkIz u,(.-|᩽ƹr g+[CnΫooitg)`:ވ0dq$3XkuC6{L8 v7l" (9cU~ؽ@L#"^Gšϔz]Fo5 &u| DzDx 1l5Ow 9F qJ~(Xl8ց"úpp:3֝f] `\׈Uo%61kv-8ҜuFQ"[w?M2r9aY~p䘄 D=KJ %>  Vs`1ބa@~FҮI'!=g`~ oDvz A|6oRİRA+;:BT IœPԼ:26T חk`#F h=qjK#mzw[TI dӣr#GQ[ۇJ+z(%(:9?)Œ/3(:Lx|z(-M`Eli}B?I@\([}]}e0iPTԃ)g*+jyYݨABb!{%f\`2c5gum dUP^F zE* 7e2XNj݌)Ǭ |~"h.\I~HSJ`*U+H(D钂K? NR52#vwpLyŜ˖Fug+YK&\@34l9v /Fz.n٩\_,1u?Qw_OE7aa\ģm 0rkSs.q?#=n>{NщH'$O{:0^ta?UF$q/qMɢ_% o^{DC1SPɳC[g2  ;KrR)PUEUqJ|yF{0 ͂3aHHd,&F C31FP'Dmd}@Җja=t\Z^:8`n|)V&^؍XEC9D2XJ1j}6C)nAZh6FULHc  nK h2Os:"naR/S&sSK t;p@b(PF׹V=qӖ/5//xj A#z/Fᱨ;[bU X=Y'1: 3wG&դ=N-p5U‚ +²;fZTH6"+~y/оWveٱOaE +Ȇ#_w<eankOVb ℸF =ϦE<)nߖHE1\` >IqˉٿXAgGIWW@Zr0-^i8Ccf/"\^xg4eaAY 9QG`r   .`W #=!RHOL-NominalHOL-Library.Infinite_SetPIDE/files~~/src/HOL/Library/Infinite_Set.thy= #=-HOL-NominalHOL-Library.Infinite_SetPIDE/document_id232 #=' 4HOL-NominalHOL-Library.Old_DatatypePIDE/messages7zXZִF! 2]·Iq n[:|&[zY>)x-\Qv eA9 qbWEm5-%L NymX|方W\Hg˾d{[yZHm)'|kYi ֣- g Np̯r;9<`2VomIr>/=ZR84m(.=}\g>_T|NORfWm (¶wKWyCZ*4b> rhwZ=-k=Ӕ9^:Y\*GcG%[f蠫=6k7{y p:;Tuۦ59\m{epL!'ң}FѼZMOȊ8JgYZ#=# THOL-NominalHOL-Library.Old_DatatypePIDE/markup7zXZִF! ;] !M젗OFK?;uL2aL{v4(=zklۂ7 {ekx(HuzAt]J ,<+XXLΟ!I@`ط?ZUČ鏬3;cb0#'-Fч/!QPfOV>1EZmX/B̋S IXTBTUEePF?C4P2tAMMZj8h=9Qb۽2 MT" =Cm L3d%^^QY4ep-V@6djV?IY!2SY=4rUCTI>< д6s_#=% \HOL-NominalHOL-Library.Old_DatatypePIDE/markup17zXZִF! g] !M젗OFK?TDjda ¢e ld T?cnN?of>Z VYy10}I ˵6#|$PvfTW[8•@ >n(6!?(t=Vy $ɯb@Hdr,4}-73(֕]+(U)~*-]2g8_h ۮXO}0h( Uti*i:Hrk(ǜ0<4~muTtrQlT4a& AY&WċBLt,peJO̸)+|wPڀ`?ga|lnJo̓ڏ@_Smc3vmf?>nV[E-m-rNu,ؒM$gY츤RaN^v *"TlcVߏ* ^rvU\1) 9EWJ[xtl!R`")Q- 6,T`2k^@J)q+Xi,%> SV hz!5| 'Xc(QsvVo_8oV$\Qy;淁8!ήV}M0htx͔8jnNb]gYZXډUx4Šw^\L8tmnx/ x8JTt_I\ G! 'y8O<) KC@$9bYYч-a#0p} gpM8^bK2p} Qd/>atS h\VvrM* $*j Lr׸rxU#}y9 Y7Iƶ̇SZyw.1I䤅?<|mN%@\O>Eqei^uX8[H[@LZ2D^K1m\VQ5`) YA;TcFve[N.| 1=j M#mz\|#E\#["gQX>8&E\SLCd:BXTb}*t=, S3mIa#y)"p)~LCFF: dmUh-ɸK?BwHIoO|in!huKjkDч털 Hd_2J|]cҏhE9_JI5'r`{thXJ5Q 8_{3w9O ̒ј'6Wm>?/| f]8"5쐑mf)7@&W QMcY?y1=nM|Qs ! ٖs3Bm hM ѩp t٨97T R Ec"^vsxE[}OjCY{%]=EN"LRYDJp:n%T`;ʌgK9:K^H#t}=>B+`lj ~蝗>]^R=rJذ]\>++^XCgYH ~5F;z 4(BNLs~,S6'`N IP%:=6I"80 G쪘& N}GCNd"=6cd)pYl0c.K k*1"I amխw`};*&٢2f|yMWe]*[+Gxv 1 9i ?_W3 .[G 1m%g{4$hR*3Sܽ 'kpn @V!1ŐIlή:$|D3lӝ~[Bj1J59WS/~y7 cg<.>`Z'IQy0J Sf=!5\UuX# ȡ+y*<_'B+xF'e4Z {YHQ(Hʈg\ߍ1%'*ĩA)&KZʲK~X^Bja.ʩ}Ɋ73 #XB$5`빂ʳ/zn+|̱YEnɤ9xx?& 9ʋJǾ^~Lmv[i@q1z52QW?Rl$#"|BAF@KF9\"6v FRo̞W17uaB| 7xz a6vhGK;>%4IdvbBWYXZ6' 3~U 5-c3h<8HD ōLO5`_=ۚsi<1n-3\;J gp!}ly BuU( bFMPQfsh㟰rs2a2<˳(@j^<*ai<*lת5DXُn<08I Xe(0ٱFx`7 &F(kR$ȋϠ E-) w`ӿcCS3gz5aڀX~{)l>jzv_E`&Y2:Y8^ź,IyZ3zn@SOy*ń[hT9fkw5B=):r3/.2Z&]DXi N,b^ JWV JŬ(p29k- CG&qߋ8lHM (jWշ&)V+5K\^## Pfa^"jה4k6AaB grBConCV/+^,`maU<'.x0JIYtݥ u| 5tpsān=a/H*gVJ:1qB7C%KC<,S ;aaھG@UZz?82l5F#SF tpZ Zm?mΰ̓5fa%ypWlC QWho\J=t=]69:g#zɮ Q@6(k#XL#dzJ0/|V"0 imqC\2\X{ z@9e juR9ݥ:2gHbPeX=S0-P.Yk%:Gc[P=-yA"Ah;'jTH%Sq2 1_⊶Z|oB6o0\]сH Dk׸Ii컐7AN(H]~{.q_oBv% 3+?\Tq:_v$@V>@?P"@5.@XlP r2Xs 3 %7h4X@Pf';rAX3G4Ƙz▘`پ$s SaX<b@H\)XϔN;.J &n ցvWSN6H klNvB8XL9 4!wr| gYZ/ֽNnY+pzը{!~\.=DfDraSN7 מH?}D`~]EoRZ oJx!!GΆ .ꧺdVM^;IL yt iޮX"NPfVё~c4%*8t060^hPu+d]h!4Mbl.LmU@a6F8HA6wrNգXwf5 ^CZ.I,ô@ dbhbaBl0TH~@td@1-5eM0:Xsy=2wvB7~O镚XٓCɳA OU]A;mv9pxd _>٧*2쎗4\'/筇4˰=̾x -D5;WwSY)*ʤ% qʳ\НM"FWBz3xvHJ^3E cµ6 ïgBY|9fXȃǧJ>B ,ZIPڳGaQrWv!4ic3ɐj:_kB4muqm?X`LV9U,Q=w!tsxگX\EiyQ|)Ұ7ZC EC |B}9>e|V17Z(T)@R][,L ygpg:VpRt^ IlܪkSɉ^ ƹ`[~4Eq4/߻l!q:g?2X*>5:>#aF?߹]kv#/i82hٸ0!>>'fi7ظ '3Γ@$"QxM5Tuih 2oG*):W":̨#Zs 7u%GCI:,g=wvR0YXM}1G2s!DiH!pKshfV&UZBGr?_x⋭Kl=WBj?}CVkQL9e) 9A\B&Ѕ6"Ya`Oʕlt ҧSIdtx?}b|*O@3k-8o:~EJ%[;GH:Z*(3"1a[-^}gX7Q^{5ʑ e}w e񙹐Uދ m:xd9P'|#бy[8PO >\ptP Y>lk(~ 7]k.SAq m-QCW[sT6K*6DdZ.,RblЛ%da̢- {ӝ\c1_zW=6A +7hy~vѭE ȀKdl E¿/ݼ_e$-&>6`4Bk*v :UV`sjϩbnoӌ __,,FpVf5Tkxn*2Vۤ̀f#c'@*ܭt`]J1X!X Ȳ wGdFwJ[ v;1i8yςPSؔԷ(0xNHЧC ڗ$N ).դ}^"%GJxSҰݧ$9fC/[ U?>z{X~( F̺&qEcak\f}8A0ڌcn>vni5|QkmJ7 ?OίAwgg)gWდksX(E1 4t;X-@YJSep DwTgDf‹_"(UCUQS><..ͮgu w٠wZެ0-n$ (%3m9y$!M|#rJx/ 4e²=hON ΅7Gh)2ZȰ#&yYmJc<6m $kh^"4D:'@CGhv$\MU]0ڟG u P*? !+s `F&-ē"L"4wn7ݩ/tjk>AWГL@'{dRoўGH(<4b] w#Ex PT/#>"VE.yn,[F,9s*nU6܁s$of#|j XTVIpB<޲z{>TMo .L;,p4-LZc.B=v&LS#OZB+TԵ\gYZ F ,F)#3!~HOL-NominalHOL-Nominal.NominalPIDE/files~~/src/HOL/Nominal/Nominal.thy ~~/src/HOL/Nominal/nominal_thmdecls.ML ~~/src/HOL/Nominal/nominal_atoms.ML ~~/src/HOL/Nominal/nominal_permeq.ML ~~/src/HOL/Nominal/nominal_fresh_fun.ML ~~/src/HOL/Nominal/nominal_datatype.ML ~~/src/HOL/Nominal/nominal_primrec.ML ~~/src/HOL/Nominal/nominal_inductive.ML ~~/src/HOL/Nominal/nominal_inductive2.ML ~~/src/HOL/Nominal/nominal_induct.ML8 #3-HOL-NominalHOL-Nominal.NominalPIDE/document_id234x #=' HOL-NominalHOL-Library.Infinite_SetPIDE/messages7zXZִF! ]D?7 {?:fH\:O'v0ZMbqOݫMyDžNr{W ŵ|P`K0H6kyhUiU{_9WTx(4G9Iδ_#ް% eJ +漄j(5p (n[  0ICKqw\W5-'R2A#_+ }DXaX^r}׻%KD"X.C)vHA\*i˳_fmC('0n.-'dm׉3R|MӖoɟ)}t]YP1EŠ]h<^4{~P$!T.0幐eqa._0 _onsae?bhu E=Ѵ ߉[]OSQQđ ^NVi>qP $,ɦ,.KhVgцҎ=ѕn:fnNj-,ظ6ID?ɷ>(UVBKG&,N֟:`"(WREso+BѢdTk|Dv\&z:՘P(w@¿Ը(#s,> 3CIU9 ZegSL7@"o{/HѢD%XggYZN #=# o̊qAM_%2w؛&Lgna_b^=~KSʜ7 H5M>9[tˆ ?@b 1Ť&;m|xX/i;:l#&~GiŪ߫ tiD !#yvgp*iG䯱K"[(t|KfW< 0ػ{FgB0}߸ЖnVf{`>@nao,|# +Ї3]>0k1EMW7Ԭ W4X6@t 2\ه,m°傀ES1|"Dk[σJTlғcr; _9uw-BjFtletD·csPD &} bI"ID(G+NEɏ0vݵ$"lؽV%ڽ% 0vlrO{ꡄ-TGT3p|llf,&U`_OHph4,O1IM&K6@"ȔYE}%&l[52H.b]7yIͨ^ݰpE~K~oߜPwA~KgI;Rn< Z֓Oݗ M07=Ъφ_>8C4Fj^i5#rwᯊgkտ/` ̀-9Z{Cn6q cM!9TD i@Ӏ8_qX',٩!fB˜ZD27u`>H kSho Й SR!dһ L\yϖgQR$PW:]4 Gz l i<̣bhPΌ.hH/xmF.r+`b]|{xSeF6>cɀYτUeU Boѿ7?: oϗ X)NR'w'dE0 ( m?MS7JXFE<"hSgx+_s?~L66  > ~#3% $HOL-NominalHOL-Nominal.NominalPIDE/markup17zXZִF!  ] !M젗OFK?ɬ60Y<#x{+}9p<39uNV x)QKg,L_>+/e}zc##H"!N M?gUVWf-^o2xL8E#e-QW omi-vBu[' _ׁ:B* r^hq>!z[%K5%S,{QE'7e&ScJADc]R*/̺Dt>W)wLQ'c *wZi7_If+7I8GۗDK0)ktMF>m=?=MI>@#Alxǟi) 7{D ޶F Dna!c:(7eHQXBeJxrV2ϯcBP{{ yhD<ԪO ܃hچ񻟜o{#V"ľxmįC% eAj:ll*<yA;F׉lR5!6倣,Z3˱JPOi/lNM@6nMr /b':ȯݛŕ12=LfWLClS }sFt6q9H~!wnQ#\KkĮTOL|\`R.SNlHYpt⠫C1>j]\[8obqhW .k߅DG0=6HeMD4` wd 5*Xư7t+o1و]eR*@u oIKVQ5zԞ,ݱLl5܃}Q4ت(o^‚ž&eOA\q@-;[j}ym9OQ.mCt_;k) %ą؟5-ĺt~9>BFDGl7q }r$т*9$AB+_u}, u]79^/Hޗ^o $|#cVt4V{E/3'L,)JKag7qΦ;v*Yy?z]U$d EFkMzm:^VR/5U6h D宓s_ dٸ&6`SC*j9cU}AR%Fz\NJFqL~ VhMa9op-gdאr+L1w|2tQmJ=$.%pRfd~BVZJ3OxAx(w[.`e܇(MnBJ՟SrF>C:[n_OK_x/ScJ)>`˯C)AN1T^Aqqլ{ϒ]~S8K ejD8%9Ď|`sJaP(cF2FW䧟z:zvűQ\Ykl IvD 2oAE wVȭ/F\e ԥ\@WIWcƒБs i]9| kA" /S+]e-9s,tAx˭u?'ڮ^>; 㡕 m__uK]:=6(|꾦NfU"sss}UcEQt6@P:3QAFtڦL Oe-I !Z̵cL((-x.EѰ ^௨Tɛl`gķ5*w1;!v]xZo77rvq׊!OR46+&xEnp[r1 BԛĶL|W:oݴ) h3*/!*_>!i{R!boPOנ7K>CAX'(91^>sZFbxe5ƳEeAJ=_cg9îeP>::3}OԚ#jyY܆$ݧ0 T6%nR+\?OC24|ˑH*c+{Bb3k$)ˬF-H_aX4 4PsqTզPIu W/l*1[MVi5,J_]r DD*PJ,:Xؘ;]xgYZ?ZOa>I?j>+=nw.A>Jx.[rW]5 tck!" 0fP!9n=x}>MRyZ-œ'n.2I 2Vau8 O"1nT_-=K$^>;uyg=ݦ} u + CF2(Wȯ'-G 2[B畿@,s+X2c_\dƾ^o#zj5FLcJ#I{{xl@1~F݊T{ɥiCRJ]tXb#0?UMPj1 fK^D]ٖFC7ۖg_Gplb9B NVS -IL!ROd1~<) :D{bpDV $FG"680x=JrC,)}ϓSb?-speQJBM7B|sU+"XSvdN\}Nᆑc1M,CĂv_yzYdKd!>8.|'y ї}d@Tk1f,Nve}!P'n|sIw{!ymX6U{r EE/7:$Dt+P C^Xԁ ڷgOT'jd꼿sg{ _5LrՀ>n2k ޞDP ?w+9 Vňh0F٘ث9iCf=X&11-:<<#WA|ybPX0G̶poN[6oՌ/%xF\ܞ=Ӻ4&qЀ;u٨(Re TY)a0r-GVL6BTgh ~; ۯې`^fKr/G$uk06Z^"@(_aF h 1fXH4B p(o\͈;4vH=ӈs,3|7"Udx|Jp .u)ŻIqh}dވbMĶw0ԙH {ݪ.09o`\iGU$hc/Pڡk3:/r>!u4Իn3B+:%V`4T$!gEVi1Yq_ b=UG1fppʜLtkGiLQW&eXFqycygڛ]wˣ B#L2*[on76ߏuFh%l$\NXz?ܐل ڪ4m3z~=?'[i9tSGͽɐ |RR0%x|ޣaE:3v70޴J|cˮQ+BWυNuuGT7zZ8Zr-}:؋MZB\4kؙ䴜PJ[K |fsB;?;;&YV!q?dc' ^*K%2ݧKA}cbmԉmpdy?4ynw2/cVTΥK#&QOsW몜5 7}c'SȐ:'V@SO>U۟, w*fRo=#My3k˛{9*2]Mr}PΩQ0]aϞWj,U"neY_vn/j"JR6GDl0ҟ#֋ЕE軁Ady2n%# b\OawW_֏qT+Fޅ\8iIDuqx\Ndi҅(|/q5zY$FP$@H o^.~%SP:-d 2mjpm>"?]2lɠyɠP*#Y/}M]T>?A8<IM+ YR4x`\5`HyBrViVs5 ?T¼4h9$c=Dת¤ exqNv$>¤AOJ ?D'DP?@sZђf▹ZYtB!O=ޕ4tʶ5ΊwtizL#J;./cpNJP Й_ynUoY%O-G I)Vy.;ث^[-&UdWB=4\R%ح2 FnaZ9Q {RtAv5eYt}AhM_`T.=2g(HL{,ӬFԅ M" +| H0!v~+"L\JDzYc_x#g \NpY@;2SUY x(16Gs#(;Sz;^X\d14i\k^6M_ɝC{s:'( m.9' ";L݉& oF7Va 4jasl;M5ỊdCf٤}p5Z4 wǶN墇J,gQ8YzY/B"N:S2[cA1; U*Z9TB0~aϏ[ev?RYro }A<Ls8)a,orUX;B w]" ^򉒏MϠt@#Is1.ղ#ABvE[dY襮_RkCkQ-"'!ؒAk>/1_AiJ]ZS ܤ$YGop8k(B(eO mnJ{#)I&Zr; vuBEgǸ;7y! oa~oOܤ; G%Vv?MX Am%w)`Ԛ8=.[*j+c#WQ].r@Wֺ{2`4\MKkDфاuh?Ra$@"$#^>*s'.wXuog;~G3.|JH'A?knAF˄}A$od揁MiMSRϺV7Eha^q^Sr( wga^ViUx+Vq 4/G/pc=fc+; = 28=,b̜APgQe{i* @AfG(B\ڃh,7Ř& |GЉNun$+ފgd!EwZ"9C5lQ Kv$11=˷詘-+on1lO3"dїXzIᑭ#et:dJ!mwיIc٭927hѵbˠ|{_]'!C/yG4DߚgĄsG+؛@ik6k uvn9xp 8cwMb̪LQ'̃T@G!f^O=sqZ#v"Kǝv4 dgj zek U\M[Fc1-mU!̉197a}g=MAW^A '-I٬csM K$M(RCet۩* /o} I6Ǔ W* b I<:& H>O}RarYvy<].7gx&FlA8,٩D/"<(4NcrIs(Fl5W7B )F_& #&P0E&:mm9m $j /dp  K.%f;2K Ks[R59^xykbA@}(O7#\J'pJt@}d~3ҬK(>TAc#RhOA[ֱU"MCF"լ!y5\]*$(زDŠ =v!oTC xጾckDIԺF<߯яKD(.R4l&kΥ]G"Ĕ[a<;?2ͨY+r{-&FId\DTI=8:}~ӈK#̣/WC'?&0GZ,is΅ q&.0n븽? >7nnIOIBInQ^s?x88@#HCqnщfO+R=+<0k r=ҭ}4]8FFi7V.UIZO`t4fUsQo^NGJ%% Z^H-+->ݚd?V?uJ&ejSAOVT!Pk|g jHuuK?^Y fz[MN{>-\\3Jf rquZςpp} Wbe=:O6*sXSULyX{*)QeS %$S!>P\/|/cYړ)˒HT=ZuzdYk%j؝8 QHwa:PgwX&?l׻6̸zDem/na_! Q,ngx-i^vE{ #!ą\o+EJT`(Ȅ ̸./\ok\qnPOJa!*y䧍mYVUNs`o\e RM¥iwݹ\$+"b~ Pǎ7c\W&EYzPe-pb/yV#/[R؎BFoFȜ81\$zH!}h$".\ζH\F,5&w9 _*zSȉ} ?tYA<:+M6fC{ [c!ѭ;b螀G&mE]4P+@ݦH:M۔ {P'Q|Gjm8jY_pUGY= 01#AŴeͫȰ.O#tK)`zd|/Rf&",D:f1E~bSʈ~!X$*IT(,Éq|98"@9aːtƄ@VNF57mR[{[IHm%|u > 5YkfLCH^O-i43WjKC) &cZX:QښQvo3%q,;p<Xx3u-1@r7UިXܺH?a&*Q# T\CwtG0΀l(v~kµ"1F[M|ub(m(c[UxŬ< P,T2(-*m( D5BE͕jO't2ys4R#߲k'Io6yKmeOG? *S7!;WRcϵԁk\ ܧѱ#Ϧ@'/ON#l%}>!FAzߴk]\ˈ]r²fU#2p̼xb=AN{B),GY=_9Irs `0[8gv܈I܁ \-t`ϣaPf4Kz&K%h kAa\aIDp6{#йW]@H#䪪 QC81r'@E mɤn{!4f`'^0YpR0( OKk rjX +Q)V(1pʍX$.ԗll~v,H%Ma|qEof1on(?vgA ?SY W5-RBF6d7  r`-W4 b̢yM?yy/yZ?5BAdq@&misgrhW Pcڦd~ea^$,ZJaSON *AxF:@|q9 dېEQ w #3% DHOL-NominalHOL-Nominal.NominalPIDE/markup27zXZִF! %] !M젗OFK?ɬ60Y<#9la|fUkJػvy gaZ~iH8>˩OeP?wP ,ޏ[x_5 b> iL4y/qӄǺ #>-4m{~ې^7:@y؁IjHιBUySQ na!_~,la0rNe`/`쳦IR?a++aG_uYsfgS1FtHFT6Mp;–/Xx2 ?G$(s=iFzIŬ8(O9w0 ƨzbu*˩rȅ9*vYbQOg]1E <|\nrgwAB}I]Q ~qUײڅ}%4*>zp\lC{ 914p#@ 6O^\'BZ/eõ?)Q @8M N or!P?xd}uV4nn(è0mYA5QVQ~5Rl5Ux~U|[(HjsD0Cpe,%@-/&J$蹶(T /$ʟS0EJЅO(  +3rp.=|H2oʠa ՍzwAS(jdӆ!9Rw33!yb/Dy BhDsÒHAfUu0p =frOt*<#~W@Vl* cH}JMC kMfz|7kMBi}*Vo h::Q@@!X0tM )8ö8w0FO3A2)K|$:ri%|2Lm}ԲP32#`H}]F=9Gʧ6 Id6t g|aR]HqW%{ܱJݴ[@C:/ L݌Ѭz5*d{oxw %F)Z,S:"MT .Ȭ7r6eE3< 1U^ݎ/ <r/Hw8DKC*j!8UK8:Y_G{jd^jfZډ*:AdO5sW conC=dA[݇϶ ñ[u1hsPDdeޥr|:ŨL)'&~-].e唓3aK]V}D"LЊ\ش=oE1j' Bۄɮ?nq/F |Q)i⋾-Cs%ec1j0(T,~tBЃw~[K|^W.@F;uղ|ZL{o"柂 5j"%Z545)vsArB[H/scix3rh܌>ҿ{ f0~ytt¨~*K'. a~Ś`2PKXEѝ9,Otwi1 ǩFդI1͕gtI)|mjƵwc(}be䣏G z5(;kd^*'tA뛴}#}<JDpy{TYWL?%B6i4Xh{)'y͓ܚ-6p*K&KdP BaLLstj8ez1]7#aEgv FH l/Hub@-M]ׯ*fɌl~oM!he kL)'PN|#_ExݰɑMO]^lR2sZFDz1H)ꉣn_5!ipA ԑ FOݻr. N%b 慱 2)rֳhyڟZ=%To jt4D(jv#8OZ,wegD8B WI~Z!&w9`qq3Ȃ7 z>N%z/a9Riƴi S(rD8(`wo[ R2#YYPFe7;0rCrޛg"9q|!W Fi;BYG\5S,*McPjABP$x/ȥ*3O([cb@WStp 6Y1Дr_-{}yӜ!!s=Fϵe"%}J/(_0V 鬳dyv8-nط匬v8%x!j e0쥯6rX`/i/xlA$/NU0vHdSnfr?: T w=WC Jvz"EE&AGr//6vyz e5f&~>)"|~`ͬ_|DRR:^4mu>^XQ?Ű/! QyTbO+ B'3dPCGџ>m~BϑK?/4AsWLXoK)F71F __<; E?dO1&UsdqZAa҆x91"{ܨBuV^Hd( 31-9>,"Oݝ#~I^I~+٫ݦ[tf?د UUҟf36ǠFVpq%"3cuqyX%|~{AmT?NԘʭn5luyũrj!_Z8YROuk4yZ-q1=//Y*}Vj"pDljwu')e_, VG0JWTT͢ME1 ZT|nIO>w]`:Q|)72uΚ]IR')ٶσ!$=3u/ }đW̋uO`vj\\qR6=,iC]r"UV7$E=$vݻy%bkb?j&#ğ۬hC\)UpV F/Mfp'cD6ԋb'Kak+؃9w~5 JJZv]^FJل4VTv{^˧H.G;>%t ApAk 9X5$v \bH v 88>0@K Sxf. %z.C^߁fyn3zP*75õ(-Wփ vxo .ALp=C{ݱG1M;LK,I9 Ӧsv \/p6S'ryb- ΫI}No ܝi8̕1xdُadTeV6.@ű]ĮM.\|Z;[{um~3W식K쉞<`N hsj`$GgѠ\A#K_75'O04~bylU,]Km1#sTt_fުM *4TŏIDuɜ d9`\]jO,5RrF _sM cWòN*}:ȕg .ORb%yt$Be#mܟqfWO/mUAɥ/aOȿ?UyhKU'41!€;kk.]fWSf؜!$JW+\ڢ$u44+lшE &m&q9h0B4?xK:g(P#px6Wb\2 "j_%dYގN\$we2'蹅H̵bMvܩ.Gb&w_a)CgYZ RCRw #3% HOL-NominalHOL-Nominal.NominalPIDE/markup57zXZִF! P] !M젗OFK?ɬ60Y<#PΊvU2ls u4"KJkyjacT,}ߋ/ F*Ci}ٲGBާR޲蜞x %ic0 \/m.ӓh(;S,L)$3)V Hc#$֐29bj0Y5ٹc $[P ǽ* غoQ:=镰XI3j1FՠHDTWD7(Xj'ZF #|d08*_̀ԯI3jH2,砾a? UORhn\O?WF(^a=NepFFId;y۽6ԩݺ(/wZF}WI%WlǪ!\_ G`Ι K\z[6l@5]VL";f*2-oAakCg;kbGs.;{~6(p=HW޾Nf:\%3Bk3 >7`4̜Bወ*mjӱ\ؐrza.z?꿝dht%Xjpdݥm/h)onkWmWiNm{]h xRƁ0Wem HUr rr/:b__/2L UH.LL 5qLx"&0M?͹(Ҿ8-ٳGQH& ~He+l؁]c,A'nڠG\AyߥLhX~eb QMjGMZbw]~ĤĞJH^ 2\x ޢ2ڢ1̿)'90?LNtǒP? şoAeAO2z|Ͼ%<ݍ^J#pW>c7[z>.rCNbYuxrsxyl @4۠l̉kB#6I^o$fagG)30ϕQ ΁\>Ms:#s7=C@BvTJknw'j7~Ȼ! \|o핒s)}(? gf2㹂R|CInc㩭Q BI24InAVGuqO) -:K)v3_moJ.,2U3wkG-FɑJG"hʅa}n^:ǞckdawPXRz>7b6RgnGw)&\ꏒV1^۔"$uʹiPtb]=bx x"~ sdEtϺ>\e7ډZw7'>+W5iA2j)ˋ[_-Ot[mnu6DQ[3cG׏e%#CMߏT CR{qٸǏ6Wp/!Tg+_:6W< >΋^OVHu8ze aBTM,߄2VdOA5"Ml=eeaG+QOchı iPAU%)V3 d#O`'%k %W"rWgl$9fpwT 6TCj1Y7{P +oMvnvۿ yd`bNQ9Bm3jCJ"D"cJqMp yLywz yjso_|}ǒ5Dn'oO-p'8x`2edΌgus' bnv#_h-jK AM Ty'Aj('W:[bݺO\`ݷ'0k'PEiBAF1.<=C `IVw+3m+fuIhwRh^30ecoU/Ap3kf m2am=YOn B}vh_1eJ0/JۑjC#dw&/UBז|p)j5<4us;%`j+6XbýRœ@<жVdw?gb)/O|s+_Pu&If< ߽,yΧKDdil*KLYNbΈFʰlT.Qyl܌b,S2}|Y`ң`%A5z/;yviyR+Xν\$0Z/.m=4:]X| h9 =&_S@aҭ-HP1ߏLKu7R*rDËUk5 m% (x?yyR="zĸLXxV\eu@(~ޓIxs,w#[MttTL;rA9Qiuߖ!e!¦DWA4w%'Vm$L8<'F;F`)nƻ4%D7Rk`\#/lܑ75]r\ 'U p{-vۯP k_}[%Tɣ %z8= 'Qq"y@Y;LKV)dr)E gpR_=~VōNPVT̲Wwn&ܦ_;ݖT>&븒YefsTLr7;];$nbd2oRU^~vG ͓j$eeYKqK)?.Ajun<9] R|2UxNU6K- $fr'"8x'4G%uaPbmnK.1dYͮ.yv#x+ IZ{r0q)ڥbI~;8FDܷqIg,qxi<ײbK,X^y8f~%_n]BD}=ˍ?Z\8h̓}C?$Ge7$9G?̶jV 7v5mi*E-gzg7lFţAϾF+}Zk%l_vvE) 7kz?Co NC'Y1Oo:ޢÒtMohkVyC͒RdS3Jt摢hݍS>6u{] egڄ֛ ّruDw(Vlˎ~KCx+cd]3u<̨DX %2z &HQ]e7hq1}K?X"jHR>K-G{?L=?iԽ5VS!Gj+cK+YڔWɅŭ3$awg#,ięS9ꃥ\\*2/?G8Gm7ŇK6߱c,;^/ YGv>ىFfE0| ^@.5Pe}^`,-9y%2T  >1R`!A:(Iv㧋dvjtW2^"D`Y $_~tBEaV^g!-Xn\7`4 WdWq9sFR_U0cG%AC%ulk9sT$b3!LًcG"4I!ݟdrݻ U͹O=@o|2ƣ*]*B(/s;H*ti-A)E%mTK6S9(qg;rȸ}@p`8Y&4. aBUnb\:閅;Qh)jG~l,]c&n $Z|ˮJ#ܙQ:h]M0VY7ث!Vx%TF>h8Xd(^w߼(y[%,y<=1pMe>C}j%ȷB4ÆTڨP}n9NRW-QBFհ%bдK@dse)HDOѬ(ce?l2ZBLљƿ|'GjVlh7>mًMmFd^XU*;N/H\"aRKŽ- Hw5sMI'U\K]~O2, I޼6K6ӍoT8~x@%0Sua`b;, U&&N1,\n⮪ B8e!eT h`9v{M"'Sq.SFTK -{,&&fKrWjǩ / fUv?Uϖr;gyc*אX[K t#.h;*WG^#B9~3'LF⼝]^+ukS]ٟpK.u947}x߷Z@志ߨG~"@1]_5fBܼ*' @7 b4mdy:bM8BSB 8`%fhY3},F 6jM`|/&.yTJuEB`t sIh`א8|䯛7h^GAզ ji[Mq{ >n*VVfϩBܗ}*Ц(ѹvLUDv8;/)$2?}zNc8t>xEނrF׬2,pi1w䴌+hӧ*u++iH}6zwԲAV+\Q~Qe[{TqrcJ~_FLbSVF"JlϊRg"+7.r&,`PG;/ba; eG:Dhm~zlXom:&VJaSc<<%Er`! S4.GZf ['5jxƠ##C͉ 4^qBs*T9]XO3Jg(44dԩ=0-QzqqQԾĖRnwwq)9X5p>.9!\Yl,hkM\d?EWLVH~~++S=I~w(;;AI'٢1R)#7MnJv.~D^D W%0nP_ԇGؗ+VbiٶU{R$svD*ȏU$i>MaEF|_6'hF@kdv%:bFH`Qd? 5Ė1dPs+i;Xo+{ Rie6*o6Ck$aɱ6<|(pw8zr;+)4Iz5㶼 V'> ƺ=OL[߰^_s3 ^n2D󾉏4,iL X HCbZN%\X>vCtY6q)Z#J陙ua׸ C3JIAYu:=ֱ'U&@'od#;z#TAWx8rn 2~lEzVq6ʑ7TokM@9ޞ(KO?opͦ˔͈_3"#Lɠ< !ALD"2O )>&*^OlhR݅qieYPx􂥎)^K0N\)ӢJH 1uq݄y Gz}F2e;qdLNcx]_{2ύȰ<ݲEO-MlYK(bbŵ1lujhedn9u~n.$ .WQ]lL8E0y ^ώh@'K19Ba2v!i%3ʶfo']Ziι짲k{+6?munLG5$K[n=? `e _>%|I 5bj0Nm UBh:c" WE׊Mh_ 7~*(lW' 3ʕC! 7uD5g]mL6ؖcbDdTc) NzQJz,uo(3_Un R! V5PLn3HHªI!I[O)Pio1̻顷Ϛ9+ht,ޅ&-JxZc6 Z'VjJ;$invmDܱPAV 8akD;FtBϳ2+|k{ρɇ Zf9 ^Ugf-5.u-0m%_esnqWXm SoDf^jM4'*A: Ìc 'Yv5"s*7Y/)nPwh=?q[{LFJAI\wX  xUE+Q=&<kw|~>30,zC":c2-Hs<ǙјSi2Q,k2`BtKAE,ͺi/CLH}M꽢bDra>qHe1 @rO\vޣ ~T#f'hGD=0Cߨ^D4_wj7OPr׈8wM~S%lf_77! 1{[h4b@B}9Qy|k9 w7'8py #+٘ڄ"/Awٓ 'OIZeZVle0I3d%bBsff3m@H=xEHeMJ3odZT+=P'PmwwЦ&$$uqVf򓌱3rA]S@*,x;mX.I'v-Z.'/@l|c*u&چݖGUdFE#YU\v0D)8OC@Y?f*jEOCCVX_:aC +[WDߴJˁ$Jp†zD V:߁bW7k!Auw-H̥9!(iГ._M!4!2gnzpϑx#5.ιJɥ!q`;TP73/>Cms@Ēcp"}87 ~yxJ9r9ޖ7Mœ)X6eC:@>x=4 lȹe1I*c"llgr+h;DWkvV:%mwpwut'oVm ʬj(@,8'.="mD퍀< wc7]?}ƞwTퟧ. oBtS1vs-o=\Bty 0Q􇺞6U#V2L)_t}@8a38)>0}A_N o  MVNoh/1FXhPv#c;\N8HNFƹA'+vU@Y MߢK;ˌ5/‰H+FngMwQbg6f_}ݟ=CT;HK w7c H)̯~8j.,͓j򓚲jE'bjj ~~z#BrR >NP6>їj0D:DvL:bqe&;BV|Eֲ{u=1_ya mm/֞)d3;W %G3唑p9Q+=An=6L0y*^I$||BߺW̍ʟL<8!^YIp̟:mfH,P }*͎[vS.HOJ:qb>qX0XySG{Al;:Áf8)Hk^}>ǎ |Օ4M,r5Ҷ\WKvKl )ɰQ%OMXoWpMBybğ|x 06bwa8_o*Կ4qI;'AÚh$jB40uy$eLL$=Ԉb\1yݤT| zPV˫+.`>GM/HLKK3;ÇFǛHZ+V17,y( c$c^qHy6i{:Z ǾX ǀ PUP!@.hBYOnC8SQaKòv`vdʬ5PG^~Ӧ*)d? es{VBlx^Q/n߮w +" lQ߉I/?1{+3T̜n/~W+Ƥߘ`pp"@cjcKg/I qP%KCn\" dAT4$VDƋw(8=\4T-9 #"1@\wL>"5F!GZC +?5Gq|9|S;HJ^˾*AD2Vڕs o+{c3`*s&Ó9&FTf.ڱ)1]͞h|W uWt(0gH)46xlRNI3QaS=g^ԛ-8oo(PJ㩞bxdFbÒD0^>a'oɗFyV4B7ɆaPxꓥ%|V. K徊 e?H3b@%eyX5ɓ|++7Q+EO[GoF\/nN&uUD=}B\.Q"R=dG)߅r"PS8݂~D^["u#$|o=a&p?I!tb͜L14c=nzU B7vK@!'YR* G헽QIJ5 (=ָV V?ṧ]kVb<f'FʐtmC ȒWvfhj"A!<ƶ7YIdDp#Niɶ>2(%il\96l@ >ˁEnqk&&o4fcǕ87=%qӦNh>ձN}Cśл6VL\;gm>)F$gcF,#er)Jڨw|1yab U0-̇!,G{m/ qKl@\0e# _?ZJҪ_%\,|$v2=z5k@! G 6f7@kl q<|`ty{ w{d\w|Bj-u?-p׾le== Y6zw+.1\61|\cB<.L"K89|P'Fr. ~j5W48~ňpoOu`I&8Dv$.XbB2bgNgL[]ÏX3VajVx\_$ouAY\60Bs efIvt)ͻO̠%GS>kP96)7om6tX>A3>4A/-P[LFs:Ve[N/l ;CS,R/)6%_)',0wYP#]Dnb#}`[i%-+35\wi- XFQ8#ۦ Bp^RZpB ztj@b}(@ 4"Xe{ნZHMf٨zunz ŝuf#]KusO ~ge~Jc#p'SbTyS 3-.'# G4\]3ɌwoʆY2-ZΝD0ʒR8>3OAwiԒ.#DnNe9dTQT2ui0Hwe2ZoIT칣,MG[v0`\w' W=hηh/pA9mWm՝k=*C\7?~V:=b"c𤐕g>zGX y9pXǶiFK\]X5h=K>XW+F;PIT/''=A/ )>y\ٮCEUS:TФ [Iߍ{Ҥ_'4μV?0CJ힄E0":gkac, w`,vT(SB>js@ ޮ̩ף' <@nE أݯ5h+Cܰ vϏpkPw++ބEmBYK8= z-Dd%L*zH7/{GOL&[1g..o..Bԁ5Ɂ8Hn+.sDX]ĕTx P.ժޫ=_8"=ͷX-qy@|OKH+(kw^]:@s Zza7y,Q[bD/27YitI Y+nFP 1*Bt%-+d"MXȫ,_ 0_^e5|[ r { (G=dA\2zGJ{_YׂZ7[Lϲٵi0tvΧpx[_"mr!q{vLATCڤN z_dOHѤTx!N@G,Md?|=fIۧg?R$ۢC;\B dh2ͬ*$p]f=6 B*>QLeo..Uw;`>9fu,Ē _KrS5J\JcW;OZ$K:%PdF LZ `% e?uD)!05"oXH =ZE]q>"y/ ZG6 M#COCy`HO#xu3t( ZxE=(>Z1 x-S50@+"דl"1I'f73'y_~).g4bV`q} f膭ͣ!뉖 O06Pmq.MCcRc3I_DPa%@w{H*F=f6OiX<ڲc;X%b!:RkELt=ܹDRh%TfFp~~B U,7 ţ#(%|'Z/G%Yo5AG 3գC4?St^cƎÑ&G_e|k.웯j!S2f1P +^T<$DRK>[=~Պ0W@P"؂ ZCPJؔ bv\)T2#@ڠ  q,W25>? \gK.|(`V8s s` *cjNq;N0#A"ǷA2Ix4O*N_?#ڿRm$:չr׾>*wugqg7% )zDY PThPp+zn%uahGKKq +n7#P'u0Ձ.'3ft -}w ٝVWH]/bxԑI/ s-~x=k>/~7O%vZ DE:EshV ˻Dg]xL.TjWF7c7P8 )]uŐ!.ʲ;_&o s8Aeheޙh @PhJvv݅&s]r5k̢lS"Tq^M.KRLhVeJ,?ϏB)͸7jO~pؓ}/k{XRL1-CNgAZn SѸ}Ze%`fv,HZ FKz#"`Ta E{v)G臉˧㠿Twpoidrk=OlWOlPF4rMwPmHolf td)U_͕A:;.(곽z5! .ӏiB3nEY5Bٕ9D7QQ }3SdzU_` C]n _gE,P#s(0U\{Iu'zs(D|.PnxVCcQ%%٩$ CnyFwVB(Bw2:/Gjo/GwQJ ׁДH_N`[j ^i瓐W_cHM6J21u#$iup5F~ƽ$ͩ_"iX4~ޝA¶T`8'j>8/xrcL JsA(d<-(4Ĵ=:A&f8&EʄWؓl|8^.oEt# i" F6{:uQϡÜu Jrp=O<x-p`7]R6擢,-|jL 4XDbWPc![XѸ. _KvSEȤ@}f\$BXHGs S}׌˘t _nOJS1d[%/5I3DLodo}FCF1ރz8ې .5ک PUHduS bcO0CFP MܱKɺOGA\Q'.2㵰q5LPǒa|,Ĵ45ϮjmFNKd=l-hzf=*Y6y p9(Y@=jjhM)DzZh5n<=B73=mFE01-88Y$ <B"0*݌+[o-M s̼: 9& 4y6w`ו~CЙ0tu^JHAWY0=ޞ݈@+O)gk}̯[1쎡s x(N-HMB}F\ݻOL""q`"W>RAUTmnv#]1y4ZKd!\e> kx('*Ap1WѬQ.ݛZVҷxD3DbX~SU{~IQW [cg>~[L/Ca!*efl !8\IYrՑ*`P3l`G7Jc;FB'|ZNc*,iY2`I 4xp Ss=g&O 2b~z|v5b>^/Hs%W.fJ~o~NX!l YcTRT6яlLSxDٺYYB,ij-XK7h% {Gu]_mVCش$JJq*Wjiَ ]0qطX5>^7"]Ѱ ҵ3uJt39G OA `$pN;yDꮛw{7V=aҴc/ݯR}Mhhyp dCJS??NTB.T6(UݮCdC;NI@H#d5*+r}.B*fV7IG@KϏvKz0J=V:h#yo}P6c,irBsO a{ߨ~Ė)Dt^:otSy-;?KB{@@KCX 2.R6qw~ ݆IqVq!/dsmtՔ [aT6ޱ}I>UbH=p?8R|/bW+|a([Oȑ E=JK@UjpD#sY"~k[lG USi[AjZɍ,nKu(ԩ6,EDV;SWV~{9;w'pr>wE6v%;uBcdMz`EsV ߥ2ɧVtR \(K'x|&#v{a;=_&}7*ɯpIDDfo2Nc^F _N:?#ny㞁q3*pM!4 }g\gtٷC9&LIF v mf@*5+L~]-SF8Z](灷v>BW'JfHyJNq.$lLnI@AuΒ_َM*"Ebqdjσi@ jE~8))dvZ9zih|dlWkgN o|=n QVxPJà.՝5}!92ծQG#7}VqQ|ޕ9>M0@{-`ɊI,z 7O?NoFV 2_GEWƍ(K'97qXXW*+(i/c\o;_Qo 7:@?ұsJl֠Y_!tnS SWohhLM$׊:7[TP 2;z_9}6T_PCQ%!fE*uܔm-KT´IJ{}>/u'-w~ ;o鸃k A *>-;i0 f* r*ht7n1pt8LoW#h®]wg2m =Ͳ@RP '6>X{O_Unm]UHjvC~/F>n~ӝ}0Θ ࢽ? z4/0dMW-³r$S??<*HY$1\Y S&ijqE,w\vJ<kmzpK"u D!")NN?7>ُ㑰_#P W{#Sf]T&+kWYscNX9P3oYez=brB"* *mz]eYEMx=-\HuBz~Лsi]@^ }@;ł*\?@$,Lد[\QgYZl]1ܹW랲r˭$\bE9E$%wQb*B?s]{DjrKD|{BVňlb#^q0/NC33Teeaü2_yPuO?}O1?KV hc5jY`|$NL*^@]KkdGrnK_ 4j4@F2h`afk|:J _$yԌI1*uva2cu=?[ , z9Z8f?q!k-~a"^؋&䱍 Mhu { /o[Bcf-dbk<GVKE؅6XA+k( B\~4ټj5 P0TW`QrH)#&Դ=j4!9]P L3\Ѕg;u2=I*x7?o7i~[ s{ĶŲ,pW= A&%S-Ѩ\8/Bpl1;X6x/9>n~i3kx:-]fUڌ8 ?~U"(QI# EB vs:~{-tюE2#0gq҄iQӫ{Sȅʫ0u="%8r@!ozD{*ODrPL`{DBPac>yp=`oLIR^rJ0|]f{nPe&= zIV+ao5 TrJyy^b"KYCV?~0"ڍ -' .O%,"<>UY~QtuX y$:kJ w绲#d*}6BAA;oVo,Gź8X MȀ|SfǦ"j&D $qW@CrK`̺"E&$6sϑɸ]@qS HD'Mk֧4*/S 0,ېEUz_c;*~ ,/<sLL3'Ϥ(Qe`Aڶ 2?{<}4WwlPfOOld?f\\SNblOЛ9aK 5} XFq[ s;eF piER( S5' `C|}1X^ތ!Gxʜ~"BŕsWHf_籇ipIyH ?jʼegGȰ~sn5FWEyܥ,nzNvj,ʲ!M^P4j"ߵaʐgW:I4p6ҟa0ꗏIxp7?zQḃ'6&)6tӍbwyJ3MG$(!9ȵ$/-`@Œ~0ALŶ=515Bn?s&Ԭk)*H.5GAk Z){2k (\,?Ց{~m'IAm׵<(X tI|tnsV+]zO1?!0+oS`8, ە=R7~<| <ϲLdENS,նKaS~F(f5/>h0yKk?Bw@j.9 \mi#Iږ8h]$ْ[z ZɄE@ PZGв!k ^X}VDŽ/\SNu_\zm@mJfJuG_RzY4J3HU~o"AB@?,ܒar\L\ 6Q}eS7DL0f ;eW$:gcZ`9~D+v`T -:Uqxskqѭ> 2s@IҪq ̹脒 ,U]xCtHaoJC}e9CJo=$ ~xuדU4AI,\O ΀Ys ]`5bT gu^-Rdw6ìG!'"wب?6a75 $g,*KP~򸏆3~>fƍUiTf0_̀PH[C*1wI9 5 !Л~YumB3qO,. ᖪ]C/gjOC:ᒯ,<mz{UJȪ+N>GyIC'H\ xm1b:l4Mcls106k8Q ؓfwPh$]q%.J8gm2-2bT5'`=fd?6(4.=V`hƍ{vaS,%噟SV-( (h4eNP0h.`sd9k+Qs]_ZQu"5;4ܬ6!6b Ly;ux@q:ABRk҆ܥx Q](CRqx˪&1_); TN;Ja0 Q :mقcM!V* ƿ U,Ss{,yobYJY,h`PPAv.t,A^x-YةJx?ϐR]4Gzz(;CWIa՜'4XXL{|%;\ ɝU@C2hv(~-2mRLvP)4uj3"eC6}cVٞyU[|P*J^7CͿtg͑[iNXLfyFl#xqϩOiU7.i~b޶FPztx2O?lR\C(IakPüM#Ҡ1_"Z`FdB>O\s)4JFfN#b/߃y`խ cӪ;%cն#F(TfC*qR1n eI/A,vYZ=>*mmX~@!0] jYƈ 89c-*fRh)cD-٭#ytޛB]b}j¾Jp/)+GЎ8EC |ZC|^>uާYт_y,<6 -Y퐕=GϿC^6m\hbן$620=6w[OC(.JQƯIk[2PPOc DKmi,v8u%B)h"_H'@D}>in9Dw}'JRIyJ7FZSBdZ$\m'˜ِ.qx*UsQuI<LH&FEqqP(-:t"Mރh. ^HyK&]kΚ8QwmSAO_'.1NXb&0^ayxJ?sM{BFV_z Tq 3?VH%.OJؐwO+V͜cem$ZݣH)QZFyP 7nj"K{RлfM KyUZ NgMqa`kՆ$d(N#3% DHOL-NominalHOL-Nominal.NominalPIDE/markup67zXZִF! D] !M젗OFK?ɬ60Y<#%$<:G}S7OCn]hcni~ >a!`&UrX-s8^H( 3gճu#6]UqAbx4\2uI͡({B:(,=¾c ª৪f;(F &" .j0yRa&h9HIu;/0)XPN8H̓ b^r|=P +o7_@m4f [1iތշ_}fgט˓#cDG%q _޸8hQzHl\2Yml)I)_x ? ^䫱l;xJf(gC$6+N@ NO9R[l/y6qz@W=S0sǂ1C;絡<)ʇ.ye"Xc=-In *MG_@>vDҮYU՟"Qa#XO_~0n knxڄ_?\*- \[3р$H=gl{N*WDq&Xa/# , ktny3 8*}+rqKiD9M $V\=^ dᢉF͎ [DpG3Y T2sfF+lFS K~n)x)r!4jw] &^n f,u[qAUZn͍{΂*[Vno.R5(CV8aCOIr2Mx=wdB$B3$ߌ!Bs/ ZhнvǍ .IZ^ ;QN@JLez8v4b@)yT}BafR 3ly焒I!EnoEt+"S a !dlmEX5pO:}"xWjp yBƭ[g\"_WjUtUUMIsLɕG;sNkN‹vZ-R6m{EL2qn !Ǣ/DVԆ9 ike:dKK8'Ǩ[XɬzAh=,r* 0C6-?%ys<&t ^|Ou5s [zANKfJKFU!vM顐Zltqs kї)e5j cºg j 1>XRh6-e}^+t̳+&3\H v 6Em`PMo/ xODmgiv9z0tPRg(ga5F)#! =l`&zʏa^o=N#(-* &5= NZ%ʑrUi5TrSu Qnq' y~hWVWmns/uDe@dO~9xʮ2=BjSۜn4z \}zځ8D TWj'}DKw!ce&b+F1 56&녕+㔰( @,#з햧7p4匈ʋ| z3`! MN-)(PyERxrpFWSZl8**IWt2Aw8mj ô#njAxVYYQ4{_ ؁JN{ EyeQ>5 eYrvtȋ4+V?jN;~l}l6, ^Nl۰O5LB82ӟ6πa4\u< 61j?RAn$ߧğnFuݐ~ѩeqrQVş>Q LZxz-eҦCfE .00W;g9*Fsu% q0|>̙1tīmkZ.Hw^EEAC=$6Q֥yB}mmhSym7u  \zŵe{70Z rPK3MrxIpl}ަ؇^7Rf|Z#Fܢ6}[CHPd)3w!yPɍi~9b0:A=~Ж3mfK95a%MqU# B'Xg layT!um_h7) R'J}9y2 R/s2ߦ(=#du*VΊP6XWz$5;ճا7"cO>{F╠ g!4 ڔ_c+ Q%1=yښ #߉<@oMi%47 ҸKL@rW(-lGRTv[pY: -K4C:Cgu Xhosb|Rn< =5b/yXg Ƭ_PӁݞB.JU] cNCvUƁ:[+#B&e%ݰ"}$n/{2W'^8cbvӌK!Ar*y@շH5ٛؼoԾJi | MېQSɚo~)&47JZdͳ/Jb3#hMOα.]Zw{\ ȩ+NJ0g0gЃFS0}]EIT,} k:©Z׋}22Ob6֯,˷X7Jܗ,}E|Pg 9 Ae;U$NA*i+l ԛuX"XԜD#I?]GtHckF_T?zg|=`e2tgĹ"c49Yx,kPy mj.$\:'s~ *fXb?wZ1 OGmӜso6+k@l]s.NQ)1UԵ9O FÂavcc]h7p*W ,ҷrVN_NٗJ)@1gzGcQXv)iW-'Č-,>*1gM5r8ITBXtkXeƆBPz3O*&ˀROr(ġ,nYS"ceOr0CEf zIXe~5![ag>[qQKpW}12T!4%nrO:J c,# R\Q"[־S=};MRbD$a{mF^pVf.y>\99+`'vZz"W ~ܹV )\X]RNH:N1${Nwhzl&9g AΏ9Wd\<޼ D9_.bWK-tDO1@?t bdXs6CP",Q |@ Ў͘J &H5)!"Evܐ ̈́x03e!jzab:@7V6lW!J,jØ:w4 tYH:O6v?zC!pBuWRxg-JT+Q꜐j^ȯ_IuYWJ@I5:?9JBD7TJ9sXݝOخYm1f8_DŽ>+T?o dctB <c4aڢ>(lȍ.fL.?nvi" +FZ:P8NF%2$"{ù<~"+X-m93^J('KMXxd1\f8.5t-ċ5Zpe, +s\9|O1T<]}Z.6k|~A"gv oq;Y趍M&NԵ8wV !ZY<. ;HԕBOU=gAd8td.ԊwWBLxpn>lmF٥'dٺQM90[P+*/:ukK^MHĖѠo}A"9TNN?/0D<m~LDn򅦥ފ Ek3sƦh? 1ܖIV Xߚ{h'c.>gho,pHn7=l7 yg#CGa=qYU(wƧ5~ۋ VD\Z(bBҜ#RK7w 77N䗺xEzi>!װ_En BW=*JO#9Ck2j&* ؽR1)Jp`uÄ>ܥZ3>hAV'8>acpa%P[aA?D{rλ%roG9R<(2u[+w0!V;$@omnt-hmb@ Jn&ZO>n̯y"͎Qo :p؄oJzV5DCy]TxyQ׼uL]c Bfm2PCEK4~Y Qb*w\VtAͲ)6^[2_bUț;OVo"}?JNlqzCBapWx;w7 $uɳa-33k m$^QԕmdM.Q!?DORְ]*!̛6RnoZ%TnPu DP)׈,8yD^4I`xveMSD+h JQ,.lUJu3, >D2J^=z^TK9] cΘ:Z˫dfsX&nSZl~Ӫp-րWLem;M~~(3&9nF#€HuOO(bň(<5^=7V%D ;nB/J֙Q A Q t[5%S5ZL4ZI&D<*Xr<+Q|q[Xqk8'LǍ>esXo]orVb3k$pBJF~ch&ﲼj~.)$!tMtb;FQaל摛0BZCVB6^qMHҢ(s;$$<R֯6>~RelHOl"gkc2(cG{е+bY9Aho`Al( p}MډqHI6 t8e^)A#&ӂ X*2mވ+V= Ow;bD Fq8a\ GضE]cWyq …ya"wmc366Xw -BVf1[te+{i /Έh2PAi@*>Sgyk{iuVǾ͛orǖ$θҘQNj>yXTVgw JJL=#iCa]^ A*#\3vSibGwѨ4a|LdGETH~s&baX|8[D!0@9C=BTXmDP7|3}Ť u։Dh}`66(.3ńw+6ByݨUqjGH {-vWo0SPƧ grU;is}O.F(҅GRec-W5ze5 WgV ƢСw1]kufTWK@ ߦCP+fam7hje*u]aj2_$w4K|3\L&t3-}=+rHPZ`;`7$E[@?]ƌ({;(n͹QcR*5'Ecb!2L f##IYIGQ{O\M]\6I 7 p,EfWsR;|b M0zXdmiɒQ9ss̔ʩ4139nÒs^iF}ЪtZUx^`QKe!'Ft1vUrVwQ"(ZyEN Iw"4+zᾇUDҙ sLh,аXlÁ}暵3H}tzHƳ;^t&gp'Nfno'U{3XX?mYJ| E}Hg2` 4U[fě 1q j4߿t21O@ֳՄ*[ڎ :ZL|(XʑE?87)!{]+#n|R¢bz*{|9zs  C9ܹe\"UR5rԪПV[+ȑJpH-9Q?sHߚvIe%p&}ƊsBgY_#^%zEYYP#?IE ܕ*k~VT "Ber^VA 3 o-Tֳc .}Lt6luuRgaTEy\[YBm{f(X`WILʐOޡ:SDJ+wYO#:=yIoO(+dle,`I%]R>JJRkO00Ov'$qW0rbI! `,< 8FʪVDJ^mm ca6)t; EI,n,zTvC({s"ޔM.MSg11F{.!@cYu}F?gWb%Ǖm`+gSx81lZĉnN ɛՊꭑuAY~T2]FKVC#mC`UB"QvxsWF7j[ka݇uU[!*,>~$Hu,4Sp<#p7 ._}[C2WLum\}*[o_5lw=43FFWzJj@A PVx DqDk M¨A-rw,!} D^8k19u9023B[@Ԡ0_ڑ/ QfkMG5&.g#p E+0cT Q÷P߮ 6IL'Y+!4Qbyא9Cwxc?}36m?`w`ƛ Ljʖqr&y+4΢èG!<%wn ~g ;?w&ԃW<"^u*M9M^F뿌.Ԭ)BCN JR 'l+b"SS?tf֒nMXMiq":$a@ Yg19 z\<<"\K89>w9yl>@J$:ߨGdY'+B}k.u-.gSk\^SC /LמZߢ+mW7 __\d̂yhA ;he !lƳzNVnr.:nsF#sq'SWNIy JmSCI.i?DM@|X@"9?6f} 7zbZvP벸7䫛@(?єH7.gX*o\S-hڧxb$*1(l PMe l퇫ċc,I Fbխm<5W_&keP]??*0ȵ.2#y1mQ>SV>C+mVsJ0M1Y*s Se we+j7Ά\PV]S9ff2dg̓:fqJTh'CS#jm[Nٯz+vϝ s_hh. W* ku{s(:{I7Ym U'*OT@njg!s8|4m/[H.iG;xEt~lT' gƆ4'lJ'[ޢHO&_sv!U.JlpNq} {p437mꜱļ̱yg>Naj1tn{=6^QW6:Ǖ]0L+ U)zT+T6Q,֚Mc!c7wCA[VlsHӽ`Q. 6`q?NL\Jx|`Ij:!(/T1#7;~v%1 hP&'t>o@"ǎԿj{&y]VcRVpb$ҷIĐ"hŞJ-Gf1CEFM5f,z|?0kzW_oH[t&<:ޚe YΊ rdt*m4xD \ iN\on{eEsgƭEj7y (v.Q%..T{q/)[jrXM'<}q|N0~׷D OMÛYlM򛎋3,!$XdzD]0.-(Q̯T&>G7 O0zvūע.ʤG/S\HIqA_L8mD{ ]5j/c8Q> mݘTNnx4bJ/RaCWjHP3ꋩ#Ƨl.1,u\P挱4tiܢkl^]Ƭ]? 9{NY vouC>:1 ;2^^ IhI`49|Np)wS3zW:U"N,\LķzԄ^9 +^ٗew+\M7p"]&ﰊf+8 JB#tl'# IlΦ"C+;w@IK$,~F@*v=ꫤ)\%'i4eeځl|;p|`ru3鿁Ϩ5US<5ϫDA摦TH; "6hd'-u&84`<lXqv ;W]@;^kϹꗘ26 {嶯 Z z > q]( #4zn xNx-*E).Ep6q&%%LR y!CUCLTJ6BC59cYR2np],,k22{ QI}ƈR( U*9VX햓xu;n 6@>[ =bJ*]Y- ADxGYF [{ds䄵?yT8b[ֿ 尥C?Cl_KMuf|@0s&T ]Y)0r%>Bu0>9#Tu:v/|Vd[z0(nͥ0i-)7dqϑ*Co:%} :6G@lGw@? ٘zhJ‡ѭ%c)S!xmMp2-#o #D)6GaRv~7lDȕ~B2PmH@ iMc,csY ^tɀ| $,<*E^"FV'2}.R(Ѩ螖Q=3sʙqA@N@VRj!T 2Tcr?7<| ݽܞ'UdxM0Dya:Fy"OJZ{Xm=Wwѹr%9ڝ&ӆ@NVjqL 49Lū@vぢ"1q(`43{Kgۓ" f o*NEUiScWh FFpIGvں?g 77'+.xUEޏA RwN8433C۝yJa ɬ. FNTzR }%wZuy;y// $7a;Wj=Ө}hwpM`bGaĨ=)D' wlu9qWD[*e)Aܔ Y_GT%BhJo^^5ɭJk]ȿYtpwXVaz»4wgU'9pw cF\k9:ل>cMFp݄K12u]&9LBEDgczw;-pz&̀ȸE %$ 9SFb)HnIQ:ٝ|$DS,]iՓ^ kȴU r-yNs)m,\@]ڡx 'ݤXdR(}|46#hlPX!i~1Hk~.^kU +6APt~9XXՋJƄDY3ZmLY.*3C'(DkFВB'Ycq0e=aMl'| jPϓ( Mt=R4l\bƅ^`e>}Y\N79fswb=@5w^9P~0O ;N#7N bEW)!UQ~ɹ %WOW| / 8䕎Hb:C^dˁ?++42Gq5uuI8{c-i;A ~ME}H;6h9>\Gī ϋ)Fb"O1r sqL/c0RMeC;Ph" Fe{?fl,{\>e"&K{Wcò9C$_QӪB뙧_p 6-l(>9rZ)yjl-eOVb|%CLU"HsH4fY8z1xjFd N}y8rCu`GzʹA28s:|(U;{!pP7.2>s"GVE!|bփZ?Rei~;uMo2oNK{UzvNioAp%J~CKas+]_H|MܨCp9ץ"۶'f@4kRur{w:7vd,<+Yv奍Q jTu թP{$6c2bت&폂d} efdHn9=m (;FS},V58,{^Ob$ P9Up HxKH>u=t,")b]z=̆P4pdp_bN$j: }JA6mk 4n!cVk<:vj5KQI\<7@YKm݈^ ̍1e᫟m4MO鉤YRRKaZMY{8Vџ(H@4f95T0.vP LII*MqWxxjcVS )c-*"gV]-vzwW* e|CF-%s#1^LFQ]n*WŞ0on648[V]G"V|݉1 =tJf3 gR9_ˍ\pSٖxKbrbF^Ũ@N!z@t: rSuR*/zL|sP ln"mw( +nazϵTڈ%S郎6OSKA̰r_xi޾ Q2I )hiJ "cD|5 reO*b~Ċ49\LSWG%PvG 1 QrՂe!RY#],]Qw܂ /#r<u jN},R+P]gvWCF}a}f62ҋp៟9|?!P,/g- Aa@AH+sN(TXS;`,b??4QM { Pp6{ŲlVoӈ_^}OLvA. Ί7J]w |%XIH&j 98m/i Q+I|DDeTKu6%Wkg lPAVI`Dw*Uj;^D؋Fdi :A ǎI 7"8/:3CX̞ u! BFl=a#9gw)_G3fD)ۼ]F}P)†[=hTvwDÙ qGlb$) D7A20, UFL OAh#\IU=' SE-'D/)ԉo|FQXFb<s{f~{0}#ᴴY>i̛ɴ RKĵ;6lViBӶ۳>"AMy}bԎ -n2P\ %K;s&wcń/{w$s,9΢_oN V ƍUxć؉˻r~ęM:xxФ p>? ji 䎩D}J;`Qt'W쎃AS2m* 0 #3' HOL-NominalHOL-Nominal.NominalPIDE/messages7zXZִF! d ;]D?7 {?:fH\#_5rC2e|]*=\)J_gB`?k+ w 9T%aka9;Ҫ#.&?hc[m՛=%87Š$ɺgvN^2/Nk"jnukk5{"&0yggRlG|x$f$E@馋Û%f\X6Vf!1$^ |%?<R:QlaPSFp˳2wu:9}a++ԙXf⟁3ӬKNMSm#D(7x>B~ nk6pŊ[YdT5BBC/YؑY5嬯Qc.)0( 'z¸)ZBVH1n  _}Kg ZVbP2Q4&<4ۢŌ4wxPROQ.k9! z{IL^C{)k"j2`?ޡc_{8r/A;m"iij'sg$ k>~y P9:'&۸G>B5܆\{(j==b` 56y->bt|Z -v#3% HOL-NominalHOL-Nominal.NominalPIDE/markup97zXZִF!  ] !L5I$GQ!yz"]o/6CkB(X2HVU8j繮l L֩jc!8٪ȿq&֏|3F-`*M9k?$(Ӻ{m3I* s<4lٮL1R{4ZOdf0~捛bMD-[L6H2^Pnxq/ 1 &{`pϳ& s%!LfЀÂlOI&V+)hO s/`6/"\/{ga󩫐Ռ9ksp EY7gu =v5:a6\p`=r:]$Lhu+a[tƗ~\7rF.Jh F]T&h~|c2~#cT;*MG W#.7` ehGz&NAm|&ze3&mP O Tdäl-maDs\(َSoq+uc"A/>ME@GnX~f)}0r Z47࣭pL?%{v̓xJOM{k]6`F:/K WR؊7}T~z@1|RȎ&xP`KĶvE!t:klC5j Ftg7G0_~]";|IDA љa槶Pxfg쐿etz"wX"Ԩd0#AO'~rX\<ڪೞj1#E١A(,񮎢嵅I;,[̾@y`՞\ _!Ht#IS+qLT}cvFȰby En*ri@GbdE;(ѭf5cU$u,'Ĥmz$Õk d)p@oP+Dq{x@꯿蚷 ܟ$`OJ-80sSC<vU | 7CDLۮ-vdlPI Ю͎^Z21I>r!֮8rĄ_.)XO } r = bY\ob c3ÏI ̩6H S˟ȌLdy(&Kk/zYFב},w85W7Og35fOk4}ٟ%|k~Qa{hNY O0J$stfɠB@2dlN+NuL VZLcC1ꬾ *~۝ tt`([D#]լ.qhz: ?L|6xl1 \z~ndR~p8BpbOJT kM|v~z$ŏLC)ɾ0gfdl ߕu@/6&EYiIQ[.eVђBc@. ,6ά ^hG`9K[nJ7l ԄS6证,3?fElVݑ 6!߬TYS0k+"1gѳqF*BB1#:֍bvߵcP3M`KMI T\I3HTqq`(K,)ao$3sntV Ou2Cg˲h m=LDFGTZB |Q[Z>K,n.(ʶP4?A{ 28!e<81tG(5y:)S71MOI _3ccֳy'edžo_wqOY꘳H ICx罒\}bۈÀ8fn q] CLH5Qlk O@D}[nwў93 st] i*.G޳N/qKLR[\ bzVƙ ; ?Ti\,2iҾ&Bs+rc++GsyZtD@nT:*K-a 뭾m+ޜsz4hf&*IZAbl B}Ȧ;SczIuSdZuMzglBKν]&t/V^ k[)s7FwcHHDmmA5b֪{&QeS/q68+nElz;+| f=WVoZ-)of։rS㐄u7Vr] CEլfSb8Eoh F^A!@ MrB; F1+"uJu0 @ aD i6:cAX뭚鮀q]?ZVJ "&Eq $1j2DTp:XINKgTaʋ̴*Z%mucs0i^3*gYZ.vqKĆWo mjb<_QK&<;E +$Esa(_tJ81Sg<*0Hb|A|ldόhSʧg_$9/ܛq.NU6šI^hUA ^%Igk0U6 B _Cvc`S{!'T62 RtS@w\6XC%)^9%ļh0T" Ù#OJ=@wVa ȥ$֥ [!nNJ{Ye4)z8|8i|A*Bžd'S;P:p9s~ٞ&CF;Y9+nEzreke\ǥ ;ſGڢnnJկ''TPȽ /Q>OW" qO*49\=}B[\KmlrVU?#LL'T@k ISD^VV;M),B*f o[ΐiЄ1Ħ дj1{[pdjJ|.:CqއN*F-5;NNYv ʼ=м3uL0nEC6#IQjAɥ!V2y<:{9_Ou#tGn{P 5{3.lЏNo$~x 孼,߀FKgEgS ֏sO1W_y!?n>G))UO%.%Ʀr(en)uPZe rT 3WW!Za[-2WrYcUsuJec[%֣`tu\͛Nz4]G ?Y:u)6r&A܋)@+0W#=?rcPn0/\Ջby{ǐw]/hWwG`FLZ]T_' *ny^\] FY;Y@G}y^+I?k #w3(zy!Kf?d8"]7B ߸i tB'ur0CC!TGj[7ġ_"$g+j& 66KhAXaTB]6o&M(qxƑ cm%ys)8 ͇Q=-th̑`YN`DoU?w51lm |K𭹠;kL?~J(F04L:ոMeoɝ3YnΓ#Bp8AzCZNBMu"wl4:Cբ\SVczr B]"VbP0 K%U F3;)2?(2M zӲ}. ~K)cS%'1ŭ(T*'GTA!hkݷD6YY8MD Re!VaNQg09yf}/ ּl$[ZT=~ޘu8\Z= PT͌=B*Z\^{D"?qѣvǜ~eH(-i^d {b_BdGmR>&ꘘbA 5Ip73G"M WӬ2t-]A{" wm㥰O VJ~%fG&?]n <:6w,ګ#B~sPV=<5 :^am55O < 4^k[yJ2K(S6 ^1=s> EFi%;7´!B<\=t[$'c`.2,aO~cHX0`mJY,ĸB ~ s6hX\2̗ *+r;WǙdȤ°]Ǖ:_⭗#',j@ap#3D&<.D#/J MZVa˞xBE-5>G)WJ;CbHCXr9z +wSEt`܈srvΥyfFwM:*JSGx N}Q8O- $&UpRe6,^Y" WBVʿ`rZaP`^Ү} e. c&`2Y +Ҧ݊JZ2 tUL9FqY%i)yHb@፝0*h vVn%spNSqD0Rqp>Jb=bawzNGN Swbޗ:s^ d\?+J)Zߗf3H@j߳ByW1Η8ǟJjkSGdbhϹ.\6#4+C9}X{T Աgwo GQ9rj-pcXі`Xiʰ8P#e)Q^YQZFU43/a)tZI⒙"5+MRLj8%]f҆-vp2/vo((8 -61̧>*D|E؈$?^q+Ci m4zp|St i3UvGN6:!,{|%6).O.=\E҂vӡWefy5W% D:EjkmJ&Z NFRgi`Vn5{>Luw_bm ށoDpӶGK}pXW merXSysA~DnFEp򾟡6RҿVvAcu h%_'&9Y*^d<Y{fi[Sd*rE7VnQoݔfw3g[1s/B1F$A^DUnߊ+jw?v /8 Lv{ KDؓ :#AxF.Q|hrj'biSckaVV%<rO*QoMK}^~<a76S+k#0{z6xHI3 įY6^#ng[Sy}EHA!Www~D94YJmKL}=Hբ1 nz]'ӭ<<*h"p'! r#Hbajv#79 fH|T}BR䭮˭==ؓY>V/*o [RL4p@G1%pQ酞M#PuME(J޹vaNW ~]^gC"ц^1ex> 9(78pz,S?*r7\lG]6U'z`#Vw:Q=G(s#8 `r8Qdd2• -(9Қf_5y5\g@ed<ZP]_Vx`ǝ j21Iw\j#/ƿ./x7yP5]R1&%i1KOt"|\,ů>\F{aStL j<+: %U 3 W4خ6wG$ d,!JUkCKL-S6:lcC`=Ir$u)*l|-.wKJo ro1&Hc>$[z,!/PX2#CA2 Koq &w84uZ+1P,<$:S;a'KVqxtB͋< &{Zd̽d4& ayxca$ͦHB)2p4V6]A L1/WGP.^3TZ\%qV o4ӕ+0G{35а:G,'E$=NK }2 &~:)9J\NkZ֔Vm]%]agOxc Q|t)L{sXۥ)jĨJJ5F]vy(1p6Z*x[-դ?[ˇhHB̚ѷiQvf.?Lj"!/@=]A20!~mǿy} ]Ϯ G7HtL_4&tP ~@uPrn>@˿ X ϶ȑx[c' }9ZQlc䐜@<ٶ? m{0Z NHW:X(`uk4 ^}1? e܉̖ jidDŽM]-Ns.Qu|M3./:̄[#^uocQ%!\LK?&0֗E fAع%3?rnMaٕͨk39+3Dfxd |PuMl9}:42VU8/okwn)p]vkBԝFO*׭R#]7wȬP75fLTZѲ>1HI뷇FiPXc8Mߘ\7U[\M-c+f7U3$l\Jo8q-P80}]:TaM٩7ܮ EuB:Sl &7m+cX>q'QaT88Э5CByJBbXQ"o [w50 V&Kd++ 2|M@y(h)l53iG |s佋Ne'HU"Ծ¢>] J6_m_[v ,f=G479#xTnMw:!q"+"]sGw,ʝ ҽMUS% 1߄@94)Nں I3W p"Srqi2cla7$hB^b ׊@̃`Bk|a'ݗ2p٦{B%\b]0i-q(=RPu T9'd:V"G3'$Tg"W+]cj^~U=+;NH ^qÎ؃pE:2J0I>iEuO8"J.wHW/ʖPj3*!ySN# d?tߒXzAhֲ6989~ΰv+׫L^Ϻ:zɧ Z$w&!"BC[ 7 r~O\"Z Ͽ@avk9`Qh܈x 4΄gKגݿ\FޫV[ɾU_>e5ɾyQ%Қ '/$}WR}}STU$ZUMk%4@3ʖ1@XoYކZͧ /)=.#[ɮ;mj a)i6QCI|dۃ ⪃6(3FĹ8'V keX rn}shq/ *(䗨K #>`XȲG,#i`A=/cZx+tQɽ-Mq { X&Aa`']. D;Qxv|ÌB UQ)pO[ifgYR@MFBIBCS9-j.\u8Jd]_+Z[?7r'X;\0nbbzAElB!PȪPz]GC$|AC=DNrעȬKk`C>`+c+'|g l5loKjG _?uԾ\Wu/]¡YPLM=`{{:SJ#"%ΰ(W6G2 =1S٩`ˁ51 Cw52A^M2jkdh=QqnY007 +'cv(# zG=֑"W+ha}4mumS;H #iG߆,d+%DbR,RHv6%fyU5TS柔 Z ^t j緽3pv"]`VF>岍om@YUp#>a#0)ӺQgD+Qq )WDX*#AB'/BBEX@?~#9. 2,18f:gҽ%VPlC/Ya?9]J <~g!kx5mӺ+zrGO̍KV69/je),1n?H_U`7C7'FZyK,G<9p¼1M2Z|v:cMMx+x U. |P}7ϑz"es[*3mqjH4>2)h87& )PBb>y'nNAX3Ifm_zؾElqfȕ8?\GOPpS <IȖl^FY;//ʘ}!#7tP_W =wmFP%Lz0%2o f<%Zr*Z1鯖Kg@$Hzu;9Otd]F#‼e\k-V'澃Y9W?`S)yFHS">^iqjf)C~^e)8h_71 juH&B[אV22Fq1`zN\]34N3o33l6[S i<ѡ;M[B2X s^ b^ۥtuT4]Fe<+7R4 "{j(fSQb E| Q+ש"Ÿ|rPt1PEPzG 6kU9ĸi*ti$*ADiZ[p'/ԛ}gE}j-ﻚq <-:&Tbۛ,@VXZ%פ$ 6ak=Ѕyql| M;@߲uECltx!jK>ģ'-iaK|u$P 4IC=@()IP:m\GXvvmd.(LhЭ &x%T$z%͝Dd_c$>>T=*r6qiZ#wJHA]aƼx[.l|&uVbn:jTVG1KrNjʯO-RJ)H(E%)1q͝?4ikG`G[n%n]W6^tHxM ͯW^zH7!3nOъI8t1W߲=wo4)|w+P@wNZRn택{~~I'tȥPudyzlPR'U܊7%\79Z')0gN7o$N^6qJS/PhBjL_o/:kUsIg %91YVm[q럞 o0Bc4Xwn450ՆI0us*oMox`l>DBj Dm/֤BGPk6ƠKK Zڈ% O)ϙ(b͐Ѯ_Pv*h֢!O N yBsH Ύ?*QlAKΏ|፧<߱0&5cdTPVAuA\*M [wCZB`E_,#Lݏ %RCV:'7 74g%J.?Y"?=3mW D^h`#QxN8W/</bNvcV`SdǹnOJ#5=j+*# IgN.TOH~@jFڻFJ#%CPY5 `+u#1&ln9%=)fHeY=zZdمx05z![ȓǦ+G,wA+ P8>;rr.U2F9{1&^:Cj#Kb 0?eKa.F ]1mJ'_zr6WIz][ߊh/ÕyGbi-EL5D(c>48ZjatU2 -n6s+]u+9öL]k!OpGFV TC{C|oJ=#VZKbY3}nmةѸ"6v`~qQ5Ke)SVD%1G CCNmhot_(4ܒXzfVł+E|:s5Dfo d#>6'ѐZޱSO@:</]Y?Ռ";_h; s+V_6l'bm*с샿[FD=cH q%L^^g[x !jݤ܈/'cwZ@FaFمy}97L) ,{Q8`],IqNoBhd|{t]ÒtbHMľS`U~'ƚt[FNd#!LG[R"a nS\? [dP FK!C?9,jbFJF`n#Ls;4VM~=)L˧zJx iv񉖙`Q)*O7M.֔_ U x!ӝ,/5[ۭulu0M@E%X=jԫM "xbGK.Pϱ'f *,U ;nOpFP D}T$SHj(ĴK!r%Dz٣70&Qՠ@ l\"?K̡,5*E֏(8̜JmB, m1 *GtJ%TS8kLu ;Kb'2&NDiL$CA+ "߰zPJ7։+L9fNFA%Vřm:_0ϩCXU4s8j!ZOhr Vl, I91 fK)]Zv/C~E-Βi'aGHh\6A ?~NM)9.ChBU!;>^b˽*($Mb#zI&Mg_Σl%Xl`! DbZP;C;#`@۹z ꐑ$1ȍGScׂrE|W:[Pa&P=²Z- fIe @ az3Ohi*nbHǙٯQ4-_p"%i Ǐ;8!s&Syªd Ou"<כ3@K,%- Clx~G^zmfܣ0jQmhS'|5ad$4pUyLǽ\vBW9Կ05 KZ8V;hG%תܱ/xR1-dߍqSD id|Ȯ9--=ԗXa_'՘+D9wgS0LH_X}"ہgX\ ʼrz]?uNE>'qOP~TpZS|ձO*rIKV dx"~Ri Ḭ#FJ?Л_P&ѧ4%\;^nȝuz#HD 첔1$upQo1D+XM Rfm 57rO蜢" !r{hxw$+3qa +N%d!+L|ge2!6r$nL퐱l%ڸGwOlSno8f{hįbji_/]{$`ER'wvsHy9k3ƍ|*qqW C`8Fn}9h6}F/,-x+!7S{lIoH9%M3MW<3G PaIIJ|?qZ14"ucp#cB 3#9ȑXiX 0sIsC)NP";4A-rpd.8`5] {G^?UfW}s S,|*p[DI7ՏP0ԙ/OQGܚ x<5%FT_3'4.R<ϐ q 5vM7Gw.az–MO Cɱ fTިt#c~n2Df4Cg]lM劤zN|8_ً.;Je1Q#iN4r@_B\!rSۯIDrO) 0K9])SP^HBC%_G B"L[M46 Do]F br=< d<YÐumkOԨ?Mu&=tfcN&NˈxMD/lħ1#zE=n ꈐ ە7}91ɠy r$6\|E:'{ W}ܪ  cY 7DJ$N%>͊2[3v' W/M_;54m+\Oim˓ph k~ 2؆n bG0UHM^&/)vЏ2YwI|8I44=F%Eh_+|~OKYX=38e(]]6>gƐCslT5|]9bF]WeHX=̏DdhN u 'esRH>on9i:㿏x8Ӵ5-Dyz_c%wRI>Im1_9yt::PCT]UL5VmYֆg\;uCb62)'A0j>Ż`zԡ R;H|̳7Wu4>;ʩDQݝ%@YHsO^S'e&.rmʎksYS _1Wܧ~z(R%Y3 $b\HWY)_ٴ|+2W*װKp.;*{xvS d?Unzs8]*kv5u%H+u~LZWxhT],Ȋ/ vV`t؜ =C䒖JG6ʌ o}2*V!pS)+W0X)`&6W4I!AxxkLh?mtnleQƆ&3;yTC >@X Z$i)©HIF8m: Q+r`9tَ b`Bgz>DvtvBCt.ھhwNf`_:6% 5)m@q]&j 0v躾G*fеnEnPBlWcPBJMj)g<cPb3鹏 Kǭ#_p[)EU)BxU)zcx:8_&DbD>F}>U+DCuE&QHnd̽K9)v F C -8F;ءz}23'R!NYz #-MLׯI@V 38:;tx߀MaU""Z[3ARp?:;Ofdb9y[|zfmtns!Mō<iWQKqk2ُ!z:[s:_?j{׆|My#^KϨQWMkj⠡1`X@_cf]C.7ˊ@0 R!$xRf͚ɾBsnb6!<_tytZ_XHTfPDBH0{1TԽUrMnſ&1y&11*}yVm& P[OD2FHk|&W#7O%tY!ˇ>'XQ$_/c(wrRDWl562CXt[-!Lbɷ)sʣTMֱ)oS<dIp@^˖JG>[.ffd%Kۮ_Fbhc4m(H/G"5 7ap 49-"jIg/ȿؽ c)$8ЉSՖboqe $>ĉKH@(JM~dEȷb }&Ш;Mƞgɜ6l<j\iUx*KȾ3͘|i/ӉYnf9 p$! FP3kw@Qx|Ԇ _cBn#FxG>+A]0FeO[L+"I [d㾄W{qXnkJBKO5쩲gSU_9d¾A(h8ꑔud禑tf:>Thl6%϶\xh(Ms3#Q 9O >3[]Z\-R]T igYZ3k7/͑O13ͧqt62\;:WkH'Y@b*@|B^`Uma^$k+l2ͭ(1sMxͽjd7bJjzOٻE5'4Z/S/5$k6# ^q@'/&*_9T: 2I9\yXdW.V,p)ϙ~`$*AC/QH T⦢ʛ$hP篨<`IF(jݾ[Î5)F?D}?ƁD3]{Ò99azCDjOtoU = \89++K'IJCPZPpzd/a\(bCB'mϕK6ɐИ{K墩eCIHwowz m+&605XifOS z]-Y`X9ow'"B<H< mh.!mk(8=I9 b%rbs )- ;.~W~.|SD17>H5ExJA p5Y|mj[$`LӒ(o 7uK|oRE$Zc`:@6Ut]c}IMD5A@q1ݒR[S?f>xE0 ~?:?u Rm42?dFM|S|,;)͌yԷ+g2)$lvo}QMM)U<"\X.%'jU[?$䉺 #ߊa`VO:F1}FHW~6Aijlm`L_n6>  0jGÉs`x}%%2=Dk@ƞpwpT貗fzX@>{rQ:*K* >lh`}j5r'HtdjA,(cwVH*)DPOY,stQsQlѓ8c ͅtbQyѨZ@>-gQ˩\pHi%) 1%]T %?a%vmNdh'Er~u!E0cY-&5.tx{d9 f9ӄ| H-V xlI6%oOBWO:c]H2˂ ׷;ySOνw4 qr(s-7dֽ%#f]Us35h֫9.oEzQ`zxU +(u~e*N[>x7w?x%xE*4 ̚88) }p:ΚJ\Tͺthq /h8/rAKfn~Ϧ=1-A ^_By$ظAحLȪ.PȪWR|S 3@߅9Ny2f,Kk9) IOQEDah־DِN'qUAb|Ex6.p:]w[ybj9 9V_faPgy@'N~5oCP0;=ڶES.I]y&cL`Vø]}ą5-܈E졷'oMp9%?l"a3(UjR9PL6uUc\]N +@Hm _!iClW*3mĠ/P栊]+-R=(Ězӽes~!7dC m G],r 5?j+FR9/މ }ד %_GeAKd xs +)>끵%aSG h/98E%*fBb OɬzLv7X1cn|5]'Zal*L,:24>ѻCfC{!By5ըPàU *rTgCRwM pѡ44ݭ朏vo"Ų (džyKjb46Bu`sZ10Zl%l]cIjʙLk/1.zC9Q.2luiZEI1q:b3S+S+nzǫfH撈:9#M4HG*qd{rȞ!mwW$_< 7֨t鮛ԘD9p?@}vRG'q * Il&J*b Jjw1+ ֞պv8+Hj 5t2 z(f]F=yV=ugCW5ѨgGVgȓM|3 :i5s/DZ8 6ksgP 3nl3LI~9]8t(O ~*?jk_)9U9cŧ uv/AA90{q3:EY [lV%xN@.0bhݠ Uk`m C!+o};.4+A ǁU\6GՌ\XsG<wC 7Jv 87~cTۙC2?+qDGOU0~[5ׇwX@gu$ȘekjZv)BPQSQ[4 ^S7P#U΀P Pu[kB a/;%ݪV]Չl&oBَcŇ'ͩ!]e:!b>`R`,gYqhC@Ը?csmU B/t%EPwQ)qgxt'h>ʪQY9>ʍڎ59pu?Nu\LR@%60B̷<~2%]/^ACL%ld0B90'~ +oc}eWRj+ӛ}Wi 5B!AIHVmxIHk*8FIٞnyUTLt XUy4/*A9t5?u cfI- t ݇9yiOig) %k%k\IJq\`C9PXFDcss.FXד%D&ְʚ-T`EOݼq~JȺkSZؙtuwaֆ=YL]4KϺ٬QV^<ԛ%UbW_[Mg4\+Y Xٹq&pomn}fT 1B? in+:Ӡ OrjpCH# ͝ %r(J/yf/(öv!ɒ_IAE4|/+ōUGN(X0MW4nOebRBXzpI:3os\K{αen q*D0 !4¾;X<%ݚ86Kh}1!uDXoGNFfS.CbX ?$tȡ]`bxe$.^k"Bʚ}(KxHۻetef=bHzJyˤ_ڎ|zfwXEozZ5ЄEդ:uX kp46'#viDwR;ed mJ q-@ܢzα5Aڛ{mBip)e ai؆;0QHVJ4D~9J~d2EY[Ӎ1MCZٓ( nϳA9#{IRwEɍGT g!iNP\,8q.Ǘzwa[/mF ^g-Ky8F3 b!O꽋ݛJFa*@!/:\];CE=wvCKCYS fVTF5n1q;xӈ-K,{ ɍ>G _Lv؀3/h$U!rՇ  *g""K<0J324`D^t!bY!j!+JLD}C(2eB &,(@'ʕ 6 [C=2V.O$g\0|nETv\]maLNr?Q Bq&U!-r/$_[U3!bL6^"I)/7s&j.3[;mEHhkV>t8X4g&?2b|=JSg+!R na&{^,"ZP338! =A UlE(W=Nӄrѻ:.߱*h;-Ka"u1q `J)v5cSż%(WzTavșP[t7F_+_,x 'e`][Eؑ]W*`_ aR;y.΃YG:c?̈́I&r]nP~/FY{d΀P4X4q+"-E)$S?+ ⟭ xįf'e]Grs\c4"*M*^%tM՝gű+Ap eH ~b\blle39nqy5=?k&x6 lcE]ܵIN1z)3<鿤"b=8ELGWM]źWi3SUk0蚞+Ix8-\LZΉTP8eX?$Fa;oƄ̦&vuEOt0zepOLtDyjyD_ U6ϼs;!=_|˒46_nCˀ9b^O$UiD]{~N_aF\.\r3moDY'2}oW{y"@n Q[D26prHt%'nhѨFi\y,LN85G+w@WHs:Ex[ʍx{.ae# W9⨚i CB3'zBTq1~:tMgˎSZ\$}Mzwe>\/:=`n&{c&MdûlJ(n;;ϱ~'>|i6pDG_ %$%޲"i/i`WMG299~ẺEP5$$HQlC9,#<`JE5/KDu{9tTLvjH0My^4}t?|P(FW`h#V=v7{4Q3<3.0'V|@c lsT`ZfkĶf5 JGrY߹!]r7E4-a"<CxGx6t|j慫mQ$h 5ʣO_~^#S$髑:U]+n1nnx+\uS˒u=zHn\$?~؆u0-ۡ -MZ:!O3/i+ۉ*@#e[1r-sFOϹ7\9" $HTebMOmD)d!kǃ#fev.IA; ۳1K~#v~IL,)'1ږ/n bxd X~PP<%vaL x͏<@BS[5ʚ8;v(:`y?_MџV[HUKb;CvK@X@xUUbf4ߟ .ʊ% nZZ$m=}d&@ࣷv΍怵~Ǐi؀l3"bF\~ k:FvZ3|TNCL5"VC|!u#c5s$ܞڦ5J-v.*XV1b#흹:Ξ(zzF'7 uѩwjY&S-{̨p)!6#G | %]OI%O_l/.|a |O( @m2\?/ Fbh)xr3D4.~l=/س ,LʾQ:dOa4"7o6l^IjGM Klv4đg٣O["swY-2@eW='q'7Ax3JlIf(!T7jGf3f59"iޏ_/@ O gYZ