SQLite format 3@ ._  5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsu77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info `5~t ] UHOL-Nominal-Examples:threads=6elapsed=271.952cpu=1362.009gc=111.071(/U2%)kF67j>q=ΕUIɕ;es.,!v'I}~߈'ɉClȍ7r:ckVy#vy5v^XV%Kb-,z\DS)lə!2Rbr2{q ;v7b{>$r_!F88@<)a4d&&tMQL:ˌYϠWZQ~c\xx(*"tG4~!7KA+uȽ!"BrY i~pC@,"8X<4Hw0р;|?AABEBB:44Ps9U)wa2=P=&;R  ²2)A4(4,X,`A$7ҹy84kX5DX@0(@<8fN2UͮQ}k9eQ*!ϐCP*5n)t_q|I8dC6 E 3H;76LA@MG{tNJ 0`H>b@82*YРPP<0EA&"{ +$&>DgH0`DrcQ*GDNi:ʕ? EA ( p@#Q``h" u>B 7P@ MjH "AcࠀPhP`p00 " "b  E EC$@ =" gD֙wd"y9'% ʜCh^^$dXݿм5ECDsCkȨ6j7#6jy76%*oTPi O2TSrOyOe:*8SJjyZXfbu6dg1TMgb$Ȍ2-ϩ (OҘ6l!̌s;!bA8!ؓ#!riC.C>?e;;JwVX!׳tZ)_D:Fyrɱr'/Gv,ޅ8CrAurwyzȇdϜ>sP.]U;7C[SrG6)% +L$lJViͩdLZ5Lza& eд&![B2c DŽ3 \CH(yhrg-3$|%{۱JL癛srv1[߅ʮHG?X:1FEsFD(dKZԍs,7:|6!=DC[i:pd ]l,mCۙ7?ۼgf۟E33oо۴mf5Zl{*g{V͒r-uuttz 5 HOL-Nominal-Examplesz \y~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n h b \5K' 0HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ 5bl(Fxh"Iny7p/*JI"")MY.8Gz>:ţZ[keKuY1,imUH{ꊧ΂<`g5S[ꊦMHyp2FrN˪cGdW{.(mV-VStGD(2j8,!`DILM[ʣEՠ'Yn3E֔NLJPHH`D8iLRMLq0-H̉uѰG@ ,,MZsB<+01.Qh= {Ca-Jأq,Jس L!!w ?ٝ33'&ez桺 :'ɊhIO-j'y.*AJ44H g$x`p N!B9800*p p`X k5(u=a hP  Y2Wk~c4gWwׄ3[v4g.39N(`ku:N{#w-ֱ |>3D?mAfۊYcSwKA.5d=BK&'RߞHVG4DLնpmJ~IF|ޟyS\S8nQ="k"EO(laxRO7v1; _&$)],@8aT(e;'f$nڡ ^sդi>DJ<ɔwuFly Y/\j/U_$cʕ.PGNj:W3 @(b3^T~ʑe%ҝ92.S(/39AL5OW +c͢W" Y5K' .HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`=nD)H'j` jk 69a5xJI""RR:PLr,DIݣV09%F8,(ME<E4m^*5J$>.kP-C?P&lahDQK0Fv1U@iGlOg"5I#&FƞT̗oPM.;'Mi\.o7(1TR[TV_6#yK<13ȩIՕرC vy( F.q-JMPY'HPX U)ywfsgft&JyyucW>yx\p8 Kia6_TL%])9v՛VSZCiBi z7~&&jLkL^ꚝ ;)]UU+dYaP,ҿgX0,Ϳ_(X(X$'`$`0, a Eb{Eb}EH,{P, @%H^bTؙG˹ؤM?o E*ٙZk[̾  )$El"ST ҖJSԇ- TZ0`DJJk^;ž|d|< u{ zsY\_[w_VjEdJM\_j_O@& q8p7o6l5g2].Z,U+*'%" =60/-*# "  gNo!Xs U z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-Examp J5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5sA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesrF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  KECT E.xo ԁe-oqƧ-Nl Sk5)cշƕ"6Z/՝ ֯W iOiq^ bBt+86=n@habvy+k=~'.T_^=~or#s^"CJ&g%G.! 5.5EINk y9*qVCݓ<.5viu;I7% :F#P>*K_I f$EbX[PJQoD,ŠlcCCKT%SхN#?Q>ȷOBD+ z.<&nn=Р/EP<6M*.Ij#5") B˸@.(mPϪ̠d WvxpeLZ vҰO2SNrc4 cdnsx~rf!@0x$/ \7p3| yIY=K8iՌY;I<v IEV^: ͕ÎswbNkvR~m3ZܔCHsۚc8 0֙+/ t"gV -R==@y*#(S< +esgLdb{xf$AKѡ:X%Z͍WS߭#0m\6usq\x9  8*jE\{i<دDI}ᑓbE K tJjMRW7G[^ϩ6(kThw{j?YOS?);$ ##j$˷f"b rD!qtIݠDKswIVgUO Y/ 7C\p#*K60cD S$h˓$20:\‘}ךR$|Ƣ뭎AVgqT"WZrH >o nZs*HӥJo1H++W΀v ї >}q^ YE/jNg}jҤfb`0=$tM}|`,\. T{*46Wv<XwO7dZQ-eP;+h=wfbPйte@z;%91=rdMX 1FD#,X5x(&T#ñHGo vS邴Y}D! C3L)J6((:nv;0N4. QtY3pn:9WI.+`'}]to<0twn'96DFї)W`j*?[e$Elj4oBo 3pV(vWHrE{xA}}ɤ龱 @S%%3CzE2/_av\ѰVa90双W!N@. d/N>W~$Q<`7d/5EZyIwm9"f4[ c . =0{UӁWYl *vA^ hg(-əV2Z<-laD: C++:aˑ>ô5hR_dҙ13 T^mHא_zx xhHRe&bXEB He;/A&ng5V1֡x-gS=8tnScM# 0\1Xy3"'\%7^A8?$ I[I#sY \_ؕn|~`$?:419ԅ0zc*{|/7h铊|ް?2))_2k<p@, Pvߘ\?&+ A)0`?YSTQe烥cUDWʁ;1ʠF8Z|t"#b&W PEW/wW 1~ypIߐE`Y(Ȼ2>X #C`uxB7+ O6w$j,*?VdJrRH8R<8 ;bA C E9S".fQ#CPWȯ1~ `uUCk|c|GWU`I8,Bryf>kl &wu\*wzKA<ֹL x6tsnc>Dh Ȟ*{qYXt{f[EJ @}8bP@h=h5Hځ)?_=J lƈ:x; dAYӈbpD8ŧQIF •WqHU bޅw2xM$+s[zKa|":co<+p5M%ufL 鮿Uy:]|GnQ*te+7հB_2y1S@ľ<7'B(y2UhPW{%d@\*p6DM@FZMbގf3;0R15^j>r&[VcHeu@իPq"=_El,AqgC}uܜrYs| 1ʹ w+HleW8bRAܵ0}uS,S-oB ]NجLhA=v ӇZVexahyrnS9z j>Uu0C"o|q@ӕ%th 5FdUD9r`k'(C\9i`^A;U1UrW)&^*mWq Y@h?t?q\uMUҩ$؃p՟Թ+E"xsKw1!\'8Eʜ?M^jytK`ЁGz ]ޙ.ezېƲ\3T?mUBKog-ٶ1r8tu=Ek:h' d5| WÛcfSVrC*Uϸ(g(JνuUs-kj~nS([%sB3Ugp}A b:Q4 @QB=qqd/ x;j*]l(XAdġDI;Bl7kuoiٻp2fk X!-ńKheCWۻ1 uZ9uI+[KbbfCQ)T!N^e[6ڷ[@~EXPZ]B\?Pzp8 !wY֣!ui-LFEK[uST`n)Q&^& Av5ƔBX<|Dc{WE !tPƗ,;RO'_t`m5PhMS^[$Zzf%_:^0/^1|^pԳ&i7} l5u"ùN椀 1}S2:]$?,&bdh\#h ?i oRZ^NQ%mRT<aݳ64$OIZ[UHq=S5a湜P[>"Y[lD<7̘JBܷё).]NCɈ+$;#VnCeg^!Eg7h@ ѷЎ>x)PmQqo7'k3~*O >66\s-V βDK2|9zz=" n&Dӗ&}>AA@( 1AryFSS$N ngRĠ|hR8GbWCJ: L䜱As->֮sP Rt.gQBpA{,)C]iydRx!Vf&˸ֵ$0hv5JO NE*eI|;9:Hv"#hJ4VN\[-nC6H3UQÛm<4{w|O~^NZiVi!\ a5ۜ-ݯ%tHU*B\,pYÊsXC݉9ʻn,bQ>(KcMi{|&@jPj*a+|N?̇,ztQ Ɨ2%'?bD ax5 հxuP0F:!:WtKubAMNtXfHTlEب3w~D>S55ecB=U4+EX1L]E5TCQ1czvsMtoFvYȾ*mTjeQ4<STfX{wRxmX*1[\ ,gÃ~t`f<8Ԗs؋q_U8 YUp0ڏQJp8gn{kPVӚ 6SR;=L@yA|0'j€-QԷ֮XUle\ w-üp +sS0º0P.L i8E ڢ ?/*m qwFhlZUaϟޤWrJI:fyXD7K@&l.:b"2b9v&ٻM[\XϚpHY@ ].$L.[\%<܎mƆ.7Cz{V[xp@&$~ 'YX/{!}#L>P,608_xb#t|cG/<0UlGB+-0F! >PVJ'?iEgP==0Ef) Y`S)2DLYD@A* Qq/ؒP(Ak}~e(<.o醩! jw?oI 7$P!hHtҫ /.MR a%)ɕ;3P#NvA %ԡ6݉GĬӗ_ʞeAhYK"C0:ȫj/s߿4= !"udA(z-5A(Ą̪)y.s3owEzC$nsDy'u`rr0ڋ0h QD>ZXc 3/MI m3?Z^$rTfp1Zsi}| 'lν+.3 HĘ\%U▩ }q8jׯ Mj|Kk3+ JOj.iyc~1P h5ɦI7gIs3ޫbhp*P>o|(U1 _% }g3%z%Lj83mzi=d]rdВd880-u8ސ$}<6OaJfw1U:Ǔ;A&޿IRZ, D:p3fJ[7R<2C:-mesA)-ja\|h H! .ųmkg-1=Ĵb@Dݑs`zm&hs<˲< _ygNd^`RP~. :0Gw?aQjelA&\$^vJr!rz(AdR6:R(tBaD anExiE;!-=iZ<)+0 |kؤs4Տ[]B#1')+g;RTz,Ճ;rá V?c޶&aEVəΜZ,<J-""z #)4^jzkrFٛ:9c@gҝ)lGfD?QNP 2ֆ!^ sCk5mM]:fNZF",gr{׻o*؅"%g" =Mj!dz CC) `6xGRyO=PFUnn">!AW S̿Af* b˶)"XR-A3X]% Z2dEED tK1ib^胮E O fbOb5RT8RܘRuf3%Ltf@\>(@y![JM˂oҟ j$~>a|t"@!Bb ql1StAc1EMeM6H qJ82$ 0Iř{HPnei2z bfRYwR^ͧ1AL!_+rҨKRދs`ثI|*v3A4ysNP(t|}O>}\Oi EHA䥥n\TY4"i:0@zOćPc۔[>@ZrUo$ }͠YQ*́hMJu>[clO -0zˍt+)^ ך(J@&,Iz<:.t? Bb`=XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚*60 Icx`@448P ( &hb9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$ @X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c|Nʂ\%0oS jRz%HSȱQ.SJ)I)kxhfߌ۷^'0DHlZoo6͂hfƁ={ٌy*@x wCBC[{ QaΑ%9   0 Hȑ@pWrܶm۶@l۶m[-jZUU=EUUWUTEU3uJ37HHhB d.9o Ln/طo>55yMkh<5X,_Y22*ʤIeL*dc8Ʊlƶ0c۶m6mlc[-2-1󻝎vvrDsn 8(!$?7ӷo7} 8x4ӤMcmdlK"ٲ$˲eYȑ=@#j`bq5e]64n4F"8kⰦEְXbMd/ovf"y?p>wbs8vjgءEi~TX@`B E($id,$nIȌܥK98XDA$;ȲD ݒ;l#ec͹0avܒogXXh|^H`}Du۶m۶mۖ}xAAѲm[l&CeU!A$*rG0DH84D0nKlݒc+!-ۨ A,I:Wu]ZZZ֪֪֫mUW"RQ:V.vUvHFC.$PKΈHִS*M;ie*2vӷҊT:J۶vePt-T,&V# m'Kq|D3O4(۶m{Aa۶"uhPԮ]iM{ݺ =N4(ZmU*<`2&$ Ms81=n-}^4#U/l\m*W\r.K$L4M#L$ɴ4ofǛS.S"Oe0&1bXL3qGd<ѠˈGls,ŃU4Ѡviv2AP0H8#=u ahpYBaP â@8 HT<P HBor-/CE*HxkVGrD!*g9Q$, xĉbgՓċI[,3djUuЯM[à }2)$zF3*i);ⰛWn0PmQJttS4 p} N" @ ^g(5~sWqwe4kZo"WsOpG\zC<+Qt J_)or<=(O(,b$v" cm4Pҍ%?t清}`XoZWA gd#KXD+ BAYڎJT fڠkH]yZ!ƽr;K.7T}]`m}<˅g$9I~ yaԪ0V89 xܦC*i֘?q[Pa^9BcY2X&6(; L,\{cA!{U1 3'}˛aSt@8-ҷ"A\[tSr caW= =Y-NYX^aӢvyCI0x>*F|7z$sri0xds4VF׭ۺ{Gs3F +:{5+?~ZϴY PIVn(!)>#7I<4 _gPQPq7]!KAR̻\sWJؤ|F4,c+"wW*f{p8tF.# ODTU89k?5a2"w77''ʿJvO\~3օ"~ kR"OxY#_W_1]^9H n+P-$8yQY@** ,&i2T̔dY# caoH| 1dg|@2D2#@ `% `Y_}T0`GRNfz[C1۱Py@/h6eEdR$ּ7v[m^h''RCCquoo$N}mƱ)7jWjrDRͺ&zڍj{RWM&[Z`nYw$-[ت=3Q+xRštև@"˳SN*my )g7 3McƼ,oS& W rڪ5`3U4 9\qҎlt|&j:d0M0MYR&)SfR=K d) k9(nފR>u^O1tOifGSV|) ٩\kmKYVy?复]MsR%lr\[8!j] xEE;k M4;MfT-r 5_JO1):i\ +pQLlX!p~o9*,v7u>Ls>ޙE l[ZԱAG^_kc'-KQ{XM=8 [11?8C#˝죀k<۠n ©щTuؕw zsFWa{d2.(γj&~* %,r94mC5HCxLs$OL,@B-K9c 9u#pѱ۬H ]Xz4G)M7Ez-E/ʚx! |] ~>,J=Uh1mB]+$l|8dG ^K+䄠.D= BQNsDS6uIB@f'50'߷lƼ@6]­O, 0RAE, *ιc7V8cߧJ:X0GM(#!A #A[N3À[9% ΌS.8YݡvnR*溻ܳ:;А$᠅0݈=f@23d`R%FLfS b%t]hmỷp1vf_Iw@+9 I*ԙM]hX۱)EfLjԪ$6$(#o =Wb2{!2"k7}N %Ҹf. J>K(*>TQ\˟S%Aj!s}-ԽC-oV:ojᄋ*9b*ׄk Rx|;ayW{‹/O?(ql{ܥԚdSFa+<ׁ4#4'vS"ڣ/]i^SH1r+mttb&/TY&Pߙ~ئOg-er8\ +2K i9%km,(~9JzqYDt@2΄(Y+ju5\W=)|ۧ)WD`Buuza7ޤUA<o(c@OLxP)gw!/:|1KҨ|m* Zz)]4ZpV =<ɀZx?>%<4? XhOSZrswV "&g`+|J<$D<_-G\c-$$)3pDTCd(T']Gw6)Yr rpLAU"rnN޺-xiGnDdŬ&cl*34QκlH52?v&W_ ɸ$ƝSqW8k^W{T"oⰥ0Pak L[6㒋ጠ7/u,riKNRN"{u+)GCEGauH X #Uy\f LxW~%|y{23iZ=kB(t9uTdGu,㲔P`~į{lA '*aȬ!qON't*'+'[!=Tbd_'jV "i,lN\E*F)xjK~V=no.FB6A+)ٗ(ׇ u)AGvAK} nP|EpU&Jg6#)(o l$>av/(Ǵf=>P7!Qc"jz{4MøQ}='vRl+nw^{lO;/yP"@A엓8j[sh|zb+e410´k$l3PydDhWveKe TJ :9vp~`vy~k?tO^sCXΏX8<>V6F߼ Ttw]AM0‹nJa8C|jȟ~>9~8@;NcSQ >rIJdҤ,JGC|ӍzB0σ{ y}nA|hSU@Q !2o,mXlo,/u!xH$"3 ?5Ƹ'k`~a@A"L([NXP!Q@׏f/IKlf*zaZ pcUA~SI\+ݾ#XUnx`=ͼ!"|$Ǜ:6x+:ƬP 7`w([|  i2W\+Xs178A1dp (!"'LS5~'U 1;;IN\7+ayòDe٬x t01pkm<ɥ4#@|MNqޠב${aE?R4؟)#ˋ*gvĊ.g0!R1H(v\{])?9WEtۥ/1mOSzl,UdG"xE,DhH.nY,5 qψWk"'O",U՚U`^_T获 p',kkw%+(,Nս Kr+,] GREX҅fH}ϩjx) R~A}TĘ1d(V$I̖]*@c@zWY9'NH!WK@W*`>K7Æ?Ɵ@y8Mʻw~]&^{r7Ls*Hp-%d#ik:z72vny߆PEy'N5(\P]6We NX< C p~hk%l _ڡ«j'0pϦe$樀1t,܄3p޷ol0е'#lab0(%Š4_N ./7O*O1U/#6%@y& x . YR޼ Tv 4t9e,DYQMأ.o3rre"bc4"K\?*+חܦǷl:@feC2)Xs3ˌ$ymH=@'=M>qhju=%RD=/)k&'JOZL2Mx$2tUf1$hq4o!oVI1?+5ϧ~+1H{H +0Ol;XV.D6 =@|u]Q(m9s#fJXC]@CvYJQů"䓁$Z2yHͣP08EM<8,a#r 5 Npiwʡ;J>԰Gpȅݖx—f Z,TX[*C=e1)AHʦ8{_jU(咊t ?I`AG42+T5V0\©BMYi"Y7tV</y'ba'$ Xr6L_9 #„&g_:jNo5SJHa`dSxzeLH\tI*02(A.=?侼EƁ5[Ɖ ;9ɛZ`Buֵ@dѿN-7Gh#~*Xpo"'X`to$DL:*?BAx(mtQ@vGH4,PKV]<3jQI o x$-#_sqgLjf6Y}U^ 6SBkk"S,@EiMyӰ43Dgf]=>(YTGe!i>u1;Ξ)K.W0,f䒦* PCKgz{#KJeBJS V]f vf~>m^Ls)ch&6p: xGTt_`8;H3bqQ`v({O %):[QL݀E=Pl~ ~l|حK f;nhϮ(=sqZmQ~K_&Ps`1Ӣ=]I]BbѴ 4/S$De?C<ꌶl&F[76dr*D Ɍ> dvZLwFAȗܜ81lU_@`rWXPEUj|8Cc6tzd1 SݢD@˱t]α [D]ٴ N(}@U Ȼ"~KFX边L2 _+=!=Ow, rΎ5H"Oq&#j5)X9g- H."0O3c^4" =i_liƊ-v"BS 2-LnD7|w]G(SP^wu$eى bQ@BP;iTJK o՛" 3O18Lvd-쳚n(RWmV&m2=eDb8?鉦DșoQt@Z(+iw#]irNP2ձ)Ƶڧ>bN=SY,)ەiؒ*Ƞp*vMRlOMv h32Qps$N+|5"YbB=D|<_&RUTrr"Pr2A#;{+ϒbHjm⢙P s=ٞP5RDDǁ=PMG|d&^,e C/q~p~@+{@>Ad=ힱ/ABɔp*AtQxȃ$eW7#i[uA.Ln9mlp;@ gq)/(;pʮ>!(Y}J&y!<$RU֊%HfTg_ pY%e5)Ɓr4⎼qdxxp-aGV@'g 5Ad&o0OwYjc1 ]QJ*,@ElV' XX;dy2BE&nZXSjưZ{d) KN O.*o=F  ( v{ Q4q`>pzk3-ؓ36ӭnS37v@ yfLEDHϽ ix{`#[vÐ"k#_S55I'x0u<C'6O8Y+K<># \9)gҡjNI(@ȘG}i:S ~`M Ҏ |@M=diod1f[\Y~躵W jpq̑xr j` ~tGEh{_ϰ/X޲EG4aIЌ0&U[HfDwAjS1hM&ȷN6?A.}zOP\GjRr#mhF3l$"Ao+1!hL8Yiю2^NDUCy.oD ({))n(Yl DRWV}qF Wy|ߝd !Cz穴7g7C> :oa8ڄ u1(ѧ7I /Y ;{$+`@lDߕ_"8| pt> o0t[py<6?UJ%VL66Am=KY!gƲgS84~;oCF<_^;i=OOUӹVĀ&*ȟ)FmGcO;PmNp/HH6%2 Z' :~,o}f8kM #l@jW$/R {%0xvUkTcO灻:g/+ҁJ0[ʩ3x&DF/|e{F|+gD8DP.8;Q2Wp4]O g#.uF8æ)8Ü- i{۪X(М}|\oW`7^7T?GZw!V*A;O!=5 pRM/=/1VUg3$8p4Ji;a{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5~1!48oog]YW o>?-@72+٭Ye}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y?[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`AJ!P EP"N+R.y6ms{5g^(.hE-$CIfK[N'GtE3b:^=BhJPUyuPID&ۏz^H6,UދN[kAb`3Hk0'L켭IrŞx fB?4c ٓ7ĒJ2-M!yc/H1.$-}0سvXnD7S^(ZVPDqVii2$"L3\/$ZȐo!#[,CE(A E mW3~ōs>fg6]W tGTOh\l<:.y@GPMTY*h^ @őh#JKà/*^_Z֝/ C,E4dLDIjmWq C UEl,0'%T! f"CK r"ڮ Z*8=u"F$79Y$D9=h]zQ="ir GɻNFҐ ~] dgbDGJ%&'ڰ2-V`D<ǜn'1'z<&NbG Jܦ0nK덨fԭG/=S44!Q2"6xig߳@Ŀ7,''Xɣ*@E UvV2ֿ{ h I472]4/rSH &F1L+sy`(Qj WmTB1n {l3ܷLAǬB G1V w"_` 3E1ܹHJ2D?҂GGzHmnH%GEqIشkn(NSE3Ct{V236 $-yǎqS2 !̗dKxGTBlipV 7 |%) )KJyŬڦJ|WTG(/KaP82){??)pӅX gng,cwGӾ"E/Yr)9Zyծ2~ȑo+k 8感 Ve pQ>mWA`/wE#B)䱎=Iyq1QEa4ׯ1 [*7VNa7u=@vxvxnt`@#vQȼޘ"<4Ug? R-).VB0a`5: hbEJ ǃ0= Vk}-iFގ;"[ɂNGL'xV2v#'.#?ȤKFHنV ;xpŃ#hIT3ZY>`= ?9m(prf렍E`RNj#\y;RFp)J}^:ՖitzȘ<@X;CۆnILߍ:vGӋ~#R!8z~{훈i!BbUO;0Kn,{!*#uxp\\ρn{~q/q INue/w4jsCB\\sR(oƋd2٭[\K;~`Hú+~F;TEWCŠ#o,!N 2W"k 8B3 =7N= 2ىopȜrހhq8Gy ! (e^ȕ&ȢUT/V6$Iz GRe3An%"HZyڍ'JJɮ @lQC#]HX X6o:!gyK_v)rթQZ%heayދ$0)p)\0.̎Rج5+9 pZ-Z&nk3 _K: muSӏH,-TṗJ,1yb5e2XrohȫK<@#*ݡn^pX׊Ԗd2vF$FRgi7780a:U|(#hO|hzR+c%hZ?!UQ| a hZ7PM9)nav:[pEjDJ刳D3MMy~U#Ld=d=,.-(98<9=u9 >z2UqKqZ 'ǎPۮ}^Uֳo6V ~d&ǕPQs&.QK"vj|snŅlOWJDFMFVZz'T}wuuGK\a[N4z~@B#B1lOJ-;Ƅ&6ՇJ=CbSub8ɿ}h Å. [Az؎z$9;nJh5T fGS10z pm1Qrd|8Ax$QdXѴPgYI'y 0)"^qmdlƕ 8ebȹS ffP cڔ+r݀s 1߅VLmY48`2}6Jo7`2:5 P*&44姴ĩ:|!L߉.rly"ps]fpܴEkYVm,wJ9odA0Qφ@ih\.8UlQ6e@~ͳ 3҇.QH|mNv^ձ\Y[@:+؂ӧ#ҐC(gAQʦ1.I 3=ڿ,lD/t7Qi-^&e/k'@ҳmĦIv]J4flj0j|t6w\h5 c)ĵ>,5sN gU/6FQp<[D7=jzMm&;tw5Z@DAkn aNVL&ls e  M"q⎓>.t[lܙ"6KV?wdxŷLdن9(DV v廙O3.ٴ߻0|\hEDzIY0ˀeI~D$[cIHQ69 c76@QsHϰ2NOPܺJ> Q1q8Ie@A1B+J8GpYZu 7ㅒ@ Y`b<*;ȋBn1b z ߹B]9RּhX?ɷbh; rjNc;zܨ 7@¡\$YXo?eF'Uz9h~E ;I& WV'phvCuNPI?( OH"“ΛHܓM1zBx @u\t͎v)6.S0R Y⬻6.T3 |@; F%؜pv1`82'%BI7M1nNdyFbTx$ԙ8nU3f $Hyz/\k QD@|vU! >"5߂@!R{|)nҺ?t3tn,qZiD3`ϭ7V¯߲M4X<MBM"#H9x퉙Tx|I8Py\H>~g37܆/]A3 _9`0^p^} C;. ֠4~ZAF~gw|q) QFN/sl)S!81 ~Io/T ,<_mb{Cڙ@Kk~T+O1=ST8Zk;b }L@)7䴔,1KaF، Q2 Tw}u.U%@W_CO'U0>} oTHUju@W7jQ4OMكTo6SBaPo2 dG\*|S{fAsru!># ع,8",8LR-߃w}1`{(Fl1¼L3_1 A%}*E"0([cWC\80Ԏ .훵n_na{ Hr@ {o>@I|>tF30}ؼF8J:؊-T;ِBKi r#@1] c/#}^9pI']%OkhKx0XMǃip.y?~* !xsKdR>tqԟHq(%H?_zOɭ|L*"4O[H9;jXCD(l:2E@Ov8 s6gg#o[g* ?NwI`⯈4WA@*#DC6'$iҀycqZ|1`Tm8k2E䥅2st<m+(: _ a;."daZ1&C=b@Co(L3k[ҿgo6dE_aId>фyLE_ r>k7UC'-Ywƺ\q:g><`pyg@1bV 0UNZ`I c쒆Q` c{Uc1P=nハעzBؤp%_!P;bnr8Ϙd}&{ȵLijip֋ D|D'UXÍZƇN:JDu b3B f1ɹpdm(V/1~_]][5u- (? ~ʂE<ԝpb"t?0 g$(uDxi=AA|`{`T a*0]YJ߼N5?E<[G*|'2vZ}I hpӀf5۞EQjyKsJv5O;M @{À !jܩ6-Sfvf @'Ï:y0bAk']qq؎k2 \!ﹼh=)uqpuHA;ݻa';>O>rD% 䳡 Y&Vf]'+)߽/ qAHz[?z "a? ;Gh-:3/ 7FR 4B6dB2\b#7KhPauamMtfAʛHNpDAn@"N;mG^Ps5G&|iyy?c1aك""}CGb<-"p1/D9窭7/1R|RmiJ\J_7h tjSy8!@y~2[TFCZoT q& w;k?SuhyݰWa^Kf-rz'JŚRoÂJL{1/ c#9u܊E$No jIa(R왰\i ;Y/ˌRxVP 4i= O?./~GoI 5 ߶7ɳkx0(n[5CX-K6y,ΟkDT"#*Jq1_!pNQf/_f }lW C`=35ǞRh,Tjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JBQA֩" |ƛI#Xsj/~'ư9'C-/7WVG ǤN):wqpCi ָ.;Kz:]sftĠq 9<:X{D/0# uK :%Z=l2_ERKzB}h`G d(Q6p~injazSs=|1u #$gH;su0o$\Ά{";&rey)b " _y@̬3 t!ETBT]jU0M#]UO|'pqVm! o<_y953$<ۅL: W{xK0oi$\eׄuޯZ<.lHKayIH}Uv-1|BD 5z A}18~Q"Lu{ >=ʖ v{Y}՞%g5s4QZ}t0 4XKuBKB>Qc EDRՓK\ԵvZeSU 0vXeFk)MeA4%>6ҌI< |ȋ} oE0js%׏E0~2z}e+-_-KJW#ŽCA+[7`F@JUmx A{`F6j|dX^}=a(YW ;-bIp0+ m;Ϗv sA!h\ :@Ąc.Q 9~RӜMt/!Mx(#`Ե AMUGyIX oΣ$m+s%}Se2l'֑^XTέ7ldrd5mo>ϯx]~/~x5By 54$t_⿾^>Mqp|9SX--bո&8tƖ4rL/r$Ts*"{׫"*hOOZOk{:S̪EA:{˒VElxUhKly5ȃHmٲ2ʈTh_wj4K|BknCA-~p)c3Cdy wU516YGF[TD6"Z2{^c@ 19qI СRkgA"{: {׋EژD-5A.!]6K~ֈB =yAlZU0|Aq B \liO<* g)mYe ( )%9ELB юoƎFhTd4it۶B5LG(*3t4t,>LS BrK {ٹfj N]lo %22vTL{Wŧ ^?$!f\dQ! /Z!4,cͯ06:, }ZFiwx:4@Ajp% >A;)=Ju-Z-qB,? э⡟rԨ9'X +O#.Զ\X9P mbAa,?{ g0* |\w-$hͰ!lgCb q@m@(ΊZl8EggsK";"mmHq$loDh& sO)]C[.;Zc S+#brфaRZxH3x淹V8j!,HBP!$";{#TDWZ9!h6mWt> ORng6QZf עȥܪ(eeu_}ws r"C}3݄5qOqG¶,-(W" .jtQ۰Gvw݃ U[+4 . RTT24^7Z>R(6ZC֛D*Br,|J t$wlw7eC̀]W,MN/]h4g و%@ٺF{P!rFGb7 s"*KS,@˶_mZ*:1`BC:^+x/ޭ|i6]X? b oT{G2tͥk+$͵m=)@u)ͫWJ]ɥHAb5#m'.!%>t*z~λB>-~r(IqEոY_R7lP4`4s"3qNX >LOj w*\+ 6`[aUZL1uf1z 8qhnTfnCQp~Wp.G q_ r#@ɤeG"D7e 웄ifmҟW6_XmT] D92mY+VH*;hQUoXp^阢,գ00t7$dV֪ `jުXRPZTC- Bj7]d$ ؉ICS4.@͒֙0:ܲq}-Q``!Icn̟)w:ttXEGE^x#}yVu!ȰS[%X%@1ÂOd(k-"PH(c0'0tH w^AVwb8Ad(x.Ɉ%A\|7Q~k2cqF'̹EIYMk Ab;>y WNa37.89%q윞4;~$ghi3N8g-U<嫺S-vh6kahx`_%EG06}TV_@.3ݲWe!_0J?lFOX=g1so* 0*&t4t Ҝ#Ҙ2:ql[ ,@-Jx[ԚQAIrm2)cK1֖-_bAQsŬWe:FCP8w3O"o S4HS[ȰcR1N†?rm 1r^c\Xi/1F(*[A oo.<㈲Cz21siE Qc$Γ밓-8b} RHI|CM(>AD ZtLplK Q4J,ѨMUmPљ>O ibV% $}TOV 䅏Y\|>ւ_ #`;{Ԗ 6HPg)-Hԏ8: J LMq|_-BC@X[L|1L+¦ ӟ힛qEnS%8/kJ¼Qm7\ v6Ѻ87/kud&4F5XYƓ.I5U  sEl: eb%8>TVP{) 6)(1`Ⴝr_3FP,g(5?FOT8Z[q bb곽Cek9NX$MDeM8!ZrF߮"#P8G* 0]Db<-(V~ǐdԦOh,6A1xz+X;蕢L@UQ=mz\گ^_`aWC_[ߓ"J 5Ƣ![G0o IO2Ԋaex$^.: o4^&`+b7hڭJMcu*nAȦ:o0*&9B2u ?Kڌ`خ@1op ˋ/FC`,=;R `amq7K|®3TncP< ]^\d*S7A﵅if`hŸF @KR%8T^@0j(@6Wެ("mE1 :hbnm5uSnpP%B&YAX)xkep;lٹ'OQQ QߓC=I VkƷPރ&jama< z"_ZGtxBgf[]N'L ~nd*>V=ux'~ŏ; q|&aŃn4yTy "ÔZŒȘ#?BaƦ;~$ܚ•^W2a63YDq4x8FHk9-EM ]H,ق5U!0G+凔;nPQMS5@t6cBy9EvVX8 gy_ﭛv0{6,P|YmD؞D]0@ҴMO*UfڃQ>/IO"* tm;xNyp׮ij +25arxírd>;n[swJ"ЉT&tT/4 F\KEUj;ˊAC)I!;ݡq+K:K-14Q7 !G{Mṇm5CÐσ'uk Æ,KjPX,> A(geCga`pe#Մ"_o7Vvu~"l 0??YQt\M/zANLlzcIJ۬O U,h -pDz 9k Ҽ0T6reTF_ 4q$I-sR[^c -8vP놄-ey}G݂Ƕ#pE~=cr=1:Ϻ "nQ9NŌгm* Do̡EJ蟈yQdMĞfBQQP`*mzVV["Se? ؐ/.Yo8% /,l!08&|]ӵǁ/U\g>ԡ AG^$;a㼩 .@{,]@ӺF.^K1bTe"*[Z26/=1cWE&UyiLY gW\Z 57(<ZB, XxkaW44[Z[_k1݂<x(W4U"&kePUK-F6A%_x|97132Kkq¢wb$⇚ǪO{p8Df3-R(Sm- ma!F'u;xp"zkaI0wwԕw,skpBJ|[ D>Cz]PW|1B${t P5(K۴EiׯڟʇrUt:w0GVtPX8*J{KX {{`` C _۞' AC&\<3&b苒8OFYJ8nYN@l`d^҇mP*Qoh?&Uvma$rޣP`3Ur|H4sZUtУPv+Ntz>n\JgC9blAF(yQ!xx0.@mW.?+ 78DV曝x["Odë)=0'2/?%"y@f#]NX~^Z1$odh\|{s @"mjy؀Q7J x2<"f]h[D\Q3~bVuro۰vCM{[>i*_g Ӈ]" ϏD we pvfvYmxU \E>NL::)T|d -vJ MoqN^O[K@w?'nX^#\%ma<;AޱG' [ YG>.Br8^M'SG]$'H\`*m3L[E̋+Hn ;>{ !:k3X3a״ >+ҝ&9 a{rBcuoSq\ -ˁ9@bp*δBZ E&Ўez;I#}6:/5]Dۗ\z 6w#p`+yb·%]ٵ"GvZ{B Jj+Vkq SS/ ⷖdF3+_[$1m m_MwP20onI/@Wo^@WSj, %X!i10-v/3D%Ls9.uB ӝa{f"?S9J+Ċ%#YX_S[SV)Q\{e1ݿn`[3ipt9L10ik¢E'TPpChQ4 u,pqv-]0"L E' ǃ?g9xNz?,N Ҷpb;es 8mVqP'$eEK@PHpKѯ?#%2䚭dd-DСNH7ZE67y,sA w)xN%u#Pi^?Ɣ^dR 3ړ RD`OȪ+܇a:'f')A6x#)u Bq'׼EQvO%bk!1G0 s O1ۄ\PRncͱG@vJm ПlC?$:D,tp\/n5I=ȭUH)]ZI 3}*BU5'QMsTucq>/47le .a<1/l@RZN[|/STG+iXImQxkgV[(a^TpPA,^+qv6_NTCSɋQ~/+ jI3/:iAk;P{B8D1 ̋JD̝2'Dx7;ou K_B`Wy'1wÈzx@tECv`qX HUdUp=Gw(z[hEKul3LF$Li2 4NO`(&DZ!?Q|Cot"4mx'.uy8g'džC5a<0 [ 7wFt_d yf*ԃhGU&th@t?Phkz8=#c, I䆴fZ$>YH6jS)J( `z'ygTp?"E %i4]o\Ukn.LP5m.889%lY7&gjK>ro 3ۦfn5w D)"cdbhKtE@6!a%S`1 ɲ B{~eB䡅G+ Gv=\v¹C'6_\$~-LGŃ3H`O)7IҗPn H p /fc/Ԃ_F%";Q(k A4r\-3!xyxmiOkaAgm&LpʟՐzBv ;BH>JСB$IBD$)mCz{:ƠQR-PQDq۠u V+,ett`A3(](JCĄ[:$Ǎ(jAΜtU)(Q0];T\pnY)?ٶclyyScl e&mzf fiQ2)  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[:g@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊8.+{[R;G?WPuv Eh=Nop_p4/r= ryՀBE'P9UH5|D֐%BiXqĪECPxa l,@ֱ:d@ n%  ϞJ7|b}yvm*"ߝ9)Bc {_4G>@^`Jl7<\-cO7HemɓH 0x+",/r?'cOg 9:ܧw)d4,lbhi3뿬'6aa:oC ݇8M[/_i)XSUW`]_IbУbB;ht5 `0e`;I@˭p3EH%ŏ-މfxd0TX:rB DZhLim7l@ N{]%J.` &"Z(m6t  3rTs08Q*\_K`! KgXf[@_3@&cBf:y)ϙF` ǒ~vXe Dɬ&3dc0GcJ[FGad)3yae@HYҜ*/11je*+ tvG= \ M A'A.*,W4.i"v Qv Y@ E}E{eheCEcz3 q^!!3nꋓh:5K_L's_!_F C8 @Yƌ:;Hd9ZS]6uuܞӕN.>SVMvi2\ `\@NK]h * M"U A"}cA:afxFI?È\ӯ B-+9IyQ?v FBBh)E(c'WDM4g/WzV`{]c;gy5*>O\(e |PAt9d?ir1zg*t9qEd@U>A<,u1ysJ:qf&H#ZyHg;rB.{{?% 1l) ~q2h_|%6Ak A&۷^92 ]x8SO{d`G%$ ML62YjA/z 7CYI<x"O wol6i;\ &0`6}MAva2 PԂz@=2X<(&og[!s<2ɇK/cL3WK?(ͮʤ(^&N+Fʴːi$ʹq<2V1\ol=DZX jֲ7))Yڎ!RD#stp[hb:nu ` ?\!@.TnW/HvAwh^cjLv oS,kT %wk'սd|16!0c\tcΥz;4jMcuƽ[a']\"E4υXW $gR&.Nc/Q~uM?Tm,'D;DZ=MlrlP(pnE/Zs ʊ~X> 1 uN}M$F<:XB94g? VtִnG_%>9wYg]Tbo~6Ѭ[!YamGjb1lǕYAI0X^ib[w r<:c @m#%ASWȓп7#޿gwDitI"Am49ap{ ю1y[HǖVHQ|oɎK0[aSr|}=#$C>? `6|o򬀂`@BDtjꡩR?#g*! "3.K{9v|&"^}#K;n}TFK/rr?H4f?_l"$`mh`[" /|DTz V5Ԡ.GN yǯf-mi!NR\"RP_Ynga~o*Zf"d Tw aӕ?Hw: ۥz\pjofs8Ogp<]:Ԉ*ܷ9I؋b/w]#jA݊Ux:\wAFs ڪjw^\=>؃ƀ9:P}a"x%AYZ7Gf!߻ᐧ`/0G0!SMhI5G?NU%i݊Ñw2c㣶pԴ~t2p?iؔ292w~%3&`arـ<РTR%P]##J*νRUWuY0Ѱ y]da;קП0}gcBX_y#}ϋ#@!>O7c q3A566cD̄x\d(dBΉcISRI;7+m;@0]:GA웄L/)*]J hEXu;{ \܄Q#nc-fWSsޗ)qv:̼ VSA ~>Ywjc+L»O7s7˙?uB~єYf37meU==aer@テ L@AN$l,Q tz-b Aw)9Vצo7Oz[A8{7i^Yė]K9*K07lDC(˽&v} 2T▘q%}VYN}dvxwvؚGbIZFCȕA_;sF7oVfEte¼#TC:g0k Y+_;uɻ >->6&má"08 keX0 d+V:ţZ[keKuY1,imUH{ꊧ΂<`g5S[ꊦMHyp2FrN˪cGdW{.(mV-VStGD(2j8,!`DILM[ʣEՠ'Yn3E֔NLJPHH`D8iLRMLq0-H̉uѰG@ ,,MZsB<+01.Qh= {Ca-Jأq,Jس L!!w ?ٝ33'&ez桺 :'ɊhIO-j'y.*AJ44H g$x`p N!B9800*p p`X k5(u=a hP  Y2Wk~c4gWwׄ3[v4g.39N(`ku:N{#w-ֱ |>3D?mAfۊYcSwKA.5d=BK&'RߞHVG4DLնpmJ~IF|ޟyS\S8nQ="k"EO(laxRO7v1; _&$)],@8aT(e;'f$nڡ ^sդi>DJ<ɔwuFly Y/\j/U_$cʕ.PGNj:W3 @(b3^T~ʑe%ҝ92.S(/39AL5OW +c͢W" Y5K' .HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`=nD)H'j` jk 69a5xJI""RR:PLr,DIݣV09%F8,(ME<E4m^*5J$>.kP-C?P&lahDQK0Fv1U@iGlOg"5I#&FƞT̗oPM.;'Mi\.o7(1TR[TV_6#yK<13ȩIՕرC vy( F.q-JMPY'HPX U)ywfsgft&JyyucW>yx\p8 Kia6_TL%])9v՛VSZCiBi z7~&&jLkL^ꚝ ;)]UU+dYaP,ҿgX0,Ϳ_(X(X$'`$`0, a Eb{Eb}EH,{P, @%H^bTؙG˹ؤM?o E*ٙZk[̾  )$El"ST ҖJSԇ- TZ0`DJJk^;ž|d|< u{ zsY\_[w_VjEdJM\_j_O@& P+x9bg$zczL;k<{.u%5HH#8'G MR!.2f xn5jM|N2j' 6wMB_zNa q֫v+N /+gx??,^U`681>j5ݡAOuN-Wb8qb?\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal SS 5K# 6HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^\ڒL* k$j࣡E6}Oz DdwNIPYnd Ρ 9T}&V?s@pԠU$hk`I Soz@Xڕ@P4ͱa]0r4$,A8t8J(Ϊ +<$5?&!hW 0q,BB(\`hH48@ ;3QpDjr,$Eh #yUSA<h҃ ;AQ P=z.Jצ݆ПdIq^YJILT%A4'9rT: 9Mz$ZE$KH< 8pLLj$͡Fi,"a@9Or0$HH@Ow #i`$!ãI 8 PKP,  P4"Xh D:s$RX0 iICı$DxgI !C]UDDYf]ULCVowU3 wfZ23ͬ? f@R `Bxw!4?mDsuMjHEb()]vmS#RgadR 25`$eIٰ8ǓDr0䬃$ Y0q$!bV>_9 D9'nH

hhlf3Ѯr*ʮr]߿o߶m۶m۶md";SΐѯuWwu7ws7ws7wqwQUQTOTOjE)M33bb"DhiD(.."&&"""!"<h\woo6/oЬJ xgVgU#ީVYg]LD3*$5kHj~j"YՏ_}3_6_e}WWb^򕻪| _/| 3313s{CDD!" ewwwvWw2333333333sUUUU ^_xUwjvU?$\?].ULߙU9~~wWooo~~~{d178YhQ> &2    .@ ` (@gnAZlIp1x7&H ݺk /IU#]&XZ\@+`W}I)װXKC씦,/"FNOQ4| .dU|% 00ں 7h2\8w,fΓ7l>c48@k`U;Ǹz$m:k*()L8*"th zqoKzGɧEQpG񲃺2*Jn}LIV *R\4SkveAHJ=W]g5- L潰AÌδA~b\d8& , m % @a*6^=І d SNh)d~%p17H,Buu<aZ8o_ɦec|N n;ݗ+x^^ZpOo=k~,J3j)5T&WԵ(h1"($kbĢ 5I@#~@X».[ x b (z]q fݓ dl&TbN5Fk43#n)y4W6K\ +5/ޜgMZ'Ƈ4Qßl47" @ tyvݬ%\e+~)ˍhKd`ŢƕVr2)H6*8D>hҿ Y5r8M,H5zdlbl5Rz}Ev leY 9dZo]мb¼e]jo]r QIۢ46rMt }V-yFuQh9\@+ҶfCFiؾ"XMÒ<"*WlQK48  ˍv˾Wi)( udaPYg茑|PURr,&6L^et{ț@k{(@u{H@_{h@X{@=mk ɂn;i&an.h^Nuña$Oh_fso)%Wz;k8O @IPmfZOizFʼnծ}mFWC?$ju tFZ)Cұ*=;NoH7(2W܋)z?\[wPhG){~(/q;~ ?d ah>b<3 5K) (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&Bj̣ӇwC|f> wБ|r@1v|xE==dZX$z{h=e:{H=k!j=l zF=T/dP"=sЃyӓn Zcn.k/sgf'Sr\NFмz%^n͢o#=4#m$[$;v*:WWe_- ~iq$D+v';* aEJh_TЮ dFGe D lՋ/]ljIËgŬn]c uc=Bۢ i6/*$+{^(¼.6zT8;B+fst4\] qq-J݊xTv"GFH' #1 bI~p[$΃Xtiîb%"SQF'8N8EBVZ` MryU3SVZPuϤڽ1=#!%JF/QD k}poFmB"5ifso CBȡ¹׍#fช>?X{zEЂO'vkrMqcP҄&oaBڃX!w9 9LRmF%*B~r8 ¯k|UN5{ >L(c~raKÅfaIA>gs9J-Bؐ_դd3lI$TE Ig9:ݧ.kbGb&| 3në9Xx}ĒQt;16)|nwT뼙^٠˘ޣEO+KMuz|H4xC a aWPBW[ δf]~V]|m Z,JUe7 {$\B..r sT[)9yAO҂D.5^ך~1a6KGz4L`T&(9!^>d /ax~a;DL/iTˊJirj#)#:3¦=U:m }G@g}\n8;ϕlk&7ṵRsP}\!` 3BrOD"P<:1;H/nX x]G$MA۩Z#7 &7YK.H!=}D쪡#OrqnyO&TvZ͓a$C]BғQ&$L 24ӖQB'9a &MǨa `D>6g 2qe*.jUVQ«@Fm\YU_[QD 3@~% V "a?;{ً:GV-_3>K@j~'uD-B0hʓCY9Y3q{aQi' XQg(ɳ[CgOqAϔ@hHkC}̑Y eҨ2L56"kv\@V9<|d Lɧn-賉OG. GH,Gt ! 8z.aklJUf\(s#®`tK:mEiB̞Dg# yTv%~z|?G8#Mbvew,Q/I)B\n PpPPGA uȞA_a'HC!Uh}QfUw+s39Mhpy%MtH2#03%54+\Z#?f6|Ps%Z.x D/Oq?` ǣer08۾w^ 26Saa{оkpܚqdmA0Sk Y,V%F`i aЖ^7pUoH#wRðwPUe(~1`"dΦ=XOP~7mq9EBKmeW^+w4`M(WOP xq2l:D>>v=YWAtJԶE L͑A}~XYOFN8ᆞY!9U`P=݊?1Xg0{؉c?_q̸ Zh[/JO.B5 RMoLg5BQr3-FZ :f!5'0E6{ku0!oTڿW'\amA<w~GQwFT"yo8}5S 1J`!ܐH*8m먴=0m֫X^`11G-YV$GiYRv,AU-Ԭ6hA3ə:j+U T=r]\ GfIɦ.E/wwPR9ys@FoEx&Yl.y/* }OIkJC/nzQ+0v/YqdFIm؇~J$ .k^zxew$ TOAX+_#YMM?qsāØtIN8  X5$IT޷3U GL%̄?K|锗Zd26*\L!O"1ABQ/e\.J";#1oOq !vdă,5b|a2NP껓Gq7 A -MdлFG#  5Mg>*~w W-G$wy)m+vњ2i j-O#p?e_Om4t[?Ou#MWw~^~|u]l,%:~]a=" G^2kDrahGPY'K?}*\M]?C"*xwL74Sj<[lU\$|E&b'ULS!A54k9Rƌ(iL`DW$sW,-Q _:6KM;'A[։h x;)j},v*^S`;CV SHC/Pqfʼ~UɡY#)G@JMFJ%=t8NhJvIaA/` j6yl56t@~TtH9,S%c)PkTiD%}yRS{{_$XTOZT_ "@o3Df8ZЦ;2IL>(Ve_3VՖ{e,^˂؋m/dO⥪SU߬3mv۲%:YSS33S33$III$933äInr{6wwwwf޽ݽYrs͵**m;1..e׭ږV^KDdD&"25I$yD%g^wiV ET]UݖDxp0A1@q 04(0H 80 P` p"C-I8|2(,(9H#`JdB%2s했(`BPBH<(EN(ȹ~*%݆uo > k ^KA$Y}1aogM1`ܢ^&B4;:tm$awmZgi+ P[˞t [ Zgלm:ԩJ"5L)/8GL?$)/7/O>G˪>3|XR>}i򍳩6¦S?gc~?_”ɧŮ Y HD~Pr܏k:H3I>VSG~v7>=r~),2Z͡\ի"=8Gxw$yM@#KP~Cþ "|t$0vtΑ^m`rpK&pGXuphÙ~#wY.we62vä*f#mQFFn:kI:%)9zGB%ƞ鿢+hFR26ew#$xHFry c$AyT}Ud>,!ȷ6xo:jq gb3ӳ&3{WSD]1Rƾ-,(8&ϓY!tQ(.u Xb g.;򽅲w9P3O.Yg[~_NL)+64R/^ uŗP8 ܱfx\#<'β(N*##DSǜ`_sMB-@|֑n 堹=R^B5_"RCG}j*H}Z/oؚX+t X"E(QƢh7d⁹s kJrŌt\l[7e~Co>AU (Υ݌gqҽو H3ԇvعqt\jD }3.ͻ7v.O& t\o"f~夌!Pׂ6@ù/bt#O 0G=;1FwS)^2Ǯfi6U\!V&HXxy)yԐ_ ik5)T@fGk\>]dPب(Ta{j+0MraCORulQ.V.K"%|ݝ_-2W\:.4b{$3ήY0XV=|P!]‹G{qoa._X`F@{~[<6m?iF6YvE3*YqPVJخ[Tn]sP~*?kx_j6\4jpШc˫?f| [ @12y% *;m_jh5KwXC4b#ߝ7,6Mz⌵8ldо0)w0ǻJcwi['2&_Y"-( 톗i%4_!_yIw=vD%Y)6u8R|(5xk)F^ 2Z٩+}1ۧu32XŰS%it#^!^ח2gAfNC>`AQ~Dt+oopo+k.@]VG[7B'h.KhX*Jg> S3N WԏKUJhh6,1]v]S^*_ R~mu[pO V;&k)M&AD ψp ȑ@N._R) mz/ YB4wZJg_"`ڥLͣzQ.|РiO#ReTr[q/8 ! /|}:뮘4%mw=֔zF<|<)|rSygOA 2X#DVUwzW t٨+ i&a={#A)Ot8h]m\j KW@WwZ ` |,d ;ϧJS'& `sa. hi쩼0RH-%|jZF8#Zn(kK r nClM rq%P NhMd`r'NU=% @,I.2.ݭ+ ۂ[ ٫ RF6GXLTiTx>~5hy EeqX$"&yWNײ3FBLèjpP9t%)}f7ܸ=pz+Džه{ l/Wfto"F};^wKhsKۉ%(K*ؗ1BSOTtA#aXCk*_ eBgÅNDM]RaM^W՛t, )j纘NP&veӚ2!x6oi>D{lןnShK244f.qx:иskoh9;Ǡq=|'{ʊ^_.쬬)4Sw.WFI1!8.h8ׂ#04Z2-`Fpn5ศ[ y)V8=(M$F+O ` ΢b&<#!3jAPV>g!89>xEcPS1va`QeHLJ&PZ,N2<OGşg+1dO(T$҇=kai1#4_7ђ>uR4Kġ͍EAI;ʚB>o%9OQbMu{telF9O3Is,TPJgŢ#%ا,GDy16~ݏOzR=6`4Ki?X28r[F~Z<'j!m[T[0\EV~^^Suq]0a~mY?`L?:s03}~[ SZ 6_V+pNX{:|SȪAۮL eAFcl5c|Աi^*j❙3q|6R0PiÑ&ig<9̎Ȼ2ۜ3VY308˾^֙= T>]܁ ŗ\ FhYƾ$ wp/;{al O2VH@n GpԂXK[g GʫT2Me2=!xyy^q p/z *p̑e[ q2Yv6nǍ4B G a6ؠrƳq)~\ː`E91pF*H>yP 87Nѵ[a%2B ]<3f1wd5v^h#CW;]̿ As ?(p}2kJ!n̘&וX]ܞ I!?_s +J (*n\^×آɂٸzk3+"+zAD Ի%?E:bKg ~y!~{$8ӂ QA+ewcZ˗VZ^GPBC艅G"AcXvݾxT9{`gND%~01YПvlS@9C7G8IN$Y7N?C} TGG*O26J"d@"DF.bbqjt 1\Ii0鳫<*ކbF<@,oq#xZ}0^rQto \-5Y(rB?[el:aQFv, @v#晖2 eC!bO k#s>L<[jC1Zl r9sjyC%rU(S$qWK3qtbŴ:o-2Iۏ)Etb\$u/3a0['kO][VΞ[&{A|斓#ikg+o1UwKRzEUi UiKBlY*7*}[M dX+ IX=mJ'X17a5D}M9jNn8:7]}]%왰}WW"cv~ݔ?2x}ՏvFhO]In>ˌ11bv'VvZIuɧ˹ȑ|tNPʾ/$]&:KoQr܀-W׆~_MֺRsHǑ8;tV֏$n&`[޾Jl@bŰ!)5`TPp`C]ޓ# :;\vESf 줪xȩTG?h%V&cN+!'Ϩ#,h? W/NuO)f9_u`_[IHF5KuX[l9zla:-(:,vKdV|*0a8O8t5:}GfL)Ii mmD3vZoU- FFh4&&lm&FUUTUնm۶mRK$DI$Dr'm۶fm٬N?vUۑ6#cW-9g6d췫ܒfVOے%IR݌E6Dom۶mK$I$I۶m۷o~ۭZLۭV]UnۭZKnB43%F$󯟅WUvUKn&E!E ;$߮jɍhq ǰvUKnD3bvUKnDd! &*\ ]U-H뷫ڞV]Ֆ6y=zo=J版fffffjffbi͉TUk3o۶m۶mUUUUUUUUUUIm۶m[jII$I$m۶m۶9Ϯjn&9~֒y/XA>>Cv\z\Zꐚ)U$  $A (P|:](9H2t0$lX`qF[O,♕*jhd@hAcBۮj;fΌ*%g#6WȒQBb 0`FH8l3\\sB.Wml?xeb[E<ڊJ*Q3 '\FFƬD18` =H ? p`bCFhpi]ՒQ[]EnD3*8LpA  آaw!qګC b1A6rqq\ؠ͎bfS[ͦhf6?AQA!`aű9*;r "W5-hUԒR>Aq@v'@`8dmoPT!#G}z␡23LEurAIG"uw E:HLy_j1 *vC y(msjy";UMYe'4?WO0Cz"ꕽ-CR6qO 5|}gXa\ >(=e=Kuz%.s#,``r<=񈧓_?jck~%q"KAP~VT(sބة01Mp;w"T[*'œ_0ʳ#ёsB_4ZKcDC} eg~Wڞ'PBP [2ыG4;uBނy_]ifdi]n Ē>y(1U [2E/CƧ]wcl;w՚PuնN7⧝ɅhuΠ[4v@)?-9s9kX ո`rnpȢvyL㵧bs*fN?6zVkCkY[JH B=x69߬]g ̤͂!.#ɏϭy"]tDH!rꓡ zۛ ZɞzuGpZ{])`ߘZ)]IS׎3^\Rը@hr; I쫻v'Y X^aoƋ@/9q E@<,pyq}=ni iMbMGEL;&!e8m1Ut@ qÕ6zS *Os\ӆ^`6,7zUMs&˴<PEј9!É`0oѾ= j K*###q/9iy7zԑ6bV: TQrQ!:{#C-[ 92 Kj_4'# Pr9CfG͟`u"r҂~I;݌' [M܎iK~18 gĈ[5Bc N^R`5V=3F8pJ"k25X2>mK7 X>>ά3ڙ5!g?}@%Vb2OL+}~&d8{1E(fEr]zA - ô@Y2lkf!q('`p0nEӼqA › ݸD_2ʓ%:uͳCޟCJY/g# !63/"w0ID2^'ُ!C`z:G{Lo1Bڞg`91~efk}6x=萛߫c0ʌg I F<7MjtġxnS6tѡ3~+F$y,;M-1T_Ef@ uU瞈>F񅲖کNi[N"gݳ$o2>`p (zy!w0ZOE(vҕ6Nhʾ븤]uk -L+2]6:q0ri;^7ŗwCG?]3*:[w'@Ku}l_+Rus|[Vynh+#5bٿX'_ΓN_y"9M fL8~"!^>j@O}xm{hA_FHXd 7V nvcFC>seϦ{oc 1[7a<-QX+dQN\ PL=)&2eUI2Iq߱ qYUZ) t˾$iIa;VgSF?aQ`^M؞|1k=ZfH5by==t"r,NX}rٱԿ\=bn0mP^u)=k1XJNFT/k˟gLפ_f3I7p_,|p{?$[qdKvK t]!S"q+ˮLӄ!ِ*txh~WVA2Zwm=N rAҕ,SZ)N!T|+,D䨈%K-~t vewoW373]p`۟:]S 2e㦀vu?oyQrftFo^R8ۥֽnD>"(-Aon:IƸ$uu9ƒǮl;Ĝ\̾7`ʿ]߀: Gbs k$x yPۇ9pǘ[`fo3$O(^%CΉзl gG܊OCăq-wb[a߈߷Aɽ#^߀*8E75!d?ҹA/׀Â~MD}Prj.λ:Ϻp9ݶF=ҝcպX{ʝ}F/ ߿VMGnj̵xĮDOI!X'[?u 07k<ׂG( 5|u϶fWnv.tdiFےX_4WQS/P#4>E0"2<+Xc ';#k;ˑ3IlNrdW(Y:)' Hϣ'tHk#9$6cJ_Y:5F%ֿ`۠;O;E$ NJRY>w˔eU#%2f't(vCƔ>]s@%X_,5?s&WC5!N)Ghq!fj(F.\ͳ !Wl;%OsJ ?na ލbt\VizkJ!7?2`ŘOɺޱgmSZ~EnQc׏C*m =ѫL``9HcD7e.wXr@wFbRjD;jgazUs$`[{q(g; Òя8d3#=i%]e>!x.-="ʰh |Uo.ŎT!';3ziƼ2|h !^2dqr|l&^"H}Bk۞Xrjv7wqo {J]p}z|l2gk)(ޑ:K#/DGw;sOjstvQ\w ۋ[s 9CQ[Pjny+lDDž kGI7T=3&IR}R##9#RexDM}rtTqfrk2jOx›ֵD > Ei~⻸OВrvԒdKIx>K=F(JgV)d-:(#pY9\$xUP%9}9I k}t&ؑw-xNHF2F۵-^O.ae { y o8OQlz'6@(O?  E] Skso2yS%k.At7k=@'˘s_}-^/|v'hvIVJQd*8wZ[6# wSv`+`É53Z8Ըky̧OKW*4M 鸗*3f&c*[x>ױq⧝1ϱxlR3~v(GzOHoy[Pu콻{Ŀ? {.gkJ {%-2 >XE#g4*脬(<ߛN߃]=y{Dmߓ}߃=O=ۉUuG,O=x&9QneNHiǖ'>.gmLᏤ, eUwh'6$(+!!2*;:'HRI߂ϩ%/3eB_\;,?#R"#|@%|L!kl*s1Y!G~նwehsxk( Hwr>괖v;̀NިcWf'. /owΊ ƩIۊJ|BApgwܷn‡1qMOybKHYփ f 0D+k|U!o+)x"5ѨvXk (w\ Cu3ZUy|̩B9Mzo %bk NxT;-vۖ}`|]ųD Pbr7pY |T ft j|ԣDs ij+!>(oݨ_ ,}˾s qscJ'܈{'f=9\!өGVAq|GԻg MO 4u=p+-&ob:k/v1<1C=(|3Y(7 .M$VK Rtyܟ*{&?i['.=cL<@tZ+H5&5V=cJ|^ b y&z<>Dۛ\Y!p#k\'S݌X0sS2ӡ6be-FcSL{lGYJj)XݓiJ %H 2uPok)qÖIeim0w!tw~3s-Bwα#o=IB7C%mwϱݒ2#tg9=!;9Z˜rplV~v7E"8@X(+U ĢXWn%ְiG~I%֚[n6]=xC=/ɵGj` 5BJS5UZ7=v{kIn2qtd!ZϱslӺ-ց@@ `"Xx,r<í"b+B䲎\c<+6C0L,e0"i"EֱeD(&U*dUWdv/RD e ^d oOHd"10ͱzB7ۡX(2Թ3$9o]L"u ߷~Z|"nIHN!twYLSXA2H01:aea?ABñ`0P(A A I!c!> !&z#[,3 D%*"7$3ADW t8'c\CndGGꮵߐx($19DP>oh.7(z|@FO |_:&rӅiClOcp'('w]|Y呹h'\b|D2+N `KީSQީ`k&ѓ;|r3/nC;[CxxQS]";(O4~:%4nUy)$ ṛ'? ^fٺ/QL $Ëj f [[h`E:h@ 2@:O811CE99vR|D`6ŧᰜmB;cR<18`SxDowpr'|I3ER1I Wa?{ J1%V/.`Jmx롛yOn|hRƀ/F]O}l}&-NHO7P0d` pW0J696Nw";HފwjRχ:8ñ,aLxjr{ ITJ|M5%W~5,uo @TyURy´67p7JP(uSIwQ,;GV_n= 4&ztI&ܰXtgd2:N!;pB#WBO,T% )˥> w؅ *c0İ|7W"envVBNKX^|wU/B9u2-C,RYB_ɥWFݛY^83ō dUő4ɥU t#:jQB,ORG̒"lKua,8r!?I;bg}'.#XߋJ6ٹs: 3JA,L4] dG(*-?Y5.vr*: Z|v2\Ap˞99in]]`BC(s*AD#o6+y%# n2b9 nu]wiPԛ[ ~A䧼;gE!%2YjvڳE<Bs~ F78,{B_ڻBs~~\q AVZWƪi)#|.SB4]J@4^I Q/SѨ:7%}c 4S@ x^HQ?)<,.0MVQ/'`.rU W6(]XUg )STg e%"O G!Gc~qfHIpRzK)u)\2ȝq tLlm8gS ]Bӟ?E}{*hOv0?`(swNf{S rBn}Q5"_(x@&=ۭqDAѹS{ s) $8e#=7[Hx/26dF?SnbM̻I^ +F sp;ۮ1$G?Fqx1%FbvN&9yHٮS{/hщ99 T\ᖰ\Q=fD̟gQ,TȺ Ӂk/!"C[?e"A0l?:P \2i!\v߂E8Oit[U0?=#i${5-1#ŗ1Pq&؛dΓYrD@_z.k+ɓbOnԮ>M薕dk2=d?}ʎS+?e``X9?4X[CqB ` WSH6nzڻ&_䶊 fLX#`n'Э.& i!-8'źs;72 p6yj9􋒠Uw-*r*G # 0Wf@KD7D)8?l3 ~_y)z_6O(UmUy^`[}U<~nRhSYbKO5Hu Ãq)zbTp| snkc_l:"|bG|XxyXXcz2~f7=*'o1z&=&_fXヘ㵤?tGtl4kq!*L`D#I (i'\bDŽb$eOJ5=GB0^(£E}Q"m ڠn*/"j]D\*ne?g j% Ⳓ@obZ︫x ?^ET[ԩɷLHc@bf}:ݖU92m!q$FmXeJНXQ7 g(t̟n:ɧvT;$O_D K]0j2 3^Nf\m{xcH°I z{iT̲( =oB,{ݳA)K66Z]N,wu![""g/wp[ʘ81:@*U~Ɓ @6LXVjg'QsXXivyg]Hױ^5d`4uBfNG'[$;9ZUվ׀l!MժFzOf,--՛%'W!9á@ik͉óAD`R/n9_>mׇH1)"@]ˏ0 A>?) $4 :KfIlp T]ED3߉{Qp  k 5O% zHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`m 'PgD| Ok\Q}mʾ033s*:sP;A롚csV#B{ ǁN<@-LjZ]1'ZO`nq:i~1$xlZ,^rnF,K04$4$cO"ʊ+o8 Y RmhH"0A[8J " |fB%\ǁ0<<_ 6F Ɖ ,%.88 z'q8oDxyU 0" @H zDq!IAGN0`rP69##jXh ^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal E 5K/ |HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/lPZ-fP){k4YJT3ZcM($n {hI X&@L @z0(`4 p@$DМ, ӒgX$T$+," `j0aZ&g)$kƍb4/MAji=_>"T{S^y#+T&f&MKZ.lG\l$/1LVP(IN{lmͨblۉj~׋.&^;Z?bw?553橡&'P$&6o#n4IPӒ X7RD$X`")ԭ(eALwX&iyI%Ԑ H?P(„!iEdu`(+%YQF[7Gv{wui8x"(z &jB ~23 i.X+H<꥞{{-s6Όiɛm|4ͣ/r>bJH@A@nFSUU o3O-O%6UVU]O%=0 BV9 C~~3+?6lT0 㗕91_[YZ>bu*s/i1{iǤqbcOcRw};"b$mȆ׿7=k#bq܈X/=8O4IyxDΣ,ޝ C9  "4480` !P9OnH9x o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodi5K) LHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/``~U_DtsI˻)橅. IjTQ*n\(PXLJ,8Z2b]Bí21;pл 642R$Y@C,Lc '  C`0B1b(Y.ܧ?]NUN΋C~&a= 6CoĽ V$D71o>4G܂Q1`"Jq0 Z,HGKls'nUx lzgld|+.td^t!GwWGP$9…ЪSe{z[YLX8E N*w?`D}50u颌#Ԅ78@]p20c%W"g@vvaEQxARyjixY?s dxjmfOLuoi!gNha#0<; bM8> ܪL-}:GqŐ5`FqZQLNr?GV |l7s㪹 "gv$4X 'R(4@lxNˠAX=glݻ{ii%;/yѦ0C6'|Y\(e%,|8mCa~2,t4)q{kf;zBk#C vT-+9~'$@ T5ݯta7Yf(JX~S4!hȻvEo)mxMڈ(*i=V˘dY*$Gu;UF!`Ĉ#](j^3? ֫m8vs[1gkF򁹟ݶ:}WA7 IףN W|!hY q 3 C S9 ]N ŷRQZwC;:YTa6C)ˌ̰bql ?e0F (:҃lSa&V#<N+9\дXM $9Ia{hC{Np妤R_8c pUT_|P]{vv@D }]c=ngPLAPE fbQ} 8WRPgtR?$P0W8!kzvx&/n5qlX`Lը/ MfI%iqg($AfItNwOP<%q*\yb;Օh-S]aՠjnK0Yg RfL4, [y HefN\uևo'< y_G 5FW͗ݧa,ԴX18]ՀPҴV\f+ ͜]1HOZ\ArqqΨA5ZMUWt s/{W4ZȈ־V`lgre!=4kQ);\@g[x:ЕbP3jK,wVi-eGNpPmbs;~Х5M_3wvEL.?Ï8Թu*Ǐl;)_7)d o+% ZY۵6<&T h JsD^=fg: 76VDkAdn6zs-]@W'͘X=ϳKPN2QyA[JF$q Kn"R٬@6r36I%zFTKfm)ɊIg%6 ,44yi\ddiSxpEK3sYAĝaN$s-_t[j6†=Pxۘn&`ߵvH$(3x)a I4%exPwQZ.uʘozŶP4x9Wr*ʏK&33%Z^{-6My3a:-39&-.޼⹕L KdZPe3`Q%*7Ab)ύ"Q+]6;瑸jKKUD~x4ݗ'E"<.Vs!\TOУ y| zW!y:8ShZrH$\1*$m.-c͡ʠT pGVހi)yn93$k>=m‘桢Rce@s5ی\ @G\cԭ-Z| N.%T1е;ѧYleylqA2/1kXن@h}][M>CRp`ۘ#oMxA^A4 pJf%2}>98cd^ڐ/"󆦂εsJigUVl&XgD0\#CcYBs!FDU%~]u^{i9F;&TgwI X<I*׼Poڊ[D7'<-K-sIK2q G z>y1Җprd2fq=jy%m*1W#$P6PcX{>]K(,6D?j a k*R24xfk2/5L>yEڗm0aL*AيL]F4dD8 i̡"O>k\ 4=EJ 5=sͥ ,3c*YЇaZ7D^ ~g"p`n4\o]'CDn@:e~^K3`#^bЌ̐XfXzq:sZV&0QYBQ 'y:3JoZ VVvy:Y090&xL4;}j't$*g/==hXQ%KU&4Ldɀ99zqWr.k &-8j`M]K޼TfR^K1@C)]6p2J)`[JTT6MP>&*Ctr"^T;C K7h:(H*h}Y/ߺ"T{Mt0^dj5Wz^{X *{;Uq]ٙ<=U"WE_*f1%:GD5m8](yE&d`''̴yN$ D`?Z_֣s3?ݦ  f\#:鐶pa͞!K7& zjʝ%E֭V-D=bp3D'H(Ai-# j'mJ!TwBlTі]=2?1]H,_F9ϦJ3$11X{܄ݞ%ir݌+Jhevzxe Yىy@1'bC{hkˉW˙'hVaU(vϴebs !XX7 s*k0Y_[AJ}$NaZ%]eH;dn0Fn0ݪAO&|,=ej%Sq$D3lEfJI2eٰ<|H" ;: Ȑ2;y>ho6oǥ* $T"2S]NNf_hADq3>Łu 6k߆A<1b4-fKkqȸwX<α75 w.E4d!O׼SQ1"i+/)"JND9KTZOt\Fؿ/@T?H)i#NP=KqF'|ʷJ$QXld=Sd-jD&=4ѠB"f(# [1H' X5 Soln|D`A<4gf|&b fNm6"d:vM~%J) F$Z6gLjg()Hʓl8cTcOy6>dM]ѷ4 ۯ/I, J$+͌,t^0(DN8O?iQC۬A1L9!Xw)̬U c=_9}F,OKx.制KNO(dS(* Fɋ>1XL<9դS~r( 5|^67%v‘1+S+. _&qY`=\9!ğ]j=fw?/.VGlk/]{mצW!ԗryc][:ZZY:T1[x2[.cebZNπzJsEG%=WI^^43 2뿛'x)s:Vnl֛G J5/tyß4Uylא8<z>N[yh6r)-na LL#I: 2IH,"y':1m WT`9x;B SJ$+X;n lW3gD"ҡO% x{zAg* ORWiI1[TiVeƀl8IncҙZɠA(0B@M1Y _s8JSXzgf&OĜw77~Û/Ńh eKqOV ~?)x4HmbV5DNsJ!5ͩ*idU-gaVrwUYH&ԅ(Z S޿X.E>)*ĥZ{+ {­'!D|=wRaMؘ: #=_IQu/ fNJK sw!xZ8)?0t {:w#r)ݡ}KX7!e^eqhp]CG,U4s~0fy~*f]dȆӶ ww`z&?tgmu?X0B،׆]o|AT;*cTeçN3#`w#jGf@_u\A^5=Q#r^ ˯e-5Bxh(nZJji+5 L{'TQJqX3ˠegS'`M7j͙ӚdeU=j34bG5{Ap< &J Pő́w&I.\mȬ>* j64jѶ.8+sO+Q`2C^I^H9( n~Ƒk +t^NRmzͫsISK!PMO^P,pafȦE},8ShF=IИ22zIZ3g$丷:Y{z 6'ŌPkE>W),C|)+L8+E2J^^Δ#X pC)=t^zp>G`?uq̂`l[l*Z$Zb%,1l ũ+BL[#GkɊۦ˂%j#g 8vH=7|T]f% p@kJy!s ɱg2[7Y' Hex$Q/I?˘v*[(by.zjV;xŅ6UQr3_!a*Q0sk=Q@d 4f θ쑐rb49+gDS`L[pG-^rX3da¬["V!ђșٷ=!-*%Ns J JG0@~RIvRJN"ɉ[+q^ X\ B/CIǹQC,"+6.P1#_= ZOTLK#*N\.#0JS}↡ًȢFXzr@Gf  >})qN~՗B*9<>Qhx6 Ie;}'&T&s0Z]4C|DxA5 Wi22r\nD)SPj/Yi*Xp4eIMy}f:/(`|*9ءo_2ϕ"<6_;Ygէgt ٞ2~[_= W q-Qb92@h#3y3G6Ҧ3E6mȮVDg|;8S{EfEVhI+SW1-ɂ:S/gukb"nx i !JbA@ $1A b!B$22HTQ%6ChJXe@Nt$EmĪ 2wJgVse:tM3,sBP q[dbh7&)7TX}CGA]3ϖrsU2l-d{w5.;0ZY2XS`t_+T Yq;X6a 4Х`0i(}  LIELfHWBk_E!3E]/(u"`Yԃ){;h@]7^YƽG q8Ta/DCX;B9P*`+= ?A`XЯwX0PF5pm>>x@>`#c,AB.&K b!~F,_@w4Ѐ;ćJUNoLCj>9 l2ۼ |!sbYG] {.4AH<nēb󂄘:ASqMTm?7 l*:Β9*khk!ޱ :o-Фۇh-D\2In ) @ԂߎX.I4%( P/:,<% n9E~#] "3]Jت6D4Sko-hWiT~ A4E "ևqCYx>.T9RaɋP=sfE쿩iQzbo8dbW|Ff@杯hơ֙Z*/\qjUEn-yM"Zծtָ.n:!gnAͲPxyC{<-~-1h톧lI?~XhC¥҆56`r&yMyӽc">7&Wv*, 4%|2Ee594N4I0IHtF-N7Toz@[fBELe;(XPDx}xlR\RAUv#qUMgeFI'ݮk%Un=C&,efF&&? J(f^幝V`V+/Mpw10X#)%P(uyZO<CtTc5y -dE2A7OKq [RM@Rv;Ր@cKɫo"XI-nv&"߫}5sN&"{wWDGcΛ櫆^]i|`WtP4 (YTN8= ڍO#aدjo c#M3y3P H7fQ1ILr!bOj|ìTޕA^Si)x%u*`W+-q0UQ5a sfY(<@w B}5@.XO8X} K^`rE3.BoYnwLP.:!`w_UMuvn^S7jI(=J4a cN-@*m!6Xnuҗ,;rHvwXD1NX'U$vCQKh_6dvw|Nl z8[h΋P]ѹ3#ޫۺuSR+7~9Tt  ( 5O' HHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_F# o]?#[fqHRSS'r0LôY)J'+BB}o!Ix][tb?j3*-o^_e4ER17,L:2:t Cqq i0y>8&]L^tM{S&u=iTT6-$Gx0$| -:ć 7'anAMlgn&ʛS(^8Bf™39jǵ,+mZ,(1螈A{iq̩SRʛ N [aW\Ռ.彬 u#*fT]h;Ro.K9>4r8fvr^g a2`R믦kXfʛʦ^_KŜY/VR8&J3{FZϼ=HciBRjU@G(կQ@(4 ~fݕ6Wsč'_&-M;B|.vtpG?|1T7^(sr_NPJ1wrfVT4b=H5: eJ>@` ( a a!BDFF.(ۧ-NбUS/3u\n;g $@ )uBW\͟  r@`aZ.;:Y' %iW[ĩ*i7#Bvq6sa(hza_guH#A9+JbW\}[\G.xêKC -Q#! %TiDsҧ1.НȂ7:s|U4uAr]1q5A*}VwYT.TJU}sMO<D]s8kmCPtِ.>]g4i-eK 4Km|‚VvOp2jC6|ro%[TpfyDRAsPT ֖]FԄߎx" G'ț.L.-]aK6UEcCQ{TRXZQoT@!7n M .HzmS{umY: ÌkEj{yI`4/-Gq:tw]6:XpS Vp~%16M}nNrp?2Uo8Lb޿-H ]f*_*dl.-@'OJ۱z$=tl>ΫսՐӺ`/պ|x\EhɶWIêԃi+ '5h8rQ+ * |) nѽnĈO}!!Ej-\ty"\BZX≠KyO6GEtrJy!AP\svf\ by @5ykb1ar!rrZ2"^*MPi7#clnI6\g^ sf)w H(WDqH!0av`O @R@yyv8dpT_"ʢ7P-Bb#(16dj-V`gh=hj/RW>RoouPih_{:hU8ū;rХWܒoCuLOdy?C0WynNY՞Eu١XX/5{чo|fKn]wcԻ䇇=#1d]EUj ߻ÜnR*%X= T?_A/x@+{h铳B_nY\ 7dhL4JQr:9<%wV;c ԤWvAGQ^߀rz ƙb@-JPt'otJJlI b&FOa-2*E}fLC0J*|Yik.cڞL㵼Bcݵcy8*pX1Jˮq44$t1mnzZսjG~]}ݙV+mۈQB`J>Yb˧sHy;_(]\E˥EhNi>]WHOC%̏R Er̫4LQ}E)H5: N``EqQA ! b! C1 ?b ذo ^6Sj}lG@_ Ovi1"Xi)oγm7%k|H.#ETl>5R :.RuCpؽyk1'ƴ%nN p45`gm!^BW,Dgc;klw겕Jh}Ex2 ֌{l g}PHSFnv6Ƥ#nkn{ʎq 4489 >wἎ?рitzA12VTw7/Mr n񣆽~hQ]wX^MEᝥ:J[Pyd=UTX5&ר_>dD-z9}k2cd;C\Ùԙ~Zpj3NfE%2*ڍ7j]`=Z̃cpvvG?jşv 5YHp*=N&YK;x!KȈ%bcKc\%6[s xz 0/X#L A|Wh[p&7ڟDT{{:3x;wdjrЖ mX`.u^ djwn!b}#S 4Z jHլC %sq~P0{QG:PexPR^c^9$6Cac2ʠl=!|R"Ǯ%0F~dWdD ?bRxChÝ*TLNՂ3@rQBNɕ0tG~`xk xV̹er{ 1bd%h1rTgLr|Ma󶮺S3=sy;_'NJc:BZZ=Cq&R CIx?4S=+d>~02EFh N$ . ͓T뎄$1Q>hϞwQrl0Fk~GWÅtZ]Fp vO;\zciQE{ P0J9#g$Az58@ %~Vu50`0n{{YdJH:[sn`u=e6VO 20+`B,wօU -9q׮RW-2y"İy%2ub*LW0,`8VLƞ\ :2/r .#ܷDBKX +Ίd;j`יT B/76%,m$ /zQd24-^BsqЩGjhfǂ}ul*Ӽ(WQ@C$ (\qR6 ֦1-';8o1-f\Vu)CKAT6MhpU,~hWr4Fu6H|ṿ`՘lV^Pv!Ci\vW$NU6`qp.Fs<ϫEt~v %stXRMDJ+-RwU(\OxiLF}KDZgBؑ}-NqTJ`Ø4H)crEN#G!J}yX$iTɳfN,O.Ʒ+o 9 6 #C PMnT9Bv>?h89VN3lVEUPݠ(L"MqDE ` $}ˮ!*@@Ie13G%d!K+\ izYϢ^PuhW(Q]Z5}QקM W]#J weٓ[ň(GOzHKe^`^]uQnZ=0&G!- X0eL7s:Z#(Wz _INI>)< nXwĨ *E(*! l"-0z_JTt᪕F,uhܘ(職iI3.mg tGO e?r.m.A I aN밑c"j0L1ݫy0>xpq}-&Y2pSm7%s^ /R(F5 m\|,.=xy5X"M?dglK8?lfA2$E[MA@ AuMϝ8-i]@&YN]L|' =ܡtGxx 8xNF\״*qΔOT6|-$Z*\ I.#V^ֹŌ UF"D`}G#b}JMΣ`5D@;r@ %BQUX]FCEzճn]#W3((}48I Nr=/9-ܱӉ1$a*js* X`a`(AWcdFD;WbQw _=k$K׀90)?sҼ'')sas*P!Q{0V%c$Ml+y)a~0X/1=N!D4Cm!yk[r]^~4e{e^&wic8t2x)^)q0<0"iU gHE ^mM\jQ})v|SB?3D5;SDpb9V$dS(6;/`Ub!"]<;GL W^Հ݆8YCL@ cU_ڄc+ 2r4XuA_&p0LY0E<.ne[IJ LKt^< t٥IF]<% )-UT~}ZxJ!9 JdLhzͿzd) K'! o]@'KQpf}8KM]jr'*o g75Ken _Pv<[h:O 12oƃ?R? 7. M#K_X諙{3[!'e\U*^"Qz"H6&h9ѿx{>I?/öh#l1 z+ [][!٩>>91,@il+TMs'w:[lvS"Eg'AhȂzf~0J3Q X(,jcҫ8,6rމlT#O)=/ A?O%</{h+3SVfo<0%Rg ]Wo%DZBs$[(ETI`>/^IBLF;V+fiOJc n^'TG#aFT!*zv]s:#a٘ee'm QUak}|1FFv6p'Rً `J`d,`R~`m?lfH2Wb)g'15K0䳹'~9cdNMXzB)z Zþ8OoӪ|:lVeP1ݽ&tE/!KIk&)䃚˦-:"-f6@h8.wF~q94B_?67Ew"ChAe2h0X?P@VZH{*סs+@"0fHrjΑ+LSK˩w! jUUA*Ͱz`$h!1f6^w ɇynW{/lK@SL:58=@lL`TC-pϵ2 G`na $)%Bb$H{zQ^'=DtDbs $C@ hepJ<ޏÿa·x