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|ht2 ] UHOL-Nominal-Examples:threads=6elapsed=266.570cpu=1326.776gc=97.491(/[4%)mD6 E+|wdQ |.Є*![ٛvʔ%3-Wn'+M!TFCbo6xw"қ8ylCcy3΍)YhLR!"WݍC8,X*!~>3-՘#RrЀVAjtulZxxH眛bbL4!{%`k\5=1T8ČBP@ @@8uH]@8<<0x."_;(D$$HhHDX92ZLZfA`e-)3l@B uSnT3c<B@#hh8sKllMlrH)΃xJX^cR!87Ƭ3JrnH +4A"#6f>3\= Iz`Px8aSV=`0$IC9(D 40P@VE| ӊC"4@A1@Ca?{Uh؜MtChH(@$"P` хC<@!AB;zV}Eb%cAD""p/""hpRXH,H8 d֠!Q@$ @N4!H`AP,(<084B@XH4(08`0  L` ($8B  DC$P@$P 'FNQXAˠLT}TEToSʣNUn˞j\Xk\8ֲ:&;DޚSۅz_yMM}m۴V57DVk!7 鐾Ӿ6Sߐ.ϙҜɌl(F. ͆Sv(n!$b2nbCcuqnjfqn3_ ]UNٔXjfXTFktfȑِ.&#]CDF#:j }KC\CKɦ54HI7y>nh,9UI,w{iq,G΃5he,+Ws#ȭ!4jul+hrT4-Ѹe;3Sv;fMڇLt˧;3s*y,f_H~3&%RcdKX֒$B&␛Jʠi1]!u\qGFC#ak~^ib-EJyXJD%!"+c՜Lۑ gȏ^Cw:K2"0&%ew i2f)]2ސƮsJȕcu{Qw2:6eo%>D})_x;C:g[_2̴m{S9k֘^yGkrKY1Ev;c&6%ݍk })ij62EW֦FEً=ZWx:ĻoFjŞC ]=-<6܌\{rc52vf3Z3ӕhiܐXI28X/+dWگueV^ɯ-ϛ٪š*ЪRrJZUV׹,Wyxr^ZW,#__%W^7ퟢVMc 9˞)Z^%M~THhphࠁ Wd+M$}ZN#=|ViDX*?u,;S4DiyW]d_tIDұSh5O㻅Fv!i&䦟~MӨuS? s9wgL/[.҅czK\s{O9[K6~YF^~S!o|6ʙ骙)25*sf!d۴m͹vhļkev[k-)]Y+e4}1M'Y#Q>[jDJw*RmMHfLzeڨj2"կ=^Tװ\m}'O_|C/ByٷTO_Lr7WMoZDfL6%b]c=%ձ쏚˕AwVNC2veJmt.L芇XLsIr\-ӬK& Tm7upX,NH   d/* eV[Q>pCɺ Πw 5 HOL-Nominal-Examplesv tv~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t 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+<&B&_s6gfTǙzڹIŻ(eda$i\׹_DLƁ䇅FT ͿgjOwh(zzyp|f``TfeUF.L|CP }[W3{oNsY=%%"O^|\WaÙDy,mTμL޵ґPԠ5GB9p1,?q`sa{DᾹp,G u{ ~y(vUE?t\˧$ҫ6w ؊Ȋ' dҰ.r&k&?ObEV1+˹ȹlM0"*.W[4UqOq+o$q|>_ݧPZӽoOw*z]&ꂉQD"(??/ְ??Bi}ZYS+IRR(LhpyN0!qy,P Aba  9?/ hOrS+9Syƿs$ Qxs$S#D4 ؂ Ղ˂|{xw]sQoPhMgCdA`-\,X+W)T%SPOKHEDC<;:86320|*v)u't$s!nWVUPBA @ < 7}|{w t s rpnkidc\[ZYVSRQKIHGDAz@y?v>q8p7m6l5g2].Z,U+*'%" =60/+* # " gLo!Xs T z , / { N Y(7pJYj Uz(7>D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex7D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_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!  kn7%E,8X KԔH5(a*2ܛOk)j1A(8-"3Pj=dªfwU+ C3 ]_*L 3 B7=O"3]{T5z&`z7r/pr4[25lGJު:Y~U)u-_K՞|aqFdbYIʣi lx"Z #MHLRI4 GUJr~,$q$>?{d|kWEoF HH.0(tJeBolow\)77;T#C ze &e-eH3ds6  4|>O"(:4_f-Vcpi9A/P~w,c < Q&ph.nR;&l_2Or{oj)dGݴ *K`sl01!$[4esHB{ޠq'*Q_\_艳S=}-{"L-ъ`|!2tUG):ّyO]5ɫc:?A,1ÀY >iЖ9 >,}&[̽A4}\S^t5Y*4-y 9h~׀dz1e2D0IHyTR _;L#=.~i~UxLEYڧ#x-;DN-+z/5. 3AOgw\iwC=:#^/V-c$M:ۮFK#1[[cVHВh}j6b}2k|YwjdEPIbk?f6)|釁F'-3"Lb"g-)8R8AǑ͞rL2E3i:7t/:2%].03>8f.Щ*~{afm Q8c7XOc4}.+ox~58%Dly`{ lَ{5Ū٭6X*ik7>"b *SxfD|p]LNTG 401̑cPp\{&QmkGkM6˺RS=/a6gb.,tf^MQo` LUCА. 18aُ ^c[NptB^t +a:KdMZMw:Ũ{^Q(5^n 1!*yP% S!;9g "VK9a/(pE"I`wNZ#5FQ$h<Ǡx#s"bRzAxwP=#rko4.[VbaՇ,V (g%w:x;e5S7&9a[T* .MpxQZh%U~Ar}M`|*; ?zl~\{|Vhf 谈{Q y3zU/3DcnW3`&0{K)͋ռf{r)y\GSJ/uIuj3qʇ=%HH  Q޸7޶`h_øEݮ .kC6 #d|Aq3 1f.8#XX3'e3u\_r鮴HQ]ehO;wbT%ٸ$&w}nTA)QcX'ެ +H\ їtVb@$δɠn %f# \qX=*+E$ dRgo``gD!E})KC Mvqsmp^)KaZ?Ѡgi: =v=~&'T @"VDfoH{c~N z/G R]6i gwtxlH9 #BD  qnOB;V, ו|\H7H,X;O廦rO ZB_1yo0 vL=L)ɯPL >"q6?3A&I}<  7zK[) *Os:(\o"qI|n]B!iK9LQ@Owv-Z^91+4 |S)uI NcQH*'??G7 SoKtFMrP Lj(1 UP0H!Lu~h},sGBKPHic%R_В~)'?BjO{o9v $gQRq+φAtA?z)Ÿ^ԪK3D'l 0Ibd= 2M$nJÁí8;UN]lWgBc8yEfֆtUnt2G⏚um*heō \0[~6O DK|CQ*YH^#EjE,U".=FMzU-aL\&Z(JkZ暠 f|;x's?$΢_J)(TS%ֶQBaBJaHH}O뾑ܒ\<#A G)γ;=~Rem(**=jW W6T!Ń'8DyPz,EŊ^OǨ6@M:*˒ 70ЬPAii8:!8a۠5;zQkaznȔ{ z XFQDvtcw_7iTLס JDq+z* Bxy`0/YP ".Tl=<&05w%h;>HO9=P|V:_tFC8Xtk?KO!q2d'uPeoHDR $m8hLN[t;D,056o ܼ8<h\{,+#d>wuM =sU(39ΡnS9[^e#qp1ŵ60*$3 x -*7Pp4#22:Č . ;~8 4c : Q'u+vgrqnvmZWvRP!j#8ߧk7U- ?=7-w:ƋZ E;(si<1b"{6 _RyPTњҔIsZ[% _KE+: 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~3+ske0DO "#Yo`]wczkǯV5X>pDLKV N{#+fvuԆaLY9:: ? C󎅇Ј!%(I=d"op q byߢ\uY 3F{ r+2vv#;ߧCqqJ69ǻ¨3˦:؎ˆX,( -49拱+ [rP!{M@V\"(FYa)NT%ad%ۜdaY.]%q `*EL .#gIK㎈c,exu]nbtM@W ]&2U̠Pj-.LWݷd c} qt.}޶z^)x8yV;|. dwV58P5Edhr!:Q)Os}3,#{T%c"5' !"9#JRNبÁP S&šeZ@ ?F9w[Dtqyݿ&i$FQ -Qj?;-A :%#?2fC'}Yx.Xῳ;_.6PP 0Jp 7pc\d*}q $Ŕn*dF'AGh$ԗst= AʦQTs[W֕ [cրIwRDhTĉ*6TpфP9N<=*N3M<ig}gh!Y]N`W3&v֚ۚtPI[QS!6xwƦ˒ *CF=Q::3V \E@wW*}VvgnsB({֋۵MWDBj&- tqخDxЉpqTz,}b`n,=?,fEAW6bcN G 0`Yx1aG9abyMl 5F_wR&3`.v,mˎg"kKj: ۑVzPo몫%6?TS2arHPÌEm\Z60mG@%N(w[y9 68Οy9S:FJbw^$koT̻wR ,I!w6Ѝnq8F7j6kV})f>ߡGUi&`jrN%y)h*[*QիpqGw DXa$[eH3/ km8Ȏ-W3"f^( 6,*%LKhG i="LWZOقpz#Ily;v@H:f_XN=];媂RR,ע]͒jB g #Bc3ZoS FP\ء=QJiCp.6s0A[;S.i0#F$n@kxaxtQs Z59&~YEEUH&F EL9KA+0?d>ň`ىBBDٙ}6fR2+7Nvb,j1AW7aާ}<o"PB`bX|c=I:| |H"M7qϢ;[8EO]^Ӭ:< XhT*P.P+d]*8x 4|3X[uckn ǪdٓbQș'CBbc IރU%8c&#?Bґj)dqPŒ8jL_IE\OWS(<~`'+ӣyr,HF{U4I;BJ"d ?7TsX#!&@y "LȾaoXP&P[npοCI0Ŗ`56ľKP Á ]u Jrb!Z'\Vv{m $uiۭp2 ۶,6e [;4?IK,.7n(^cU dzzд8%ȌJ:X:>%c<]hJ e̓2L;{v)  mf;p#I55opfk@x]2XEv*A9W>5zFB.g"qN)~uQcCqZdB5Eʑ dI})5nPZ^|a_T`inPZjft2PapUf]Z<4@뚥r}~.X Hit\hsuV4h $2 Ԋ,\6.?Rgd~G\ShZ r<g $:_ljޑz=;Atׁ.<]IfW4Fn97!g?ʅa]~şWiE,ִh a WRHsid&$41JX:F-Ey3E| 0 cOq߿/w2.&TLcZq_? $8uē%ƀE!*.ɽ`3g|]%NLr>7̿n\K@lh6T .1jJ2xL8U0]35ڵ8#u@b=寿F:mP5GY].LQ "\SsH:(h<-zAѕơ122ع0% gg"-,OiMnwt^?QRMAd/`ɹ&Oѓ=9KOt.^qCetP i Ƞ ̇ @|pמܼ:4iit#$ $_%{86 (RJK$"$j6'l'˽Pl1kMJuEQa^ UYݸ0)Ɖ0Oa*hw> nfW :ޚ:zC&͈ :)dPO.  4 {%4 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+<&B&_s6gfTǙzڹIŻ(eda$i\׹_DLƁ䇅FT ͿgjOwh(zzyp|f``TfeUF.L|CP }[W3{oNsY=%%"O^|\WaÙDy,mTμL޵ґPԠ5GB9p1,?q`sa{DᾹp,G u{ ~y(vUE?t\˧$ҫ6w ؊Ȋ' dҰ.r&k&?ObEV1+˹ȹlM0"*.W[4UqOq+o$q|>_ݧPZӽoOw*z]&ꂉQD"(??/ְ??Bi}ZYS+IRR(LhpyN0!qy,P Aba  9?/ hOrS+9Syƿs$ QxwZ7$5K% FHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s V4 `g;(v7]!Ijj A1-(`L (5\L"p z Q )TPʪDt"cyKƜ pQ<H4=cFfgҪM'Dx¯$Ԥ=>e.jr|.Q>3z+5M_\&vR=49˙/{8:;54/v KM؍KRp4loEIkXoʀjVy畔n8t\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  5 5@5K' |HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ ea`(F׿qP~]$N"&k.HAQpDcMz(a(bkgfETDJWY,e3Uhj*cCj-~}k4Ӣ0uh=@p/Р0:ޟGD,$XX@qtqZO;h=v]5#rvzgA*Kݮy$ WkDqܺ1їZޛȩ衼ާg"u+J$ͭ &iʺ#o#9# ƿGyV^$;y/*E_^~Mࠦ37% ]iqfĴ=C)_{9;Λj sU+&TcOmVE-B)˻SSY_H|L ScFKҚ(<ÆI3c;3fwF!i@C71X04%aAQ`XylJ 0(. "a0 p0 8r !V3xzLN[gܣ_TN=_sMCkkAl>2 н>L>Ӈ3FV>tCV]>A>z_0lJŜXx{{ 5+3݃~%ϺCIgzz%+[pFa5ڴ\?*. ɩ`'#\MԾ>N[Q.` &<4β;x <d;\"ԇ(5\{$׫9EXo:e3d7v;$a_Y&_:eXՁ+X7uPuz=8qa'0v-TԎ桄  :wρp^DDa(L(m :DrrVݕXSí.n;vr@BrO^vF< 2da#v$ ]+xf5 [׳&U'yVSԺ^;e2oy~qA5I꟝wS7w?X:<;Zg7. Yf1&fml!nGx62&6۬;RYrV͞wkgֻqm:H*.Yuʢ͝ /ُp<ϒ*qK`g骵D=vHiI4 hOڠ"+ Vq/gG>S' IA!f/Y-96W *⢷L:TWy ]=Ҙ\Yd4RdtXl[hrGtȀ(ҬږQ1-ýY/`4=Y!|v̊{1yܚ^g.7N_'Tʆ zP _ueْɜ׸6ӰY@@hν`7A);΅u)˴PKT aooDe*vQTh93vI7js_-Pm1\@{2$-:b ̝qn\X587nTxNrO iP1bY-StnSaf,5s2VάZv@G?.@h @?[/ f՞ľ:l¦ݗBY ~A|tHDm>sݫ+}D2F>i?%sk mb˿ s]UyH &>^(eֻ4Zd<.]k$݃DaqJ?Q?+jD.L.K#80Y=Bwh}+a ʞ?25 h2+XÞ?:IJgjvc+L ;`ލ-.DrF. Bg+TFHB&['TeTrc󜠝<WG@6/C47ȓKNl] G)uwdlsIFqyy>u~$uƭ 2:f& {DI-/-|Oa'՘m60N5͉wXQN .~6ɊR. kr1:xwß4dt5 ޣɡԭt~e.r1&2{ĉr/B IƦ@|QS)tɣniDAumsXO_Tsߏ7A:R['UCy`nů]ڡ-SneieǯlaJ1q,٢Y 3K'%M'. vxŻ)(I8 ,2anfO9'K:SzIYH}{IxZC-7kZp2Ԉh'S+Jy1]Z1=8wj)җ/v|Ε" 0 )I ~e ik&N z^pC$n*T _k:[ŭOs|~ūv.3sg#Vm:[m^7'A4'v\[7k/uX_(G*sYXSɒ&g) Nie.`; Ƹc'-W{xPm4@t2 ЧCPDΥrl@S^(k<ƚ4[*N3՚hgUEOy9wa% g/vV=l"kTDe3Z&-J|-uJɚ-dU?Igֈ6 kk^1WM7p6-4/elq2}I4Vlf*%\ȕ5BR/D|9?pWUmsF[X@{p. VJw1ax">]<^i›1S')7@(+dr .)&E_MŪ]v/i(qxKbDKR. Ȼ 4-d^]Y<& ӊr>Қ&p`%{E sԗMn1;5aWsbˮ&k+=2٘{%6RZTI*uRtBojYbu .mԚp cx`l3M$-N))fmHvQXR~`Ji>` ˮi`w Â1'ζ3Q̌3N@G9ױBڿ1Moy8HT[fـlۤ 9h-v mhBYqpژ8j׮hIXMZZ%DMlO;$ȀP]*`ns)uP80R&L۠ c1"y,$/lv)L3%_hLƒ5: n" ~IF _i̮qkրk8 e{?@l}L+我]%H0Dg"/a:|̇<9-fI`s_ 'CCu9\<~`WA߽(r ;rC- ixu9ձYnG/+"z.Pzl@&߬F~ij~ellBm>lj nA4ӝC5eLQCEάlF^̪$I"B)L2?hI]9W16cЁEp=MbA}C L?^8LGPj_5aL*kw*`[F8l2kvT \%@.Y?窏]J&ϡIeWQ'af}F4Y50=ti! ܃A E'pe#StZAKpuR.RMަ5Ȅ3%tlLS'OT[$~9պTͷAŠJ'hIH"_4Jt>DKs7!3દ!=ĭ' zm[ ވ7({9;CPJ7~⭥uK&~(rR9 }z)HvI~*@)(F3B/^)(JĎx,fGP t_=M3Zrh<$R͝g p~5TH㿸啂*a0 "@3.H3`F2mK^!3$)PEݽ!%),ofWQKz\#f5D%r(,^QiojO2US5Us7373333337m۶*TԚ䌍ҙJgی\ԞSSjԔڕJJmfJfffffme۶mUUTUUUTUUUUEDDDDDDT"m۶UښUԨ$I$U&jIwLD-ɩ觙*QKr>o8 9$  ,0$ P$X0@`A1  $`=0*aAiFw*iM<@$X ,""@P,Fg7_e֤E>SQr~3jZ2av-m_80( 6 s9o:ђhE'SBǐxh<<̮"j>'"y;f]EDl3IwmFvՉMO3UDĶ$Ѯ:[""Azی%c< ";d$$dt3 g8Ùnؒwwޚ~3m{ǟfYŻV~fwՉ4_e"jIw~%9;if?$I333f"jOwɌvՉə'3U'rK$g~hWZsovUDĖm"Qk HCQ(=X C G_3xwD<s1TGxp ҠF4* O6Z ӝ$4 !7]EԒky)Y蚲HoJ6#p,v D//C7X\`l~5EHR,SqLEʦz#D$%fdjNFVZ@rYa#Wߥ3sR^L /-kxiLjw\[xzů -ב^KttdX w?=`#wi_?xX~JyH/.߾R""Y  iSM b{:d|ρܿɟ- n% p;?4|w/l:ij(UMggoo`iJ+ƞm :Go}:o")ݓŻOtrϺL[v6 YՍyt~TLa~*` Z-\szhKeFrZT8oT-tيjlp1.hAjR+H\Oy/ܾ~@7%3FBzu }E%9}jU-U>}K\hou9XQ-e* {0(aU"4v< .!'yoZL/e>qhP̻ͬψ.*P>xAym`T 9Wc>SLnbZzyji@n2 >v~dAA ̎M35l.*i{eWx'$~]?w3o /k^laMek|)C#Ą_[!UEp9BpLU -#ͳ+pY {^Jc:DE\2 D}+ p5IHm\ ]Li ܆6*RhD CO`2"ىFD920(p#OvSwϽrSL|ѵ򴒎 ^$HboӁzE VW)z+/!CjsoSJe'b>=Tah,rvO \Ar%hW'G(ȑ?58%w׺N@6_N-g}c(Z(iLźdM/XHH: h|)^60UEJڵ,x;5we9l "G[`24@QV(kUQI4*7r)if#}"q~y]5t_;TL͍r\Dītj1-p9Z9Ю6?z렷#];W6?j:}'ϯpnЁ}XtN;|VN)STR1GYr2ܶT13ȋrk|? %<`p$&_D>o!k>yʚߴι5ޟ+b*+smGBKbs .gEߏ"g΁&3iq% >BSGyM/Nj JOB*XX>x9rd2 ۥ*Nεu^ D#[:dwhaZH]h #^Dd^s+Nc9q.ƸK"_.$jH blߑV"}^޲h8/M%3ʲ1gF=vrCw5.Ik UO3[344j* ˩(˵y6q;)ēf!|o4<`pTvSPcS?ێ<#mmX'ي!i$ <|Wi؏8_2!o`'+a<:[eO؄E[xV9Ii+L2؞}ٚmpnrCccso֜^ics0(ؾ ֻU)v8դE &x5j2h_Յ*=tf[jz[m)Ÿw> y3)5:]v녬=6Ұ@?ﺐY Q5 = l]wwJ[Sn7j Kﷴ _lp u>2 yjT.?]y1V]C ] ] HAӶd:I]. 2 p@.Y,gfEX|8 :-T95-VNN$4GHᎆ Hm4p:.p%mqAr2t  _ruE /ުhfz z^GQ/ "[z)55x{V+>w n"خG[Jp&zwOt]}> \@n[[.(Yݼ 4&6Mi+8} Ylm~Nm3hP̗^oh?"\ZQ$vR0x;;,(s?E-WHY{Y vbYcm>u*:'0YHm;Q(m?*p+庒r[-uio_UZj7yǩ ;2=-ֶ|"Xy\Zs ::c$DGEY& \fe8yyWZ۬tʙYj͢tFyQ7j.M$`G+hH\f3[I=Tp3s ȹY|0@<ϰ54q HK'#brԂױJ ěX@Ҕဩod;N6/"R9Q:h5wDXOs i@YgIY0#WNV6|.LA0(T )e:X\ W'!G5ui>kL˲BtKϲ08Lp` J?>Mdp)cS+<E)p`5o^n U4`^@-,Y)*YԤ"gjzq2=ƎfG&FwruSjS}S.5 1]bґF ',ؼ5/Tʉ&WPUG3eLX(珪־P8v MA~|w51jU󢙔ۻzrƛV(`J8{Vz *z(K#J,#̛u_Z`?.ap |~cxp9[D;ޜoZ(.G2T( hT CSWȎ8t7-Zg\f)v:B$*]櫮QGV.G@B3F|{GB:D*|'tUI'l31li'Y83;A/&-n#E ބ9S7@PPb (f{wpL-ms}tacJ#Ep_PwD^c};OȕKCRrHnAr|@Vj iƔDQU\o:nn4/haly@}+ hkGE?P!E4ǕXc81fAUS֊L kY~@iσ}= Ǐ{0xC{"DBoN~ V& _HEPD[jfoP$qH!W 9wļ7Wg,JcU͔x x~nR#&w-OS;PJ .m+ ULTB6`'44mJpSU&Y^߉PJ54p;get(1oXp82,lUƑ; #% {uQiIje&G~-vh&4Mqv̠}腰j %CyWgXV~@'F\F3hV&|LlC$g<K&&akz _C=JgtFSa K&qY$XC灆 ='ijA{')HĆ{hd L^8.Ed,N*",__\Ug]l+uypFZmu>ZeSڀ2e"'VgM* /Ed]1|Ǡ_Yk:0ʸ*01ErWJV%J*+!JwN W<pRm,(([&(*"7l4>A ۱'g (.!?[ R.*n_XA'S};zjOϊ6VIEe*2)d#:ђEAsFs+cEeѮ[|;dVw'%:Q斥\,˨-&O#(,q/IU\5Wr2[@.2[4#ə\[e â *kb 5w;Jᙉ Q0u-랉Z@ Oo>)*mvlX؇R:TRlYy"@SWʖ?['I~N|& x@/oWA@O4e< b"쟓14w+%.n 28]<W9TܼZN ji?| UO0 㬱61'8.ɓvCQ4ZŤþ Dʫi1&ۊ t<{ V1pMľ2_:@>,vqSΗJ]`$Oz\ۢWa5fE"UpOg?#(](FfQj;MRS3ipPz l,텓MnD%vO D/o7D<OکEz9%9*P& ?%b\XLl$>5CXAVf]6Mhщ}nS>LBӷ,kf);&=\7YTWct0A͛GF'BEuHF^gR1rnKd'Av ͒**YW0c.OO2dr}J:믻C?BJrFH7q$1g$3|vX0l<}`3Cq%-w(~tN#St'f1Y9k7rdt;<v<Q M3t*0 .[' O<  e1ZT&dJ VDvʹ&R\ےRH)UUUUITSȶm۶m۞i۶m۶m[$I$Iܸm۶m۶D["__"{-?홶m۶m۶m۶m۶m۶OdV?mz۞R\ vWLK~+ ٞ4I&Mr!m֭7nܸRJ)RJ)W.ͥt[3-^UWx왖 ;H`LLP WDg8FDL{r4Od{%˔F Hh4 `ٝi1"؆?=Ӓp%8mI$I$m۶m۬dO{+cϴ&mjjjjj٬???  !!m]WEdϴ]DLۭyKn:"{mIn+UKd-uuUٟiHm<~]4c2,ۮ"ɏm_2-ӈKpx%Ϫ[=9c" @V'BB&rl%1,d)a!DgZrTRJJKJ՞iI_LKz|UDv$  DbB0)#RLj)47)&x,NFK m )FH!Dd%UEd҈Ɋxx,V`LL0E2ReOTvʹJo"3-y"'')R x6R U@t/X@_" iaUE'*įc@4Ҟcyh->C6Rr8 yF`@4&D@̥:2T"vٸCvqna_0"%Ԏjի_L9i@VH~Th\@RV}N֢ILjH\ﬡ}hD3y|p434A.i4pf?pNV \Dn[''N92GhT8/vՁb79p^ xdgY 9GvCl+QѰX1عWCt~ӅSye -XI_L9-Xg^ rOAt|u NcZ+-{+$7j[@-TxPTul%"zɏB17 }u<Գ} ZU%4{EgRQF@񧔡(Ej9:NNDP~uc2r*U7! vh:rHc\^ef'os7t-f_plժ6TKjFΚUYý"^9P4~'e}uY^tXSnق咠SnۤAtAtMTB;-B6I6|g6Ghօta[ sc&T3P؎X슱ddUlg(.uH Th _6RxPP]6dP,tbn؏~ kΟn(c˖NtlRCLvJGk*|;{^}7&^Q7ŷzΞB=":鎷ud#2*4CTyFP!`J+zVԯ/Wbdmj ;2YVnYCK~WҢmtͼ"8KFToeFa& V<{SowoKC0]uEUN{' "Z%r& : !l^l8e\Jόq`7w4Dojq,Q< E`;_Pɏ8Ѫ7_3 NȽXNJ-=2J:xÙLL"y5ş,KjZ@'% r5> Ѷ+1y~d6T[Jb_ՑJ:rw$qE8w BHkṞqç՜pZMSQm]!Pj6{bf#.$jU X(TD㖪U*mpRV)FƄ~p*[±MU⤱|#Pl X&;30`.Wc AТw1EaeIpP;LJȼƐ ZDnJeP((BޥS8f@-ր ]8JTzO*XJJe_]{V[t>;jxrW5s0zaŐ#+ϰh_ЪT '}&/쀬=]Εp"L hȻ:GcQ?^[;.[x> u}pfPM7.8SR;ԋi,oBWDC)Qyu1uumy%~TԎ^\:cwGfp,&|̼N2: iiVKx,Edd.!:/NkUC{![riydpyOVgjKl>P*~Fp oC!ëV>>lIbNfmW'Bc#7V|kLiXBSuqt}ЈZ?בi<W | kIZ=VTcCD|,c=찥QBJaYBƲ-ߙe-˅*=$S'?]Lԫ: ԕ:ȍ{"/VLAvD}CuQߡ!ZWRz,uR}ʼ늓Pft:2us5]3y.팖VNUz+/tE[zfpR]c v _ 0p%`,viz50[(ȑ+<' zp:+ΧVdFaK HKaK{|LRTOyՏ?O388ډy IZ?QkFsst g|]cleBKn,%;oAy pAGG;.uA8ړK7nfl7x~$wɏz sN|qbX3@ꋵKz*zyf)/0_%XW=;mA<Żhj"3' _j+jj#o!/<,Usvw_ iǙ[ >wnd<`;$,>*2̑vWc1Mv ÜaAD ȚatbJ3bC>]vigHFͅ _E&t(&Hep72lفZ{3;69݊!o b!m4u"1O :RЌoAjGy5j٧b#@wck[?  "VNeǜ_thu!Ǟ;gɲGj d`t dԃZKJoxިez⇃%F 7^rjT#v@[ddTI@'§#}ð_a\%PR4_OҢ&Б|ړnOr^1F tE "?K3_wor6|i)(t%6=UP݉!IՁOL(y1_T(K?kl"z0Ço4㖪815sM;s[yWЕkf?ϲxl Ȣhj2ƊQ~_mo}gΌSs>KIM邱;3Liľ׽Mq`;orC F%'~ NCNgK$cuF0PWJB\0?\'9l ̽[}WҊ ="FvIGNf;7!$aQi֥#Uj5"!Y%t1袼9.Q“GW8=PODas:wM {h'Қq ﻾p A;x\ ~^Gn@'WxĜ8¯ɹ yPMIvhNjG !_qݍƈ&REty7Q_!ܝ;xyz?#{u˰:}b3ev4\x /7'/QUnW;:ޏtx!PCd#|{Ad܅m{dn sdX i#OOא3{4ߎQ? zLTzߥ¾ٚB$~p>O`&PUqq|go8uڐG/QIy;hL6Mh cSfMdD u`F)ˤeB?&`;n'%$aoƶbtzEƗG7g~SI/o Thd r\V0Fj %xl|"ޛCG=HHV~I{{ԜG۽G-!}r1z@iQO5 )Oߜoi_(vVڍe<}'4?A3 =Jh'rtR4vybV QbF{v'K̷M h@| |'Oݥ |/CJb P%Dff _>@eCAGF/JrcHDSsj_ Tt֣Ӈo7zt!@ !'zGr␺GKHt ?V@f0q}1s0qve2V Jh|C jmej ~5g78W#>3K٪z|(:k>>4Yw‡ ZlpC:WkD>͂fM—G" Fw S]Ty[ TWrEMRg@|{Vц-*`Ŧ_J,(nNz2'GAbq/'Yx.#=}HܕjM%ODB& 7[KDULy̑9 (eټEݔO6/O/(b5%䗮˫e:}U_R! p0v\&[u.,^(||"O?(fyFV.Lơo& >>0xpBC cW;cgQԣFgWғg>f5^_wB3[ >V 7w ;%Gi" Y=Z*jBY& }5&M$HL@@ FòLCC"fD:baES cH@1: Ydy>@AAñh4`((ABCB !&zJ05Ih'D*Kz!AH O:'װẗ\A^Hkžd 0}sؕ Imhp#qz7H}傒4Qcp'Ld{,,hH^H+U4Cz9 rkE Ty*[Ͷ_K/[3 Qz1tD;MbxQ^ eoTLgJ-LOi!1#*4F3k^Q.z-ȳJSK|Pd+TWyxI֕Nj㟰`E.̵ϯvDỠ@`b%6T|$F]ܝ,䰥T }"bmX4f,j?DQIt,E?\Seߏ!YHqRyj^LӚ"n6o .^rk$:|J|-0Sh\2( X+LNg)$oRI ʝ HJE~7֕{S{ViQ.ώΞ ;Q'Ds55Yd}Fwe}sh)IZ8A"fͶ\Mm쑄C:Dٸ?YgBڑK9&J2s HK< eJz" N3>YcP:-H6vp5m8}]0˦%I#f¿ !Gb u9 o2B j$ wT|i.ɵ6hW7dBjl@.WuX5P)/va/'Q'ud#Հ! Xձv"Yj%m&wiВB[E'س?"*؛sD@!܃va_%ܪ╚a?'{&%?ގ,-xfkmC>T,1[/b-72$ta[P`tAQQdI2tdS/qV{""bϯ\)fՋ-v(]Ɋ5ň&M\"剀T0lR$HE`chA݆1ţYMm,5i(]5HyIrU`q22 ]l[ESYQpmmAVh}~b飋(ZcQi]N5ݠe#ԩ⠢`/6v ĐiCN.6vlˉw{#ĭ'hΜNg&&"_E/,o|AHZg/ $/.Lvn;&NP~U#c8AT;)~ <ۢ~~DH6"d3BOZffdoBHZJcd bw:dA'3%iD"v"k`ka߭M5Bv;hb*j&<1Q 7uړ$lJL[|g>vb|l7ħVfO6[T;.@wA ۓ&=NMhg&f:J(&tHN@)BHB@@@1Y4eʰ$'6" jͨЉ:{i2dU[kO& ,T6h) =@b"!tN-Zd#\ `LʹQB4N7݁jK_5ZG"y\ƌmCӣ.7YO-ȋ.PD;qw‘1r%|PH}vHJ2f6U F!/żs1G^_xJ-5ٷc\XtU?}]$eȇ#B ~xG߄ I+g + -k&#T1G¹3Bah9pʙp.6 P"1XeqD9uUHߵ_ HQ2ؐz4t*TPB'F!HQeHQAT.T̺ wQ!O69HЙ f+L`7Ԩ Q~QY"XDe=2It2 otAU6bd{8_YcXe8 {B[3 ʎ-Q4biJD@UXYX>?@jg$!)+ߘ4a$aL \ jX6#&bpÜhM4J@j.UQ҄ _)*p~. #_dk8zYAv}$PE~KųiVQiGT.b /kYfA8ݽ3emjןR06<2GN4(F.XV H$v*,J9ͧ70bqXFā%(N}X$S G*`DIK$g9O 0DP, a8ҺGYyEL4 1K$΁ G( N@Xke<ʢ Co,0#£4um, ]PXġ$Y"i,PEv $΂N`GC Ǣ( 0H ` $  8,=m$hXHDq,F0 ɢ, 4HDz £ox#}O6>&ddlmMddlm33+333˪*WUUUr]ۿo߿۶m۶m۶mdUDJ$L]"97ȸD%힪ȦR"_DZɤD$&33IL"g9IL"SR[Xx<KH{{zzwwkguuϷttjjhh{vfS3rT3 UEDxgfY$"IG㟆wfUiW=瓒ҔNSڶm\\UECTT]EEUEMLLLMLUMTMLCLDDD&L *xEu.uzO"%Y\X#j֤y`]fc5|Ɠidׇ\OQON{!gѦ_Χ!NBo<AĪs@#GP:iWV+r@]Ķ>J4 |?RcI<(yXF)j* .HքU;Ҥ)hc\|>o1R*| 4Ԯ(~LlĞE%BZ'tS"5Qb(g4[j7-Gy3wWDx+h5A3Ӕuw`f"vivfˮOuvuO{eoDƈlsýp`b͸YgA}: xG1"ƋL( ՆoV I g9W;a pA(c&YqG/Ljȅ]CG,ʺL7 Y/#‡ V>`/a#8SmMv#NS|c0Cb=_褁ϐm3F7oos Pњ\0bYѦѵ EŎ5݀LjvytbSlMQ#ĕDn(ejff6@@wr \?U6Np ms ´ o]K $z$.fb޹&xFd `ze'ѱUX0g9gr1© aPL.M`^Qo^=z|D?+m %OȡHDͣ|ſXzGqH+]ʴv"n(m[ß5faN\Wۺio5s[F@Q0j tK leM#)pn 5MQyq>8:c:2u"(e pP`-<ٮ]n?>"i_Gg[%8 `ǵgFN1>bR~Uc GJZϝZٶSY@1cw1G73>:NČY,ss2ϟ5ShgWNYb1G8{!i_CODGW~hbĚ"О>3uEg:SN2u݆%ZdՉ]9Rg&Ƹ%>RfzL l8GNȆ[Z!`}<}c=wl"g6I(9ݧm9Yn F,jc3 ۄ̊rfe:]uT?5l{@M~>F?P𛾄c,)]]>rvuw9ַ^g"9:SVu=S[Ck ]aA8b;d6Z=InboI5;'ҷ|ܟs||3?>?^:Ƴ?Th`Sz Ʀ lV,ich/$."y:P[CG@BX}{~IXkL*Ъ< w ްڏVbnhj؆gwvfΒrj?j';C!&њ44sg<ġcYF{D{۟4vw ̛}5Du {}[}OSݡP;1sU3ΡP>_ɍזHkafAV@)9K"c7~ jNAgsnsfEonkFeWeYm%HHZ+]f##XOߕLg;G<QƳT W$i@C,Tc ' C`c0( 0 d ]/N*([iy~hi`JIII*?-\ىn( +X7QaOYw BE N)[;ׯYc  ?CƬkE1u}[|Ijx q\⮆F 4ʈ7msGb!M32.Ʋʩ8k~tkԌa߱udBZQVbx 1 37$UB4ba$3s\%(mG*V3=r^6]q)(4a4W n11vIRSk(-t^&$Dds#sum8pY+$XRK 7$!"OG{־Rv&[H!Vtu R#֓jiIY| ˵U߄RK׵<35\{ Vj!ld?gK6N E^Iwi1la3xKv)0epb3*;}"h)NKfq+kXi87~?%Y99:i|bloL~(J.Ap rL2B9g0N9Sotyqq/RTspZR,# JKF^Esc(煮.I@T"u4Rd #dl7ʱHBwxC̥pTI#RF3P m<'ZTDu>́7+ey ݾjd!қWR5 y F) aV,2<-~,cWYkWt^ ZIh; a'=T>TPc#Yb6MiA j `y-c@@3!0K!`Z Lc/Șh."KY,fXGn-0]0d zq^6!3Kg  !uGdD̪ H\T˪ڟp*$jwPmjQQ!}"ldk3t_?FW9ퟃ76ZyhH઀ Ņs [HƄ[73Kt9!'D}`nd+@.[ ٙmR;|琹&wÉOvJVt94N/3!c;H MǞW<,\*"3yɝ [DED/4!Ppդ`9&t+aPfJu'iOit{y0sthiO3EycA(oӔqSLX " OÁ雟@a e;Lm=zu 8k)TL oWid>3"BA|+s5វd ;d AD`#a!$JNH+8v]L!r[%C600jsK3C1a(zka3>>HxQjbBk89%M;d13hY4e} I/H*? m>QPwˉ!%DwΘv,P~|ZWuD,:"uG^cwh`lAuv&΍.C7Q~'0.\xȇ=^|${?飩d|Ue;˄TY{R]QNsҨshY.a9薍7E ՘GƠZ [q2^F%]d:\i0cZq9e1J Ù{^誏 Z?xM'VV=` sQј(vt>&TLQS4|5VӬhΪk!QE|5l>Jl(BZ ?ekFZuNjn$!^ b%CMF/`ZhyMW`,( q1~ l>&r6MpLbYϛ{x!sٻg'R!30z=&CDowvV* 1c gеE"&P8 ݳ%hzaӸճ Xj>*/.tp]Cem%wLV3#:(L9IJ7ʁs*1ͻBt̝+t+M܇:"D Ěm1uÛ >\=|[6S*a`i[ASZ;J7D!f<,LCI?)P˫ ;D,;ˊdݔd&1PJ߄^ju!mr 4cv@lJ ;J ze!&jTpb6U?;I#~[?kZPYx8R".-kq-i6~l"  <ŗ+`^'ai6i5-kUL%a SU$d'ŚU[[%^3˒mTH2b/9+*mDڞ(ƲҀ_h LJr + ] ê(Q9s)PNζTgE ܆/vãì=_oB[4%s3tfް1 -(tқ\M5PQ82n) B/Z⺋5DU#U{wi|kh1 (DXb8ͶY#m-mL3()%{vE(sĜte zư p+R+.3sIn+Jϯ_Bg/YkbWDt o<2CН w3hO mT3W~o V 2!/ \nTV윺Dlq{<2f]i,2 NҠ= =0o8~~Ư.~HȬ:pDَޠP}\.&"mWP䛬VEב0tWkE/Y*b!% /x g|CrVZ;moTFr^zSeqԩiDФ,Ta\G, 5))/MK oZOUӋt_Y6pxz)= Rɬ*?7/Our]ƥ|O٪M yTA‹?gDb6QD0!ù@Ήk"T. f;DQ" 9Om^ * vdnueo:XRs`1e3zOpSbklJƞ]kj/Kݯ12%p koK,; h ~r&p H7V {Qs?Eb6*I4?I.0ukQt,eO&"·^˶g5\^ؗXtaeq)U+$ߐBɻ ةdgdm;iw}9i}}W)alժQ TҢ774mi/,W :,k.]3=Z8^pىĸ<˕!#g:kL:F`{ƝBz'~D;ao=iI[ 9&#ۿ[)+QÆ*r5/'<86PDsQ6L4bmߠO0=QMEҬ5{uI- Q3c?\;Ї c"CV2U;dijX#2 "Kri w[,J=B,rs+}3RzhwgؙS4+Dq Jf| !(c#Sz=*fx JBCWhGhlI~ 6 UsX 'LiEħڑ0DIjpA`}W-6ל^a!\MRr;B0PnD qm*O>̫[Ec{:+/B_LW8*S$OL82l0dC[͏LD824;̎fo"V>|nP ~/c* ek@Q2^(FDmc z&hC#M1IG}t}BLG0? ?n$rk' Imb %nꔱA#͕6<~F︝#9uy̬"huf tzynC=iLڊKRܞrΔvtx? 5OA!<8d?cؿ}|uU6tU)qףjkT{U4Dh&S߾F]sS W%=P_sh*ʃCЗUS yM$g8/_16pd?CoYU'N/C+ҵ6 }Jt- tsSmca裂FZ6tFR;(וOǂO?$z ѱX^m*GvuֺwK}ZDbBcf/…C5وh`7dܪVEǮ.cw#DN;JG%(hIOߧ 8Vp3.sh#9Ȩ,АE Cĉp`KbX7[G]f*w?Ij"o3G/tsDIksGXY}͐4LX\8}ދD- !+ !cQ]L(ЧgmŷzQ!K1,'sI2EW |˗~bnxིI I%}"t鏃{9U)$)jUc_Ѹ7s,) -#/c I>~I/Q0Wl_8j6}˖)=iMĬ BJ, DO!J \|)-C¨ԗ:!/ͭdVT" tw`وNHUILbUA$-"VX+cD#*M k'ke'7"˹>&;.A_p|n|6aqb3cia:[}!nr2o2|>R|2"){970N_ fS<ȶ@[M#mC\'3!J׬SeBQ6imGsz^OMHٝ.eR$UPA)+Dy Us vJex =й[yj/FlKlup]Оrge.!EF~EW^КlQsЁJ|y\oa @Dmo',6c)+SHϔN8PUym'2(ݶt Ne=oI sR|2$+W5ivDH8UR0Gr37rdKIh-Vf$!˙M؆I pʮ#qbymcO12җaJ@$YoVi5Z!#5X'Mቒ<kPt'3SqB *3PAݕjgeT&) +"b* UG=*Ƨ-)({@LlyM=gC9 yAUW $ܠ8[-uJy*ʊ$,Y ;u #uw8ԎlmI4.Un4 z0\1GZC_BB@>7qҘAٸ-O^<)q+l[oJNs>'!U?ʺz/aU=WdѺJ5V9=yƊIaIٓJ'm~SH$]cҞ=7Ǘ-zA>iP!7/=Hlibm3^4G:V. '^%mVqgkJ8J=$z_|(NZ<ޓ(5#Ѩ|ONSi1,4>&C6ÄYp$mdq9w%k/n3Vp o>*sL;ќw ԩ4>VrE4' Ncs԰ yE oK8VL -6ELu-*A7 ddq%`lZu؃]9/F˗@~ yENYa ̌);=!/ ew.,o\ɬsd]`4"X*TO\AR&Yʚ9uAhj1o3FN Y)cTDD\-8N>|}<1RVJGy JUJ!EsWbQjQSHо4A4[)7^:v`{8CfNN0 Pc™zѰ8^-OH8+6_ȵ؟+\|F+aq.F/K9 NeA@ ,~wGIpVDiZ}析Pq||-iEgz6%Y2^i4 !JC9Q@C11 bC!BATh|A咑nx¨H-{`2O.єYߚ%fyTWa+Ifsz% YP GQm̸IFEdl75zE5>xOf9vcτ{]@b]p}mtr%sD%ך1S"W: ֔i&H]҆ |q@~>~#4B4369+̬OXg0Ip^%rsBGDba͇8+P%un"Q2NRrACOľXne58+kFS#+{)e_ ׾PKqk'2H $@sIKggGsǚ1ZB;O(: = .B!pz$$¿Ы)p2P0]\6'g @O㳦09ymx|!3gO֓"HFEtImE9U23Ļ(.9Σ3#-o0v'(Flƺy@9\#mC ~m'\6Mk+^搀qMhb*NN3,#۟#kڋpY;Ɖg-!7'S /;&]tD-m9XQR) 9Я,nr"X [QڝIkP:B 'J֪0[Hcn-x:IS/8|Cz>G±Xq'w*A rDs"S_b/2yc-`J"ɂzC/sBg$Z\;|șdR^աr/f$<>ȹv&KDFu|{ S4xR,}\sچ_c >c8^=2"tQt/.0Sς',h'$AJD*盉_&ꩡ[ \xH bvϪmfyTz1ePOROb\в!H(l8S LR6{^JtJlCNЎW DaS$hU pR } ^FW({V}2Gǩ93 p67>IyVo`Fkזu4YwQKWKP9)9_LeN PY$Mf#$٧ybWw-:98{A^;V{r@iP:B%/5{,ǐFE19]Оm!iZRTSۆ.#>-Žcr͞{\O,ڴq6IkQs6Lu:LeZhcP^{V~4Eפ m1a9Y7[ةLx^?"ی #R7^S)q    5O% ~HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`} b( PgD|yk\UZbrԚ_QhuKos7nf2dVjq I ^/պNxxz"ܖbɏ.XTl'|'cH ԴX8(/pUQg@ GKyU0 QdǬQKTTX*@L @z0$`4Ox@<`1 c9Y8kLKb0Z$ $Y,gP F9 erD$HHLH 6«iӒAJ'YkFZ#+:*Sή>5͙xLԚY#fzd?ѵq|$HGItVKKfeEd>t3Ccgl\cUFcvu{ꪟ{ǿKaHL9#?C^;i0z 5-Iѐe#5IK$EbH sQʂ$-ՓJ !AjeE !h'kWX2ϣuc̼F^x"pa z6 ^Yڣ%*gfϗ/123:p٠j&鏋 b"ϫz̹݊oڨ;:oZj'or&5j4~̧z˩DXGw !q ryKۯyߵڹݝڽ)+Z,fVΒb̊x--! =0ͻfiT4r8TNIŌ!Z `KMװHyS]˲o֫{z_t;@R'Qv1W,=H{, [*wתU@35 ߗrn^5뮴V-G܈]}˗RB_˕7+o.bw$:.$r!zt0:IUEIg|v֠{B@Iݙb 1$!˘-~rEH5: eB}@` ( A a!BB?.(UvHv]jk&xQy-%HtڇL@Q~֝I=!LdؚM]m' wMm%}X=̌ @/s~{M0煡nqЗ߻h'rPussTyXv#nD"+# WbM9`K${:^~C=LmR RD@m"Jt\}@3Z9LRZOPsZŔu) ڭz:y[vEx>ztjG G淐Y]fB 1CM62 ّ srakG_hnNreTJ$D݀2GXCV>]2(t7:U1I]%QN,Ljc;7#9m5jIN"gtfEh}I%>Yg_-0xP(bZGh+J>x߇`% )nzaZ9Pw34+H v+s8E7όFB哶[]XZrZԔ#~:jء'KU[qxQ:pOcOHXfˆA3H{1S[j$r]5[V 6XuG  k`ؑN2w'W>^\aY/jZ!o^&$!P09Ŗ`u .xL:Yµ~(l~t&z2sP/ ] V@ƘǙgXYeݟT\*\ݒ Lswx 9D]D)盜.*ְHn"`퀔ԇ0#\xB=Ahuy} TA\N(huŠrɝJ6U`U-04k-u=z؎Fؑ%R/i*rO i4:H[b7Fj+lR{ۣb}~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