SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsy a~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m g aP5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/XmL):PmՇBL_$ˆ=:ԗ&0,TC@:CK4{m塑**C"FPM5c:TSԊ{'M6_ (Ɓsh"RQ5QTx Id,-HGsv|VvD+RMK3bHT!v݁&y&x]9gUDiD \* =%\n$i"!JD;@hFФZAB_&.D+2AT*.<˂J", hI"AQ@3Q ,@Q$"!r&bɒA%47J ""&$& I" EIKp"J@keʗڧ+D*DX[2/g*j2{0ϩMnv^c"ڞwUՎh޹}JE&n[{f2 ,xa.ߞ̳[@<./@4 hyI@`=w8hu1sl~OC}i"qjKD [u><5}x i0(N P݇66"ޚ""ޙ3(Sy&A|&%&k| 0`x{{dXwtwd0r]Q ?g8f7e6b5]2U.P-K+('%" ?821-, % !   HH+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_Machini?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesvD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marhF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   5|^`x - UHOL-Nominal-Examples:threads=6elapsed=347.231cpu=1708.286gc=81.609(/X}91&% m\np]0Hݯ۬ݛvʔ]М0w2ax":{#,[sTʘ1zsvS? H}U4Fi"tqhu>3CLM=?gf)kF#QC)X&#%s!ZIkR"DN,r_Y!O9p̱`;Aqcp!9 I$ <]bj=:|}:]zr'-B8ђȣlml4aK!|WܭDsB9>[N[)$K*!Dmkꪘ6lWq_/xQp&k+Y7dpZR y֔sggI'˾JHI}}oy'zcܭ᩹,٠TN-;\>xf3*YM9)i{Ӵ~ɺQz35u+2fUucQ"x$Es.9eN􉿹H|+g]yfP%~>oPD,,]hj!K7Y&ɢC4/eFP9 d7)ȳnơ/aDΡ wNQJyd-Էi 4Н3s>H;;Aj _Hκ2G[͞p! N?WċD!\KŖ/*檜ew+WQR\owx8 4!'x\㓖u)}$z5W}+[W[rXTG5X@3y8ܝՃ;O!YDg=ѱ/K%ޘ+Mc-k<'u*rB^KRmQ¡;86 5ih4Й 0oGs]=I6gyR-%Z[ӣR t;4uDsMmmH ·yZM]%Tk(8u]8=2ȽkxɾvZƷ4"e|(O$Si-밗w f`--RZuWN(GdȜ_8-&N9 u45l⇘ j8%:l{>:y˽~-t1~@,׸9H?:Rc v X%ƋZ; `j-`0_Fbb>81+Q0R E(+xww|e:KrbTxʓxXߑqqSJ#^(t$ei@)y zX|3&s70\LWݠ6 \=Kk,qjbcRfM,pO*ER'X0 Y-q(1&Jc&->$L3^E׻3+, I ק!`՝[|5N^'ipEqo>&HPAgtp)n;bbݴuT!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.thyLJy"6 ]sHlvFZMb]͙+Gy%tcZi1{hץ8qb@oǠ9Ob1F9K~d7;kDYVo;`nBğ-vh\JΕGes4JBES99pYM@@.$@tްRŔؼȠ\"N<7`nܢ UUg".rRYSN@٧: ?ȰƆzՠD^̔GeMsue/[7v*ͺYEw` +&m>m`2N?5T ?\hu ,d"4qMްDsFf9gF?.k>$`;kn}@f NǙg  ݁PS/aWAH&g<ۤO'>NwTC;aqNqCn#wsGtgH!@-vmW-OD%U!Y0zP-!{F4y|Ւznt;rsVxK$;XZtSMB؞TmL?ۦm rqꗫz a^'EU)cR8ͬ{.x-wXѓw!z T(39m6 BSJ]ٵKNӋа-*nh~jΣ~`܉9$b hQ7"vtA'YW G, :Zڝ20am.7*Uy%'%v;A'Q:K.:ju7j)20Ӹ"ء_8ä)DP~+:te8S':B_fs:#ZnM3Ɗ)^g-Kcl!P*xE\c2aXOK 62ɾ?ZKbxrgzaN+D~~`@iF@EKH'oPD⊩ʀDP'Ai!Vd Xy8H#_^19]o[ugzT9AӍ:~:k8HT7Ej:2 7ݫ[ bX#`̨dМo*qfW*І ۊ̒<,10KXDyĐX*?ۇƂWCbV ۔N6MO!Fa.So▤*5kO<1jh>ahqhr5b'PL>\9X1w@>V]/hD*{i*F* <>ITnu"h/^7U]pPN0F!t0惭KA=.:k!O$])R҄[r~ Aw; Zق~]A9B!gS0l>+2੺c1!S? ^b$O?(oAYV](7B BQg0ƺ ׃ʝ˓B# Q`{Iq`]Uk?hw\f/hhű|J((vxZo?!zP\rCe&=T(:<S7Bb %؏3 OXk?:":Fا 33ߴJ<{qPq!ɌR1>6#m;/R=E„Σ随pA,N.fkB[9A r]"0 4[3 T\@ͧ`3ia2 햸ξnrֵ1H]ډhMU@dO6 Uyz&p : 3l˳NAP: (:VGעA]/JsphhP[TI,I򤺃q { cz(*u>= J3i۲Keh#I7DNzFa&-= j0WnpiY.lی 0/S#Y'ڤwgM`6 kR̶WXfN|QIgr#/ J^t9Q`\"nJ6LZYn ̅xE*pUAϜ+a6s3~F۴؀H6-ٙo nc C+  m1r9(Όt]M$JDZRkA'p΀GW>39FFQY i sCHsA0xj=0ڎ~sko ]2$\tcɃa)~qRn_ER.N- ,ll n+CQ`Mzzz {f2BGy]tɑ4)AV΂s^[}`gfoU'X ilc]KB>JмgvUJ,V/#h; p^nhH;N"@q*"X/@ ,VƬ\=l_ T0# ɵb5@Ɉ47М\} #A'"n06+2$mdž1?J"=($}q"ٙzyOJtG\d%`ԌkT0-mS?i̵&r]9CUuI3#/PRȐY?Sἲइ@l{ ecƐ#nT@ۥ#~)maEpTo (?TƊ@79b^lJ2ۏ4^_y[EM :o'^h3䴣WAZiq:ƔN >~ں aQ QAIF0DJ\bƳͻPX,[FGxxQ^&%Rz"EcdNT**HfTʼ(E.؛Hmb6ǡBq$*>i1R~ Z%9aC`6 Tx$ES"*E"6bD6#c/O߹fQƪF05>U܋)ͯj<$Zu`;YOUIJqL*iǽ԰".E"6V̀"ZP}oXL:a \8`m^xz6)p=@u½EMX7²x=Y<-l%9BTׁT (Hv. GѯMq]zi )S/k أ#ə,DJuh]9?YTz=F.[KV͖\ xe Ao0LΧnҚ˚U,I͹"KRTvy1\?"BfjQH+b3vgt-bxMf~0{/yku$Fɭ= ulZG;Jn:F=+CZDZ^SѐC4R{t!!G,QlxSᒣp+);J1aT@Itp4&ez<.dL4饞/; 3,x331JNW!Ĕ- ԹD|rDpɋfVԠ d*?qk$!\ ;,: "hopKbQ3;mP2!uX?92zrd84((\'Dʰgo{:\W "5LNb<6' @Wd7XFHʶ'-Y<4QQEA_0aL$%/?)xj1 lHfzT:<[e2;A&1j8SxB?I6[uo9DKʂ͕V{g Oﮅ@i!d0e1 tzb<(Ae ڻr@AX}'zl W+w""cy@yUf4`+Ov!0r) ϵfD[1hWC&\tWŠ $u#}x|^x*m0'PI*0 moDK@`QfU8bphFP"=L2]n+Yf:?9Q9Ɯ-LPo4MSl=fMp.| & ݿ!/0֋t:K nH!PtSjwvdbahT8IɗruFvם`?AEKnh^ƪnї& rJGx}M Pp+YGեSׁ#7I%'. N%S6JP ˞-Ԙ}gfo#F |"}WZ#cځ.:$U'i&c4qQ`YKOjxˏd HsJ<'蔀EN]!r\Ch? l GlP5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/XmL):PmՇBL_$ˆ=:ԗ&0,TC@:CK4{m塑**C"FPM5c:TSԊ{'M6_ (Ɓsh"RQ5QTx Id,-HGsv|VvD+RMK3bHT!v݁&y&x]9gUDiD \* =%\n$i"!JD;@hFФZAB_&.D+2AT*.<˂J", hI"AQ@3Q ,@Q$"!r&bɒA%47J ""&$& I" EIKp"J@keʗڧ+D*DX[2/g*j2{0ϩMnv^c"ڞwUՎh޹}JE&n[{f2 ,xa.ߞ̳[@<./@4 hyI@`=w8hu1sl~OC}i"qjKD [u><5}x i0(N P݇66"ޚ""ޙ3(Sy&A|&%&k| 0`x{{dXwtwd0r]Q ?>?2FTTg]EL2FQAB 0iwmaosegSݢ'Sl2u|̼UYt11BνncKwYl1K_y^3gOm WP9]0 \5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  5K) "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/XxJ$.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̈́5_COWـU>䅘!#+5QEp`,־s٧E{c^EȊr<Į'Vϧ<%-܂7𽒈z/Nrlc1hlӒ'Jn+H4%V+y*oAñټҚ!6ht4ғk%pwRQD0u=}Uy,4c v07:rp!1O"F`Q^U'Y CtE@j|Tj#[?Omx_O>!Ag3p|u<&JΤz#Ҕ =XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚*60 Icx`@448P ( &hb9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$@X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c|Nʂ\%0oS jRz%HSȱQ.SJ)I)kxhfߌ۷^'0DHlZoo6͂hfƁ={ٌy*@x wCBC[{ QaΑ%9   0 Hȑ@pWrܶm۶@l۶m[-jZUU=EUUWUTEU3uJ37HHhB d.9o Ln/طo>55yMkh<5X,_Y22*ʤIeL*dc8Ʊlƶ0c۶m6mlc[-2-1󻝎vvrDsn 8(!$?7ӷo7} 8x4ӤMcmdlK"ٲ$˲eYȑ=@#j`bq5e]64n4F"8kⰦEְXbMd/ovf"y?p>wbs8vjgءEi~TX@`B E($id,$nIȌܥK98XDA$;ȲD ݒ;l#ec͹0avܒogXXh|^H`}Du۶m۶mۖ}xAAѲm[l&CeU!A$*rG0DH84D0nKlݒc+!-ۨ A,I:Wu]ZZZ֪֪֫mUW"RQ:V.vUvHFC.$PKΈHִS*M;ie*2vӷҊT:J۶vePt-T,&V# m'Kq|D3O4(۶m{Aa۶"uhPԮ]iM{ݺ =N4(ZmU*<`2&$ Ms81=n-}^4#U/l\m*W\r.K$L4M#L$ɴ4ofǛS.S"Oe0&1bXL3qGd<ѠˈGls,ŃU4Ѡviv2AP0H8#=u ahpYBaP â@8 HT<P HBor-/CE*HxkVGrD!*g9Q$, xĉbgՓċI[,3djUuЯM[à }2)$zF3*i);ⰛWn0PmQJttS4 p} N" @ ^g(5~sWqwe4kZo"WsOpG\zC<+Qt J_)or<=(O(,b$v" cm4Pҍ%?t清}`XoZWA gd#KXD+ BAYڎJT fڠkH]yZ!ƽr;K.7T}]`m}<˅g$9I~ yaԪ0V89 xܦC*i֘?q[Pa^9BcY2X&6(; L,\{cA!{U1 3'}˛aSt@8-ҷ"A\[tSr caW= =Y-NYX^aӢvyCI0x>*F|7z$sri0xds4VF׭ۺ{Gs3F +:{5+?~ZϴY PIVn(!)>#7I<4 _gPQPq7]!KAR̻\sWJؤ|F4,c+"wW*f{p8tF.# ODTU89k?5a2"w77''ʿJvO\~3օ"~ kR"OxY#_W_1]^9H n+P-$8yQY@** ,&i2T̔dY# caoH| 1dg|@2D2#@ `% `Y_}T0`GRNfz[C1۱Py@/h6eEdR$ּ7v[m^h''RCCquoo$N}mƱ)7jWjrDRͺ&zڍj{RWM&[Z`nYw$-[ت=3Q+xRštև@"˳SN*my )g7 3McƼ,oS& W rڪ5`3U4 9\qҎlt|&j:d0M0MYR&)SfR=K d) k9(nފR>u^O1tOifGSV|) ٩\kmKYVy?复]MsR%lr\[8!j] xEE;k M4;MfT-r 5_JO1):i\ +pQLlX!p~o9*,v7u>Ls>ޙE l[ZԱAG^_kc'-KQ{XM=8 [11?8C#˝죀k<۠n ©щTuؕw zsFWa{d2.(γj&~* %,r94mC5HCxLs$OL,@B-K9c 9u#pѱ۬H ]Xz4G)M7Ez-E/ʚx! |] ~>,J=Uh1mB]+$l|8dG ^K+䄠.D= BQNsDS6uIB@f'50'߷lƼ@6]­O, 0RAE, *ιc7V8cߧJ:X0GM(#!A #A[N3À[9% ΌS.8YݡvnR*溻ܳ:;А$᠅0݈=f@23d`R%FLfS b%t]hmỷp1vf_Iw@+9 I*ԙM]hX۱)EfLjԪ$6$(#o =Wb2{!2"k7}N %Ҹf. J>K(*>TQ\˟S%Aj!s}-ԽC-oV:ojᄋ*9b*ׄk Rx|;ayW{‹/O?(ql{ܥԚdSFa+<ׁ4#4'vS"ڣ/]i^SH1r+mttb&/TY&Pߙ~ئOg-er8\ +2K i9%km,(~9JzqYDt@2΄(Y+ju5\W=)|ۧ)WD`Buuza7ޤUA<o(c@OLxP)gw!/:|1KҨ|m* Zz)]4ZpV =<ɀZx?>%<4? XhOSZrswV "&g`+|J<$D<_-G\c-$$)3pDTCd(T']Gw6)Yr rpLAU"rnN޺-xiGnDdŬ&cl*34QκlH52?v&W_ ɸ$ƝSqW8k^W{T"oⰥ0Pak L[6㒋ጠ7/u,riKNRN"{u+)GCEGauH X #Uy\f LxW~%|y{23iZ=kB(t9uTdGu,㲔P`~į{lA '*aȬ!qON't*'+'[!=Tbd_'jV "i,lN\E*F)xjK~V=no.FB6A+)ٗ(ׇ u)AGvAK} nP|EpU&Jg6#)(o l$>av/(Ǵf=>P7!Qc"jz{4MøQ}='vRl+nw^{lO;/yP"@A엓8j[sh|zb+e410´k$l3PydDhWveKe TJ :9vp~`vy~k?tO^sCXΏX8<>V6F߼ Ttw]AM0‹nJa8C|jȟ~>9~8@;NcSQ >rIJdҤ,JGC|ӍzB0σ{ y}nA|hSU@Q !2o,mXlo,/u!xH$"3 ?5Ƹ'k`~a@A"L([NXP!Q@׏f/IKlf*zaZ pcUA~SI\+ݾ#XUnx`=ͼ!"|$Ǜ:6x+:ƬP 7`w([|  i2W\+Xs178A1dp (!"'LS5~'U 1;;IN\7+ayòDe٬x t01pkm<ɥ4#@|MNqޠב${aE?R4؟)#ˋ*gvĊ.g0!R1H(v\{])?9WEtۥ/1mOSzl,UdG"xE,DhH.nY,5 qψWk"'O",U՚U`^_T获 p',kkw%+(,Nս Kr+,] GREX҅fH}ϩjx) R~A}TĘ1d(V$I̖]*@c@zWY9'NH!WK@W*`>K7Æ?Ɵ@y8Mʻw~]&^{r7Ls*Hp-%d#ik:z72vny߆PEy'N5(\P]6We NX< C p~hk%l _ڡ«j'0pϦe$樀1t,܄3p޷ol0е'#lab0(%Š4_N ./7O*O1U/#6%@y& x . YR޼ Tv 4t9e,DYQMأ.o3rre"bc4"K\?*+חܦǷl:@feC2)Xs3ˌ$ymH=@'=M>qhju=%RD=/)k&'JOZL2Mx$2tUf1$hq4o!oVI1?+5ϧ~+1H{H +0Ol;XV.D6 =@|u]Q(m9s#fJXC]@CvYJQů"䓁$Z2yHͣP08EM<8,a#r 5 Npiwʡ;J>԰Gpȅݖx—f Z,TX[*C=e1)AHʦ8{_jU(咊t ?I`AG42+T5V0\©BMYi"Y7tV</y'ba'$ Xr6L_9 #„&g_:jNo5SJHa`dSxzeLH\tI*02(A.=?侼EƁ5[Ɖ ;9ɛZ`Buֵ@dѿN-7Gh#~*Xpo"'X`to$DL:*?BAx(mtQ@vGH4,PKV]<3jQI o x$-#_sqgLjf6Y}U^ 6SBkk"S,@EiMyӰ43Dgf]=>(YTGe!i>u1;Ξ)K.W0,f䒦* PCKgz{#KJeBJS V]f vf~>m^Ls)ch&6p: xGTt_`8;H3bqQ`v({O %):[QL݀E=Pl~ ~l|حK f;nhϮ(=sqZmQ~K_&Ps`1Ӣ=]I]BbѴ 4/S$De?C<ꌶl&F[76dr*D Ɍ> dvZLwFAȗܜ81lU_@`rWXPEUj|8Cc6tzd1 SݢD@˱t]α [D]ٴ N(}@U Ȼ"~KFX边L2 _+=!=Ow, rΎ5H"Oq&#j5)X9g- H."0O3c^4" =i_liƊ-v"BS 2-LnD7|w]G(SP^wu$eى bQ@BP;iTJK o՛" 3O18Lvd-쳚n(RWmV&m2=eDb8?鉦DșoQt@Z(+iw#]irNP2ձ)Ƶڧ>bN=SY,)ەiؒ*Ƞp*vMRlOMv h32Qps$N+|5"YbB=D|<_&RUTrr"Pr2A#;{+ϒbHjm⢙P s=ٞP5RDDǁ=PMG|d&^,e C/q~p~@+{@>Ad=ힱ/ABɔp*AtQxȃ$eW7#i[uA.Ln9mlp;@ gq)/(;pʮ>!(Y}J&y!<$RU֊%HfTg_ pY%e5)Ɓr4⎼qdxxp-aGV@'g 5Ad&o0OwYjc1 ]QJ*,@ElV' XX;dy2BE&nZXSjưZ{d) KN O.*o=F  ( v{ Q4q`>pzk3-ؓ36ӭnS37v@ yfLEDHϽ ix{`#[vÐ"k#_S55I'x0u<C'6O8Y+K<># \9)gҡjNI(@ȘG}i:S ~`M Ҏ |@M=diod1f[\Y~躵W jpq̑xr j` ~tGEh{_ϰ/X޲EG4aIЌ0&U[HfDwAjS1hM&ȷN6?A.}zOP\GjRr#mhF3l$"Ao+1!hL8Yiю2^NDUCy.oD ({))n(Yl DRWV}qF Wy|ߝd !Cz穴7g7C> :oa8ڄ u1(ѧ7I /Y ;{$+`@lDߕ_"8| pt> o0t[py<6?UJ%VL66Am=KY!gƲgS84~;oCF<_^;i=OOUӹVĀ&*ȟ)FmGcO;PmNp/HH6%2 Z' :~,o}f8kM #l@jW$/R {%0xvUkTcO灻:g/+ҁJ0[ʩ3x&DF/|e{F|+gD8DP.8;Q2Wp4]O g#.uF8æ)8Ü- i{۪X(М}|\oW`7^7T?GZw!V*A;O!=5 pRM/=/1VUg3$8p4Ji;a{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5~1!48oog]YW o>?-@72+٭Ye}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y?[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`AJ!P EP"N+R.y6ms{5g^(.hE-$CIfK[N'GtE3b:^=BhJPUyuPID&ۏz^H6,UދN[kAb`3Hk0'L켭IrŞx fB?4c ٓ7ĒJ2-M!yc/H1.$-}0سvXnD7S^(ZVPDqVii2$"L3\/$ZȐo!#[,CE(A E mW3~ōs>fg6]W tGTOh\l<:.y@GPMTY*h^ @őh#JKà/*^_Z֝/ C,E4dLDIjmWq C UEl,0'%T! f"CK r"ڮ Z*8=u"F$79Y$D9=h]zQ="ir GɻNFҐ ~] dgbDGJ%&'ڰ2-V`D<ǜn'1'z<&NbG Jܦ0nK덨fԭG/=S44!Q2"6xig߳@Ŀ7,''Xɣ*@E UvV2ֿ{ h I472]4/rSH &F1L+sy`(Qj WmTB1n {l3ܷLAǬB G1V w"_` 3E1ܹHJ2D?҂GGzHmnH%GEqIشkn(NSE3Ct{V236 $-yǎqS2 !̗dKxGTBlipV 7 |%) )KJyŬڦJ|WTG(/KaP82){??)pӅX gng,cwGӾ"E/Yr)9Zyծ2~ȑo+k 8感 Ve pQ>mWA`/wE#B)䱎=Iyq1QEa4ׯ1 [*7VNa7u=@vxvxnt`@#vQȼޘ"<4Ug? R-).VB0a`5: hbEJ ǃ0= Vk}-iFގ;"[ɂNGL'xV2v#'.#?ȤKFHنV ;xpŃ#hIT3ZY>`= ?9m(prf렍E`RNj#\y;RFp)J}^:ՖitzȘ<@X;CۆnILߍ:vGӋ~#R!8z~{훈i!BbUO;0Kn,{!*#uxp\\ρn{~q/q INue/w4jsCB\\sR(oƋd2٭[\K;~`Hú+~F;TEWCŠ#o,!N 2W"k 8B3 =7N= 2ىopȜrހhq8Gy ! (e^ȕ&ȢUT/V6$Iz GRe3An%"HZyڍ'JJɮ @lQC#]HX X6o:!gyK_v)rթQZ%heayދ$0)p)\0.̎Rج5+9 pZ-Z&nk3 _K: muSӏH,-TṗJ,1yb5e2XrohȫK<@#*ݡn^pX׊Ԗd2vF$FRgi7780a:U|(#hO|hzR+c%hZ?!UQ| a hZ7PM9)nav:[pEjDJ刳D3MMy~U#Ld=d=,.-(98<9=u9 >z2UqKqZ 'ǎPۮ}^Uֳo6V ~d&ǕPQs&.QK"vj|snŅlOWJDFMFVZz'T}wuuGK\a[N4z~@B#B1lOJ-;Ƅ&6ՇJ=CbSub8ɿ}h Å. [Az؎z$9;nJh5T fGS10z pm1Qrd|8Ax$QdXѴPgYI'y 0)"^qmdlƕ 8ebȹS ffP cڔ+r݀s 1߅VLmY48`2}6Jo7`2:5 P*&44姴ĩ:|!L߉.rly"ps]fpܴEkYVm,wJ9odA0Qφ@ih\.8UlQ6e@~ͳ 3҇.QH|mNv^ձ\Y[@:+؂ӧ#ҐC(gAQʦ1.I 3=ڿ,lD/t7Qi-^&e/k'@ҳmĦIv]J4flj0j|t6w\h5 c)ĵ>,5sN gU/6FQp<[D7=jzMm&;tw5Z@DAkn aNVL&ls e  M"q⎓>.t[lܙ"6KV?wdxŷLdن9(DV v廙O3.ٴ߻0|\hEDzIY0ˀeI~D$[cIHQ69 c76@QsHϰ2NOPܺJ> Q1q8Ie@A1B+J8GpYZu 7ㅒ@ Y`b<*;ȋBn1b z ߹B]9RּhX?ɷbh; rjNc;zܨ 7@¡\$YXo?eF'Uz9h~E ;I& WV'phvCuNPI?( OH"“ΛHܓM1zBx @u\t͎v)6.S0R Y⬻6.T3 |@; F%؜pv1`82'%BI7M1nNdyFbTx$ԙ8nU3f $Hyz/\k QD@|vU! >"5߂@!R{|)nҺ?t3tn,qZiD3`ϭ7V¯߲M4X<MBM"#H9x퉙Tx|I8Py\H>~g37܆/]A3 _9`0^p^} C;. ֠4~ZAF~gw|q) QFN/sl)S!81 ~Io/T ,<_mb{Cڙ@Kk~T+O1=ST8Zk;b }L@)7䴔,1KaF، Q2 Tw}u.U%@W_CO'U0>} oTHUju@W7jQ4OMكTo6SBaPo2 dG\*|S{fAsru!># ع,8",8LR-߃w}1`{(Fl1¼L3_1 A%}*E"0([cWC\80Ԏ .훵n_na{ Hr@ {o>@I|>tF30}ؼF8J:؊-T;ِBKi r#@1] c/#}^9pI']%OkhKx0XMǃip.y?~* !xsKdR>tqԟHq(%H?_zOɭ|L*"4O[H9;jXCD(l:2E@Ov8 s6gg#o[g* ?NwI`⯈4WA@*#DC6'$iҀycqZ|1`Tm8k2E䥅2st<m+(: _ a;."daZ1&C=b@Co(L3k[ҿgo6dE_aId>фyLE_ r>k7UC'-Ywƺ\q:g><`pyg@1bV 0UNZ`I c쒆Q` c{Uc1P=nハעzBؤp%_!P;bnr8Ϙd}&{ȵLijip֋ D|D'UXÍZƇN:JDu b3B f1ɹpdm(V/1~_]][5u- (? ~ʂE<ԝpb"t?0 g$(uDxi=AA|`{`T a*0]YJ߼N5?E<[G*|'2vZ}I hpӀf5۞EQjyKsJv5O;M @{À !jܩ6-Sfvf @'Ï:y0bAk']qq؎k2 \!ﹼh=)uqpuHA;ݻa';>O>rD% 䳡 Y&Vf]'+)߽/ qAHz[?z "a? ;Gh-:3/ 7FR 4B6dB2\b#7KhPauamMtfAʛHNpDAn@"N;mG^Ps5G&|iyy?c1aك""}CGb<-"p1/D9窭7/1R|RmiJ\J_7h tjSy8!@y~2[TFCZoT q& w;k?SuhyݰWa^Kf-rz'JŚRoÂJL{1/ c#9u܊E$No jIa(R왰\i ;Y/ˌRxVP 4i= O?./~GoI 5 ߶7ɳkx0(n[5CX-K6y,ΟkDT"#*Jq1_!pNQf/_f }lW C`=35ǞRh,Tjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JBQA֩" |ƛI#Xsj/~'ư9'C-/7WVG ǤN):wqpCi ָ.;Kz:]sftĠq 9<:X{D/0# uK :%Z=l2_ERKzB}h`G d(Q6p~injazSs=|1u #$gH;su0o$\Ά{";&rey)b " _y@̬3 t!ETBT]jU0M#]UO|'pqVm! o<_y953$<ۅL: W{xK0oi$\eׄuޯZ<.lHKayIH}Uv-1|BD 5z A}18~Q"Lu{ >=ʖ v{Y}՞%g5s4QZ}t0 4XKuBKB>Qc EDRՓK\ԵvZeSU 0vXeFk)MeA4%>6ҌI< |ȋ} oE0js%׏E0~2z}e+-_-KJW#ŽCA+[7`F@JUmx A{`F6j|dX^}=a(YW ;-bIp0+ m;Ϗv sA!h\ :@Ąc.Q 9~RӜMt/!Mx(#`Ե AMUGyIX oΣ$m+s%}Se2l'֑^XTέ7ldrd5mo>ϯx]~/~x5By 54$t_⿾^>Mqp|9SX--bո&8tƖ4rL/r$Ts*"{׫"*hOOZOk{:S̪EA:{˒VElxUhKly5ȃHmٲ2ʈTh_wj4K|BknCA-~p)c3Cdy wU516YGF[TD6"Z2{^c@ 19qI СRkgA"{: {׋EژD-5A.!]6K~ֈB =yAlZU0|Aq B \liO<* g)mYe ( )%9ELB юoƎFhTd4it۶B5LG(*3t4t,>LS BrK {ٹfj N]lo %22vTL{Wŧ ^?$!f\dQ! /Z!4,cͯ06:, }ZFiwx:4@Ajp% >A;)=Ju-Z-qB,? э⡟rԨ9'X +O#.Զ\X9P mbAa,?{ g0* |\w-$hͰ!lgCb q@m@(ΊZl8EggsK";"mmHq$loDh& sO)]C[.;Zc S+#brфaRZxH3x淹V8j!,HBP!$";{#TDWZ9!h6mWt> ORng6QZf עȥܪ(eeu_}ws r"C}3݄5qOqG¶,-(W" .jtQ۰Gvw݃ U[+4 . RTT24^7Z>R(6ZC֛D*Br,|J t$wlw7eC̀]W,MN/]h4g و%@ٺF{P!rFGb7 s"*KS,@˶_mZ*:1`BC:^+x/ޭ|i6]X? b oT{G2tͥk+$͵m=)@u)ͫWJ]ɥHAb5#m'.!%>t*z~λB>-~r(IqEոY_R7lP4`4s"3qNX >LOj w*\+ 6`[aUZL1uf1z 8qhnTfnCQp~Wp.G q_ r#@ɤeG"D7e 웄ifmҟW6_XmT] D92mY+VH*;hQUoXp^阢,գ00t7$dV֪ `jުXRPZTC- Bj7]d$ ؉ICS4.@͒֙0:ܲq}-Q``!Icn̟)w:ttXEGE^x#}yVu!ȰS[%X%@1ÂOd(k-"PH(c0'0tH w^AVwb8Ad(x.Ɉ%A\|7Q~k2cqF'̹EIYMk Ab;>y WNa37.89%q윞4;~$ghi3N8g-U<嫺S-vh6kahx`_%EG06}TV_@.3ݲWe!_0J?lFOX=g1so* 0*&t4t Ҝ#Ҙ2:ql[ ,@-Jx[ԚQAIrm2)cK1֖-_bAQsŬWe:FCP8w3O"o S4HS[ȰcR1N†?rm 1r^c\Xi/1F(*[A oo.<㈲Cz21siE Qc$Γ밓-8b} RHI|CM(>AD ZtLplK Q4J,ѨMUmPљ>O ibV% $}TOV 䅏Y\|>ւ_ #`;{Ԗ 6HPg)-Hԏ8: J LMq|_-BC@X[L|1L+¦ ӟ힛qEnS%8/kJ¼Qm7\ v6Ѻ87/kud&4F5XYƓ.I5U  sEl: eb%8>TVP{) 6)(1`Ⴝr_3FP,g(5?FOT8Z[q bb곽Cek9NX$MDeM8!ZrF߮"#P8G* 0]Db<-(V~ǐdԦOh,6A1xz+X;蕢L@UQ=mz\گ^_`aWC_[ߓ"J 5Ƣ![G0o IO2Ԋaex$^.: o4^&`+b7hڭJMcu*nAȦ:o0*&9B2u ?Kڌ`خ@1op ˋ/FC`,=;R `amq7K|®3TncP< ]^\d*S7A﵅if`hŸF @KR%8T^@0j(@6Wެ("mE1 :hbnm5uSnpP%B&YAX)xkep;lٹ'OQQ QߓC=I VkƷPރ&jama< z"_ZGtxBgf[]N'L ~nd*>V=ux'~ŏ; q|&aŃn4yTy "ÔZŒȘ#?BaƦ;~$ܚ•^W2a63YDq4x8FHk9-EM ]H,ق5U!0G+凔;nPQMS5@t6cBy9EvVX8 gy_ﭛv0{6,P|YmD؞D]0@ҴMO*UfڃQ>/IO"* tm;xNyp׮ij +25arxírd>;n[swJ"ЉT&tT/4 F\KEUj;ˊAC)I!;ݡq+K:K-14Q7 !G{Mṇm5CÐσ'uk Æ,KjPX,> A(geCga`pe#Մ"_o7Vvu~"l 0??YQt\M/zANLlzcIJ۬O U,h -pDz 9k Ҽ0T6reTF_ 4q$I-sR[^c -8vP놄-ey}G݂Ƕ#pE~=cr=1:Ϻ "nQ9NŌгm* Do̡EJ蟈yQdMĞfBQQP`*mzVV["Se? ؐ/.Yo8% /,l!08&|]ӵǁ/U\g>ԡ AG^$;a㼩 .@{,]@ӺF.^K1bTe"*[Z26/=1cWE&UyiLY gW\Z 57(<ZB, XxkaW44[Z[_k1݂<x(W4U"&kePUK-F6A%_x|97132Kkq¢wb$⇚ǪO{p8Df3-R(Sm- ma!F'u;xp"zkaI0wwԕw,skpBJ|[ D>Cz]PW|1B${t P5(K۴EiׯڟʇrUt:w0GVtPX8*J{KX {{`` C _۞' AC&\<3&b苒8OFYJ8nYN@l`d^҇mP*Qoh?&Uvma$rޣP`3Ur|H4sZUtУPv+Ntz>n\JgC9blAF(yQ!xx0.@mW.?+ 78DV曝x["Odë)=0'2/?%"y@f#]NX~^Z1$odh\|{s @"mjy؀Q7J x2<"f]h[D\Q3~bVuro۰vCM{[>i*_g Ӈ]" ϏD we pvfvYmxU \E>NL::)T|d -vJ MoqN^O[K@w?'nX^#\%ma<;AޱG' [ YG>.Br8^M'SG]$'H\`*m3L[E̋+Hn ;>{ !:k3X3a״ >+ҝ&9 a{rBcuoSq\ -ˁ9@bp*δBZ E&Ўez;I#}6:/5]Dۗ\z 6w#p`+yb·%]ٵ"GvZ{B Jj+Vkq SS/ ⷖdF3+_[$1m m_MwP20onI/@Wo^@WSj, %X!i10-v/3D%Ls9.uB ӝa{f"?S9J+Ċ%#YX_S[SV)Q\{e1ݿn`[3ipt9L10ik¢E'TPpChQ4 u,pqv-]0"L E' ǃ?g9xNz?,N Ҷpb;es 8mVqP'$eEK@PHpKѯ?#%2䚭dd-DСNH7ZE67y,sA w)xN%u#Pi^?Ɣ^dR 3ړ RD`OȪ+܇a:'f')A6x#)u Bq'׼EQvO%bk!1G0 s O1ۄ\PRncͱG@vJm ПlC?$:D,tp\/n5I=ȭUH)]ZI 3}*BU5'QMsTucq>/47le .a<1/l@RZN[|/STG+iXImQxkgV[(a^TpPA,^+qv6_NTCSɋQ~/+ jI3/:iAk;P{B8D1 ̋JD̝2'Dx7;ou K_B`Wy'1wÈzx@tECv`qX HUdUp=Gw(z[hEKul3LF$Li2 4NO`(&DZ!?Q|Cot"4mx'.uy8g'džC5a<0 [ 7wFt_d yf*ԃhGU&th@t?Phkz8=#c, I䆴fZ$>YH6jS)J( `z'ygTp?"E %i4]o\Ukn.LP5m.889%lY7&gjK>ro 3ۦfn5w D)"cdbhKtE@6!a%S`1 ɲ B{~eB䡅G+ Gv=\v¹C'6_\$~-LGŃ3H`O)7IҗPn H p /fc/Ԃ_F%";Q(k A4r\-3!xyxmiOkaAgm&LpʟՐzBv ;BH>JСB$IBD$)mCz{:ƠQR-PQDq۠u V+,ett`A3(](JCĄ[:$Ǎ(jAΜtU)(Q0];T\pnY)?ٶclyyScl e&mzf fiQ2)  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[:g@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊8.+{[R;G?WPuv Eh=Nop_p4/r= ryՀBE'P9UH5|D֐%BiXqĪECPxa l,@ֱ:d@ n%  ϞJ7|b}yvm*"ߝ9)Bc {_4G>@^`Jl7<\-cO7HemɓH 0x+",/r?'cOg 9:ܧw)d4,lbhi3뿬'6aa:oC ݇8M[/_i)XSUW`]_IbУbB;ht5 `0e`;I@˭p3EH%ŏ-މfxd0TX:rB DZhLim7l@ N{]%J.` &"Z(m6t  3rTs08Q*\_K`! KgXf[@_3@&cBf:y)ϙF` ǒ~vXe Dɬ&3dc0GcJ[FGad)3yae@HYҜ*/11je*+ tvG= \ M A'A.*,W4.i"v Qv Y@ E}E{eheCEcz3 q^!!3nꋓh:5K_L's_!_F C8 @Yƌ:;Hd9ZS]6uuܞӕN.>SVMvi2\ `\@NK]h * M"U A"}cA:afxFI?È\ӯ B-+9IyQ?v FBBh)E(c'WDM4g/WzV`{]c;gy5*>O\(e |PAt9d?ir1zg*t9qEd@U>A<,u1ysJ:qf&H#ZyHg;rB.{{?% 1l) ~q2h_|%6Ak A&۷^92 ]x8SO{d`G%$ ML62YjA/z 7CYI<x"O wol6i;\ &0`6}MAva2 PԂz@=2X<(&og[!s<2ɇK/cL3WK?(ͮʤ(^&N+Fʴːi$ʹq<2V1\ol=DZX jֲ7))Yڎ!RD#stp[hb:nu ` ?\!@.TnW/HvAwh^cjLv oS,kT %wk'սd|16!0c\tcΥz;4jMcuƽ[a']\"E4υXW $gR&.Nc/Q~uM?Tm,'D;DZ=MlrlP(pnE/Zs ʊ~X> 1 uN}M$F<:XB94g? VtִnG_%>9wYg]Tbo~6Ѭ[!YamGjb1lǕYAI0X^ib[w r<:c @m#%ASWȓп7#޿gwDitI"Am49ap{ ю1y[HǖVHQ|oɎK0[aSr|}=#$C>? `6|o򬀂`@BDtjꡩR?#g*! "3.K{9v|&"^}#K;n}TFK/rr?H4f?_l"$`mh`[" /|DTz V5Ԡ.GN yǯf-mi!NR\"RP_Ynga~o*Zf"d Tw aӕ?Hw: ۥz\pjofs8Ogp<]:Ԉ*ܷ9I؋b/w]#jA݊Ux:\wAFs ڪjw^\=>؃ƀ9:P}a"x%AYZ7Gf!߻ᐧ`/0G0!SMhI5G?NU%i݊Ñw2c㣶pԴ~t2p?iؔ292w~%3&`arـ<РTR%P]##J*νRUWuY0Ѱ y]da;קП0}gcBX_y#}ϋ#@!>O7c q3A566cD̄x\d(dBΉcISRI;7+m;@0]:GA웄L/)*]J hEXu;{ \܄Q#nc-fWSsޗ)qv:̼ VSA ~>Ywjc+L»O7s7˙?uB~єYf37meU==aer@テ L@AN$l,Q tz-b Aw)9Vצo7Oz[A8{7i^Yė]K9*K07lDC(˽&v} 2T▘q%}VYN}dvxwvؚGbIZFCȕA_;sF7oVfEte¼#TC:g0k Y+_;uɻ >->6&má"08 keX0 d+VG=V`#9İ Ő\ciBk1bxrʔ_AqMr?.; ":6"׭7+ZKMWW.D|P։z P D$4o*g$B=Xͷ 3ȟ88Ui Ȅ<"/ODMVj $FAč5(Hmro {%+ZPۇQE! Ӝ1̡WUd'[Omj,Zwn.wBl,"rU&60|Tjc)Z85CM&P-Dž_xhJvH^ji0츨W @w@"j+z{왎72H W*BϜ>C`t%HW>k1mA,2 ו{s_|㦍0xA ޔQǽL&HCdThm per1EsȀ4!JL/ʯ WQr8T!qySX1X A '}5Ph.WqNR]7^L]^Bf$wJD/D6S\KX,r.>!P0-ô&5 Kl#jr'OTq.ogSD2goej  4qT}phl,L@={aqj ml&,oH[qٽ`sd/K{FT0YeSL791yLK.&b$I/ Bc2* T4ӬoʘAw#E"]{e4$xk++#$ 9pŨDȋ''|[/X<3MhgA.Bղn;3|M9|hFB/俷W-@3o#{r1\N g / I`!1!ӀJl0%2$eI2=!/6ۉuxk$`I|vk=aha‡A2C8!aQ, ir`E:r B*p۷ Hv4ʯ eF |zDnm#7.?Q ` `F;1#^_Bq&7Q5j5:,mO,dd` RJ"`}vn7*YP92~hi,2'q4 NؓsB""ʶ組!%.{cV!, zCkLI]?x\ƕ $R 9$YnZ޶!J2Ha1?Q0T'HǜRNznWdgysBq [쫹Dc-y6%;ExkCf.!ٕ 7%O!6IbMn"Nwᮦp9cOb5y\dw9oe&1:4q\f-2I.?*gΧ{Wя)\b:Txp D(BSEIAX^o}1 65Hոfv?oDc1=0Vpnl fPC֪ hECZ̶O-8f06 Z5acQ'Hk ]eЈ%b&A1ֳF/KHD )~70Bs#) 9v$\szʑaYA\~wϔ='A'wk0Ez@_CiN[[elB_9-5(Q!] f xXӰ{?Nmeq3 *e<_QC)<SX9MIHߑ5 ̊<-7[zDUB!A+E'G@rD[}U9<"B?[G2\rަj'96Q o *q>7b+4ijH e^9HR=tZ#%Tٰ_9МOBvLn=lqאY"K`XڑiΌ KzsBqi`A[Lr;`eAȎQj.w!Sz &0)ɣQ}1{n8Sh}qx@"MT!I!_=Jd'79A$H290مF~!lj~[rj˩+(@FDA@⟃UsbGm@fk *BQx[4 xƎM?̼T !@ s3/X6i`hNI&d=E5URm۶m[""""""*$Ir[)o5QIl.gW-l.gW-PUmIDx+b {$8&hfU["3ONNNwm߾.}߾on۶mevUUUӪ2RӈF&b,8jH@LpƶRH[Ŗ$g (c*D&g Xp>t "^~+]i@J3zSsHQfPfTl|o[τ;NxZ{&/l_ʈj4`3±0%Wu|11@mmD6&p#?C]@籚p ɲVo".zЉOU]$bxJ9_;[)b1,,g"y@ rdQmOPryU{ ؖ<@h1iu[*2[1c*GÀ] Y,oK*nFFߖ,'7%汜 -z`/;w{uߤR} #o3/l2!h޼9yH/ #o7/l2!hХx3 [-g; mKr{y"1׷Xoi03姳}-vz{Ϙ[\0g.g|y%-~1Yl@X/N)蜹kٛq&0 'LIRS0<:*Я9xQթ ]P5\$v0͎ʸsvX; pM7O}8q)5p@ ]0z{sWikYdB>4[-nܺM_49$ùoI8Q[z!] G|4 pJ*^x[m} gs˛ˑ#52PbB.38(|qmho{ah>̅ F8\W"b ]ڃ7F4ZĻ^yrCDF/hVEj^{쭊i;[śrP#@ ymIB7)*eᴼ]FgAFnd# R(ߜ ˞SYLF2NWq1Djk]޷Xx VԴhVO̶ a@^9wzEhA縐?KC]um{ x!I˓h£47;v΀ D }Q5yaOyo (L8׭u^_򤷱 Yf)-|!* U:(CYkn!2nqUpoq6K6tqfj:a[FTƃ.l2,iw\st[[?}e %*c]ww 5~N/s{1ND~Y|eh=8U5xwKO}*0V_ T) U6nk[VR$MJ+ 0ern i0QxiZclٷ]%=_|=pԭ6X<>M* T_ɒfh*8ȄˉH07$B:)ȓղx 3u(̡\㇟u&JJul7zq~"AI+bX\DI Wb{4u {WS+@=("fPW07;wpJ=y_#xiZnk"ꂵ<t%=xZkJufJ7)<&-f<h ;/A!Oڮ"ѴU-.ݬG)H*mdD`NbxX2&n#8J=R@Y!}FNs("B{otakW/ݶ]߳tQ "-c S?n_ҏ@}rOXQ}$a+sU_"1XhLw]8ԧ"@ӄwl3 Ƙht8,2).EfH$0!aS2z4ɲpoF!̰]c ;[Q6Y|dX$ Ew,.f_=i4J+5\`/XqF.OaqKv (íD G*vr:0*U/{Ez'q⥒EInyPlL*kF\cr iogZM`;r?isPκ5޾ זyDia1NK)(B @4-y*B9t#Qŝ0aK8.>Vpzenp. ]Gqm9͙穎d ZbiҎ#QNwHF ec:k} zu.kЏ]Xid7mȖ% e\Mȕw`.+&'KX{ҁKub2;!ug@txCtnh=#>z=|6Kܸ֡Dݝ7pؽd#ļ9/ȠJP}>EzT4ƅo? ùq;Tټ>k@Ò)*tLum}BSH~RZOt !]㎸{C&yKdkT`jvYG ~k$nfwٱckV,e{U0Rid59޺og@gw# {mLhb[qc]ٟ;qclՏa:<֑MG2oRB;U6Kyl)0Zv JkM_<$8>ښIQlfzE !;gny:r~5:o|~̦~\vo*#.r.1\mUSqUMH5kqr&nkM)wëlքli*E8.u|qߵ霝0hw(2V|dDKMyq`ut?i vb[Rpk6ܵ`Sº s|7bgu@k#4(ZCkV@Z'otȍ(wPb^ђ M<1dz^/vo}qzYbۯ<ĕ%);,WeцsJzTFͱ,*_a-w:lAMCs~miVڧύԌ צn%3Xp&>z3^Uթ_Wd߅Qpp_vHJ=S(0{r%4eVh ]7 ,hi?{;f@[HG /?=Z ԷO <{N~bǦ'zC N&ITӞEwwǙҝ5Pp~]Z"vNw\ O*pPj.dsthhqtDm>:\2?Ʀ[QŎvuFPՠ(7❰ȏ{ZQ@~̧a"Ieﴉ1(5=}G[ڼK,JCf+„/nd=R{;.6^øoo_k~>~xeq߷)=j[,i;m ~V۶z9gRWJ&?ڻ|L ]-{Ciu;Bm{Yۋ.&[c1w6ժ 7bfAV+3v/i{Jkd,E#$JP p OJ t(mīΑ)%=-n?iNvP![U "@+^-%Nq!aa\Àj`7/ 5?3P`c:fV[f:# MH& 3Ü@(4<  < qH(hR?5"k5SPX&,V{:WB7*3FNW FemLX:%M0G`]CE81{HW(-M6u[5ml6+BP KVBiUT;8^S|t͵ Ky1ISU`{&/i"r\m@y&84!jQI<P=EuNk9q[Qlk<-kx}΋#14N 'ҡ%6}$t1ubPrb&6!O] Nban锭iU()<rqVQ2{QX_b͵TvA zRvھv%pzlx֡w; jI%j?`U;>ܸ8]ϝ{!xݕ!vɣD9)y]ucH%-%&%k5#WU˖wFu~Dʋj)U'lDu?]ˊkAޙ!5GjPˬeypս___9\D$\ɕEp嵰EWrMUiCj uMmku-ZT[8T]VV^"UGظFR˨ޣ[{SW6 GLRVj@VRs,P[O&L}a)#hһ2 +m!D!'xLEؼ~k4,_jΤq^gouIi CDAdin[JC7i㛉& EU|[XBܜ]sQƬV[ɍMyS,P- ZΣIĕմ_7n cWҚE *Џ2YD{)Jm4ġ94JƗwvgJ!%aX_K 6P=jأ? Xxl`\őVSs,k[wcWj#)Q8mT^C,q}"i}|7<%EAasz>$Z~|Y+7%S8 TIC?$2 8 vFh%KU{}=B&:76m)I些x]#n’}x#CjMn_J:߻\1ItjS^a 5WgxHLNR,  @HhR~/%TR ~Wu )MC|jm ur2ᆬT㉯D- ga>sn؍!y-!̧UaHYү#BdTj jlЪX-3DH;kY_[M Q$^K1LРS*6,Kbn5: 2Wy$jEb ,S] YNfTsA՘]U|Rح>׭De]3PT%Q՜5u+56'u+gU u V^߼듟 u^á:v*QT5&ɑjUZޫR\cn^)jb3'UR{k PH \mUc *KzzjY}0evk)F5`E!H>H*)6b=\FX.ܭO8_dLyk6 )&zuH}hfTWܪReVB c 7XcExBYJ[1 Ux#M**Ho1a1zŕ&dg ñyXOS,-A2l\Wy"^z`jP!6 UqHk9jΆI(44pdͿ?.V6jU ЖpDk g7՚[mz#@u7A~ @ȆJbɗ"m_Uc<@}6W)Oߗ8-I@?r*99Xĺҟb MoH3t7t?k/b=dF<@W.v]{D/vo]C//-v]rPv˕ppjw_]Ü[v,*9p~h= yK Aj8vQ o?wx[uS*K">^O'3eh"dJyKLG *u0`i3SPEuvKb{MAZIZͰ--T ) H`0rdDN [J(+x2QA@b^%EfY@ml7tJswx9/wd{l<MH:W:JuƓQJ a00XNݢ_{pGo IRҔJW +1\3\*GXdszH1@V>`R0iRe*4!Bxi4LS0&FBA(.tM(`b =0KB\:K n-?0b zł(_ m蚺lA5xMX' \3.EO/uBfg%&E#/?NhӦ- [}dOj(mhEWb \.S6#vN2p %|]/GMHFK""baiRwּI/Tf&Gfp=; jjjlB.(iMƄS'z\ju,`>P\Ly%ܭZl̸~ ^/H_v^؋m G;VWcAq(UJZv,`f;{!^%~-k]tq;aJU~OiUi4ꯅ 2+ €K΋m #ٖ Qb*8aLkۿ`ֳzpʹXui 8"H PÕL 8@}EVQa墮z   V|~5o%[DmnDjv+ꁺKc},ͭQJw}Mu哗ך-fC//6Իh̓:\Uj%f9]łUUA??a{*4P- 'O|YyF~kG.aBKu4/cs!0$nQ+?<@f<A(D*aIȤׇ`wTA֦JB}Pdw$;=jdpF`"I(ʡh/W=MS6U03rB`y3Sk=ؙL*5+dkH(NT F^C/ʈYPFgr"+ L0(.Y~tADUmfۥ[ `M?JI8H \E>R G$ *lEvrpҏouu^&xza)WTmpG!}1 5ϱEo?EҪ9sո4kؖ2 GčװT ]̇n#8ќO0C:$>FxN'E󯍐Kb{+=<]`UaׁDd/(tkGn]ZJA3[g6)AOȈJjx$̙[4tbo5t\8*JZVʹkRڔtг y]vz  TEyaU>ġɶŽ#N%4zmdi)$jvflmUѡ{:}a炁_87rMvEؒٵ @zd7xU|2迵` rm3ނ6%awLv7fn>HGWa6*\еQbްT| a5dPb)#*9&+"#=~7T,v_: ܇YS|eB/ՓF"s6ҀlPǎD+7J1b]}{$L0Hovl>W])@]Nf UY rp(z-@f :7Iդ:Oxxwu\9UǟcĢYUUyͶ\kT:MF*$&3I̤ VMl_7@A:JcBbˣG1M)7xpxpmٔ ܭvK\c 46FPP'+B 5^]Q(D;.e"ޙU=GV3;"@ KK#c!. ΎQƒ1cn4'n f"ޙoIwiU[b&ͪ7!fUDyޙYڝg^&Xg glf"q"[D 0Qq\H"ysސM݆lH@|C!Nl<*HYD빥 $RDJ}`HE1tԨ@*DC*;LCC`Yα"`q16ws$`(<4.±<&$" ћc5jaݪVP$؋jr^2OTH&HH*L$<08왎lLD;WbrWL;6UVSj£M@!iibR+-Tc+-T7˲ҐP1X|.X,~)M1$ɣDJ4$2lc?DFɄD=vg,X>G^y{8}1 VlWا8V뽧V7=r,0`UǍ@9tV&׽}BZEs:)W*FqDn۲wV['шk%[ٜA0N;,񅔙LǗ…+1L4 8;rƀ mNcݏ=(^LI /.ȳiJo\AUHe-F}Yq_ R:}D{Yw{h5Np %ZI:z|\ dŗ}*2MƖ`SdBSuo.f_V옆۝ŝpm^_haR\J f xN`wK`ԂYퟹr#ދgڢhm2&_ZpNvǨa~p7HFe;jQt`o.EF"(#L33#;WC3y$J#HDsw~Rِu7Ly2A#!eT!f<. Dx6P+6W=q2֪1ž`'VpAKX:7@$_=XZpʡ''N! GqM7?pђ1f.b%M) jTqʶik'U=P?]EMpfZ-%"-2DW'CӠɄ0lھRHSwQͯg1j.GqVyX^H.Ӝ*uˤΛE;`Њb"h֨>O*fPM_:”ڋQ  Aƺgu: [g]k@4%ood0lW_ [A<3@[ .QƤ)p  R@H ;]Ҽ* r5;/\q_\7'Yy?U_ߺ2(TQƙq_/i,9$吥$LTV?$rn7]/:f3c)0Qѧڛ +6P]is]a94}'dz:tƼiuBݟ188"2a9L EW ySOfraYdC~Z?q|&Ņrљwae B < メo"WsсyT`IBC-ng.tm($[9z@+H2tr,6 pxU&ම0[LwCf㺧3q 0 @BP/R,j1܍3`!+wcB@.o ==bc>/s"q|͛KS/D?$X{HCd=A2x+[rm,ME Ve{۔!;t~Jr%ʺs -^ZS=Sjg襈NJռ!N r^^rN,VF_TēKaA);gmj*§_/gM 2|> *cM /f6Uo3?W] 'V'@%!y;I`0f 8Vy:&ּ>A3 ˅^=oO, 8%Vdag^]`Cs2}"fHK-\YEӳUV)k*,q=ShƱNeZDkVmnP47yqoO΅abb/~{ 9Kiq}l(Y(-\յh˭\r zυ:(r \ͩ*~A5!XH/2C S/_rń_6 (Ɵf9y) 6jg(t C o93-sq|Ԭ2s`J]L+R?m4kW[yV@G.F4BٶW1 \ORw sn@qieJ6eI8~86~D0#*&J)+eU;OMX12vޱϸ02=Z ¶4|i'"^cUIA-5HsTϡAH34l].wp! g7K{9Tezˇ W#W#'e ).h϶<۾T5{,wy؀RI5@zXn)bB?*Vǂ5oūް&ȤWM4Jպv+æ\>ЧW'`,g2|lۘ`̫wiW"9-Orn<xVVCqu! mj Au[Y#%=SGS[:2u'+Z9VX qr S&FGbvCfȂykͪϡ i԰.a ya215,$Ϗjud6J;n,H (ff7T;uYa9\2cIDn)ܗ#$P$˦r^;%Ŏ5&]6YgtUfsՉ)[L6%}@D \qz$Q9Jʣ fc48Yŧ] jw(ՃC_5~o= c6^QDw30@%b{]b&9r/2?}<K]q,_>m `[m@vu75ۈVOk z 8O@c$n[~ 4T`;zv ! ] Rw$=5|^ Qb&@O*\M|} f ]<N `_|OwU'ig7@po'%~[;ͽx2l-ͯ\oC{?q7N_"Ob.*Ҍ䫠+N:߫&͟WW^5UL$x2tAlt]5[+쒳 GI!rCK6]L[DRQ|loxq}Z knH:]&(O*O`5ބIlD5B-m!x 6sS܌N^J xcdt\³- U6MR צYAͩ|j4 HyI< g ÔI`.t,I_ov_9U ԬAϣwY1^&+tdzjIVh=?P+rd<:~t]F"^ E=6gނm "@dUd7h- #! wJ0 +:PwU8m~ag(j3D͡r7o 1s9kƕfTZFl~Ŋq'hI˂sZ[,]Ge/ 3zeemsQ덲96_Eh57#Ka+!ƞzgy$ȗgtT!^A^ZX?JpwO@(%[w !J8궪S^_7lELm!޾ga'gP="Qmw y]ꨕwfBhD^A R^0@ NeknBȈ8LP& Ǟ%#+v5GL[eRx1SFE]!~jԂK)v~@8٦֓0~U`U:ŪWR V  1 aL-M7cJž y3(! ^ 2r\{͊*֨`Bp9GEpdH.',6>NB/hZyIɎjݧ병Uu9"|W+ E$艃Y-dtu@w0VIu'3&HzfM^ 'b:uM.9ykt{rq'Hn>3i ]޳)-#' 4.pgj_m.Ɇ+!Rj_\~=9L6`ehkzojz,uן&< :P?AXfh)qi意/tQ*ZF`[f/+ b9bYP@Gv{ %"1*AY@9-?)F-%SB$fSdPV UH:w'|)  UV]b1ES|MB&$T7«ؖZ܀/@ gp˓wogH M-G-1ϐ.񭡺r -Y!nnj~"1c-h:&+L~hw!<& !%t.jOD`(|J9Vញڿi #]hs26~q`h vV UHep! _\~wX KC`{f }&]ws00QjI݁_''벷0݇.ٸ' tP(!Z:fn{jb}\9υlu/9 ,mkaXzؑ;E6 c}W 69^Y%)@**(\TD3D [SϨC!֏ԑ SG npL2p}s(͗\Oe-vd5B -Lh)M\Ǜ< Ԯ)KP"B o.ݤ|~˴h` 8AV1b}ػs!pXԚZ, cH}$dtjiKqH`5Ie24}Yɋʡ!3ȳFPsd)f̔GNLvaKo'`fy˕@Kw@2F=Y5yzBDQ]De}c" 'dch`Ϝ*J*q. eEԣ juo%Nq2auaUS <؝F+k8}R$8D:rA."!T.S+E0>``1`DZƞZ'a أGuY|?Fɫү&v팇 9 彎K+@3IXJ~;m^Ԫ;`z&^Jei}\4GZ 8Mf]:7c\gδ>9U$PEVbƴUdv e9t&ɬLZBJ^Ug%quvq5,@Km\FWɆ㭳PLNjT|0Rj1_Hl22SxcU2j[S5A!ؤ n2,]&$rdk9d& WV%sV1.ݖǺod U+tEil+sw~F[]fplr >z[6"4yn~2pknÊ\/5M/7.+J=!0v@$$]J%<1F0-xy^W੒:j˭d .9E,V#ZL #‡P=~!$M-R$jˆ1j_9meq"W%jSԷЪ܋hE])y+3ՑK"xJX+B5EÆ it/&=͠ $q<^:J~tT wۆex)JiVճ%\ŵ:lAy]ʒ Sw+1^ZZpQmݒ˄&_/94w}5,hgyB\`,F;w%} b\! MKM{5K) pHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/XM p5zս rV]`a˻4MAnb,B $r!&~ [8RBCS-;gɎq>σ9[.!! cK*y fR92-7A õl9dIK|M2 5K# (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/X <* k$j࣡_g"Ɋ cCB"{$@@@,7mPjP,Y GXXէnQY Cuam۶mۜf&2G6dK)%۴4iL K̒%{z2''PiwwMW77pqlm_-'MիzZS榦33yyyKKy%'LxE'&74<#Dt龷wwg;;~>ѡ333C34;3ld2ULļ;=S]<]3U#ޝُ.-.Xwf""!Gwwwwwwwhffff)M)wU3wg%˔vWu3,3qMiT3}fQ~{h?_믿ׄ+?:z=t:mi۶mӾ/m?Nim۶h^4m;6ڈFmmvܨe6@CA24{  &, *$"B 6"@F/wuYgj+_x="^ᭌ! ,ݟ/WM .6$ .Q|LXac^ǝ؝u]gfs_0$*q÷{KqGl_t pK 9ʄ7y&Lnke ZdR/ :4:Yteu#ivӲhܹCiF}qT:A;}I'c#`0wY *"3U 8m1 qar 95[vfwLA[ е \@斨vFV@ECQ ߩp=Gl P#u7GF" *hgPpMdc`aZ7xEgNЩz3ѝ7'Ķ]H!oœԏl~,d*gw[+W-4A,K`o^1V$WNEvzGJ6nLx(۪SD}upEL߿ 5n&)/`v71&N) "rkl {"mӕ$m-R8Xagq;l㼹A+nP4rd9^C W_p8l9p\ip]/ aizUz5HBПn,gv>K h>PW hO@$ ԾxU|@(|7@1@̚L*)dKR` -d!? Y/@|Nc<rZ:K҂? oDc)yS)ǟ?ye xcfM1hʞKT5O2tyYǙ?Ozy΁?՟d<4p OOZ |i%,4g1OSw?3Oo?[B|',E>thyj3A>2M|&POo'x)>> Ԋ"և;3_}>&eԇ)R@>M\Y^P!}B3p<R>u i|*h'#Χ o>h>R_b>1&||t.@ @bl⎿jfq0x׺Qٴo,{3UWG -qr$t1mPO^ 3I|k LrFv9j4i AWu^TALF[?"jSZ(Nާz>s)]tA^ӾJv?.+_i`}ZbV_Sӊ7zZH:rw,sfSƼ>'ꬴEޔV:_e(RfJo7dL7&6.LZznxN! ȨqZ%THu4ͪL5֘t=<]V$ D# `U bK3ZGFi \sxz"HD Ն[PS` W2R4e{t,{& :Z@Qa-aS<"Z B:pR+'NwJ8ԁĤz[T.;^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal x 5K/ bHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/Xl),kJtddkP]olJJJJ dO]^, 7Ѐ$xbIHtpƔsyzo4QV-'!XZk+j+)?[(%daV<#,{s(¢0P6y*%fii,L,(Zmd1>"m0 )/i>d$q{s jI'9ʭ1>Cg8θ]WJb ~ۯrqR/7={`:E7cUefb y -GqTH1rHŨ44p(V[8XIrv)b|GKb -F)K"B|ǺX èoQ[#@A R@ͣ$ [ɗAꁖ4lA/k$JbY,,Z7Wʚ~80°CڮhnBjjvfgZL(y9?,r[SEQ%>Aꁆ(ûk, B8=,bqy*)D8 ,WG}9o1>";&wMJ{9w~Dp#RRJ̽-Z<"5==R۾%fj$}n+5 TQ1j GCue118TW?uJŞ'$OŴâ?KXԜGIex .0$ aAIA 74$8$(tbF1H7b}8RZ-tfM,b0OqhurfU͘Z=?oN nFnhHhhH`t> 4ճQ+-^_b^┞[k;u/>g*;; x]@Ъ 0dLHȔ/zcnt/~wbgf>]fmLW4⨅UEqbyδ[Y=n*IS  Quc?L٬{ێm]݅/%"o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method#fmO=Oi;#R2ac٨wmftpYJȡPhLX\pX,,0 $ @(Fa0 Ea$tW! ,a^j0/Ɯeyp31kuh0:y6턋ȵ67#Ԏryi=kf}0x8RVmb^epdY@SQKC_FqB-γX*;tuZvi UZzҞBЋg#hVb#<]-ǎl1chP%ҪA G(!6v18VAנp ޶\prS:z.2]ƦL#M;ɖd mFA;Qߋc5Q?9pku7œF`6s\H@Vq kZ9wq}#ӛ޼ "+}?yW#H;DELa3=B^4.TD@5-D{KrJ/0R.JbrY"t 뉁RǝhͣhǷ]2k %%8 %1[aǖ3_N"@nﺡ+lD f- q찃R8\c˒doUq<'; cÌ+fR3veȋD}^mp.3 a5ޭK1=5n|c1knda+:7Lo2bHb-fL/3.b>gBMwEnLKXMCΙYs*yJ_Kl 8i `t7Q5Xͻ/?G zy0/8, /Ph jlR9 §jm{۠|ΕnUliTw2IvU%-xl׍9[#eJrQhJOI/!1:ƘerdɌ%jIa$C6Է0BƆX6ΉL͓U-^j'u턱lE3B_!0\;K܋OΣ~3  XxJe8蘫'qa+,^OR8$<ה#IA!ꊋTa:O`Wm֑$B@5/GVǕ!b'Ae4!YIXO[*ޡdJSI ʎ3I"i1T&Y$K5Tz:ȕT>p Eӥ%1Ԟb϶)DD!sh=MN#1 4%XSȓ[t1[Q/#귢{ot հe) IZ^nLv}һ$?`c!Ny豼L۾zɖ.mw 0b4 bv??-тU#'t6쥓EXUZ_Q ` l]<; ؤlcלyQi+t[Zlp 8S0oy̻68 X'oʔLҁBpۨK5J bү:4U1f*'xxhݑvoz&(ECS}C:)RE[mS \;rW Äqp:[-A =#%ER.#I ~-f9ey*6TXkCΑ}Z\7Xq,륏'"ődyC#z"Q7\/S4FRxO"=ާLT34+yQk5u#}Fd`jRM} SAf b6T >K+Pf9 <=۹7~4f&0QnX yn.n:~X=Gg\g.tY+[`xTBi*hi&"HZU!e>Y/O(ʒcĶ$ $?#uj` mXs] hG$sKuFh9LcVdwS1D]& $`4B%g54*N/+c/D`I`1r{?5 @퀭Y,4yv}T1jC^HX~6ok)TLRQ!, 4urx(ͦ Lrk=7>ŒJ2qN{ecn*SWbJof6]#y *l̞Y(GM RH|KeL/=-˴lR|&@t&%)Kϯ-1rl}? 05]niR] &.eb u^B5}kL\mN]4ֱ(}o(/% (޵WU$vC~;Ŀ,p% zAaP2l$vH&,S|w_풮:[~adcaf-hS, nyJLxDjN'!L/ Y ԶmKɀx-겱B%Z+dX(M?c=:*~u:cpH}YKރ m%~wW>!:?uWպLZJvcP%)rͯMƓK{"=\wB,O?JO:y{5"'n90p?mk^ "Ryar<;df3ՎbCa5NV/&vH>t 2d6;H ;r݁p$}v4ToE*ev|p# \y7wP~ L*.5wdZFXwa"г8p:xEZ+hd)ܲ4mcBۋc1!EJ;-< !A:̇j O.Q\ћ8q 1taDw{:'Z>,!_GķQ9E0uigu:oʝX#1`;8d%=B#.DȨ ,t4 Юz^o[Kr+$H^?1񤣔C6wtudb4w֎~:o 7 rȅU 3 !zW">CLSNL*݇7zJ,^HeZJ2VSy$ nP?%,Tǔ(.ST}b<_u?>/ƆYdȎ<΋WlGnƖKs -%X?%g`p_~' [@O B%{qxk܁c̗\;K>zj^j<0 q(E8|KgtxT_ף,|²>vDж'm|ۃʕh*@%ijBIIΘh+[ Vq{CwbnlSl_,2E %ڄUޫwǸnAZI\ 8PF :.ޠ#>r (` R8S%C^ <â>&ƴ=H1t#BH7z4 @a^^;5(/kQFpgO 0vy2ox0l{"@-o;Dɋm>(.`ڸn7!Li,>G4 <KԤ[9Čg>'CϟtHU+mRw$#{HyIRX(ǽhtȸa&C@tm MmvXx'xX` BǰƉ:ny*$Gg9:TR2V.5 Th 4 tZql<*wl2F͉ 3,G#t~0'qёڄ UJGYF"0{Ǟe=4yOшwbjV4D7eJR=(ya"%,MRc,}#>DyPiWn( +dCR7[ɴª4[wFLX[o-Z`4|A^$ǭTc$,Eo@ &pإ*sqljx##h^Hj9 ~8f4^t2xL*V /댨xVD>ߋj\F!;0Flo3yh,a&H,~">|a'@\ܸG:Fzk՜āN _tH# @}1p v'ɠ3iUf>{͕Vrj%va AԌYeJ.Gh{fk:نp;8Hծfcqꃚ±XBĄ[/vqtGG \y [-<)tG4[ j-@誮fR.A[P9Rzmu1Qu݉2ȱn)*xaY폹Hh W|&sb'$Eb!(^(rD4L6>XJ'u`J_# =B}{7SM:hAчX@' Yn?gD=!U]0p7+,ca\^ &/y $з香AQ >|p0=*l(-SXa,-+Uc^zhZg':!J Lǡ&H(0ݯp@kc tдH0P&wrY 74>b@5cA+qCoI}8('dnu#fPsR)*xlaԱֲ+twEWFQ!E?naNK!i%y+?pO~ȅD՛ʧ w|]8RFFPSL!PYgQݠ q=k1j5`>zըqM W.Q!f_ x4;a[r.PqDgh6oDF)`)\YYuL 4I bv;,*.,x3tI)X>*kter" pCqIE~D'b?7ኛ5.{1rnT^ؠܕE$Pfv{\&N*yRuvr KEu$l{p/~!FMBǨ ?篬`S@hr(aEuMNm7ciM{гYIX9 _0m{-1Ypβ%$>,$fV*כ}OD_[]%35%=Z#d:k@f Q|A\nOV3rb2֎'K.GdDjDOx|8 ƤdI-:eX4!mvy=֒[CpDg}"n%b!FjSTOx[PsG$G{4#;Jʉ"9K֒$P8z9L[>m k-)(xX \1=YKK)QIĀz)F)?%FSb'O==1B퐠@!UDꚨcEΣ|u&^_eVs$=!^sBL#^?D0z7DHEo"RV*HU;8$8`hDHTDzz $kMmA 1=8`p2]{CB0JYQJg:nL٘?1ۜMV[ X(z=/;9%YTuqj=Wo?}? Azxݽ89UWTLex@!5UVEEĨIO%3H@9HG2$q4`(aAX(D!A;nBnʄlŇ2Inki O+Ns #- f}uɗPi'"-`%F"=0Uн#5/G! S7i#l&f@PR~i:dɀ@Ԟ{"W}h&ReDY=*hAVJF5}z|tLMR>WsY҆*k˟-Qr}L*eۻvW(@#K5!^P\t_zxp{eKcl]uȗsM%Y=s"G4G'fd1iglzvzeHd^{ / I5ۆ}^ WYq0hw;q=5})%fdՔ/,4S5B_4ܭ|NGqաuQ%]-Ar\ t ۃf,!C^C,Jrqr}``K>dr1sJ"p^C"r֙2# )H *4a-(!,*q1ߊ U&P%↓Ӻ1I[tSz=q%EwM|M"<͘jW~Ontƨ449 M] ˲VIB{ M+ΆI̬P u7+Vl6׿Ԋ%:կ` dKȑWRll ϬPۀӖA]hq-<6rC'Im8^gNާ\݇cu oisKț8l4k6-Hgr TIh%(DsM:^ s8KS\Hvסs_05&$ G-UӝzqNBOUTnf;.%1z !b~Y hxO +; 5LC`nydLbqP a6lc34ȕa y%Du_5W"xOE"y|yoR|.H(֏@sf ~udN/C^ tD\D"R;>k*1(ttHIȡu8I%4$f(ii~W< A{rڎ> E86* o+"#I2H,_(D-\fO"r gqQ%h9;-zO%X]ƜPpC5(vbSUtOw;և2:GlHNccbF[VM7Uę_'ndgބ##qmE?O-m8Q{kEMjʁ&YTx\Q0\MzScۍ59^@#mקq=̡բMcmgE^ޱShsmVxK[8E ILE\СSZʪ1>CIO:^h^#UPo<䏋Sy;+%Ic+OJF⍹n`G?Aa;RYo<>x讖$rM8댒Gzx/ E)م Zf&: wrw֠.hnܤ,H#(CV^Qc%n`f6Rρ5s9&^w,qcvSziиDskRM3Ў7W -w9sT!'$:>E\nSáo|݆ӌ<g45ԙn`*,jxo]1z0Sɞ$CGmOytz|{?ͲRɽ-:=oY 7^<_w^z]nH@D G[4uoCo>te „rS1̛+cl3 pNВž\r(,RGh`w<J_]\ `׍DISHX7;V/0O (/Fi6зK~DԖ>H" ~@epgA94W)kzߧX4{< aRRmBqO-Ȥ܂忡gT!̄c+HXz5ND_$5#cGgˎe.އT]W4o_:cIS P\-&X&*YnbRqנ$ɍs ;`s`6̑Bx3!.4(d, ;?EWrqiUITZi-r߹~<b S]ɶ&k">sJEL軵- @)W" 'sg.6nG@_Rr:d;& }ֽ!!`$O񒜐FF)$6)B(]RBU ̖88&E8F[3 x7wôeٓA-T)(-)0FP.oG,+CvTQo֙  ֲHe= ^'A)V!yÂĀ8еs'L,%׻{BV aF6G|k)pL9_qzL۱RK= m[^ }vAWUﭟ[֩~, TE ylW) ɟy A^L)A}g6ꢶWʀ'>7VS AV>&;Oi EA92hV&<%L2TqŅy4cg+V^TdNܰ"vs65z%+nQ d 5O' @HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/XH"0m@-UvFXKVÐtSfDD-ġs&(lR^!Xk1Rz"(EOԡj[P-5B6oWRG~&R|)Y7čy4:)bO-]BMH2j1 e@P Q1@c !BCFF|.44 E&|/w.'/+)@Gguk4TנYm=Yx$wLeٞ!TUpcupIe4ǎ(=zSt{GJOKc+W'ZazACވޞ\1*+ CΡu4@;DCBBX ܇2`ڧeo"OWZ}dag .gwoMVTwPCJ Ps0f "F㿚goU)4n2E/PL,ekEX̞D0f;<ϫLoARYNNܓ3`}s-gId"j;,6\' >(a8ܖK$GG;nrŇIY(X?B+蠔X'{(v38vm_05õV  L)3 <%iuy"ks)[+$J[fPn{0+qgX33j4i $ˋ >y=8RO~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