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 ggi5|@vv ] UHOL-Nominal-Examples:threads=6elapsed=265.721cpu=1318.240gc=99.487(/uV1%)kF6w7xo(}q=ΕUĉ)es.&[>jg[FJg߉_=!&dCӞR)78~Dd-|.̼B5sitf-5b~=?;HqMb6|8).,$cfj(IN1ْ|rSUYfԨH1f-iI]uÃBh]h{T63hg`@W𪁡gjPZon}a@XD, pxhis5^wK pxx`UpNE!   덃`Zŕ&eb!!@@ߔ_ٔ}#dȤK hPhX8@`)РPP80ue>bj1b!UEbn qHz;v*YySUKgHU|!)rkt@bzD2eDjb[w2zR﴾o,~˻NdF9f?K".m5}ܱb+#le,2ޱ /kXV`Oj2Rһ"՝E:GfrZIu$qӠɮ;i'X5vw33ig>]a /?-gػtg5{Oc* ko+iέZ2kX䏕-־dԮi+4s!"ϧ)WM[5Zf"{u=Z?lKRۡ%m̩+}я ֵ5qY+zkMd\ܽvdnQʈIL)w:t3YY+^k/YGkazE3J*GkksUγQ2RWvVg) &grevkqƛj6ۄ8hA#}uHb$Zs-b;gG9sCrjv2kJhU+Z2Hc]~,ސ9C#ԘLjY]117N!B:*3QHhpP@6\Wse!dEVVDҊ&҆Y#j존9*[aXW)UT6\*SzXS6,rK:9%n螢OOLg/┏vdyX"H5MTWGhl؛bNCm$DƝɄ7d mCf3]1&5 4{!׷\xx 5 HOL-Nominal-Examplesw nw~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n5K' .HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ -*bl(Fxh"Inwp/ JI"")M$A 8~j-3b!Ø9U@ y]sySqV3uW4mb_t@شZ8֖[urUܾήv(mj1R'(k,Ly4$w #LJdj;<=N"a-|I ˿YMcBn20B 1'zօÂX80`aiB i ` ab](8(zZG`Yس L!!ɘܘڙˊqbRfSH|$+z%]nVz̷z   AAC"(@o4,]X[2sorՎڠgYxw=f fB`&3:;o=ř $Zk*ZϢB{E$ "%k(r")e.9ZDha1,- ЀU0]+;fcwߠ/{Q'r1-3Ucbaj켘PQH,'.$πp xhH7$vUaeX/ujʗhKe\a tNK8`zt/ QO`I6 Orp` QXn>+t Vw{VU_2. o5K' ZHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`nH(j:Jn plO߻5`LkDWƖL"24jΌmüuv֍wr;#"~;#brbg#"3/z&e{5_&LiQhX'3#1/#?00h˻l|'`( ƿvv  톆eNp[K }`fEw(H&҆LJ@q!snw~G ʄX)* ίmH,gu$XVLmYe;źwb.\b./ܽ;s٘D7s8 ^S3e8`/;bͬx$2}^4n 2E~{<ܮ+55ڪ21Pwd9cdohiv4,'M-zY z$eQe5L%5hH"xWd,QM\5tS<Ʋxo;_ `3{ԇzYS#IRR,h`yJ0!qi,P @ AH@1A 5Xfb YVJ=FGT-nhMN,^FAjDt$T#E5 ق ւ̂}{xw^sRoQhNgDdC`A_-\,X+W&TPOKHEDC<;:863210|*{)u(t$s!nWVUPBA @ < 7}|{w t s ronjfec\[ZYVSRQKIHGDAz@y?v>q8p7o6l5g2].Z,U+*'%" =60/-*# "  gMo!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!  uzޅ52H!@TآªW,jY\0"3KfX`!9]c(0c<_o&3:G"dC QQHjf  َt='K]QqXVCUܚs*ƴ 6mb%:ƃOzD!.6v0@i+Y3C5xXD_]M}Nv; WKp$.EJp)R,)EYTDT:#\S< Y(àl.#;L1sms5D*[8%܍*=*YQe^+L$Sƚ!jAC+zEWeHep']`R No?k J1Inå$\DeJalB Z=|dm8ՁXE*щD]_h6 "&)zw.ϥqBVۤ+йᘭ;3; % ޡ+ ]WgR5:[N2kگ@4lU87Cmy1m 2tG<+hb R> P\1C`*t'ŒH*I=M"Ƀz5s3UAI;< 7zܕZr\nG 'sFy9gZ d \>rхuk#s/T_<JLDajTM^TSKu.ON/W*.Ρۃwb ${O<4ռsE뺷)z{"z6h2PcTWoXY/`? ?omv0?,D|UQ{ΐ qcW#FXLHG!RkO"ur L>^.|,x:E=:UDEt=4 8]5eqD2:WqtUFE #Yο(FqCI/PoRVū_ lX|<mV`cwC>kapNBfJx`JhX[KfpvȖ9ˠ+1[T(A >\t9=^}i¨ d,ۧ,SGag7Ns=-E\#0 f]LL [huY"Õ0I4fŅG Ay4=GL % `?W|\V<@7~k'o8\ (8Oc_itRiT@9E%D]֜>C,v_#K-tB\W aVLM橈$0A˃nw$n<_9;\M/ Po#3CH?g+ES]t13`v砪!r& Al*Mb| #G_s ΁a)⒣#i 7J?M.>c A=2n̷6v}?HLkjlBTm3 CmM7ޢ \ӎŐSC%MEzg6\^)f=P+7RZfу!*%0oZNM' ;%CrHjutQ 6ު$wR$`r7g( 3 |"3,-_`-8CUObW>G>5E?F")VO \x0SE5Ӭncq~9BlY*ŖhͻaK ̫4x,x @_PK]GɌšAe/y3--׭?V78J /^\8}_ G{[ K՟:Ƙ:hL] #.M ^4E0,3sYrʀ +1pşpboQiD#1=fo?&zqReó픛2?x|yvi-[[y?$Jb!,̬&*/yK<ʤ[1/ HϋY\c{ϣ%M3lC0xųP:'C!!r7)v0^pgH]"#2Qhp%L|MA Cr,!^^Mw2?9~}q~0ݿAR ] 5$~vlsAߠ@/pKof` DzD_u4[fyޑ`aNACpJrH_`) QD"af U~Cza@sCs%'ҋSC [ |cpJS`LFKUH )l}W Gy^~Gb{b+pːyx1ٺƬ9S)d᮰$"(بzK?_"Dypy,;LQiQ5?!0AIڃjcr3[#uԦ8Aj]e1)@TfAcոw#fpw@|Q{l:xJ6ʰ Fc،X}IoߺNlSe\vq 簩nO2PjHzu8tE5^EE]ݔ*J}UP!pO4O@8DHAF7Fyu;{I3+V^"RȁFqu!pTa$Ϧ{8Ok 4nw^k B JJ0^Ts* cqLq-Tv,E=4֟Φpp*U9܊7*NDS 3߀v@J=E ]LhjhC ={R`ں'#i8DPW|AH^AlU,9U\ jF=ѫ9c, U`cN/6e J/ Z4eٿKt|%?&MDsVVdb(ʳ[,4w!ݙkj'.0vbNd!6:5 Ɖv"͢sRH7+iDIY%$_U+BĻQ: `T4A!*B#fDn@c+!JrTQsUZ=q޷m8i S jmxZxffw/'J?j_ 8Lh`S(f00IT"DoF = -G8!X!Q]$baLVN[Oghwxbcqxe<1@bxꔩZXY Z"C`$%FC ʕ\p'9~&Etw&n9< bZ[:vBZ] כ>P1m+$DjŻS[wٺFfn 1Vi1b-hcIDŽ:b|]{ P/%r'AŖƘ#:cɿUOГ u!+z$IFVXkj*,]Po݈]T|W Eˑ*{#9Y8[ 7Q '[ڋ@kb8 o ΘƗI:,{$7sBCOrSc`#xJ3ӹ%/WWaDxToac(HY 9(N"'[p'utGm>0, ,LBQ!d1JFBڔIgJHyH>9osd>FWg5?5 s 슛8 ýwV *Db8[%\$4h^ZJ#:dS9rzKk.SdĆ'8l:[شSmܭ5+M0NWT&f3ʨ˿e1QmuH2(:*KAot~䂞$:MS1P <Ӕ֥Reا"̡?Ar%`Ѭ UQSZS 9V&zPyuRS\'aONEM k٦x`nTßHPerVa 7(םՍ0gJ'ö] cN(/i2iGSc#Ohh.&`Bw!E6څ^ܨNS_aznP= 9޽a89h@#UTML2W|Gfv4_IȼDn/[vs2f 9pC EsH bU1'f"CAre&-ذXmW|⿸۫QZ%*1;:PxU0t@C\,[wf-I,YB&S"C!)}YöIz) .K9 k/ig(Lr4IPjz%@? 4K>5N3ޓ z^u/ Ӡrәtƪ&*$\X{icpTA|و/ "~ m51Q3<62߸ x8 Zhx Ոfwrdb|>6^+ V:ӍV-k dΘf ] 6̂|j3RxĆU,2 M 00aˠU&x5v`8VMx,f%`6 P#~[wF 1PWV$=ӢPB(%Ċ g 7 /j&9$f 1@ĵK$XeZUB(eWy}ʦ@c#-ۭ6 ]Wb.^DR0XRH= Mܓ&$4*"ևS uB[XUoФL؜b(ooQ4"=fct@R`iN8S!|?9'g8}R`Ow' 2BM,ne1~Wq|dLB&R&.eq0'.* il6Bm"prIY}9/` vBV3AO> c IF2Mw@JVtI"AYE{B7ܵg܎1K֟§ؗ8 3sc#4Aُ}߁&%82X,M8L;WefegJüzvQ 6~ &8MUaZט ?'rbKZ6NV;,8à$MOj=7T+~ ApZFIb(-@g7ſC "@tsj9$62ʪx͆eq; *Bzs:l$]CrM8W| n>/BZ /)<6;}qk !C+6^Er1լűsK2WG!?DEBFK#q'*H?Mq> E sGxY5k1)ئd{;jqdEol]wNs=Qoۭ70 W6Y0^r5іQxtӊ @ .k$j5V>GTPH߁Ė <&ONwhe놃?I jԞְ_y2:\nĄkaE=΁?Wp;Aj=Y(c2yG+֥H65%9: ltX+2=PtI]FvVw\5t+5 F?~섉gxh4 |zO}5F\"tj3zW^ln; 4):RbOd# ܓ.RnvL!3lg򉕢Lݒ;A!BLsC0n%ޭ)fGNU_6.&]Үn̶A#"CeSBbR ?1~V{,[ۇp 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 Y wY5K' .HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ -*bl(Fxh"Inwp/ JI"")M$A 8~j-3b!Ø9U@ y]sySqV3uW4mb_t@شZ8֖[urUܾήv(mj1R'(k,Ly4$w #LJdj;<=N"a-|I ˿YMcBn20B 1'zօÂX80`aiB i ` ab](8(zZG`Yس L!!ɘܘڙˊqbRfSH|$+z%]nVz̷z   AAC"(@o4,]X[2sorՎڠgYxw=f fB`&3:;o=ř $Zk*ZϢB{E$ "%k(r")e.9ZDha1,- ЀU0]+;fcwߠ/{Q'r1-3Ucbaj켘PQH,'.$πp xhH7$vUaeX/ujʗhKe\a tNK8`zt/ QO`I6 Orp` QXn>+t Vw{VU_2. o5K' ZHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`nH(j:Jn plO߻5`LkDWƖL"24jΌmüuv֍wr;#"~;#brbg#"3/z&e{5_&LiQhX'3#1/#?00h˻l|'`( ƿvv  톆eNp[K }`fEw(H&҆LJ@q!snw~G ʄX)* ίmH,gu$XVLmYe;źwb.\b./ܽ;s٘D7s8 ^S3e8`/;bͬx$2}^4n 2E~{<ܮ+55ڪ21Pwd9cdohiv4,'M-zY z$eQe5L%5hH"xWd,QM\5tS<Ʋxo;_ `3{ԇzYS#IRR,h`yJ0!qi,P @ AH@1A 5Xfb YVJ=FGT-nhMN,^FAjD\(5K% NHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s P5 `g;(v7]!~I: A2-*0#!)%JDl1W#H,\a0BToE Ԩ*-[p:]M(Az0q.6DŽCHSQ8Ssblp @Yam soÉWs嬜yunVܾފu]wjmQGp9 9!9B"(фf{1( .gs9*7kLv0 ɂ汉)hiH#rE>tlO^PY]NE;?3Ă]^Sᬽ$Nڟ$];B_7=GH R*_@ދHWě~|')u8U„ n4kXojSyTh\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal Z 5K# 2HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^:L* k$jGs|Ԉ}Oz HMKl !PgK9pGmD6޶ommG}ڪڪڪRڪڪ*oJJVVVJJJ*ʬ >l6l۶mUZUZUZUUZUZ<wkMTߧ^|yݞz{{{ZmEkꪪjiZYZrs35513113337S3QQ11jѡvxfiwifWvej&̐Ԕ!T^53vWUz+_e㏿ݽ]ݣfWU}U_{}zfG<":GWz .y!C ,`Q`7uCM0M\3u'u} apfomT#j1@f=@h= LJvi6y=c - ]G{~sg7|̡0'X#=>]>PC{0=-N{XeOu@=ԥa@=w`~=5Z#:z%<`;K<c^0*8N-8:y(D̟ÒPGvၜ@lכqC;[ֽ%AٻLIvLvPvWg5CufzܱA?ޭ_oY[YOT c^T4N$ѯO}:ؚjXn]:P$Xa{t%:b[fСtM$砹9D 簭Ǵ"љ:CGP}94|TMbrЕrh'99ȸ,ǁdD{q Tq`LMkt&ⰻrG_]8h@8T-m3-mg4ۅUZ7'hώ[6Xhnm=0;X|Ѿ64!F9¶}̸ \ DӀq5d|Y hĚlgNV3! i8| ׁY& k5TnZvx\i0i*hv/yA.Hw-v,vR4;IJ[%r΢j.`Y&[yOZ̿Ȱ*Iku5x1E*2v͟eWE>zrVp^lt>a[<{1(O;ݻ5xEtOeG wڝҜFL9:g2Џwc.o?^N%. q[D4 DxXW$V5zN 6PKRZofM\MW^A|t=wAjq;Ťxg $Ӆu5 jlaϾz VE03p]i$ `!{=zi*Z Z!;4}]L>n9x{+JڡL@9HO.(O5chR. 2{D˫qߓ8fք zͽzRrjɝ({I̢Z >AYtoGJSc"bW?i͑8K+'6$DA(T" Nl2϶VQ[Bm3@|%V& JkCBEPd _h?%W+y$Rd|%; P6e;ML:̠8SH:S!ns-BзǎUXa@ nA+z~oVQaTh)Ln=pI,.j7=󪇟{ !wpԿ)70 *jox4yA%3‚5ijL&i{ӎv`;]ɨ:X[|%-^U? xt@g8G6k&-'F۰|$џ1ގuZ?Anrw7]lNX"}ZrHu$} dtk\GLSڲJ" 6ݖVpsօ`5/ _slʕ|AkzDF^C(;#yGAg)53O#v5`ɺt+( TyF8e ً$1rkJ0k/Ƨ`fIb2_fZo{Z@f<͂4c-dwwL SH*@u٠/$?`a*SqED` oҩ LLOR?%I0^\ܫr x~N9M}<ʦF Ldģ5~!XVG+'oVW4 (85gfs-x=b\}rd*W5 `847 QL6WۧY2XOrޝ*h$Ҧvyf{shf|H|cU+Ɯ<rk0 Xi@Ll!&K`w/Vs!XWuY aiӟ"vgܴ/wIhІ6G&?t6^ej7A Go;N*EU,g$%4`>歫l˟\sG%08 a1cơB&/22zEe\7>5X8G0u;Z-c1iF`%/U_}_|J\7/g$'Ϳگ#8/G%U(VB(C H~j}NFk+5 Wh c࿒ݯls܅%}g8~dTkZ폱(" ^&I8Pni d[nJT~^kfQed89# )ˠ &M)ݹTu` wۨDTml3/dږK.ZǺ5gV&ݗngN)Ix& ΔwJ3 \OK"I.g"(TF] ([0xKD\kU }Œܓb1$<3FK%rሑ#K($`.2>J{Q[be\1d)5ipC=fdkb{>lHC5ߒNG T CdgǛuI>7ptش͓YGEaCdz K-U׏1wHu~ {11c1(Akj epm6Q:M!ό< ɼ3:QdӋmCvgԴ8A TGO8jJDWP)󊮃3GQq’nøHtO͖oZ9+tgyJ^ yʤڽx0_ $VeQKsVzxR0LR]pdur+5IUDIlM̷*1 &^n,#F}^h2GxBB1=0]8q(dT%9wY^86ßvT4V< TBbUҪh,[Nգ,{tC#`jC+iBa@)3iV{ZL%[ rf#RIH&>i,S-%0`dV~˕_M$pEV͉O2x8ҫ It+!MpfѮPyf΁FV>;Rˠ'5 ʡrhYLV1qIL"&KD moR `,& q\C@8  [̖v}`Xz2.AC5LtH~TW=ae ` # u,~-\A42$eJM@@N%P@ E"UCI59dm۶mʪLDTDDD%j5-osi'9e)K=wwWOO$Փz)dx NirBp>ty̳ 9j$ psct51c%ZdsLZI6e,ѵ)IW,HP'I_M\W~1##IZEivXH;̃Qcta XG~םFVnZsb*[x0/[`uIEO݉ w6G$w|=!9ReJ I`cC+}TA.FgS]U%!=+^K ^x~# -c~7ȢOXz?9m5>skWHhHE9ހ0{;$450-d~c~dNIO| ;/4 ԅŁ1!7 KG+!w*رC#C$fur0ςgg\z4=|Nܺ,mleJ];v[6=#N;͍W[MB^ mv3҈L<F);`dX2I1'_|wȕ`CA@/Ci2wBg͚"3эmhpd gbesd@L95bM!4?Ṭ4|EJ䬏 \-J7#'MpW/йfuD$^U27$j6=)B{νfsR_눋Uv}`(C%bjv/.]Nv:6.:'^u˨?ozד ng7 y3֎v3nIWleg@0b]*@--- p3͇-0 re'92C1+rO+k0]ܐvi),'܊7>:%@Zq F#+8A#M?ȴdD$ßƧĥj~gCp;l3F)#@v98q }b Œ:"G -  znC5Lzi$~5:ë2 j/=3Er*wn77NAn#F 誛kDzl򅒡v_^E :2jrM]yt5$,f p9W%JO+P;1#BP/Ojpߵ{ݹԎL ʹ_ z+q2}vkt[0KmJTXjU2WH,,,m5TJkA]1:6`kspʱR껦 whzϝ romLynL=b\e6u/YlN;{H+b}v':͎"r&.c06,M !&@x'/Jy⫽":D+BI_oi/Ns1j?Mۘ{7x9vДCEafoJ P @b<{3DsCa1bǘ)z=/k[S^ogxޯ -?=6}6ơ :9gO6TYlQ|S{͆ t߶Sي CcAIul˯Z -HFݓr6lWRYQY70**@j{M2ڣ 'i@ZV`~Mڎ1}~Y\'-(qBgsřhf类= { 4e2 p.Q25l*fЅ a8`ٌ4A[}~ BHאWN~ث*[% Gӯ#na#-$)&w,S2ACI*Tua69p:뻦[H\`4"9kjPP\Ϙ'5NC _klN%5s7lΩB{y[vYHsqlؗ2v?hv$ 1՗2r@~qNn$p:Ƨ7l.ryc6/}3%q[tDa$>+Mb/̧0L!L!cy¼`RuARwٜ%n:\U]Qf&ay-7;f l z Oj>+o:-GgfNz5[ \-:B/73 aҊǡ6t;LcP!\^g=#(/%T';Gۜ\:'0 L'VȪMΦܜ+SkЮͨm4wwHy@$ҕ Cyo4IdJְLZj-ދWPAUB9G\2j@8OdːN#ָ\ɔ%Y \’=&=a!ǺJygZS2}9B].:eI0nħ|41 FuVKDj%34YQ`ba5\]VnELYԈB)>HM)uALeIbcg)Ijg,T,?UUFD cl:A ]gbH[޿a3Y# ,o_ (8=~u&aVC_V̀y){72aUrI%g<Bnʰu@f[~Bc>X^Ta909(Mw'_@;N5D|B"R + Oo?D_,m$- r=B:3 O䒞럦3h*e/*S[$U? T;7~~G[digMiܙ0DֳAAuM3+au}R%% la?Eּ;Gf~3Hw쀟"l IJx$8\`y6n5//A>~4A?tqJ)5ҋCI#Os'1J"7Ɖ~ІB3R\A[{bDR< >LH=?3"j42tp ǦaMe:DOn *W.d8IEDCz6M*00݋yɮxXD*ZXh׶͉2hx̎z1.^'3K;Tm_g;٩0cϦ=h8wtO+A]v+Lsݱ-[+8|bz$e7m G=O۰f≖=5RgY{?ȇɧ7y@ &7kX3add4 :.%b^ì?[{˰9Od{_9sgGA5KBM|C1% 7.*ێN8w\QjJi rs. ߩᢲ d2*-GcLb "|n> `^175t\ExT:PfSh{Qwqrwu(wB2tɊ`s\E$,۲a5yxU'uJ,gK3Ћ ;6${F2O[-90^\*ybK_snlQY`-^f/B.AEn '*fz\@;yYng8'7 uIp$A=HI$/CBX,G`-wirOI}c Q%|""hr3djl7x8% D˥~ӒtO @/ Ao1?tw❆HA%K3SQd/:&E |iiW S"pN).,`kn9ӭ=l6QQ#.XPOJ,PیྱsSɏNH@,+ ;Ows迹{u\k>mܖiGSN~k:8eHל]:i{m ֑I +~+YMI<kp#Cw]Mz_vZű 7Bz8Z\V3Ysۇ? ܄Hɐnb,L~rW_[T?ˮ`0%ځ"YNzm?Vk*zkֈrs nUz *ߍl,D4?ߡ"֌* i}ɬF?K}ϝ H5]&Nt!֠2_ ߠ.%}x.rVLA}8gjZ Zܵ:ǟ2x-GJG\+w{4N8T=8,J 2l//vE MkL2ɔ=``<ekMdϴd DUK$M(***/W/lykDٞr۶-ɒ$$ɩp۶m6=f3o.yZnv'"""""""""mL{kۙimϴmgfZ3-]ĭMTv?δ'o3ٶےZ3Ւ$ "au$  (P@|P=(J &ͻШ>1;j>rˮ\1rMF 2&lwf-WOd-Mk(Њg<t$$ڈrG)@k UTX_uȎ9uLͰ[]C33ɏX)_xkrƎ2HRyVߵ*R]l7s Z)10Aݠ≶*MqJּ:4KeV,q;_VFX5P.b6/3NKw #Zie/Y|CҀEafyVQdp LۤDHBֿ8s-gݕPDw>!ִV-Ak7BQ_Jin~ F*U3MIogZ+7TQ3e.'=U¢݈і@[MqIҲ"h'i//38ыF -V3jJޏF'! gµ~P:ccj!:415Pf/V ǝW}z? }^L,9%Ku8Ⱦ;N#)T KKM^xLu&wWw|sJt0<=ɓCHS?Y= m&c3 As7VP/ r7e]]mxk-ۭ;}o{,.?,jxkY`:8.>ʁ.Y߽dhp)/6Tія]#\]h~{PB }~sb^k߻ODjjr0⨯j IHB;GX]>ED!*x-v}z4ЖNH_!m(M㺻z Uk*| <--|==֢dӫVzq6{( E@{.O}mqi/u:.@U7|8'?}3d~h)TF9tj35_xIEqp͓\=]>f !SHTuLϨT 7Fte枠GlȺ g@]NH*F`R%3hg`l ipTOg2lr'!F?Ƿ=wٖϡ6a[l*oVc^cغ=2Qy,K-< Ucdy@Az>]+L{]YҊ9(`L'B+Dr`|sa!I[f  Q0!#Ezx}%?1G>Zb^Z}%T0#8xq9%I`^*OrFKkh(,J[@_ӻ^mkدd\>i71M F g97/c''F٘u o$,uќd]uQ+ Gu{$6.Ԛ CFv  FQ)qF)eNSn}{OV˜\fڛp26֘$,zl;[(k}9!kN[#m_*j,wT)/3*R 8 x%D/q3;lpu|XR%#%;)LUa^ȍqx;I?? CwC`#"5r__Iv+7իT| ڌ@+9t!JVvD("CERR_"QWo;T z؋ HBUlο]edPٚ_-4D>isWcHfH}RE_1{1Fc MO6(ҹ@@wɿD,z3J:Q%),<6ڹ'tEú` 'JP3AAݤ LR$dqbTd+g$ƥ B:eQ6R/y6jlҥ-J-SoWo\Ll4o[5 =Stӕp-NV؏ o{cJ7-k|9#|xPP_~q߭6OYkKp񎸩jb[5B~_$X`%^&"FG{)=8?_>u=1\jfO@͙~1b|`sA6qv~ v"v,×Kc{Kd ,J oZ G}!9>ǧo^-9& |%^V'\pg_CQ ZhnNG6KP5ƨ|m7B0=eFw>Z фV]Dٟ@h{4QqYhݸ?KWEU{[XQ݉ Ӓբ|${lj+hWK $^͐"Kiovx .w'AA%d)a1n/vkM?݅ ӄ,7ksOrl,dU:wqkK[4Z6Qw1"F}g!P^]f_dJ\;yJ~t N#vJJxi5vgoZ31\%3O֔Ot(+]Q`ePy`F`\ =xu1 ,{fǽw$FV7gduгSVNFKo7PJbO4luuD~. g7mtt|Q._^Ym@uY "`Z4:ٮpsM#w)EiqIH3e*>tsi8"&\n]Ĺ96O8v3MjOK=O'~G|c5)d"òlqWi#]}eb_svsG ~x:+c,dݥו} 0 2gc94q&ǘDFnr ɘ㿡ȱc w3pNqٓO>s$s O=6 {I9 ~xX'51u0=8L [:,LٽM!߆Alv{Y\̗S+R 3qa,kg M~<-o~y[cB1u͋<֜ ~#W~ל})~F-#6{~MvC'YhH"+S܋ .D^?$Ã"?|"W~vM^xsbq)%XS"aُqdٚHw?oϝ22Ft {s Ǻ!C!5/9Ktk' #WQHcOj)OǴQpt@ޘkrݣ^XG޳I.덦sKܱqQ>dj;E;GРD3nqcbӽ8VU\mb}IW[cMnK9CF$RX䦎ҷ4'x߿&!vv-q*>yo<;3O>khtSoZ Έ i1hlPob!I:%GQ~/0KhA':"`rK 7_碇L3Ij^NjFDQidDikgg5"|=sVEn]}AowUSCbKn_CI?Vl虑dhήmCG07x&Kxw$SZj*aoU闳TV `7a $m*9˺NH"& ~Y< `ײD iYvI}~T݆<߇7^+eB8s%/caxykG-.Ӊ'},|Tww,] Zg#_Hg~S q??- 1p*> n:o.:a0?HMA=_݂_o Inr-rPt (|86%-zp @SOJ/6 s\Y}B4 l[k7z `]ޫ'XWZl>Ct*Ri`h][6 w1b5y{@dFBc`.E^<|]ҍW#QW+g[eYWh<6.WK3`y &Ɇ`)|wP;}o{+kέl ޾g,}O;"Nߛ=[{{G}߫'xxF&mpwxߖ/I_ߗv]S.dT߷5 vHUW 'V;໣dSDHk=‡Ywoh¹(|: FY ~58$z)e'TkY v]'OgՋl+2M QU2huNBEIxA$5V|S mkZ@X!E@%VlRygi-u2SR9mFۍO qK!ݏ v3jR-̎tzÿ}UyrE>nU(6iv6VC(`2y7ړՖ{Q웯 8eCS>O| k҆%4]@=ϣRlle'aE\\Rxj4]>aA/ Az|T{|(yXS/'kg NA %b>4I}z|f5X6GNVq_%?Q( ηˁMYYSFmָaTKW!t`w#h$Oq2Kj^{Em.-3mK)ꒆ"jԟ+床xh&W_*헙|Rt_`~ ^z8rY% 1z<T^qjJ~Y%"YS] wW/ݟd([+엽ZtRVT&ݓTsoJTbmX.%/Ȼ‰I_GQ-6s0q=a=Q ٽS&000Ж_fmxfvFxfUm{&̬ ΖL;4mhw5ֈvgUkvw*kUSy<<]g 8>a}6fwfVvkv$"Y WS CH@)> %iEid>@AX0` (Ac:C2 Mq-QN%+J5#I$"K6@ZIg,zҌGg-\?ȍ45+ӡLaFwxş_^õswl 3sH "QugsB58j*1αD2_xO-" ZtQQGɣ-m09hɅ^gs7YZ' i(\ܹANLݞmT@NR  lFz+U*Zï)>_p!Ql"Wf M8g'0pgy5Q|?R:kq0l u骪z͸PNEǃx0+\>ׇ'Og>2:C"8)?WBQ59;E LjwVC'X<pH3 0U8EoÜJ 8.40߮TF".AgASLՋC0els%H'h)MLyH6_ /fk)nc}K Gh* Xp^ZWd0Up;d F {4oD9:W!z -1*S/f&fR"+`X #ؒVάW,06qŽΉp1v>*]!lFNN=:D<lCZTEqieDFu?k!J8F(#;|؂Rt ڦݾ|KTYBμ2E98Cݧe+,FoT$T<1}D(ǗЩet%Yi ʴd ,N+6Z\8Ų@P eM?ѯ p/L:`#GGDb8Q'UVT6AI C g O iЬmm藨\wߧ&<:+_pξcNrYX6+5"Kiṣ$0Ɯl4ʤ?s/޹;([2;BLG\.eƊ9bynMas&,+!Q|wπnN'(1u;-LBq_7ɹO~qNPVC8&E'I@)nw]vݤOJ{&p*?gR[&thUy*6/b5lm dqI#$E7n%ĚFL,jͥ*SXԶ<s< @_26wDRTƧD/csHU"Xl, ] h3M2-}/JrXRi#%^r[J:Ǡ{oc?wjKj`jL3ź6~bwS-Ƴq>I@8UV##|RnԼιuGE%:;Z7 jmPc֊w칳}c/`{%5Wc]*md6~E%VIؕfūkӼQ)ySuhs0qhﭔ*UCjJp^H@{@5ӷC]Twfwb~'#Ag]/. p@+_thWMx5C/!Ahؓ5ط0k_$oߤz3!T\Xx'}A X ,s|tQ/ǽ7ذBڊ{6qVp>N^Voڝbf1,l r<30tW~Xs:̝lZ 䖊aNHg M.Xn]쳜U|Sd5l4v$zlQ(Ine4p%tB(JXbJ=7@U(ʧX͆0]q\КiBP0. oUd9걒2 6ex#+ RKʸr%Ķ*Qg5*լ虜)3S0ز5Lݦ)[ý< ˟nDgִ3%?_q"& 4l/+x4LGcmruvڽn9y M4uٹbPʳ%벨"Da?Uܵl՛ok7lq@p+* .4:REn!ӟh%IrdmBsrT:b%$ OP6D9困Bfйq߄$xrNeg1`fZ:W& ' }i#d\PqhbS}D`qa$lGô7hAi*/51l[{ :{.<L= L4')_?'陳jER?R0W~dO̢Ź7V_z JN8hs,@q"Os*w2˃0H((uO 1! Ƚ7(%͛=哈E ¸= d*t*pNlm$3_h-"#*?aAdfmfdyJ<7$ *}0jYz\=!^oRMr^B`~ cI_i cwY  y 5O% xHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`e " ( `gRm>^JC cK RiSzMqǎtt(kqⒶrB ?~%;7mJHc#u\*H՗Nt J` @! 22Z/`F_ƁmR( 6/p*7 Y RmhH"0A[n4>3#@a\/Q^#8MhҒ C~& îZeBZ& s>M 8rzx Ʉ mbqqQH$BW^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal 7 5K/ `HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/lP*,HP>C#"\^ǫ{vdZWY~?ĿW{['G*uL>X)xxӒnaķ5ɼN{~]OVP( :I&*5kfe}{"~"5* VW1=1-9HtW|LDF19K¡%-h, e,I %j,&a#IZQʚ*VJTI% He>P(.aFb & L_M(β<wl{5L=ss31-;3 s]<gZR;vxizې .XЪؙ i&H*64?ަ޺v+2s;:oZj'orb[#^4*&//>bJx蠡A@ȴԖp,-?Tnl3}T\(_fAȢ#*gsi뵶~fEllh9Ha:+o6crzᡣ?9|W6m<[6c|׌ ƞII]uE1Fr|mxl7;(o{vjۻG}(Ȳ"! h"Dd@xxP`o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodi5K) LHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`piC%Id>F&˻Rb.ﲥJ)# Pt D7_&sP[Y,C^ә%)I3ܪsfK7_1BLIp[_0LRcH  '၃ 4 !ǫi;ҢaN0%hmlvv+y,1߱Y~?UQ; HD{;폅~독˧ꏅb͜ݪ蘹}~X(DZ 5KbڪΙ9%y,nG6DF^gO}Cu }m~m׈~- }lwȨZccIE]Ijmm{{%Ay5VDe @C,(Lk (  Bp's(( ( d=د}5 HcILlߋ<߳` ؜wVVj\+gge1aJ玙$AIaRȑՅi˯h6̱SXxJyٰ+ߵH dcp:"4忇lxz1lA5 l6i"vSb;W_=R; :K$mF^pK1<@-=. jHcVm#k׊yՠga.,, &4y 2=CL#Oޜ'22E=3ɝ- !kن2(4e..IG}zljcBOQKn1(sJP3'kv)1ZĉޘvIzhKDor%NCteɡK( rvpX G!ls[ W?Jͦ[ MaM!Yj'b11- &~Boۆzv铺d/%C8^%۴$$I,#m {EU!+;K- e3 {pYf V}0* $–>1Yd=f%X$xzUXC9MDoG n%ϯ;/|J <Т֡9^SٶcpV wc}R٧DIegX2=tuîS1SV` t6Ll ][%CqB/ X/7%VLxd؀Gs ,U ! ͥWռ]GP`uG'q#ێ9uk8R&:93ؼ!0-]fcd!he+ JP?QdbM~3jW|(j6f?vDi%Bd}빒.<f=ko8yx xLwŵ< ϸ` ))ؚ1#-:$[/3n İZvgjL4#sHR;1%qN 쉬S]^ B>">Uy寮qKԯ唅."YIǰCF `ESao>nfӇs~$m-C큎,eGT B$pB=p ;BnS-o6*,]ocQ^0 [KŀݱBs}N_jle:@F?o:9BǪXRN sj rqE@hL|6ҊQUN@ &,}u}}$QNX䫞?ZMdTɬ6^8oxJ,o{l+x ۬r=W tZ@bPw7ȻF+1݊Ro4G6lbDh2&^܆cf .#ުo+"덽y n#׃I|&#N>r=ʠ`z(vͰҬ.ihWQ8T+>0Lyd Y1x V I{ߦ' 9seͭ؄%_6*nsxRgdN&+<.N{Q@p aۜjb-pv;w;rF68+&7M0 l0 %BYpcnxGKoV5R[,4VM}g%D߇l3tz=Cq]`H6z;Մ0w@ykxڧl6H:5t[¼sZZxGBRbatD}Yk dN#ͦ''6׏*Mg< XI&ݢf;MFxk / d}đ@W-5QDs.=\M8 J 9y]^[X#Г-c`N-='^4B+ҡ_-ɱ='xZuUɅ3 f3B+?}9d+yI_%y5X,YR ,Tu6h[̹xn ƟKw~u)[17z $G]-cJy% {.w-"@8m5D7ɑ=LLYZ4<:VXSimy$`fs_]++MR"3\í%<ut Uh O"^S*Sk&΀} ֭#ilM=̇ə/E* dmSkNI-RdQ17RوCmSzh1.[ @v%9/!GK9&wWo T_AN־ wc𻳘%G2uwf+hӌ=mx=O,qnD:75wHҏS23+)p.,"\Ԙ-aWeHqϢ`eZ9l+ӥSLQoc[=،ٵ=>6Įr0b3mkR1q)C!*S0eq_ETw;@N" ٠Fy4Ȩ6gkeCHUfYՖ!' ?鎨Q˅X\,Lě_L}xSf_$vlbgxYP4ҟ#Yn8YqyJH&T)Z-{e\ʺ2IvDQT3ZoauWmL?-cWP0gua+z]E tDق+G$fHؓS;&RQN<䎭t7|oGDMu +- ҵ>@Gl^xAF@+xP8Ҹ92gsաA-wKcKfڀ(XBK/7Ts4b$2aD b mܥghB>bi(Bt,=Vxم,0t<[V4NV*{Uq<6X?Lrٮ_ݬ2Pb3GDȔ?+ٴ.&cmƙ QE70DjsX%mCU zi،q#8-gg ԅH(g43+0 x_{f;)$2̞v ɢ_FV:7ejG[^F[a)ĵ*e6 gzk3 \oD^/MEҞwE?;|ƿCݱ2hK$9r<ǔ\aM*0RR칞ڇq~kRX4hZ*,H6ځto`zӓ /#syks:ZM$8/2t5CR9c㔫IbbmO+=U+,$`vm:q@L\9\P&Aȇv*k xX {ٟ:j4iQD})Ǻb<3ĘCLzcqo,4QAUd Iro+T[pb\(q7uF{>؏r2wKT.#Jטw>1I0L 9i~I߯. @=pƇ"W&} ;<,UU] hf}8.Z3 EKlG[ȻnyQЧ/$N**'+eY\"$r=:i_VFQ2} ĤW {b# :&BI|?p;ӈu0p2I/]C~0=ݹ{@AcP{50,P}&=S!})wϩ_J;`(7Yq>NK(ɪ$R  HxI$ilpr`$k)|4~@ s(@8/>7"W@n߳@X18^wӊ(Q9pL^zxye>>%9RC=AsX돈@nku)޼|a+ x P愂\SٶyW| Zwt B߅Ot?*DxLl'z捪.dZIa߼x;r>$zq%-X}~eQdEG0z p׉?1c@SUbiȰN zXDnl>DՖ`r;+>r>3QET-[xVhf}7WÖg`{v^Hњ/z2Ɗ9UD71&EzE[4N\QyNTW7^ؙʎTL <:,M_e[@E,I}scFdp(W,: J45A˦`Y#\:Rc&S -sRV*/0! ӴA4'R E& iv93~i%q!5 B[D:I>o1bM[,w$$aJ "lNt2r|pQ${\?Ey2ۇmaCE2mMXOkRa% [QH]roQTӤ*9K1qgA,gɏRߦ1Il j^U$m 7X ^eDxET(c=\^pfx,L\-(1.*nC c 5dq]rĤ6x96( T/٩"$Ȳ,I..N3r]_B`߉e ٔ(zP/Á@5`a 7#ŃI{^q@P/Lw'gl«2X4j˃]*۪;OLs-Ewao3 vaXgƐUˇ$p7K*"9AOrNy7|:wAe qkWPSH+BHIϯM/,/+͢gdqz9 |+ޏ"œD?xuû^!U{3p3tn,N^zb#a ̡SHmI%ϴsL_K^4Po7z(KC[-CLJb^e+"߉iuO}_yԤPBL>^29}e!"ȏ. )+ "^~ĭѓ.!Ti4vccr#@K (w)[Tis 9G3j'MjbO"0((P(݌ q5j 01=(wFJ=~s6DP+2~5VJ]3^ Hڤ!49" =O20٭9Pf!q2-W˼մ-V")Hw%1sR 3/jףIr-uAmÜNFXթ\})0wqŴ `ɚ`*԰9_goPV̗p} oZOR6_Jg 5j\ηRt[FUe4+Tl5uf@`UwGCq3hX ߨeZ΄@JTH쓭}9 <|+%.U*gL +] %' 4g}2E/wtEx,1^J7zzGM^`nA1Y9 J2"sΗv[Oȣj@.\!SP7_3(@[5W ݖZ㼺!;|{tq+e>T~~?6?۳qOY#.z95tZ2.!3dUz0Etw%e_-Dfԧ n,YOprGOQtD!V498OX& bO֚߱l@ȯP@ށw` 2lTn1ٿ%yb0Zz2ގ<&5D2JorLI`LqB("3#%-@)]?㼋MmW$Ξ)~u2$Am?t3D4PVf&LdDAZ$/Ϡ)?~κ_ cg.ժ|$햔53zFc=kH."Nt]ƳB5F!]VݠTb)Pʉ9Ùh'GS%q$?!qu^8_U:ھW'"X$ uF$C[6#(\h:^h3V`@Ma^ Anx lZ: >xZ݈n-MU'2EH;?^S*5`gW;g,Ti(8' e0僬3OS:$ß|:J J:ѼJT.䩡(rchh7^ 麘S#ZzgS<)bdXE5+J*қDj-'V[UQN{URGEDH@  & 0 S{^aZ6N+Lyjmiȼ qoo̿dB$˩bMΣܡFKr?߿{wwcacN+Lz& ȮV"׎ygvySb&2! "---ozǩozK<Ǜ̿&ƛ^ оCiEOul iҲ@au+r"uXr} &B7xVI\[g4Fg#|~5sX,oaB\uDph*>|0Ogɠ쐬v2'/W:B||Ojhj s =>ᐏk~0DtS9K&0'WD%Ed͜Wz0d9\D"L|sz?ce?`>)ID1zb˜X\ğRTwZ[%m S7z i3eTvyz*u )5] 0WQ0BY` 'K0%,5%=9 :h~<xr/Aтjm 1D h<ص 7"k$7>5V䲢&)WIr$V#m2MmRqu"ե{;(Qr2ʅV?g(U`ZPg]ԇlւ(rR8n1ٹ M$yTt6.BͺGߨ ܶ\!e2Tm?Ql#Fk~CsUDŽzeᴨlj5Rbܔ)H`UHӤ|&D?+Xx%hZ[>1bޯAHjj!Mn<-wF()˰TvzlDS K,N4w(Fe)) ԓX]P5vȱQm![{HCj; γd%RڠlWAMa'󦩛}: ƅя(\Zf0~+k*\ U_'XGTM0cgavG Rh%IiO`I(E^FEkRv #AK&4ˣu`}'ɻjk LQëgv.E]d.&v1CTݫDuwɄT>vw ]{ŁEE~{ŏ =܊h&}bz4htI ȊFLζ^=J^bp6_zCfYELaUÝ2ciW t4V4nm%Ćp8u';T%Uo'ޣiox%OmWU%;ߟp/ٓb$XأзwT;/Z5"FUj=j^D>a{q\j;谼dwU1DP ! pT N1A'񳇜` 4,ɃՍr5[{{u8 8nݽU8msXܷb}."jЮiqh96񷦯2浄%{P(ǔ d9>SV2lK^ e0xgV) ٔ( \/9GKe&p]Lj{vհ!%~4f`p܌ܥ,:8 O8&]L^tM{S&u=iTT6- leţŇ!M[h$>Mhd7*dMDyI0>5b֡a&9]ТEqѻ' NtO[SIRiqJKySYea~NīwwUaS4)]>XBՒ^ګkjI7>4n82rcR({Mwײp{R?9Kt3o~1@6b@Т~,X sE!-἖F-$bI-ůQX}FQPV3c{ZNO!zwMjG@H.t st0:TGUhck>?B >qWrJ)}S5&b=kH5: eJ{@` ( a 1B!Hc!##.4IUa퓀; G.ՌÙv-AfIPn`f` BB?7 ԩu^Z/-L yMZ`jGV^'fT&[P%OH[V ^;]0gKhaL.1ܨB,"ʘ)Qc.'5?C^Ʋm):[/tF#aְo Ejn#„=2F٦.Bjt3voޖU\։wFt)*z6P=OvHO^OQ.O8ڏ9m ^/n5+ ͦT׻ZG#wluԹoH4vEF%Uac \޽`̭o6Җ'f`aقInjNLڰ< _|'1O/o̗K0*E#]bv?x A )#WSbDm^w@LUQV Qq0Ӷ& [|Mюsa5¢ 'E"N@fEX !@d9q|;k^WPi"|:v,g^hށo0RIqQ4]H("ܒd++X6 dwH޻m9lRuCm$zzQq\M[V8%Qb&eELyddH_"P]m/PBO "HBJ@{p `v[iC/rl]g]ki:դxr-Pp3w ;ԯ)(*#tG<v@ Bj6L`%@?'I=GrZ'Rpͼ:U)9nQ5p@׶WO1">/#QM%]߈ 'AwT?г}cuS'l""v"Zּ BwQ/' ȼdzOKV0ƓEetzL8uO?Q^{1X,XoӫM]T󌆰xF$Tݟ7<  %^ '?Õi](Ԓ̠7T ˺"* F s!’y r]4`}(FZN:(lsػym3@5gmIRwvĝIR"eK6VA;[86H94 .\g.lz)ZgӶ _lGJ*'T!1׃z3>xje@LbMU ':(I_T'Knʢ3isWQ4Fu#]E)S)N9ҫaxiw;!l Gc{*]x'}G$y3ȫdؾCXZdo@mZpeґKL&jEHtAgGb8y{mSQ̫-e|JV,F+ OO. 5O' THOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`vuRw# o03E+YMMMM%+ 2 J؜7݊i` %@@p"E*B_esF)vx7>h0Y| lD *}ё :F a@"Ei0y<> 4 [ZsLtL{I u.9AiD*k0)EItv4Q_~ATiR4s:[=f+d0n:K[\hwd鯤RteF `p}49_eNYʛʮBz=1ڮmV+Q /2Xk+֒M,5e7=$ˇJfFި7%lݕG@^ySY޵뽹SbgWFrzn%<}R)MXX U7bU3v"&D>4qC.&](KjUW}~םY@ݭRWh6bY}8pE!k}Ds gkQ t- #M5?92~w$8LEXiN"_&tg!Ѿ̧ ►/ %@RtF3ہXa~W),\u;3JKCŤ(LɩcO1sJFrA!DSƫL=FU .9|Vf ʏؙQ p.K#M[P% (DsdVS$\0{AHw 0´1*.ڴW;M TKeZm墈.eQyA4`߀wYoo-;J_|',ހ N@?Ch{%R#'OT#jPUF/z׉ʚC;\O4"4"iThH.X]o0*A,lUW@`9~vSz* OG6l;]WATD?k3fVó ,T>5r֧#eRwb'_C?nP[޼DZcY02^7k6hϫˆ :DO] ^S<99~Ǒ5TAB}0q@6Py*&K $ \/)܈Vk87K$KR/cUBaR'JѦ*8dk*!ʏ1*t0L :l8yL;&3д='DNeʸ!䒓Ѿ>uF\c_(śRƒ8t(qGS&fH$)EaNYʈH$`Yl0ldKi!h1;4Z4^I졓4N<2=&{X`ku>B$>''_hjye,R*(_՗xy 2 @SO|{F@Xa[؎ m Nś(h7 8v'nГh!$ge@ޒtР%V%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