SQLite format 3@ .S`  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~V ] UHOL-Nominal-Examples:threads=6elapsed=272.788cpu=1365.297gc=115.199(/C[4%)kF6w~a|P_tuER%{)KϹ-!v9#G^ӓtk3VOzbI b$i'TJFUVUgoL O~2BCX"Z<$EZNeS~@҇~hFklsen(fIM@os?SQD;KP<0(<8X{2Ս :7 8d`(ߥhiC&LEX^}אAih  x``P,pIu75H7?4888`2*,oLԱ   닁0Pe)PX(P0`!аȓL;7@"baa!gSJૃl!%CɫyBC $LD57pH՘HmHw靆ba{T6>b|2<~`}-eTj&KM'CC(vq!fb=m|Wm ֍7[")fePĮMYo:W2 ;s${s,EXސh4j"Ie2t̙jTfD>u^䒽)]"lسePɾHC5<FmߐG' iOgh؆U± tf5ocދ^PfS[Ocan& bfm߮x ; XpTeOtYy̯$RB0.RYnFwDDElET]KLЯ5y%l!J]iaGs_7)vO90;ΛHeKﱙŲo|h"?o;**OU7W\K])ePZTi=t4lt Bp84!8nkלyi@ Kl?$Pa+2TgaA`VqVH$2*. "a@8 8g !@Z4Eyo8 v&G1j`U <Rׅ nZjzRua?r& |4WnPNuO"BG9|%L_aGM71&Qc'd1p+cD^ƑiθSf6v}:f^,Yb[tiğ{N!]WN#fqU5_IcK.yI۰crХ#}t, T\ALF {$x@܂ nB_ 홻KUK`iEPi”Qz{_ sFdZv.p8Br> ֊7@δN$]qa̓R %fB27_IYV]fW|Z,g`L?r ?5K' zHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`mm(m:Hp[vjی艦|xhLjzW9"2F*{",K$%я7Yp@a`|w  vD򲝝p{ihnhX XdFּ4`8}7Ew$$ę ވMlfֶlخx$oвgulzJ܄ r&d&3[ZiM s>c7cfots/(0szQT+IRR,spyN0!qi(P Abpb( b9?6]fgd=ru'-+EuogY_^W,t$T#E>: ڂ ׂ͂|{xw_sSoRhOgEdD`B_.\-X,W*T&SPOKHEDC<;:986321~0{*z)t(s$r!mVUTOA@ ? ; 6}|{w t sronjfec\[ZYVSRQKIHGDAy@x?u>p8o7n6k5f2\.Y,T+*'%" <5/.*) (  gNo!Xs z T , / { 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/axiomsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex 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/classesH5rA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesqF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  6c}hһ)tXX%KSQ3NE˧ƁʜM>`z mTǹ"Z2YUq%Bʫ`!>10ׄ3xQb0݉ٽ'/NDN֑> =<>vfG:2u}>|^b#{JehmU͖( -cm.RUaHI #d3YI#U@ƃq=-Q*q\NJ%tɳJYxLW'Ps$׶Hpa0Ob8f$ʐ`c>;P՝lo$O陡w[4b&QB">U@Usp`\fZK9švT9C(&W,"&"ѝjsC ]e˃*T & ?f_vpVVZ D~O7$5>ȭ}l29+Bl4V$2@n b}|h>l8}aՁ؏*iqG,wND=^pfiMc{X|'뉋YqyDbn6Tƒ[r]phӚδֽ>M?g`XQO*87}uޤ9XrrHxSPmlPN?yA!,}?b:g(i(~l?=VoC佔uaVL~h9RKXm.۰ ޏ10ـCQ ]_@fa +1?Naj7VN9lXK7DΞ.DZNa\V$Sa}Tq%aAh;x—nw4$AMjw)tEX2}\$+."JNczdERXUC3=~,:]}"REA࿓2YD`l:Pt ӑxBmH&J*%dFץayM+drWޛW)UXʀyJ߫T6dEu*°_V'_B qr#B\\ЮP;ҶE->I/;v̖E 7] I@tJqQ-ʼ\ܿ~L1<4!h ޻0xߕzy]P),jw*ھ~,SNEɊbD~dcc+ &SqsAjqDhLkU_fK%i LӛƝڮ txqJ%,uvK%4PZ\H?fZ-M" ޿_~6;UGc$8R.)ݹ¿FrY0/itNɼh`y1[9Gx,ul4ri?c0&P$՗ft?6/nHipJ=Ӫ|zO(5LԐwHA;w/ P.ǽn0t5]ư/-l1`a@e2(Є\Ь{<Ztڈu4yz?O]2$RG)IX_ Iv rkR='i'hH\NL u;f]o{gk;zRr-!HjoUӶR gGa/7NeՆtT n;Hʍk@ V^żY 򂅺 0O qLD;x× x D]`*A*64:K"C+"mMVgʾy``3$s_cN;<BqÎ2[&FCPzǒlɫc.I Ud$ rO8rw 0A"KƛM{d{!#wӠ3nFSԄ?`_[ 7#jy>:RG.Y2VeDg0 1Q70ƪtNlK֪nŴ}IK\nS1i iѢ(1Ȃ8ԕ#(-^<Ȍw]^X2Sff=/Q`l[6Ϗ oMǸ*vv2.<[KH[`r(ը ?}3ۧN?8#amQrG \E8/.ݸa\i<p-q"(##>>>XSaH\wF&_=`4`O `i _3KLl,`L*vT62L t( 0ZY$M }& ܘ4AIH+Ӹށ7{$@}H(Cu%{}cܤ!qoA QaG$xp!_vwj10@o%h/7!2?{渴#_;F pXq A`l^mֻ>H +>az vrp^G/DNBhCY54lwZWG4ϓ4 EyX'xPn¬؉+>o㋕>R1~Z%Hlz;95}`+>'`SHBs4 :eel@kq˛-F݃,.qH.uWR.;q ptJMȟ [^E6_f)5KmZ7tDKa350jv}ntUB]KT+OψNR(|- 8 AlH7'g8ϢthıEOXgw8wb*c+ kévG-UNO=yy'J A2^oi M3z>ZtRP. +$j%$TbpȪfJtU "UHGMPrm>gC j_aU3r#K8t)]V !6-k "8")'qBţ4aGBPSEIB:Vƥ 5w2U탁qK̟VaYiˋJ @C'ĉt |]Շ#Zdž!qc~vt9ߨls_[v5D(N\J=dw 30*k? H$]d 0QUM\ GH^DEGt3>J>!cC*#Y/ 92 u>E- .hEtPM%5(q 0w=̲r${Q݃])A׎NUBCDZ<>[H] L_B.nQ^qlUo(4@]'D&,=g3Y%&$Ձ+ړfLnR@E C’#%3$tJ E3O\6Pl]yV|*a{@r)2q5沗DdAOXg-b *Zdb%F 2}aa(=öx/ )i*䢑wAK~c(KC2>iZ˦֭ ˢziD ])ύ_Dl9uWLz"GL6Ę-uu#h]k;dssŧ`wnGH>0s)ƑLj UH9> p?¸d>X/g@8UýoƏqYl5VGg[N  LuUy)J HkeQk`59|@&" 4M~!˧9URÑetbe*6*k~bC %%{VXĒ>%b+FDB5}5#D_%ݏZT͜A_ puf \wy+@C x&μ$wi!,Jp88pec]φ5ܧwZ$!(P䰉u 5x Hk qE Ryj[κN޾ jzCRTI}蹟َ/p5M7 &]N]gaLr,M?Iqo/MV#8l3?.JO)vF5ͥYMDK 㐐® v\şr3: 3;>9i&:đ@2-i;`rg% )-ϻϸPal?bSY2)cb2m0;}.|)nAhU1|Ny'"Bٵ96zn]{,}/k$S 7ܑ|:LS!iݒ{zUMqH>X$ ٤Jjn}TeczB0z W-?`?CLjTY![*k?T>ldO!Suv55I 5)J+#Ǵ@F5Z_(MX*|. ~1 i2xޗDo!9t|)܎7<8`TXe7آ]=]H#ka"h?T5E dX@HdnZVlЃ'Rk^Y̢tD(%ۃ<3`j-19%=XY5jd&H0) a5uFV{9 (( J̶}>D8cx;{13ŊI߂ >P!SE AE T*Kyo 5lM~,ٲd2e>yG?:ڧRww4“X]ѥg :>1ḩ)n%h THH(r-  m2s7[aC "DY)Je@~Jc#HbҸd޲忣 ] dF 5@Ҏ?m?l II@胖Cc(qVℒ,T0Pu&Pa`-'^etF*%⇸TJ@zd(5rqV wb4xnkW9'i1/޹' 6mNiCE:z|ENz\1srv^ gYLˠ`5fsi5cdo QS驩*meKIm1Kr'm2MD! F<6 bQ|K-}RT%fpoFr8eL2h!Q Yjbe9"р+ u1rzh9ɀCO7i^ImBt _}Ŭ8U[%ep'$FAFEVd)tBCZSh/!孎DzRI jTᶴ%E_J:8hK_iC '1|N% =hEFa$F\pv= `uƑyĉ&Nz=Y#ު?^[qȮQ}>D S&[MC]Lh#1o hUˁAgGvO܄U@DlJgB<=(|MեIc&'yوRм>)@)(R  .1 #}jSVTf',D./MG'[3SZd&)klCSFeLK #"Сk"|77c`C}s 5ryޘPXo*'X>$“p6|~l2E$)PP}ƵBi¡I= \(m5SXHҠ9Q\Q PQF57́Nd1-,2n֎+\.J grsG)4&kLg鞆s< ӡ^;h' 3dO&9TFIg5 |[WWUZ(4E^vQ—I;|KPOO>!ViR g|_j_ !>@]dm?xSdhXranl/K!|4_tmᦪ+czn9Ia0Ăe\[08o3J` y j* & Eܠ,eoVj[t_Rӑ&㯎X? 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| OjT%0oS jRz%HSȱQ.SJ)I)k{}ߋV+ͦY8c7555y f<e<˼UF&]euR2lIelc86fl۶mƱmlcUv"&tt~δN[hM%p&yoyiӴ]r X`mmI$[dYò,˲9rqX ,X,ƻ˦ƍFH$Gb[ִkX)L\~-B22#ΌC$·N,xN ;( @  ,4XHPx$—D-)v hA|C5+ވxqGr\$.3%Q$, H^:z[  >gtT(mMǘ@j靾זGp`B+ii.5a1<1x`ϭPR4z 5Nn4 4NP^avw\keքjz"^o"9̒sOpC\z[B<+UtP_)nr<=()(,d$dw s-6P%yx}ʰ>o?Z[s Egdg˕Xx + wBeAJ3ՠk^mY!ƽ;\24}]n:ˈgx-I~ ˫ak-0m :9xܦN*HY?q٨כӀ+P|3fr.[\`X;X(vM鏥C c(aruk]> ?%p';ȶ6-; ^㬖L,\{cA{U1 2'˖-WHY-vO -_:(H <z',,_`iiQ$4>bvFV9IմYG {19s "+E|D2@mݿȹG  Y͉JNd3HSj= 'QY;$+7J>g&)l d@uVA=-!ŹRVqFTpl7rBR:?fO7tK<""#Y ޡ_ 2vM~1땹2Pv_wuu lU+,j!?)Z=]O;)8ů[o! 'O $5 T| &rM@x!SϨ+3˲/О0~cF ik e6@,n~2KSU`j{6rJcV ̋B(? w.E$DIO؍ {WyNG(^3&ErQώ<*jt:ݩ+Ab/}j-_ln"$ۙeYc`jϏ)0ODz>㖖RH=Pv0HkڌAa<[ Su.7pR‡#=6>&~5P9z(j[8Ӝ}$l_/t7/(QNV>]P\׻94Z}"votEYOpYWS쮂Cthfc1S]A2$Lǿ#xX[c%t6_)H<ךa͏cIA LX Y)KJ[GP"'R 0ɧʣGÄ&&+p ix:̮7G(ᵴIRJ D'̓✻zcN3}ǤށUq0r~hC1# SK ‰<a0z&o#idZغ 2L! g!c&cuAWʡl6ޠ+憔ǜwcGJ*`ܜtw]*PzY DXB4X@H&L, 'OۯZMbC^61aec%z [AʯY\jDӒ{Cq eDҝ <~b'KKip(F _PwËBڈ^*֖x>^Q7jɻ/:&zq, K՚&t/^nRG̛&v wxy v QcC{&.֌%n2 C(X7xq:KiMM RXYBBNk ToZ2:8M>eQЋKŕ}@=S0 ">y~&SB+Y7kF㱵J>:tE6$essj),Lisu[I]v*xah6! }%#(Y=ȢusniQABK,Xx"`4vǕIgxh $ D&&.j_p/u!ѓ>w }%~%A5,ZȾ߃m??$0Xpr'.v(CF ݋UMx(z? -/F`聯ak*{z h] 3]¬Nsՠq'<-.8ӹqCpGa e9 !{*|AB҈یABr%qTnfl ] JU*q՟|X~өTm>E9ȘBHD)*UΰZW/],„qMe#~Z W[ _ Ipjͤ5kRc @ ظ~TYjg75jJB${BPv3lq<0!w?fr2 j}`?@Կ&8bB%o I+`uRzW/`0u5"fHHam'.R܈4yR3cL ȯ'SW<#N (|N Zl/u H$`{Yer56d;f@2z`8|+g#bώj6ՅsVn{qH(aOmi(\ݥ{auQ `qf\99 zPA%[hi>u dߋ9`*mddQ.CIaC( D@IG.Y܇M+wqHUœOK@uKӨS 8G,bՙі=6m汧$-Q#|x(8;X @!rJTN՚Cs*l<ͷ$XR #-L;b1L6c .[I6Y+e_6Y&B4ذډ x0 7G`C+a`_5,]6܃~Zlwʅ7C{#p`|$273'|Hm>똧?O@x괤D'׃|x\i>g;>HnQ\PH@<8U)hHͿs1Lȗb@yd |p(T(}ASkb--ޡ%!d!u" !{G1dB{L/ 4H%:ל) )V*+$%AʣȤp.٥@YJV$tXvg/&S}gߙ lA6&% 6L<sCKS1+? [{&ʞYHquHe2[em "̉)e vI76IT]=ٿ<\zcրor^Bgki;y""%\h r}((Jizl{0͖{yaV($5sHnNO?褧C A'wG%%~@KDI _o~_ь +m:^qs[iL߻B>)we&wAiXdw:Fz=Lދ0V)ǫTa.Y)Z~^<4bLWd|2v+Ro#O漴K  NVB%UaY9uN98[҇"P "jmy9|{|fS0`)\*@2iZd ̪zdO [/\{|oHUU]ytd; {K7r 4fmY:mjY&&d~x}QD0zQ|H:ԓV!i4tzaV R7+զW>3bZˠ+ Եɤu2Z &1EւE >@ K`-ǡP=\7!=P]s4T*޴g[G \_ha~G.Z^½HOc1ѽa7&(bߋ|詌 酌~ hC+k"[}$[EE]-*@1S|fI6LGk#a3dr|Z Dͧ]^PP&tKB5O1_愆O1>Q2H N !VLYmaA]Zs 4p]ETA|\RYRՂ6gltڙ`}0uӌL؄ēD V|-b`1eE) QV覣,Y3lvت:Ն?D\ǽD^\ j!b \wyF_344<O qFRڣqT{^~D$" :`ЇLmSCQ~Qx:ڸϟ\߸"en'+/śh3쏌jIU@b='Y6O\{#&&+94V L苀ajJˊHL[# QLҜ ɿ>WR2]i;r8[2QCR"k6'e=g_/lJ8뷯@C!U@OTM٥2SIv h3n.t+Oփ|"௦Ybq84_&RuRQecDwF*+~6krIel, J37>B溲=4(ԠjKE@MQ^飤7X\zGT8-]4ޫ\ȷ6b8Hs5qbȱ7@@Oq)) :pZ(Өsj%4GFH$JT>f KFd8lk֍bnXjr1 ]it!@ixiaywAOXXws9BFt`Sf("ٲǰ ? Kͮ=B G\T8)< n{t#*r@?m GgwI!9cmL@f'gORX߬rbau 2Y8xhn*^v0ьO!'pMc(bQN+v~N"? 5"ʿjGs=뗖A55^.q =tN:jxM= ;`b9yu3P}Eg rYY)>c>yȲWs-qE2}|Nǧjpn@vJD>ztQ1pOm\!4ޭb4x!=|x/ am5H,E4>AvO׭~W?GIu@U-]G+V$Osܻz2:$QN Ӵ`NڶΘ1B|F?j=z5[xGT1UٌQ nJ$0YDu@."л~ʒꈕ7^Rvv*ӰM_{9-LM X<f<6Kwd:A* JT}i4b͎ç#AGw8 3NScC$ l`Mh&8<{62V/cBH݂ut/PsԸӱ:kE hLy0Eاviq]NKFUZ r_%tS"Ӌ :x7p3bC`:VʜR#y^w_HCڳ+{e);}ɏTYwi(O `Zdy+3y<|&T2/Vђɾzjs8vGSVVN9l f-4X]upri^g7@sf<ҪTUvp札 = iEw}Yj"W~yq:!` Y\dHoqP-Ia{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5c&HZaݤ Ny9Q4rB?IY4P3Ns"Hj9*kCPD|.{~?*i"@?f.(c1vY!cc۬bru(YNq*<&@u ?}0 pa`/t/LNb7o;A-)Pr|A ZwiRap1m.bR!˺,a N"]Jwk[ H/Ho d{_G8)a=XggHk9(S?:%Z|#!ZX%PG+T2EKe5d$њ1]/`H0w#rKUute.к5V0ڗoT0, q5i @`SUuBBuo#Q/+ՍegšԨ^~/HT1ROmNsDxA8lϟוYcZXTU_uz0OM `?e OeI \]iy{)s')I E],p@Xb&瘂dfL j`0Rs{q`s d̵8hr[i V *Ux:M0YN]2#q :{?n| W5M= r A=KuH$L8lM(:u-XN0 Ui*e;Ut*?N+^6kG dž/uh4`c4'~PRb4@oX̵] OeC~s`>[,*WMv@J/Ar?]PƒR FͳG"/lfYenepi?eN[Fz7 }%= bˈgƓStP%t@SiKyaIa-U/H%gZ!pmIqO"c-h|f,&3+]xhg2¨˗'?.[P|t`TR}K{mggnLiI3M@W0k R!Oα`$VŖI z^7@{%8ŔcseNH nϷ˂C!h^ z~cGZow 7A"669[qi4;jrL#+"={1{B]!Wv 0D ] sѢ.1q4MEػ¦͐NR[k0qP]?H.Qvs ֬>Iq#pEo "&Ik"e>'L4 ?O4 "+q VDѴAo<+@" %^۵΍D3)+B0}JКF74wh#I/+P*?EcQQI1I^ xQ'!YBAi7$ Rnn~4%烬oMk*j8 \mURm(_[,֌pT,s)P.ol:X#( +Qw莣]Ռ%6%/KS/8> tc$q\bʜNt}tG/4Md dz .'Zד?6;FCIF<\~ƮMf4 bp)dLkʔ+#C4a`_ #1"},yS*Zo)?(A`L D.CˡK|d/" gT/EerIllF`yk(z4O3KL ="RQ.cP5,-{}oN 766! ?m5~JW [ZyܴqXt;v>Y ODPs&0GмOdO7i3/:nsI"O >ykm4i3?O)Ȇ1`6ui`#ECB T377 #M~x-?1Oب; -Wf=:7"d,eOPP}=`6lM'B٪cM@~(+4U ]Z ~Br*XZkcPZ]/ȿK )`WJ 75vE z˼bU#xhmcjR3d$3 {ӈN=3@ұr1'BEyWT,?BmX-}k5 g*- 0S^Rrj~x$ٝ"@\_p|ݲu$G~vq|ztQzqk> e"r*-LHϩQ>z?lqI +I%zIXU1_07Um>TY$6l'e hFCVXw3ao9PC0_BPA4Bm]3p69n3ne 8@뫖7\=s -d&px)TO8>ǿP@ Q/!!+8Ke"^+t5C):LddS#LD~#m+Nc~:q=K pE XVXG%Pp/CrE.Ǝi<]%,?X A o7 d cM,mq+F㘼8&u[ϴ@>|ZY"a ] EV$V)8\evFVX2'.zрɈ"  hxnoJ)@ߌ)sC/#}i(ODcbo'|IRY~zlqff2Cg"~P}j;2p]\q072l=cg3>ue|PH.뽟wKtʭWN-?8 ?ZݡQa8=9/^s.0\}X aIsxo!)Z2] =åke2] @H/1Ads&'Vi'8JT MFpBz sT}-&Sm,|p@ 2.^!-ƚȃȠ^^|Zgm+4`wA{dFY|6`'V&g"}^uM" *P/Ƿ&a}pMB32@Ӡ(NbP#pBj 5p_'!އ58#; V,&jw|Sr7r?ÜF Q$C|b#fF]{g֙&JF5XxUx#v}ϘwOOoH^tObc8Nׁ"  P8JJb͠@v 03 lIE0*a|(F+|j@yYEnaANU}o^3 <:_ћ2.=u#K߽ޔ+&Ha4PR0D_BL+@q{W.sߥ\ [7+S]7S$Y`6hA)(P?=/HJrx,W$pogQJTIy<]# gLg/ΔRLA4܈xt/Y) _Z37N@G!%AEI,"z+KKV^ɞ[fsK% wwȢ ^F30AvMn0Zv*%cAE^XaʭS._ g7nQ xٖ̒剫R\$6[cz5ENؘ\.L^T$^) Q2<$g8bs[+2}摗q ,R4=/C`Mt&7?熦*p)Pͱm${ "[Vh4a  0̻7BNFO9:jCD(\\eE2L`u8ZcH?4'ǁʂW86@*2ѱ[68왴fiŮyWҴ-w1Q-N8y2Ef2yt}+8gۇ$:x- e;. daoZ 1@BHnC-фPL__h`'$-USI&[YwuYqZNu7>cD1W[Ho :WX:?mZnHs4 k{Nb \!LA7I2 H`σ/oavAT/}c ?{G\${-)ζqK>.ڟ xJKdji%Vr>mE]B W*^ZSV`]VZ*^P*-d0E‡[S'lC]/dIMb/V }/O_f\1qaW=U8jڳICq&#ÉĞHġljGu02q@o ǁ6 a9/ΡvUtl=Ct`:)ɯ:WRTy¡٥IbE4 ;qz :ǑmKnйCϓ6H$]PVx.*@uKIE~ AX?JPDbe8D:IǨU!gzX-!-6$$^緀!38G@OB4CKQ +G+1֝V"MaK2|AY= Y- )2J!='#S`|z% 1M]B4qQƨT}|a>3Ag٫ wF82[-'jɐKEwͯKP Q~+X-WϧfPk ӂ rrm L(/#E~`-QOvI n9OSR}Ips;^ Y%{G珯x<K:<=Ќy>3tЌG"xx֗'a mk_^Ԯax!l q\^pد1(3#GO[ Ocg9*߂?ZE h[tF_7/Cmѷyq`EWp&BtKJ!"u879+N9F܁(i}e1MÁS!l53iYӦP =$-uчY$,ļIRU1&?-.dYH pvGx9ZP>EEFc x55Fbԟva\π$pNxɩjJQw{)ms*h8@#ĜN4E<[N*|'24ZYm}hpFӀ[؋۞yQSѦ [.փK6㔀jv5O;]п@{b€ !jܩ.Sff з#Џ"=0Cȵ7{UX5̘bÐ]hi5=|pp@wH Ua쯚;>|7 Y&-?G..}/_Y;^7Κ A= @#4FwDu|S/3)8!4*y~!2Ywql4_4[\A]pa$ Fr `'e=8/Y#1x~Cj#pu 4pR=.~',{p@fSWook.MOӟ;HY| R佣}.sfFߎg2%5`xdJb8oTC^Rjb32TB;O6nV&xb|e%ܤsL J$80S¢Q~x1 D]om1! y) ׊Ï5"P ?H?G/4Fe~귛Z=R#-r~{ FV+jEƧs-I6O? t{^!摀%U h,_0"pl?(EsWMX5(!n&T*rN?PhZ6NiHGLzHy洴H%>fèQzCwa/,i\\kg@|Il=ğ~./#u i $ UjGxqJa!s,o@( M+F(*7nn1 ΊCS 2tNa̖ͪخX!qӳ54wYTJk @%R;Hֿv9H!ꂰ* 0"՛iھi&I&Ǩo(JBQ[%֩! tƛEd!Xs^v#098'[<*wVVg<Ǥ(:tqpCi|h ָ.%K:~:McTntİر 9<2X{V0c u :%:,2ktiƧ;B]\GO*JgL8:LwT [2e>V{f8^8υ 4D k$b- /iG~)PW;)VO. sSBۅkM?MS/\ `1m4axє;{$'A>& !/*lDuΕ _?cz٠klMoiJB2Yּwbo/LЀ)=f\UߓT3Q̖$c=ytP!fU. s,B|EȬxCd~c9 { 偤 pH}Ŀ 8Q |8`_q՛. q'v,8ho8qMbй,i΅)1,˒P͑]PBXK>X?-j2v|fuݯKZigmy o3X0e<"#> փPYZ~p,-Sn QmG8¥]ΐ- FC` ThLe9'_SD?Pka?2;y B&/c@S ^A1]RK\<k]._1 [jãCِGi 7_# Ei3py> 1s=#g63DϴQ*Zd2VHS rmAԮ;)2SD;E;F9=n @o T0] `bFР ̱/^am 76kVf+tԀ*;tՠJB|n/RM{2ZZtX: 0=EC?aQs>_=/`5]`X*)ѭb- h@5>@VQB yE3q*P2IpO*9dž J,A8+vB(^x0b /;f~W_MP#ő`Xޥw _<0hxOLƋErSBH3aJiI ^\o[f\ YRepFF *dsh KƊrضAp\l*^qdTqo5д\`/4%0v%on>Xo]KQ~h]ގIU|GBݼxY5ϱ3 9"3HEs2LF0|m4b]\[<.O>O΅/ PDjb ձ}!IAL*rjpɱo ,d4#A:@Lqb0Ʃ8mɂ)_eRm@o Cٸa~:0f,Qz{r—WlQU`nj\|MQax0z앉jhٞqlJV+|Vѧ"dQ !,Kg6\0FБt}NC D4Mej7QBZ ʔ"͐I^h,蘬/1 j ;u K&$y'mS ' [6%x8q%#mTe&ʹѺt1XT]m8/X_xI}4ZzkN^n胖 ) Uyz!%s=em-1L'{>vl/ Q>!}E ֌Bz(;'[;T؀ka)5OX߷{/=̞e^k,l} osqQ H0cXY=ʥB-Df"C~kRI蒝)G*@ Z[v5IyYCP-Kgd {4ğ)$f6,o}˅e}DlEM^E9-vsz:wA.6?ٴZM`]?I@X볤ʸ 6 s \ O_9yf4F#yc)޽,C|{>z_?,+8Z0ډfʳ85+@<ÃVK0@¨=F83n)i{ƭ&&D#:WضJ]Z [i[1nU L2{SQU 6w~ g}]Ek>wNeߖ^d }-d~'L7`GW&LX-ǡkv0"LX"]yS%@a/t"z.n $e1Bd?t#k܃l9X-v9gWO/.?ADZ7Ǯ'kV.֌csM:øY¨x4"g=x@9-,3 XO[]F'X ~YoGg`."x.7qgŏ4 9ub&XbŃ(nT9T *ÔZh7#ЫPBc̦~#ܚ ٽ "lf\YDqx8nHh9-EM H 5U0G+.; TQԹMPknt6O"9*@A8 'yV罛vv k6,p|Q}Dб{۲D0"@;ҴMO,uBUAaڃe>%)ZO"* |msF:EtkijE+25hfm$?;W[rw*ٓ'g +t*+Px oOo8*Y`FP0`ʇDT|kwh*8*T7#*EV'B7{o(^֦jͷaFZ%o9-LVhG7z@HfцYf\$aJq|yźm(`>IQ21|Q;8:0VӋp_([7'6IO r 8TqDb-#oeI rQP zH4[fI[BV0-@J|{PX%=Zf[C0R"B=7c8b=Yaϊ2P9ŒkrcX築HŤ&OB -mev\6ۣPQazFb?b9՝8ƌ !/lق=+N|Чk˿J\~vL /?`t.="Я@Ӻ.޴K1bTe"*۽d/m1yǪ/G`yjLY eW\Z ,< ZB, N @48s-s_kawc8c*C)e#&kaePU-zmk6AW TtTZLĘ% Pa.WkQGM{p8;"pd)_6G]𚰐,r `$@Z$΁ѻA˺z [8~tTb"Xo)`yY2T-zZLz+ͥrZv Jm^]u_tg6m.$y!EPMv-ȪY wi.a^ϘßamT/Iޞ Tk 0b|Fr?|'@U?/!>*,e:U =G 0UL+oJCvz`04B+YCG7y}̯6\ /E?@ԏSWKu+dR` ST y$pҾ4Li*{M{?}P $ly%2>Asח˧A@nH~-<5_LRi/׹~Rm2Url]5Nnp D,!΅%]6>i$awA9 F-) x^Z^R¶C<QZ^)~ n5 9p0dKf-pz~P^|֘N!()(ipt+д1%";kL ~R"bRheyvsnN>7P<Ň|dL̂<:I-5]:ȼ=;BNnG@GlQ?!h!kdޙp7h(bfKGb_L2}Q/H i'-(: LKJfށJ6F"}{t lfJZfCʝznI AG)/&h{(OE%:~49*21(ciůqUhf(iO_|ډS+**l`5DfѠ#,Sb(HS 4 cx$ ͇y*J CdoV(⼦5]FOsTؕ@ E-#3X?fU'WXV1W i7> eHiCz9_wNaPÜKHؠy\"ΞL&KU$ӧ4IC73!)As"`ѡo1{E#80]`` ߍ\eC$e'|'; R>KX\ϋP~!B pQ%$0n'K`=b/0lVQ"zzՑ[/B}~$]fsZؘqxkp&LV5tEӡ$H\_P~0}s2n{F:8_^r"c@X.3ZCqb]GNRHߧMfYGnKMig<%>(+ʚWv^\\=pXwF +Q]鵴f`)D/ 淖vb _/u -auC/æ;R_ye/B'1A WǷ?^Df4EҴxAW_yFPr&i!{iL=3`d)HkmWD5Fk#䖑`"ꃿ.A^nDO>(ln~Ɂ[%LtPH (M|.t9+lw6O̤i|cPJ! g>ԛzQ›[rޟ?X)I6܊H3b] ѧ\smdX:r'uHbý+6Xd9v+e<^l ;/QI{^140`^a7ĽS 'd!LҼtmsB4x~_&P'z ~]8$6w#|#+v1\'LGq6jATrMBUHlN2(={s%Yo+R?<ck -Vt}Cc|tlӈ) XT $IX " G)uUql#_p1O*_l5{0,gO'[cvDiސVLq JP+3 CO()Ex@ H,#zFC0)$lYSi[ҰfB4Fj]PL|Uk\m}7j&V6,88 ?%,Cʑ\ej8鶴YnS5ΟpTnmF{i2C1x/] "*ݚE!$S3؀G}p$K=I2)ZЂ[#+f.p+rjܱIn[!.v &"_lFaç` FPKv~(M7 $8J1yWjÕ(C1@M`9d`<zm51V3eƦKpʟՐzBv ;AH=JСB$)$ID6T*1Ùm e,EW` )(P`nNqιRFGg cL8JW ʶRy!1!q(ʸg3g+EU @tL1չ1n(j3#O#dGAo߲.R+N1S@4Q%)Eɤ4  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[Jg@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊9x++{Ks9G?+(uvoEt=nprI_rmAr{E'P9U H7|(>ۭ!%BIXqĪEybSOEO;@yvqP_i#<#T[hBLJC"?~;:yx0}'(^Ti'jq qqvLrY?c.-z;Aaa4pH:|XZ;Bko"pppsX[ k\--Zway "$mHzxa7Hc\EPuFPl(p NY:䠊 n Ϟr%C7Tq=yvm.*8-=Bc=/Ŧ4揣bn?@~`}%7PyY<,p -cwHQeMI 0x+"a1O ڧwi`L4$lbh]i3뿬'6a0wC P·8M[/_4XةuW.z ] 1(QgB;hY5 ;f`0eIp3EH%ŏ/މ&xw|0TH:rBZhLim7˿l@ N{]%J.` &bZ(o6t-J frRs18Q*\_1KB KgXf[@_3@T&cf:y+ϙF$ö~wX% Dɬ&3dc 7cG"3yյA‘.R9UBߴc+gUe*W "u OQ{"`x Ag:2\Z`1dW4ci!__#8XʣD(0<*90ciˋMQp)C`瀏6f;.hbBCgh#tk^-'{a_s:5V|#_dG8@5vdHZKfu ܞӕ%\ >Rﭚzi2`\Zh T FM"RA bArfI?ǛÈ\S_K -+rIi@?Q@!"%x e :ET=ኃS ́|2U[yXfSqNW=8--+!AW5=C]6:$h ÐV{/-—D`0iˡM3X= KdHY_{cvL`8C6}Y)XZK!ONs;EءP=Ͽh}(*+alg]YvČ6Թ[;iP7Ab` ђiuXYۻ "%>PǡeRrhVAfx\FB 9gE3E h:zudXZ L b]>Jni춢 C=_sT^WMF_ UL]#OtތNNzWBSQOC +yip`:T@և9 xemk 9R ʆ|NABmܿW.ԇ&D Ry4%C;UQS;ܗ;)t+Ez@'Ʉ_GHQ՗ч~McW4ȴl`IeCRaKHp@uah,l?*:ZU0w_ײ0DNϗ-]"v__"򓅉\_N@gݞ J A`~|"1+ Ef|#'M׌ڱr0Lfq.&fM **'mFL]NJMrN: ̷Q)p ]߳o"Ng(IM2(coH76W>I|q{O!.6l4&P=/zIkw1z/"4F|fqԃ&xyghv';fx )E+{lG4gbݲ7q/G0> 9H i@uQX2˕`x:.H6pW:v*!38R.d uG̅# "z2-,yb,qyG8`ETCl0ǥ"vo,,:˱vb ٴOYhGR)gBnN@AU}i=ج BV2r7quδJ,1X!I b{reWvfg8يNLv%~cHlf-vCCV#cRb5+t'yaҧ|PЬ~ $8cGc 2 xpbJGћ&.i9PXϠxgVvzMHZղ*E(j` Zh_z5 2-WdpZ-x+C}&x+#ŐWXxn|9alΪa  u+5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ `((F0㰡H_uݕ%s"&+{SQ(hdcV8hQX 151 gj,"|wݫǃ-=g9մ$۷pMMZviE<'j}{7;WQ2ĽXh׊r8LS90 g+ HL+Sq8f?E^ų޹h$Ej\t,gj(T8 < r8Pp2Q "hЬ0FT hDF(Ci&)ieP @ˡ($o挞h܌h{zʇẇ̺W5v.b/k=D΃Б, 5F^?6}e|߳g hPhhπ0N $&4vp` P6"Ua&#yhonޝۗS]W< U8lD b`(w' T ™]mq1Ir.DSDDO3eSDז" HP$ЃR..T[)j= C,{JfD. @/ʹ,3m]9;3wT s&j9T Z}WP4R-֌y{yŃbsgnh=  HUĽ`H8ÂZO=֣ZN<j<^TMsY!-[~uz\ǖˏϰ9QZٙxxȩȡ6qf>n& bfm߮x ; XpTeOtYy̯$RB0.RYnFwDDElET]KLЯ5y%l!J]iaGs_7)vO90;ΛHeKﱙŲo|h"?o;**OU7W\K])ePZTi=t4lt Bp84!8nkלyi@ Kl?$Pa+2TgaA`VqVH$2*. "a@8 8g !@Z4Eyo8 v&G1j`U <Rׅ nZjzRua?r& |4WnPNuO"BG9|%L_aGM71&Qc'd1p+cD^ƑiθSf6v}:f^,Yb[tiğ{N!]WN#fqU5_IcK.yI۰crХ#}t, T\ALF {$x@܂ nB_ 홻KUK`iEPi”Qz{_ sFdZv.p8Br> ֊7@δN$]qa̓R %fB27_IYV]fW|Z,g`L?r ?5K' zHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`mm(m:Hp[vjی艦|xhLjzW9"2F*{",K$%я7Yp@a`|w  vD򲝝p{ihnhX XdFּ4`8}7Ew$$ę ވMlfֶlخx$oвgulzJ܄ r&d&3[ZiM s>c7cfots/(0szQT+IRR,spyN0!qi(P Abpb( b9?6]fgd=ru'-+EuogY_^W,kZ6*5K% RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s P5 `gϕ`Eժ ;3I^3-)4#!E%Q$Xbj܌BpNz qI,x.Jg&s x$To'juNI#6IW]"IbMT CK"ꪮDh3wPYr7!#HA[SW̌H ^_(!X7kelk)+m+gc?m1cD5:p9 9!9B"!"$(f.44<&C-p3Q%D3iU'Vn듺elFc$DCD|9Rˤh> \v$ b˜}S*Lo eFЄV~*M?F* z0xYI5 .7aH| _4!jPyG]r4\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal VV 5K# 0HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^z*im=OE˩*Rv@`U\#Ţ` "Yp8 6>xH#;C`HF",Tj7* ȱh 8? ok4ˉ8ToYr\Na Kcc \0ȡBh4CdP)$K$ȑp8A9(IT$β9|)W6U I Zѹ"$KK4r5a;C( -怖#ުVHiF$X&x0Q&4vb@0R0CFacWNdc4&a$Xpc8@dAFKcA>;P JTq $PSZ $YDsi(a$ `aA "I(H<@O4I$ q Xp80 a($ (HUmddUUDDYfjWU1 H>l64lWTD3W6."Zg9Xnj&j&d ;P &iB_tB lQ`Ӏ~i-OQH HF!q4p܊DXYp,8 -G9D r,4vño"@8BP2 49QDQj(a((U ce9KYPiEd$gFCȝlmZXWe0$qƢ+Q49L2$Oz^Q9 ':wVQ5,`DqI۷o߾}۾}m߾}m۷oo߾}۷ott{~Gm6Ftٙn*ӫ^WUW^i]$g L&wޥUUEESSҽ^j]RRTMMTLLTKKSNEUTDED<<44B=hTBBS==S<;33DDYxgfUkU-wjUf~'Zՙ{gVg:着eͬjwz޵_^mo/j̪W]UUUUUUUULLD-TDDE5**"""ݝYUUUUUUUUUU^_wK2άwj̪~=0IwU7άJ0no__d}5I84 8Ϫ| $4   (@ (J,4Q#"N1;! BBצ-H.[ їiBK(b%Mׅ(c_Qtjg CԼ+-rST!1Ѕs[c*$u4Hsv:49B3d1:=+Y2F} +dQsoL&sא=0#l L#R)cD䛲wRIٲ=н?-UԜw, 'h4{}\vSV{ Zc4H8zKWͦƈ[*m9Cĸ-!!sͻIuƳ-Tb 5]iLč;wr+`a.4 xv qа"xSNu i%vHI,br> 4}.tP)](X N(P< %= ź:ea 0R0Ĩ pHfF=+͇ې'rlNR}#Iq7|7İ.(S(c҃lG~=J+̂7l倍fǵB#qxML5(X@I[h.s /s\V#`f :GgX >ۦN0=K~nAr 5K) 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&BCubi>\5ˇN*ʊ?"pp|ظ{x8w5ou=,tnp@-hzJzuY8z=4=D确pPngR ڼ'\{[>t7~8rpxXzaj< #$A;ʽCsA/;Ao8;;\xǥo~a ա-fyvN#oq'PE\G:,:WV _pnX71ㅄ%/J̸uf99$mW; u751/8s8sX_X܂ʡ'G&mx:;BAO5lHVC}lKus⬵f›{n>YǖVԟYqw^ 2#5[{=]Jg_,F>_XA2J>{ g{k(Ϗuao)jiؤY8tfu_pvڛQڱ=K׺mg k_PeFj0TC},E&~O (5\+w5hPX5@?{HJ4eCvfwρ%ou@?C K<!V_>,ۄTkC:vƴ>w^EҿZQ;'^kSj\ ?|4e7h{\f-YN?8;ޡ/P+2FabQ~݊K(+m cٹ[e%b?#oɠ9'-[h͞=VU k3*TZa .oڰdjy<<=d$-A`O1a.ʲeFNvM֮Bo]>|BAѱ JhwW/%S6*N31nbAў*SgshM%6m 3Ёz =N|oE-TcJh|52Z J10"ۣPx!~v~#}=mԵr:al{;euޱ(,sޭ,~U5m e ڔfjfEz?8O,ALh\☪kx~A&cII2dt"!eLb,aif  <fHJ޸OK?kfY2f:LVD2.QՇ%iŷMЂT\7D*XF~&.|;hzbvbRF`$W.0fG46ixK`sh(J4SA9siM}ɺrt혎AM2w @P)mQe5A^j1>7;AN.Er86[,Fj&EȖ !n djl^ێ=]\"Gfֆ< zʆ+uqkQz?-PY}@oQ #Eż#W,]N&= "2q2 mFc|,MRV )Y AS&A(ҤAee]ޓcBwk* E7q@ֲCR#/#ȢwqD}U y}{8KBK"L>d|E_֖hؓ-a?BA;dKC`ضN[V=pxP`IEĤْ4MӀ=Q:~VX"m@C-lIדՠRZ6;p:)D`E,~VWM#+QJ쪟R*[6`u|4#sON@vq]k7- |/u0g]̦tN.S%Sb+$c&PFeI28a krHËyÉJBAi$Ɇ4/Vz z)VIRS"nu]y&\-D w\&ZB`B"t;x]JS/up|ඦ MQUk׬i6P/ c_[ϱlfӸ?hb/ ׋Dtl案D3v| \:~wuU$i8m>AeАZfvMq"jE<{ $MU{h ٸ@*:Vͫ)tZ5&, &9ka?̅Hw6Jzh|\&C̆A\vp>$hϿ*,^.1 \^,ķl +J>ID?P_A. v7Ae$aD [̉Fs\/|d?xk?}KK\6G"E ˣPL>z8 .H<4 /)L k;7&2tY*UgNXqï,\eC؞5ii,,;&W7s)&f4UvݸFsTXƂAmx^nk/ujmA~-,\\#䞧dɒz\)%iJ~,*/Jߞj-Ju?a`!؆'dKJ5Jb#]0ʅ@ֳTL oEi w0-{&y6tŞ-7gj)v9g*u<1<7 G-聼WFCUJ1G͌BPaӼϣh݌ׁ򑱤8_7h l(|JaR?Ö(V,>H7\1is!p5]Qp YHf'G!h+k"&*jVJ91 2[wƓ%k!4pD,X " rfZIF?G2!roȨ E0;хq-sdaU=l?{, ~4&|i^12ÎS/ުB Gm$ܤ\wN1 MRD뤆wjķKccll! 6e*4;>Y5}:9KcO3#L5SI^NG3 LJ!ӱ3@Rwlt谬~MrلOg&1xXYչ|vmN)',&yesj̑s_KHq뛰7*Ju(4. á$¶,Sq: %eodK)Vs11t'/M]Q?QK$ ˉg &fĉ ~Zzm(.aszkhi5 5NcH+o!]H ;]a=oGDfHGma }v)} ҄Jzz)"R3;)J!JD.wgP&q {Z`ɁH)kC,b Bs9;~*2 |Ɩ r8VT$ڗ nz^W^?D[x "0oooG=eI`a{[)cRQ忈X +$@RʶmvlfZRJkR$I$V3/WTV|e.\*T6T6DDc)m=SV-tƝum۶m۶elI$I$Iܶ6hV#:-+` P b` ,800XT  i GCMOd3kIo$ D"yH"FɄdB[Yl 3p"{%fx+VDŞiOndࠈP8Ea܊9J$ F鴔AkЂ T4)GanȞYKCRўdRAH*ZUjo=魪?侭?ά%I"WD=ӖL Hd1CjT7Q=Io-ozړZDDD:h6m6mڴ홙m۶oO4L{rlϴ'*DgޖUj8m#K!II$IJn/?\ZDgޚUnw=m"F#<&x C?P!A *4"@jBCD`q!(hy\<MM .( 1f"[[՟ȞFzE), [)\3-QHXxڊB"y)<(&؋yOdLKna$2ᒫ~ٟiOvQz`\aAPQ $,< (L,x`,t8$0LD  B` 67 ۧ_.>侅V`J.oiJ<|'9E7B <ߧQ7E$9 @J+SV?BdL=X4bV>|yIz -#Iff$&G =O0'I#ilԗ$G|9?CcC=$i9ʦn\zO"Wt$Q$rk,H1"It˫\H|'D2+Ňdi%.zHJ]d=^6 ݅dáZ _XQ^3?2p0 |?"CTI#Ȁ'Pܸ&H$e\GbτzHu 瘒瑋Tx6F|G*Ϧ,4b\G~'F8 ]:>#3Αz9Һl̃GzygpF<#̥e~ew_$T鳉e%vb#FDf52|i(K!V4JJ֬ zVDV4ɣLCBъN"ӊF 퓐iŝM*ZuM_MQي ޗ:8y0'}" 9l??'l7(L jgٌ1`0C/~ʫ`ȯ=?nR\/p]d}SWvo)~ YZQ%#ڷ;!4||h~|x 05w#9?7sUdD:-oAqR^] מ$n nّgeF߹i>oD5tߵ/??#b5󧒨CJx+FJϿNJ~gLIλsz6&Imx +9"ϧoxgԥғ4dņ#,}gNkr ;Y[j"z^Rf5Uϗ+)BiAgbmiPL_N]^>ʲ6?-t5>E g(rLγ )xfI GZps8 2QK*Lr1aa5Kr6(G9,bKZޯ ;(y?* y#4,ڝ5-\V }2+V؏ɏWu;)ns%r{kPndT! E֌hN¡< "ՙj0W}ј^#o.fmi#xeo)v\A4Zn7`dm3ocz eEΕWĘ,*eWpsH lUj$2/=pi Z`VdG'濮٭^jJR52?gk@Vpc^=R\4An,<lKj k|}j fmN[lǂw1Q:ǎ3#CyMY)/tE:7LZgeGB4s+5&ہwwZ d@П|Ŗc%No uڼ,6Ҏ3-+$_Q԰Ӹ DzdNgt1Xz$ ׎ OF sЎa$ecPm&0^IGrQĠ #l BA&o0`|څr顔wU/wԨ-Pat|!^wSF9ʖuN՚@= n⵸>&|b>y"{tRq%E6AL8P17b_)6 JW6kpJFׂu,.z < 0-qj41iu;5q:W汽tü/T zl*|B<֍RJ04᝻㽱bGj]q[+6ӖWNfSIL5ѕh<t{ )fPB݉{S\s P#{T\lSUsdBv*rrsd4b%>,_y"l#wUfB6q,&D TZ.*2Viػ4KBú-%z[zqD"]2\oả-ͱշ;h9Qcg+IȤK-Dn+ꩌf 80."w$r^׸\+6鶅G1Vo^gܠO&e;9a9^=-޿ۺ~>D k8YU >{+씖rb(MkVaO9azmv|䵇7\S@I:`]!E-EJneq!ʯG[v n=H$i}~$ u?؜{tvVdڸJ٩53\{o%`dn;ȭ|i *؎Gz% ƅD|Oǁn "HwtM^ )Q2~q1pׇ79c].֗%Nׄkt :Nq;ue~%<6n1N5nj+՚--3Z s#.K->Se-}tǶǑ`Pjǁ-qb5hA2#˿!qfs=g4_";'DqiId76Z7G& `̳o^ ┴IGn2{'zhΜ%%.`Zh8j4OkD GYfzޠRhVtaC5Isw ;ُ_;p_lwYH:¥VHCGAiǕl"g O*7 X(* `+m)Fq%X޷c촓d`ט晽F~!XVGdU0eV~BFpq%u9U'ܬ?tOGczF;K9SWʽXW_lAN$>|eFm=:,Qh0¢S6r*٩4Jp);P\Eqf,$yX M;dƁQEPAqBh-D_-29{Yʍ| `Ɵg];*h?Q`x%!D Y+W(ЪNeFiXO kAK<[8kw67 c:MQs5lMc, dYK5`!@v2Rt5 9>}h.-(fHHU~hסZ=Ĵyycb*Nyp2Nfz(: 6@t1;v8! 6yuc*lQ8FR] _;[A5cVXtên%Qq K2/[Ene⨒@L,B%R2pSXKBߥPTn:M ;7y bmbIem H2=tQz쎅@Y4X}JPe ÌDžSD\{-Uq cN[G8'0 '+yxؽ?sqU+C//A'ޥo)Mxfǻ [#%av),h3f1({A)4Cd_t͡->N !i?ǭH0;=:Bs4{s>n)tO@&Dz~OЁ@Hqlj%Q2I2/j6*Dc0/\lrGQQ& ml~vq)Q9lwЫpl/B6<}XI(|:|5`f }_R'"-EDJ;Ü-D`Tǚ//ΰ&b:Ԯ\9ɼ[6\܂$'BɍEt*o*@gh18Won4M@Ia[|sz|{Z?QKΑ1?z .q\T~GU,06N@pQ9uzS\TNS*2VJM@/e~VD2+HX4 3Ҩ܌Kk@܄ >Nm$qQk:sQ>g̾ (wH-#nͦebqp.4o~ލdb XTNȋDeQ{˽ Pu/p,Lj#* V]9֝X [{ "*¾P`cSfj(ɖ >]desGOl<7 U'%e\[n_W26/E۩2Yb:@\+iא&9=X˜z% **g-²ޛ$۰8{wG35%z]4zޥ榭˻r.Hgz6e8(4RN;g<T!eEq\e*+Cʊ)NUW2 cYbӢn5f^>O vUqx8}k0^46\l+vPvyWP4Tڈ,oEOzq6prӂ;2xvd~YK<*%^56=]&bэfivޜLRy|95N\0V>ҁL{CL:yvT4GSsN>5Un*_aT=űly|%GT7E}d*swP%=X~ Ț}+Uy0`Qp7UXT1L,ވ=B\KMj} 2_zW<(?y;-+2w;!H"Vz;"DQ#}~ēY7p jKPUt}YuPjލtJx "sjWVǴ1+4̄f=_g- +Ͷ[L+c3S'`X]@-O"cҵ}-\C\3l X&j ݰǑ#|3o߾}۷o۷'I$Im۶m*gZ"kWhM3nKn#JjKnLDמm۶m۶m۷*"홖Ho*"$mvm۶ȈTPKJEDH$IOvgZ?H*hgZrņHp!BA 2\@a*OLKz[A홶mC=%m[$I$Iܶm۶mDDD(""""BTEtSҫ*"3sC.R2) VK[݈f=``a$x5!p!gxfCHAihTUbLK<5UE4=C-9"mYKVXEfڒ,|3wRXDu"5jKFT)%Qk %7VR $zz0C|Z<@OrrzT ̻!t[* 5v(]FsPÒZPZzsZ.{ē4P&PMdR CW.ZCFLM+k/)/u y@lkI|\f_T>-ۈS ?G$@i@qc\[(bhr0d .R%jDjL%j2EcEAOW2G^ٳLK;-J^ς[P.g3h'[O|Z!*hAic静urzQ@)ZAZ`%ߟML΍`bo)SsFNIA&Mz]G;.wid)"b{\ k- ޓ6Bz.`lױrUg xזvPo1G ?퀽~ O~C(r|!>F{(|}QMPNM:%q-#'73:EK/]3UXDVi"q~n.?$2W9b bۚAC!gOZ"}u/`DtU'm >G㝐!&No~x\]x2XU0K^=OK^F5tsMoFՊqq|S3frd }$hɒs08 `W~^䍡 i#Ybחa nleP|o[HgƼS/i3 Y:8)yprG|P ~>S8k"1 }$X<: Dvy ?;/xnwRv&Glrwu> V:6U뷟nDD$ e|NmQJYS8,M}e饼_];Ol<㌾o O>qO"+IfC9&ߌ.je̚^|4[\+z|gaB]ewc_9'@İZEphFd6Ȋ^~vyvq&I~Ή ī {%f,HTfHLv~FxZMqfoC?mItMG%K?frc'\`Ltk~x3\Q8xm45EZn,If)z]b.qA 4uSPlqe 3 .#a =!e8O#o?7/]4 2 ? M_yQD'r#ovkci/@CbJRxk2 H>oYК=pU6?ыㅐ!efWY8zr\Lw^]qTP\ǯO>${]O7r-dվc؅7fh7Us_10"]Ln8 FtKV_~ 2jwծWZ-'n?T4BJm&ZE'ONmAQJ&Ю^-E̽Z3mO#630w[!pZeNpJdZ-J,)lGZwQՆ(OE~ _rPۑn^贕 +>وJLruC!h:1" JyoX4 |= lIwYY3<b1'qr@Z#Q 詔E1,횤U8gՔRf4tҐafY(43؟)m2 pͲ$0B|'k#ԟaAgS VQ.FW0/^j 'CxQP ȿE׌K)!w~|&\N\Jr=zt%@B: 9Q򣱕bc>M?6> ojOD/UV6Xj–xϒB}r~~u( K'n`4PogOU78l9$ sK6Pp; 1qJn%cu%lc&ZNE7%0;e o.&wPp,K_'"μ-4c΃ #V0|+mA2'Uo"_lcN.Yf$_uy܀}v5ѢloCQUm}QW2"ڕi"fUO(6PEZ)I neFfNZ5=84y4hXv^fH 4C+:z'd5&x9[P0e\t-'43h}' J Hl?\." EVVBy-%WS\ؒ<3=u猽!Oy#>y(bn8N3¤?Zqxf;~v$̀p r7Vw|';>1rǵx[J%?YB%`T @l:X_Wtm.ŇJHf_,4R`@W9%D#QUdB9kS0}vy{ɳ81}iXj$Xń%7^8u*|Ɛ/}D`tױV5O!;с#9 AϏ=ֈܝ$?(c5 j/~"<?Wow:4w@j d$UEҢL48V/"(,gY6G鲙 51Y؀`1 sn3,OhMcc/?ٷÓR.3\fqlYaL*݆ȮԹX3"i^[ޢy ݕ~v3grCm`1v [ +'^D*K饥s6}3;s,Xn5䯵Jz9t;"":浛x~#i]S Yr_զ5hv"HK]q]az!"%ģsg ei3_^h31XɅN]ͣI&{gmV_ ~m(T`9.zHy]t$`_Efv}jA*i/(C'_W9kRG~ჿlDvRghL7Rr珊mJ>yL dbAͻwS{yqK * K0f5}G0M8L MY|abZ>6qv0Y- κl}E \2RJL/~(+usk5( A{Q.[(N)} -Ҍn+JX 2|ax4Pl×谧X΂<4l;RŎ)U:rɋlMkVosY5`f'"0D\_snQn]j>`:]~󟉽]0n=Ds~9 `3%.ghXznA~`MX{gzD|R%,Q4iN|O--mò?d֝II`y[mP(C]tPhv;~#ފ;*RwKȝ GԸ;zsu 2\R>GᏦкk,9NRԇyoP$VR |# 24G1D?"Xc5CzkbE&cJ JjqyP~ϣ hڟcP!@ݟ3,f:Of%bs$H,?n]wbXd;XZj : ݌14̷G\c~1lwCc G2,Ӥȴvo0yfM{oxBpbs7wzu\Cx[`b䟱Fg}xK\}« 2XmCڲ@IuAk]jztO|cUyI}"'~>/ysjv_APS.IGk45'6A3xڠеٽ.ft?{G{ڢy|,-@6L|hXEL|v#Ahh᣶#|%|77nyiU\_"kW>.|K[[& *q d"qm!ЈGà_/(P,| k++1Lw;7b@GuTnNslc.>t]k_|Skj2>j?,p1 ?PSˋ]0Vk_.(SSe.%~f ,VH-(W4-/|Z"Pbs@ G><G:?#_>C! UԎF@ 5S>KQDB*(\lNA@0/|H08 {gi2F(Xtg2۴r `>Ĵ |P+P2ʀ(i<~| ,ҕnoI. ⫺L5_7W{L6L@#Ԧa\JLpAiyZٌ;$ԝǥ^QS`J&Ae;B/ " m@e!kWdFÿ~{DY0ø.Cbv\&瀦fDt% r[4Hs54> w"8祈el ]F' {\Hr;q6^n#ip۟dj&Q;KYbӥ\9Hodk|8-Q⌀G$ )ZXb4԰,s}3!4Lg\Q ǺA٩p=w:f]m_-<bƜ5,m :NmJ8~@m34:%Ie1Fʻ.sTM%W6 NHibNI#K]\.u"6H}iKx 5C3I݋h>TfΒ, g (a!m(0s^Qwc1"75$3D?.π1Ĵ'E"RP<֡#k(Jm)vRTYi~)Zg#i3|R;5:[-$wiHSlq)Tfatȃ.w֋Zcw.?s8F^r>ufK_q<> W ./ch2 Ms˻xdWfEX!R cdxv?mu)ט+;{`:j]]ER`.A?!JcdK[H1ΠR8r×QM]juDA(kSYUЦMD\*}DCU(miЯPV۱e)[TlmRxAB ɯ=KsduKJ!1M|dK`@Tuzt)J,;SGYwvqs*$89t,̇򅐻Yq2 ?B}qܰ=Lx15iB^bVNOl+f(= >tDa#SȬ-e-ڟ18NĽ5j!ヽ2W2#|SƋo K8@aK_Rř_xE+nEF /eccgfͿsbd[YFp9块VFjme"ўQc}THm~rߣ=&]{lV6%1N?$z}GHY@诈-P0$fӀD'QSCnA v lxN&O.QCϴEcWڣ4 U#gqݿڞ2V+5zT !HA.PI9U;w8=T&OG9#6lA7FCB V|2(͊2Da>HʲP b=zou/^DBAu\;UlOOEsT9Q4EѺ|@pnm1MMɝ"=84d(WxoTK GG30"Z{*+ eh48<⁏ۭjHl#f/ʔ)W!5A V ?fwm$3s  3ᴇ("_y:5 +@<+Ӿ Ezt NRUz$N _>tiгɑw{\rT隚wx A_ge2,`{yObHg̫^u@$c YW_U@P+r@so]ˀ.Urj įsg69h G 5W_BнV!jâXQH^A%O#R0h?pQLXySj?h\PiPBnȏyrO}f'ۆ]`> )!-~;H~`*,z VA2S[`jLP4re**wQQIq뿦Fʜ7{fy3vݱښW4Ebڎm~>-kL{Kَane5ZQ!ݪ栱2lxfGgi+Aai%Ԇzfօ_՞Y6lgf[RlNAvRg,VÅ4(uKj5$Nq٪bo4-EDzVN3{)$NO&7'Q%˂;TgvY ȁ()evcqc^G!CML !39S?>%]dH-AΆVy>=q QK$uQ- >?fο0-dufZtm} H @L& [ ;:bšocM!eH=Q\'jȶ=4gĄ`0OBfx:|sltu3*.J*s@[)Ώ/j :l7#;/PԀ=Lc]sED=L/P )sӌ "|s0'Ȟ†"f98 &Q$+aߦ*[ř/XBԲ=bR{Zy%8wwjti8WՙvFt=  G 5O% |HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`u  ( `gVm>^JH)%IiSzkQbG;B::e:sFK~0kܦMb\.GETPO鍤A (Tbe[i~buY6$B$SO@OYE$77 Y RmhH"0A[8J " h|fF%\ǁ0<<_ 6Fu&.0 H P^% /j43lA`I}0"T;p &'j<2HV^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal g 5K/ @HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/lQڐ-f`9 S~aX&(i>qpl ba ]V@Ck!izDR%J[sݗčS;;RXȢ$EmL4 F!0 @dwh(-EzC⿦ PFRawY()%X"M>ih Nl\ NHb (ၖ#Y CIHBu|$%Ҵt0hˀGRӟ~b𶫣&#Yk'Ҵ%)k6cK-e>R$vI0IFj10 @\;@!0%&FR6IC rLaFI P|{]Hj-PbJT9ʃ!A<EH i%xa Q `R<j$ "D= Ģ @rgLZ@$  nmI^WIGESPO#F^eb~&ⷢ(wZw*5&gm b.'ylޝ0'90&c5'""s>L];?k\/PUoݽۛ{q[),xv(Mx4I-Ec1"B=Kʴ X,d)tiEALwPPzMyIIH"Z~FDIHNvbad~m HhjzibZ?~$EL~V7݆-lfh ,j& b"z̹݊o;:oZ*w&gb[#:sv|ڬڏD0t(nN]]<<]ff?7s6&Z{3Ua"x#MMt%q[6ZBD4 9u===u63N鎎~,u%uļl4~׽fk__;3Ǵ'6<%qwV%;"Hp55?&]tiX#~#B}f+#IӲuvtv()0( 848 @H400@  "|~wl!R$"5 ~4 Somlo5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodk5K) PHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/``kߌ%e`Vˋ$%I'˻jI-/%Vpy- =@5$QtE7_* h c(z GC3[Sn-ahnSN 1BLIp[_0LRcH  mN%E/bcݽ$~}jv"޿C;&&p7~Ts 8do ݝd^ Gew3_w(ubAV_F>UOubIffdnTEFkD;bq_K5绛,4ôjk8)V{~Wi"cw50 )0(l~m׈움Cb.JVFVDKldlZ46^YDݵTg;GT<]AU<]^X!aDXfl,Lc ' B` b0( (cOxuI:8W_~⧦`JbrXk)w˙/[膁2z@j+ "- McFt(LKݐՙr2EC4㑡ؗe tҶȼ#/]J7[ǨZlSy𓪸I#ÓܔcY[bŽ==[4@Ypc{d&74iFOMNTHdw~Yp/>Lf<%  LqaS )S<:= tC5N4?JTOSK[;犫ȸ_cW"tf\@^(0Z u-pAf ~B+3_\P`3?%ܚ^ޏ\HFU"|rJh\g^fCCcSN˃}ڠltHl)4~JmMլtU0mi~dMbi< !V솆e/ԬF~nت0Fj{ÕYsф'Նw#U `Q 3f%]aOΚM>:F#OS??P:p09D8*܇ 5 xf D@e.."DPeA\%mj X9MʡmvA^xa>Q+nk  Fᓳ8Vc^`[Fi.ggGH2u|Y1 *B3AՓh1IBQ^J'g'PW]Ob:")6ŋ<ŋݘFHxRqEnfx$}[4tpsN;}hl,/˗fҼR| >G,+I0z,,g+g.a23,i҂ ifv  PD `0A=qXp ! hT(|0g^2r&|p1,}L LԴ|M^f)wˡT}'̰v'SV_bH%bI~h}f'C'Or]̚(z@X.[Ot]L~xbaLQ ꊜ(FM 5wS;E}]_t+YSg8䊩0QR'd=hv0gI䃂A');F*88m!Iѭp: Xr p,;?B# BJVҾ`0\>;ĤUEc+43bPl47}fJ},}g:׳zYBH?>ղZE0ͧNOV%R}98YCKV3;K3.&\6ŀ`RΛJvԑ' /fPgmg'W:_i dWu$t\YRn`zkCvRibŽK@O g1wdD)-1:UY"N+KYsR _oΨaA@v:o] 3w4td)ԡPSUV ?S.&U8ŧ[x2ୀSԆ8 XRurɿUxm0`(_EthFuƸQ0QxtE-l4[N6tVwsPU~滜fH"1,zK`CO@M(uԼ3oN9l(]FaDWDYwiIÝ'?ޢxdFS 2>pt7 }[\'˥@~h^(l(gŧVX8t öUeKJ3[M!}x=,%QK82;doX=uD5ZzvDa{7)K#bAbqT]OD(i@kuӝn <ω9D©b]f#Fc*^trKqptѬ`X3'T&hMqDف>T|fwpʽ㈿Izshkdi74V͛͂l=43J(wl7C~]p,w0 e}ސM` j'C|!ӀN_tli < :S%( 'Zs _Ɓn y2IぎXm%r3CQngy6z|{eH7 rLȵJlai? Psi@J[J2SZk+LR%m_I8yY npi{zP6,ꁦTZaYS;A`𬂟?cWZ5cd(.a+LY"Bl&/O8yƌkUܗb=WڜYSGj/ -_<ٍP|0tk!aQUl_qwK͙. b\N2-elt/UqpõI…ܷ5Ш[r&** o=&yysB<952fRf@ŠN'$rm+#9rWBn'߫ QH5iEf4b%zRvgsaOȦϚ~wu(6M@zЅ~,9#tfκ 5=VC!ֺ`.,JӐ2dze \3UuD-3jx&s5Uwtt/# ӥN.ԅVf \I@ˣ$3$)2HsmӳkkXֻz.:x()7W%@xgcԊ[V'GyʑY˅<%K>G.t lwy;=&*sL{8%f%Lp^m$"}j/h/Ɠ.;$ <_=>LٚAPņU)A92GIJ5=2=^U)p$tJr,/w.O@VNhh(m\[4ᴯSaW[V|G "82r0a @m֏;K/> -f #)zTꝆdĆp1;,MӆoH14mNc]]31ьVpund2YgQ!ÉFў>IDvd >ܖz]RbɊ($5̨l`J/˦ Fc8cvzds™u4 𑙦&7(NfH6qSs֎ ;C!Yj&r0wFT$ɥU%F vp"M7- d긄2OOaoudQ#86T']#RG_y/jQB9k Ιѷ ٕT:< O3NxO~sb͡M.ŕYM+ݨ._ff4؎ְ•tO+8^)+[ͪ'N=ˎ)hYk.Ak$ح }<ȜZ.u;Bݍ(#dExeuG۶耵k {_!ѫ8XGjui^ =YM<:{BM|Hde\0\%o*Ercs1#}Ĝ]`8SHd@~Gdb2PZXMGi⭱[xէ(h! ~l]Ѥ 92^${tF=PUwR3Qt+@<54!x;| ophr86v~+='8-(K)}ځp ^,(dfdk:4Ve0 1Z xBEƥ0A'HZ0D_iFG./ f{/eh y q8tU_&8y9RYW~&V-1Z-l Q7~E|xwg!ȚO^ޫg>Fs ;CJvy{]W3f<1kSJVH59:IK(YW2-e|Ǩ;lq/qtsǺL&֠P,CC)O#*D:(4MDq|k$R7[2(. Us&&T#_ ri5PQɔa/_U,Քj0EG1(-Ѕ7=l4Eغ3ىV:LL> 2dSG ZX8C?fv-\<@l {3%,OTBLɦ(L Bkt\'MHt(9/.ms(M#[402ԤMDԬ 2R{0D | J)WL6Ba{Bp,0q@ѥX&,;)Ef)N ո |-pyCHEjMh=QD29r>%ܹ>d37F>U:uKE\q: =Dl[!r̡ |#YÖIzmIha_ sCKOvh; חPN:,%:b8Xug]sEua;AKh̵bu|k0C&wr/V1Q6~0ɟ dp[ _'Nrer~4W]. 0+ i|nFIహOe$or/g`L2tTSKi2P;{0J{X^HG2 k[ KqzW_Y)f_RHM㩌Ay=tb@zsH)U\zW?Ts]S17)"I :.5|n Urл+h0[ r}w01Q*D`7P_ 8ףv%C*o@`BWHC6r3U U-B9_x1IlS RX"֞bw/3eҎm9nIJ)XHoKLffhN[C'c{|Цbo/)) yQd8fLM3l2߾p} \|v,wٓ5_)^C "E(~{lXHOˇ}$N/=84&||?O򣴕Uc=eEݍz)e.'k B- %T L` ]'KUzȤ'(yr'qLxx}c&^ ;Ezz/{c0 (\AHe W . #Q6C[Gдd?ԡKF $kÆ'ty>-xޅ˔3֮>P5WhC[M;]+fa0Nbō?YmzY2@fظXd8߻H3x >Ҋ5 NB`W*Qci䃑 $M$&+RL~YB՘ i L= q;+G$x'QpID S~*~M)[NJ ٙdZF:HPrKC2pخ^\ԓ ]&!.@LWqeM"hV4T,]kTix[ D!s5"s1=HRk7:K5b{s7(蘉JueFv+'IЖVY= =cGH)c4y=:_/1Y@V%rF\:/:5*B,V[f+TJeȅ,ʅʔ/Pg@4s2Zwb D[M#IJV3Kcd$!r@P?Q$}hK_1%5 |iPΪЦ31b&UIkû+Pr@#w2"N~O&G?CF Zǎ+8'|]HlAL860'LrB؈˿ӪaJv5DoFYĻ7KEe4^Zm!R+U8I nXcƲ ñ)Ma+, \i$]/A<Yʟ0Sw%O"ʬ6v|z78,iG]F& Pq6Йjއ(ٽ)U;"2a,; J|"A-W/jh `Ig :-ʡO0V7 VkE?wuN&*b :sr/Ɇ?SV!+j)-͍e:{: tzP6f z;٠f;P ppRd&Gg)~n"!z& R5wH$yu"na;6cSW#6-}O469^C`i¯e#=IڗV,TЕ- hz. 3A!J!lvxoOgⴠP4Rh4>hͼI!\2| ڧ|DE{T2}g^YKUv18@8*Q T!Ai[[>NվKI߈ԡ>z*8)eU(աȉ*a$d5x[lZ:.y#)fPSO&TN"F}uUKEYGF7/se_ZO}NJȓhLg;;~^ S JP+_R:0&<M+5M ,#;4Ĉ T'®\`6>fn$݃a4"SS=C9,Cx zr6Ɣ4zK- >#s/ᠨ+?REBK?, 0+_ɶ[aMZaf]NDE=(FSF0owdVuBbB"8Lg|ynͽxnوPb"ۘyyv7YZޤx͎7M P>\Jz(z>f6<У-j&eg"RRiI03yT¨ni i  !@K C9L@ #9$A!BBQ16(E49v†LQGO$*oyJ Jp@?M&edN>rG T4kx&y"^$5"4 HI7{!hvnq2a6F^GC>ln 6 3ULnܿs,q4jښH;% ^vehF3Y;tuQ1^[K5)"X96ǐO0Fz+ Fj-arĂ& Q*rrb(ognLV6{N<N9ix/?5)iGA~舻LrWnַ䂌R-kΖn}pϯeMicʨ_-6PQK-Vϴ=-7+Qޑ0;JP3<Ղ%c%-nk ;tR@>YIO7=&N%kܭT7 ^-{Ѡ6-m{z(yZԕn3챗aҼƻ $*#m߂vxܽe|OJ_B|^ 2)Sld"7ݢN)ee$HߦCs.ǫnCu%D}?InjX/ SQ&7dP :]]z_sϕ7\w$P\zi2)^S ǦfYh2S-7 >sQt$VY&2H/0o_O\elnRA~bhfnʆ)-L4L1L(/~e ;][acѥc *8^)T.Z#ukl@ZNr꫔2 a"v$}ܱTPZ^GN͚:Zb|Y+^CJ=)6:3n["z)M!LZx캘60+ ~'X0]Wޕei\7GkcQ8 djh#fyYV|נBܳ[! ~rrH=θqus^p#] k[w Q!tG#W"v:DAohqWa/PN͙{ xZn:#:+Ilkgi.%.dj\h-p]=Kf߷ؾ PzbFBV"2Pn:jg{kD#~'.UR␜OS ᮚ*qD:R0OyO1^?t3T]=Xo}j|/Ϫr^9plj6;XohT_"jʤoB߀nT Dmp3`biyCߡ<rJ17[卩Ȣt7?2~(TBIVQYլg* a$5K5]4w<腞za.: k-}XR iX {X(SB;(z<}k_L+#LٺV.hI$J% ]D[L3KM^ޝV =pZ ؼ4CbE)t^Gm\BC{c:L? ~ <#q~P0{QG:PexPR^c^9$6Cac2ʠl=!|R"Ǯ%0F~dWdD ?bRxChÝ*TLNՂ3@rQBNɕ0tG~`xk xV̹er{ 1bd%h1rTgLr|Ma󶮺S3=sy;_'NJc:BZZ=Cq&R CIx?4S=+d>~02EFh N$ . ͓T뎄$1Q>hϞwQrl0Fk~GWÅtZ]Fp vO;\zciQE{ P0J9#g$Az58@ %~Vu50`0n{{YdJH:[sn`u=e6VO 20+`B,wօU -9q׮RW-2y"İy%2ub*LW0,`8VLƞ\ :2/r .#ܷDBKX +Ίd;j`יT B/76%,m$ /zQd24-^BsqЩGjhfǂ}ul*Ӽ(WQ@C$ (\qR6 ֦1-';8o1-f\Vu)CKAT6MhpU,~hWr4Fu6H|ṿ`՘lV^Pv!Ci\vW$NU6`qp.Fs<ϫEt~v %stXRMDJ+-RwU(\OxiLF}KDZgBؑ}-NqTJ`Ø4H)crEN#G!J}yX$iTɳfN,O.Ʒ+o 9 6 #C PMnT9Bv>?h89VN3lVEUPݠ(L"MqDE ` $}ˮ!*@@Ie13G%d!K+\ izYϢ^PuhW(Q]Z5}QקM W]#J weٓ[ň(GOzHKe^`^]uQnZ=0&G!- X0eL7s:Z#(Wz _INI>)< nXwĨ *E(*! l"-0z_JTt᪕F,uhܘ(職iI3.mg tGO e?r.m.A I aN밑c"j0L1ݫy0>xpq}-&Y2pSm7%s^ /R(F5 m\|,.=xy5X"M?dglK8?lfA2$E[MA@ AuMϝ8-i]@&YN]L|' =ܡtGxx 8xNF\״*qΔOT6|-$Z*\ I.#V^ֹŌ UF"D`}G#b}JMΣ`5D@;r@ %BQUX]FCEzճn]#W3((}48I Nr=/9-ܱӉ1$a*js* X`a`(AWcdFD;WbQw _=k$K׀90)?sҼ'')sas*P!Q{0V%c$Ml+y)a~0X/1=N!D4Cm!yk[r]^~4e{e^&wic8t2x)^)q0<0"iU gHE ^mM\jQ})v|SB?3D5;SDpb9V$dS(6;/`Ub!"]<;GL W^Հ݆8YCL@ cU_ڄc+ 2r4XuA_&p0LY0E<.ne[IJ LKt^< t٥IF]<% )-UT~}ZxJ!9 JdLhzͿzd) K'! o]@'KQpf}8KM]jr'*o g75Ken _Pv<[h:O 12oƃ?R? 7. M#K_X諙{3[!'e\U*^"Qz"H6&h9ѿx{>I?/öh#l1 z+ [][!٩>>91,@il+TMs'w:[lvS"Eg'AhȂzf~0J3Q X(,jcҫ8,6rމlT#O)=/ A?O%</{h+3SVfo<0%Rg ]Wo%DZBs$[(ETI`>/^IBLF;V+fiOJc n^'TG#aFT!*zv]s:#a٘ee'm QUak}|1FFv6p'Rً `J`d,`R~`m?lfH2Wb)g'15K0䳹'~9cdNMXzB)z Zþ8OoӪ|:lVeP1ݽ&tE/!KIk&)䃚˦-:"-f6@h8.wF~q94B_?67Ew"ChAe2h0X?P@VZH{*סs+@"0fHrjΑ+LSK˩w! jUUA*Ͱz`$h!1f6^w ɇynW{/lK@SL:58=@lL`TC-pϵ2 G`na $)%Bb$H{zQ^'=DtDbs $C@ hepJ<ޏÿa·x