SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsw m~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m 5K) &HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/XxJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&BM"(`q,(R- 51YMxU1Y&EjXJaj/iU-8 E&N4( WK"l¨lDwTXqE8 ĞF)uBZ"i{\C1ۊMH7\@jUjY(gN_&ǡQ=!$پ!`ukxXE-pXfL\B;o-33t,޶~^e*5{S@׮e8]\cQ#<=er\^ɷH4hLHĐCE+W.(;υStn oCH8429Á߫!`h,U!i/ơKMϕ4_o1c%4F4WS5S11cbb>kz2zJ:UUJjq71(A%brwFFfpDD n ;ojh`xxP¡AFX(ݎ%bPcĠA19U1Rδ63XE"]f@SLߕe2+UU7OY wIyI VTK'MA±hʤ?02i P&2i?iJvo\|V4x]n:vޭ4~gq_EͥhvrU='mS+\8|kՂѢb Vq菫:^{["qr$5tu*IuSE{ȡ (R/HdBOu(@3t+h>7#;+îIU#IRRP4Sh`Fi!qq,P @ 1g8f7e6b5]2U.P-K+('%" ?821-, + $ HH+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_Machini?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesvD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marhF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!     5~0vV - UHOL-Nominal-Examples:threads=6elapsed=349.702cpu=1726.656gc=108.897(/X}8 &) MBp?x':"ݟ[ݬM;eJ00p4wsHC2˘ԍ'C37nP)Sz~G_yfƜ9뤫H~W!4CzH*My_V85גQ0084)36;ҟcThh@n+)?V*+cR1rȍHr\n$Pk3T:C4G7W :h2U!vCdI%fBBCr*dImz6 "DÃH4āS& ăuJJrG$tV]Ly"# <[  ( 0,[ՐpH<< @ڇ K=*EbN9vZ&Vɞ]pnN,ȟmxUvXb(BhXU+*P8`0픬]+"uJч HHB$Fr:`ps-6*rUM2je$4E􋬢IERS^**J쐻1 Yl,"+%ޘ铝clHOy5/SNYGy4ӑ.&ti&)&鞑2\SK\CVr 吜 k|]~$tzU&/UMѥzIvu4֚1,6nn^umV#!VkGZ-EF"w&u&OlWl^6t̆EvJo#oHC򐟇<ulj[|mwf ؑTMiCSAry: qLiTl !ck23{G?2MiֲlЖuOqer!W-Ҭ2hH">B ZXyZ}|$\9ĶtIZym_"aCeozXJYm݉N9R2W- S|uڶSB,}Mwzg2F oԎzӡ4*1 5 HOL-Nominal-Examples?5o] "HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thy8c52222686a1f76cb4e111390fec7aa78dc4381a(/XNh*ns-\l4ă %h[&]#ƈ/?>r_Y!O9p̱`;Aqcp!9 I$ <]bj=:|}:]zr'-B8ђȣlml4aK!|WܭDsB9>[N[)$K*!Dmkꪘ6lWq_/xQp&k+Y7dpZR y֔sggI'˾JHI}}oy'zcܭ᩹,٠TN-;\>xf3*YM9)i{Ӵ~ɺQz35u+2fUucQ"x$Es.9eN􉿹H|+g]yfP%~>oPD,,]hj!K7Y&ɢC4/eFP9 d7)ȳnơ/aDΡ wNQJyd-Էi 4Н3s>H;;Aj _Hκ2G[͞p! N?WċD!\KŖ/*檜ew+WQR\owx8 4!'x\㓖u)}$z5W}+[W[rXTG5X@3y8ܝՃ;O!YDg=ѱ/K%ޘ+Mc-k<'u*rB^KRmQ¡;86 5ih4Й 0oGs]=I6gyR-%Z[ӣR t;4uDsMmmH ·yZM]%Tk(8u]8=2ȽkxɾvZƷ4"e|(O$Si-밗w f`--RZuWN(GdȜ_8-&N9 u45l⇘ j8%:l{>:y˽~-t1~@,׸9H?:Rc v X%ƋZ; `j-`0_Fbb>81+Q0R E(+xww|e:KrbTxʓxXߑqqSJ#^(t$ei@)y zX|3&s70\LWݠ6 \=Kk,qjbcRfM,pO*ER'X0 Y-q(1&Jc&->$L3^E׻3+, I ק!`՝[|5N^'ipEqo>&HPAgtp)n;bbݴuT!5WHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Crary.thy:5OHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/W.thyA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Contexts.thyJ5oHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thyA5_ HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy* &:v@6xc]{limGhv/+Ɩk٣\ꫨoئ}/ o%{}2;qCUSPm9pMo1tIn r,V$kI3=t;ہqN~!]Eʸn'3L(01?׶*9 uQ}S3C|")ՙy ~!@b(s܉E\UCBL0s&uZec yL0K՝Du."}H:Q2/one1 R~[H1"M6XaGr0AXk֠]q0Ot'`]7h.z[KKےG"i+T$Q+Bҥ6̅PlČ(H&F+WO >-s!VW؝wOn휲T3kP(6NʈS͈.s4z%Xb|U4!dɉfйC4 a'[{@],ۇ{X<ۏs$HI1LL:rhSolg_sJSlzN Ỗi* }HEHv2 `ОYcć(j*hq_I]wl~6w<OYAؾ+,zru$t!~424~$j7ȊEx$D"0+=)X`z TZU~n)+ay~CP} {_hH>ÜJVU~CN,Irن rDcXt\@ce=: йuN|Qx4ۛLQĒN'"qݨW"s_n$ ^Er9b] 'DYָ+A@x,P,lyQ%wbҰpБےڱP#o6 ΂?gn=2 q ,IiR2QTzRv9\kU0RίG88]h5wvXg<y ow)b#qfT*'݁ .ww(k;P__%.:1"?售PX.f.sLzIe}mqtp KL.P PM;$_BKqWP(WOp2$aCeQ$) (: :X:{?#趤ObZ[ajs<8+~r  4 M/d#h .Ԑ@ }IIu'GzM0!Xt@8/*1O(v?Iz wȃTNĶg3 "qz.찝p3Ǿrr$@<~EGϷxrGD86*V7bbDfO|#S"@VsZpS:7炔f:!%2iFGW$57eD>.)ɠP7' X"lr?7'P~SnH&* 9x V#l;׽܁U-fFrsb?%`6Gϧ6P&'f8i%ϙGsueq@{Dw2~ZҼtMO(.m2A9 oh%`b!>&m("髮4.vY;֨;{7#nplZdDSHhs `rCnhLn4^_s{y_H}dP4mSze5ku%j=ebjT]UcmWdis1/G)Iyqltb7HV&Jhvr99)Jr[Йm/aBz6*Cv]Dw&kp Ae3&Ri EPӑ$ P8#/зUDpRƭ'JK-B/gӰkk"H$BN /|^be* f@6%L`K8Vqc(( v*B >KJ, cvʹQgza7Ͼ_ra#;8Li~Fy7v E5HZ{VH-bSps aȿ'nB]y?|Cgng̯8 Xd,O{v`0!m,2k(U&CL7 γJ3zq?ޞ[wMc_E bTuq٦NzV4"'y-ĠmLNFDm 2m5A;q j'_$_6I!MUP7=58N#'r逨c]cU6!W@]f3 *\5G8遹+/DYMc[((1ظi*泣.Q%߿ Jqw =XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚+60 Icx`@448P ( &hb9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$@X `9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c|N\%0oS jRz%HSȱQ.SJ)I)kxhfߌ۷^'0DHlZoo6͂hfƁ={ٌy*@x wCBC[{ QaΑ%9   0 Hȑ@pWrܶm۶@l۶m[-jZUU=EUUWUTEU3uJ37HHhB d.9o Ln/طo>55yMkh<5X,_Y22*ʤIeL*dc8Ʊlƶ0c۶m6mlc[-2-1󻝎vvrDsn 8(!$?7ӷo7} 8x4ӤMcmdlK"ٲ$˲eYȑ=@#j`bq5e]64n4F"8kⰦEְXbMd/ovf"y?p>wbs8vjgءEi~TX@`B E($id,$nIȌܥK98XDA$;ȲD va/k ; ,BhBw߶o߾%֮۶m۶m۶ mb7y, l hV>!B¡!t{Xb[ vmьtF_8Z׊A gdcKX+ wYBaYڎJ fڠkH_yZ!ƽK.7T}]`m} ˍg $9I~ iaԪ0V89 xܦK*Hi֚?q[WPa\4r.[X;X(v񏥀C caxuGT>!BcgY2&6,; 㬖L,\{cA{U1 3'ۗ!sTH9-w%"A\[tQr1,caW= =Y-NYX^`ӢvyCI08>*F|3z$sri08ds4W$߭ۺ{Gs3Fa+:{7+;~Ѫ͕Z˴[ PIVn(!)>#7I<0 gPQPq7\!K̛\sWJ$|C 4,2c+"wW *f{pY8tF, ČGDTUx9k?u$#777'Jf\~3=D~ @U"OxYG^Wc^aq  }}+Pͭ$q}LQYʁU* C,&i2U̔\7fY# caϐx-0dg|>dD2#D `% `]_=Tp92ez_&C5۱P@/h63fdR$閼7v[+{^h''~@w)2tߜHN} m±)7^rDR:LDڍwk{R$[Z`HnY/I-[خ=1Q/x)`¡d@"ã0"SN*js ){g7S 3LǼ)oS&筊W rڪ5`3U4 9qdu9 -jXg1MpR*)R-K)t) ΤkqPvnJ}O1OiNSV|) \kKųy;t<suR%lPr\Zqtj]L xAEu M4;Mf(T-b 35_Jf2) J1“:i\HVpQLlX!p~o9 ,8n>Ls>ΙE lZẔAGJ^_k#' JQsXO/ա=( Z11>8CëKGk<ߠ Q%TuؕwzӇFWa.4.(=gj&~* e,r94<5Ct$OL,@B-K9c 9=kxѰH]X` z4͏"#M7Ez-D/Jy! |]~>\=UhmB]k$l|8tG ^K+䄡.Lt< BQNs)UuI h f'%1'߷lǼ X6]֧,cf0RAE,n*ιc7V^8cߧN:X0GO:(!!A #A[N!3[9% ތS.8ӬnvnYI*,溻ܳ:;堅V0܈$f^ ;2Qn20UcLf)`RmHỷp1vf^Iwϕ@+9 IZ3MhX۱+Ef u~U$6PlQF~ =Vb2{!:"k?}N$Ҹf. 0>K(*>TQ\˟S%ajCS}-<ԽCS-xV%u"nj_7*yb* @ׄk-Rx};yW{‹/O?(ql{ԚdQFak<ׁ5#'vS"/]i^SH3:Ҫ#etb&/TQ&Pߙ~ئNg-es8T +2K$i9%k-,(~9Jzq٠+Yt@2Ǽτ(Y+j5\W=)|ۧiWD`Buuza7ܠ UA<o(c@̻OLxP)ڄ瀎wHQ/:1 Ҩxm* zz)]6ZpV ɀZx?>%<4? XhOSZrswwV "&g`+|J$D>_-G\g-$$)3ypDTCd(T2'\Gw6)YB r0LAU"vn޺-x?iGnFdŌ&cl*34QθlH5r?f&w_ DƝSqW8k^W{T"oⲥ0Rak 6㒋P/q,R) BNVNb{u+)GCEGawH X'#Uy_f NWd~%|{2TZ=k"(t9uWdGu,cP`~į{,uA *!Ȭ!qON't*']+'[!=UrdW/jV"iZ,dN\E*D)xjK~T=no,BB6A+!ٗ(׃ u "D+AǚvAK] nPyEpu g6+ BQm l$>v/(Ǵg= >P7!Qc"hz{4MøA}=#VRl+ng^{lO/<^﷌"@A쇓8PN*9|Kb+e410´k$l3Py䲕DhWveKe"TJS :9vp~`~y~ k?tO^SCX%ΏH8|>V6B߼"T4ԁwMľ0nHas~8^;Nc96SQ >L=ҤYFJECڼ(Cڄ(0σ 9}C|hSF@QC2]llm9XX\/}!HIDDg;5q'k`|a@A".qՙ4PYNHP!.f^ KlM͚*:a pcWヺX+ݾ#,ny`=ͼ#2ҸIǛ*2>-:ƬP 7n([ S2W.Y)q17p1dpP &$=N>ɚS5~'e 09vBN76cRyòDmYt03pkm9ɥi6#@|MNpΠ9#%{aE?R4؟)!ˋ.gv.g01BD1I(vw]i?9WEoyKY^1"mOSzl,Qd"|E,DhL.nY,5 qψWj."'Ϝ O&,B5U U=!_T p'-kcg%+H(N=׻!Kr+,\ FTI X fH}ϩjx#S R~V{ x;xĐ1P$I̖]*@cziW2'NHE!GRAG*`>.oÆ;Ɵ@yp2w~]&^6w_8#婟sS=\K4׏c/`KS7~ȲFl>=M+4 ZxMiGkkc/^ɎݦBEרbnP[&k' =+rB)̖Bq@e^<5E+ tMX"g(Ati) D`"͗ v ,`JLfiˈF 3$^vH+CvC72mN٥1=G6;xli{-9(E2K}̱\EdY9 `B;)3آX|9с!EG:SNQLh(9-# bл' oLOp _\I%\rڢ%d4Ϗ|*7l%Yp F Lc\2#It;>%A:IO@ B]OnQKJ ,ƈhC91\.ɿ ],Y +I$9tq[[n ¿w3|RnM鯟m,^ğ24ċ9[eS7/KMaT.*ASf?g\HiA%K$| ("]VRi:d MWF'{k8z8 NǃhSr:X%2Mz3srƷR5,E&E&r)ƧFr<`Bar9*VA1"d2מ1b!ʑy=)c@LIi׽!RU$_tv"O4.0irLz*8UHeSV8B aj̊@DX IutKƖq0ؤ9W\\򥚤 f Ժ96}s%nYRz]k UO$eY')4.|L/Jv~>`.Em3)/o1ṡm 7t8RNN򦽖u@bֺ;t©͈:+_J'ۈ$0@05 fEPP@ޞ+KyK.Q(_+1xMLbW]er 8Ňlt|\sٿ'k2@wȧ `| ѻJ 4K&hnR^t,M YY-1#44U+jbHQ]gʒUm# iHTR4LB-iùo=aZ\\ein;@ɢu?;@fǖz#bm7fr_hO[_!_"vȞBY&"C2چ5w1+rr41JGyVFԄ^y 8hOWB@X4-(M /Q*1#͐$ U- 5vTk6+Dj5J0p£h22Cj~QТ--j&XnN8A y7y$"ز\Km8 /_wk'И 0~.#`Lj,T(vld+a;!gys.AQfW6m>fqS7x0s:.H,>-Dv%oF~ ="kOwr K/\c52$Sc'OoXwh3M7TxP,)1#œ̳1H>^S߯OO>@0!r"`HP° F S%́&ߝiו=()]vqrb:NP7)hmHx{So=Ez/YA{ ]] P(@0{~QX=z1r`.P 4{ (q$xɧ7ư? 61NxL< E&ͼ2K j!zμ !@_X[hG|+3u`]ef4F Н cש<o-(Kzty tt'Zxӕ$zm:9=(stVOg[2z}*ŒyJ;yK);}@%9môcf 0r.X'9}$Ey{7C ũB ]hU" 5E捄y-/ gSSi;ą9ϡmݙܙ]L6Q 8\ήZ,w|rY aAK )ΰrh$!35B]AP K<6Op[ۖ#a5}Dkl$=G7lPGD @$VLra*R9VYks?5oQ4=C7GqΚEDx%8xODSZRA\HhsqHGII" Oc>3H͓hu"SŖ=ex$!ɞ ?'HoJaHsDq 2EoulAJDq XSOv kul6 2)c9;y'[f&S]B%E$%ӊ1_iV1͗kbT:GB*wܾܲ|LM*]Т^Y Sx=O-胡l{[!rՔﻄ"GczoMy!r꠴,=+~q:rH\зsfQ#soDZ1/>e1$×Yp͚ͪD? = m ^yͣ-B K/VWNst|ʙt°SJ6P&2 }~ڭNto|# q_o?CAFP/dSk[{Yh kcٖDb-)j1nU6y=s$~mg-\XY<33/lkQ:MXE?cp6So}%Ri=8@g0F˛0bsFlC @J)Jl%hOUU8nv?u~4/Ǖj*xa^C7g'x(MMO6 㪒0 6!4Hc]w{s Jӛ$xҋ,9ɊX"TG.7*!ӈ5;ݡWx.? hfjOԣRU#3kMxr©RV3l4?ٔ:rx_ m#qt(O!ξ_Nӓ 괯U71 *YazѨw%-'UFcS3 ML/*tV(I@¡ά*]ﷃffoXm3/)$jmn>sjA*_'yE63AK6tR7@"# _ٞ7J'yJN  SV٤>Ar pg4޶**4g߰oQ*ޔwŕ3r/ jV)YsWWH#/uVzKϋ{U ) " o%@xbeo)%Haz!@o9pu?ekR@X--mZq0 Df3BśX͖xZFmK41.eR4%j~B% 󲥶XbF,Q\0DPpI;+ăPḻjZ%V3Z;Z iUVfղZVj9ZâV֚m-(H8,*j{TTRӶ.( uԅCC%,8TѠ`Jm.\6Ӽ3jchN۶mͳi^8ǃP|ZNϦBᨵjV!HrVM8,gVά\rQnQN91Q>)&@,qN&e,vE'M9ݝ|W'x,Wɵ[4YMi)(&rMx%|gVr\UUXxur$Seydy>#NMyrrd7ɉrʹrJN㣌m|f"&K9,2LgryH^o,7sdDr,gfb>'&aYEfhVEv zvx}fƚun]W8SU <}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y5[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`9J!P EP"N+R5y76v{5g^(.hE-$iIfK<ҽG{p";^BxJQUvwbIG'\H/}$716qo'"I!reAɂ W켅Hr> C}K( ͤ=ϱ6L<4gֆ9"7Ē9Ǖ̆MϿ-?yԀa/H1$`܉n(ZV9!]i vfe(Epȹ_dsI$CR!F6X>G~R[I4@?fڮg|c$}Z);,ΐ1mvzP1鎨?('_xtZ!* ?;dPyac/wY^'+7=AF+)Tear|AjZwY0pxGȘ7q)Ґ]V0ax')]J_w6H -TY!QlLd_GP ,`2Ƚh0k4ԉXJ ͑ v,p(ڣ{%Ʌ7MKk2PΘn,wj$rǟ[[9*x:"xnþcs4;wF~QĄ><$W<ʀ;u"VN ѢcQmjM}8贝l^Q?7"I+bx)NyJ9P{c(e)zjҌT[5ӑ!CbamwG,fuo0~1I^\ÿ H C!vo4~wu<4b3+b>#Zc uޜT_j~ h2d$0cM%IսhG&ؤ[YXBTAgxkRzw#Q\HELd <9at'=^WfijaQ Zf/WEAש6A55xkޔ #H2D2$B''$SL%^,>l&똂Ϋ@za3a h{g6Ș=h7܌\%A*dxMpSNR "PGNճv~WkHb 4 6{-ŵ{‑D)}+$pٺPZe `$@ʝUnj;`5Ua,6FŞg81l0m)^ W \C$`i Gl3΋q#&(38.VOh9U1U|0KG朔eF7c D@(B(.@´}t!TO?$$^v[o:T8n<d4ܰm79҅JF殪`pewgY*Wv_r?ZM2O،P ̳ց#/ZZWXĜM-W~fW܀)W@njR2t0yUiS%V?'LPuK͓IyaIC!4[^* KK`Z1ڒL}D[ ?2 6XV'&8\gV5ԃeQ/jES]xd> A'dLڊHA.ܶ -u?#-Ng Xa{6ᘉN䯄|8zZ9TJ$s`?ksS=繟%G%gtg tú<ѷ J`" ƺ}|0n[7 ɫ^. h"Hbh3,g؆Uz@03|)(ht!9g)݃ߞ Xa۵j5[i+^ oL@YFE^?Id_ vQ/5^? :Ha[ (ܞ?Dѐ=k7$#[+=9<2ѸוhRm*st!@+Qa" 2 T_*pF}|Q7;Dl^ӉPeNA< "i}(F'8;x> [v(>{`STL]YLۮmf5wF&t;M-*gl(]ϻGvgMt@]t%@I_KS/kqtrqvLbb[': >DF#4}"dmQw )%Zד?^:gxաs#UY ODPsn0YмXO71/(nsɑO > k4t3埧ˆ186pti`2GBވ Dmm377 # Mz-3:O$٨1<WYTf=:7"d ,eOPP}=`7~M'٪cL,}_)+4Ȫ]Z~Bx2*XZkcPZ]/ȿK )`ͫ 6elF}˳bGxl㼹-Cf#3as!zՈ5N-3{ұbZEEnU,?\JX-׬}ku/^%0^Fj~$8#"B\_tMft$'~L|utqsk~eZr*Q_LHO=-8zl72~ ٕIdKAOWKL&^3Ыcع`bo|,FHz7m4I'lOx"QƂM4#'GgÎsxaLѹ4hX0ڻfэl1hs>eJw˃#0&5^o)}{7|v 3[pMP R!̩*qHq }&)?^:\BBWq:E:W&i|k ;Sd}2pɪ0O %>0GZT ՝Ǯ]ueVz{w/4UH f,6)~/(dÁX r_]"E/yKⱢc`E݄(6h7N~u3w69g,`&_P& k]QS‚Q5iX`Xqw͝w:SXaa @nLso#206( 7++n<$ 5'G@yy Q35c;>"L"G)-WǙXoS1rfy"k`ˠ6<*<'opk*^dKv)2!^mo/Q)>17I{x{Vu [zo^' ϥ:lt4|$|< su[xNnXsͧvcRc<$bn4ܻ')tW+-Dze±v0oJvf"~>I.>Xm=0v+ h!~&T ,+["*/{\0>RB~P .k>#6Ayz{Qj6P䣂 y?QY-f "@wKl5CPߚ6MS Ci ̍p$d< 6|Q̵lhtJ/ϰAtq-}ߤ6JDyΥk8854+1bWLd\DxRz {)FO;m0EE`cjf"*K:u74BjfAp43}h&8_&}DRg(!seErVE F8yL(~oˠԖ^H^15aA åzi,.3}J %uvBw[^<\}Wxs 4@oOuŽϟdEِ dKA "Ǽ$"̡cBwXpV2^%=P@LP=c*0],;rb*F\ģxɪkߐNi"P u}9xIT!z8'JwuW,-Yb%{n-Jw-%ܑ"K*n">>hy1άmb[ȷhU٪Bon S+#btY=&6Dͭ_`c`[ 4OKgU"8AzEb:Jx{rRNa6.UAYCF4 3{| Цw* ~ jMvA?숖ژojvcD~g7G B0ΰR|RKjQ.lCƞ0?Fxv)bW |paс%1 z KU &f{֝ [@jo h:G2ݦx Lf:dR) J ,Va3xu _=Pe! Lj h IW:n` zޓ",0 EDiIP5tG{vH ̺Xÿ (.=al``L%?_.`T0 pp^_Yc#(bTe7&:@|F'?h72?}\J#.<7g~MPf.^rMT`"Ug^"lE2,c??[ bS"3>&#8(C9 _(4pf&sK̉͆ҫ^)=է:0Z‒bbj$%;.Y7}^p#K?NTDǢw >> 4F~&JI,U!;p]Ұ!W|W9pl8j4iWqzx\@XX]Za~}&>]`2d: 9Y^MBNǰLpA҃p* *UYXyAZ)d(jkQ){Y'7 C)L1],`A?>9 q߼UejBwgօݏVx[Ȥg?Xu[9YYBT3͂.8oMD ;0~ʷRr쳲8NPsլ ٦edN$<ƠM.Q`;6]c?E_|g~Okp/j8\SfV%}y J5}˪btw}]e%0哉qћE X$pz>mZׂӢz/7 N$bQ5݌W. {w50 c =Ci8Τ=28وDV61lvT-F& A5|88"2 LW/"_)͎gO 65'p0Z*5C Zڱ_bW̳'s6>&e;n$Io EU Z߄Zd҇á*! P>^σߴw|j'®#?#R 'C-[ 9 $)0U`m~B*w~;(gY͘!?,x}dXɵZJX@\P|>Z 30'^mxHXBI#͂~I5DݸP@"Ӭ4o<1W84:QE.Ea,taT7 Me0FGgֺ3ܐ^pW*ݑmyBjgx-ː(Ttl [$>Űc7Kp #(ᦳ>!$X[?7w b~.Pͣ0pVlPWMۭ=2/IVl["H8q,5%3LG&C,]v :Enă_H"`G-g؝$蛣hqxLG.&R ljh ؖ4'{0)`?ٗ;1׫U.wXǓ ' 3C q8{yr=c w5®9.LS9>qy(bt8{kYP.;?AUsGE ܀{)]g P9l*bh"zFԭFx)7 ;&C;$\,_08u7dq&umʢ  RE:"̛$~[1ƳC9g7Kzw;%OY(4g,uS#HZ SǴW5:)HNc~_*X8oK*K~B4B WqHgHĘ@FFZ+3Yopw@w}{Q#c۳2j<4azx6N X@خfx A|qyhSLp!D;e6Tw*LuԌz5 0t|Q$F,HQ 6rD2!@^ :qMW)d2tW\==M@Z'O;Ij'{7TsCd6t`ebc(B'b7b~hY7]l&(sfV3Ox '@ E'&’FC;?p!/dSf!9?8p1xh4Mf &P6jIaQy\8$] xMOOD .,H $?v5WQshZi}kS?V=8 r)7]}ij3n'O[}$`UK g)rQU`>WE0ow;ߦ2SFz<2){1C`G?y޷`FZ i`索 4S[50Q9_ v97[!Mxb|2[%ܤSp6J&80£Sux1D]k1 e9 ×%" ?:x+7>7/K5cF>XB[Fuכ }R#-rl-~{ZS?ٶ}A9P(!Bh|H\TTRCY|,Ja8b?&,"5(!> ,A*+r9L?@ht6BiHEL <6H%><oq{zY;m5yaQ)@L>8P:oSWA6_kU= B)ܤ+~ zuhЌq**\0kZY=H z톽 SZ0k1;Q*֔zTbd)@!agĩV&(* qxtVO%>F>eυ8DBXSoarek7 , ?KB._($o@]|I]nF)e c7.YSt_&"%ih_߸5+y1;52[(c"E#~ OB`לGӴeTjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JbQA֩" |ƛICXsj/~'ưٙ'C-7WVG ǤN):wqpCiָ.?Kz:]sfwĠq 9<:X{D/0# uJ %Zl2_ERKz}h`Gd(Q6p~?injazS|1 #$gH;su0k(\Ά{"+&rey)j " _xB̬# t!TBV]jUR0M#O|'pq Vm! o<_yy53$<ۅL:!W{p0oi$\eׄʺ߯Z<>lHK`yxIH}Tv-m1|BT+5z A}18~‘g"Lr <=ʖ 6{Y}՞Eg5sQZ}t0 4XKsCCKB>JPc EDՓI\ԵRv ҵeU;0vYeFK)mɞeA4%>6Œ0AI, ȋ۫m0j w%׏ċ`|vPyW:_-KJW#ڻ۝C+n`F@Jmx a{,j|ȰZ}=zi(YW ;-bmp0+ >ۀ;kϏw 3A!h ,$\ @񄉛cݷ.Q 9~(R드M4/!Mx*"pԥ ڃ-MIX $m!VNs%}Se2l֑x[Tή7ldrd5mo>ϯx]~/xŀjz 54$t_⿾^!M1p|9SX-=bpG.8tƶ4b̌/r$Ts)"{׫" hO ^V{]WM=t={˒VElx UhKly4'ȃH-ٲ2ʈTh_wj?4K|(k~CG-~xc3Cdi 7^%16N[TD&"R2{Zk@ arQI PRigAT"{8{׋Eڜ$+5YN!]2MwB =y@lZ.S)Z0|LS BrKmk1j;Nagc_Wa6:Z TkUYw^#~o+xv(!AjJ!!l.Bwr{UYZt-pB,íg 0=-ۍA?!{ԨM9'8Q +bGR.=;)MXi3@JdAa,K {# g0U|\x-DPpC`ygD8q@ـ@(Ί^FY8Ag$szK";G3"&(woHq$8nDh& gO)VV[.;Zpc S+#b䢅p0\xf8旹{V8)d!,H!$"wv#TD*49!6}Wtnh ORU+CoQ!g4Q4f  עإ (eeu_}ws2䚉"@}g5qφ4G¶,6+ W"4.jtQ۰Gw8wݻ U[+4!녔(. RTT247ndQ(lpZC֛D*Br,|Jt$wqlwwUC̀]W$MN/]h4g ل%@پF[Pڻc}m5^ 9>"rFGb7 r"*KC,@϶_mZ*:1`BC:$^+p_i4]XX7чb oT΂{E2tͥk+$͵m=)@5)ͫWJ]ɥI@b̭5#m'.YBJTznλB&GU=~r(IEݰոYaR|P4`4s";qNX 6L5Ojs2\; 6a{aTzL1uf1z-8qlUCnCcp~Wp. _!r#@ɴuC2D7e Ӓfm?_9n6_XmT] D9mY+VH*sТUO^阣*0a8|w$dV֪ jުxRPR\3-L7-]w;( Bi@u͒֙1:ܲq}-a@!Icl-)wZuA;GE^x#yVuS[!Xw%@ÂOB(M="Yq(b0WatH w@Vs/b8Cd(-.ɈE82 \|ojkf*q? '̹IYMk Ab[.ynNacn .8%q4;^$whkN8'\[<嫺-vhkahxo`_%E;O06yTV@\frUf a&0u?lFOX=g1+so ʪj Q0"&t4t Ҝ#Ҙ2:ql[I,H-Jx[ԚQGYro2)cC1֖m_bQsŬ_xYeFAP8w#O" [4HS[Ȱc)8N†?rm 2r\c\Xk'P&@*G*o+.$cCZ21sE $Γ-xb} ZhIAD JtLql%Q4J,ѨMUm幵Pљ>O IbT %}TOV ]\|ւ_ #`k6E HPg)- Hԏ8: J LMw|_Ʌ BPCAX[L&|1J+¦ ӟqEަ%8^KJ¼Qm7\ v6Ѻ87ok}d.i6H.I4U  s-4 eb%8g=TVP{) 6i(1`r_3P,g(5?FO8Z[qB곽Aek9NXe-;,$MDeM8> sZrFǯ"#ݫP8G* UDb<-(V~ǐeԧ(6AQxz+\;蕢L`UQ=]j1\[]߾`aWCQZߓ."J5F ![G0o I2ԊaŢI\ ;>71LVĘmFq¶[ccFmuUZ }Un)AM;z`UL9B)l̻7.bOop+ ^'_B`,u$wUdvmo>G]6Se?]g^;]c Ry &TP_o<ø",^c!V-m Zu@0P9ol,?N2 Qm&:rh:W^U *CÿL2b&[ET͝yq?E]GF8_]YۥW Y|ok x~Յ?D *'$KY(% gD#Ha&S l`/YQD [0鋪1D=A:PjnpJl5CH8Rܭkevؤs_-"PQo۟7=V6֌oWMjø|4Dȯ"7Z=!x6rٹg`͢!?\+>}'jo:*%V=u~ ')~ wAsLCŃ iy-Ty[3'>\D)AYe%ȘfG6<=; I5ؽ2LfèD8q4p1Fs-Lx" ݐYWR6pAE0` V)w2{ݠ$k83X/Q=l^5@DŽR *@6qW9Hv=:>&[5G`.!`,m4X;6 != 0`DiTkʹxJ\-A؟LT TyedOvtU]igCV d}u[ρ%ȣ*wܶ焕TEMZѩ_i,x2wx!uS~$Kolw@SCXWtvTZ:chnb q,Ze ܂qω uդHY|@Pʆ◕Àn E #VoxсIGds5D(FAa~(~0^ x#Nǰדh8_૾-X[Pr y3jal0ʎOk#"hxnI֓[Blȹ[8)q [ h;mG|K9:{. zbuLu= D:rӡ'Uf›oN0?Q-lL<=%, -k 54+08+ۣQUzVD~d!m=_/A#pJ:A%_XB`q+ϻk_|C92HF`yQ+ \{,ou- PO jb%x `Uᷴdmh@fT`crU_#LT {;o-k`t_ap/?op(b>WY/`)ѭ \U̵0o}u мC;֏X iVclEU-kkm|5]ӳ c/ʼnj+#Rhy!DSO )@K4RO)TdFrr "O99/&V%@y{3W't<ܴ|718- PnQ*׷~Ѧf h6c~A{j.}@`NSٖ6zbTgĴaYq/MpV#|HJ^K@4d; 7*2pfg6hYv骡X6q)OP| 9 e*J en% /ޤ.QIآu1ץ!4hkum« !2 / tlEG jFJ+fpM]pN¡SW@8^f/ imMX lz,Itw){,$0TA9C *:SJ|^F k-`g MAB,3˃,`/0T D[uTaע[Cܮ9G#5Etyixzsqo>g9Ff_>(Ĕ~kBΐsAڈ$щKUXKPx'0c2&/79M ыM>ԟ&1by,7wY1)%22 nwO>(7)b_ƴ!=}w|ʅ-,boMmcGOD? t4^3)O˽2ouW^ )m!=Fė3$~m{>`3d3 6SLx(JXMITrw/J0e)mV6D%9:Nr\I[cy@DY:\W~mo{B̗!9tUCFG٭:i"^!ɻp) Mli"%1vco4Q8MG/LQ V=G[< T0Ǡ* bwZu+k6v< 0vL0 Xhi` \V!8aa{kIƐQq{118a =F(}vH ;umqFG} VYTJocmMK2C>l7e'T>~CLtvI/1hޕ]W[$|ٙ eЛ U :Y/ch8VRqXr*q6i :ys.]0 ̞YCc9bspw{ԋ0mA3gi"/krbEx-6]LauIjqȟ`q ",aU0m.!YB }AH ,yK9F f \՞_-H8'+םOQK#s%`,S`5B8S12@; {+5qD$>m2+U[Ըvx^n_rO(@X۬^í: Jta׾G6R jg+a mb6+u+$Zvu4\M!80s`Zꛓ\좯PEȒnxƴ, Ƿ}96B3:I8IgB'_NDH!= ]{]%+{LYTJ`'bPp۹~bY#L M5LwBɚ{^$kO6Flkg(ɼ"<[3s-_F눨}z| =}0yu;ۥ*fB*Ai6匟>'2b8]ap`zDtSoEq0 Z oj1fSzH`!YvDB :0t`iKħ(@~1òW >">&+FbFL]-GRYr$[!M|+@ofy* A:3ǩf3ł `QWLh8odT+ZQdiA1Y|8W?_Y/3 _T4Zx*Gfs$HA$ŎWTo?Vujf;Lgfq+t[aP9ɂρ:q/Oh {:mΡXEx0(pR CR”&Ɓ XX$+A+ڎd!c}MGlMY!xkFZp+B>x ZgDu81Ǩ$ PC~4`ٵt9ň`21-6le t{<8mdxH'C ӊ!ٟ&86j\ZCC8-C!-QGHȐ_!)B;G ݘȚQFk(dgPZ99zV69ԽB%ewxɶszE;F5hO2H1i=yT#s":gʞT,񏤰>׍3G͚\v]FEJ`==,ڃѯdl,x0έ, ]9xW>ՐsПkc^J[d9wf%Ag(|S?mpT! hŐ5Qj;MR5^dm ֭W:da~,l|UIT% pA,Zp6 d6&J-kT b9yrHަ$B >!Ղ ~˳vu(X +eƦ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"NgIM2(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&!M7-w]b>QOe[O:ehceq f{:_ EV0iϹSL\moHV?@#ˠH2"'ŢMx{ D|.bE_;_ 䓀P佐5eB kBFOe$P* 8^>ypEk׽tsW:w&vٹgۻgߞi`OPup!QcȮ3JHͿSK3?sa¼Vj)JKXDPm4HUw6L݆#|w⒰Vq_(lnv}ʉm7 W}3,6/xEgįq9]fN_MԾ-wKw3(Q;hxåfz]*ݷ\G9/9ʅEo UΓi V¨XA^ kZ#y׼̕Q<R(/ծ`wHG\Dr/q^ݥ² `f=z̴dHL""wzuZF2 K#4.{¶+=m7O%$+L @~@{u#7y1HD6I\a҃tĵtԒ̾럒} ykkUHs!,<0qH"Rݨ)N2xKH)|g-Xp{C&NX?!#4vEpKe'DB7E<:i!E=ɌgAX5kd(O ?ً 6lI"BNEƿ+6.]IU@ƛJqoNљepiL YX)| b$$e*>ȋgIJ0tc jT z+/Ks$%ď 3xAa.DQAhOqkȷp ,N%m02=F2/O{+ Thd ys:(8(`D1NKȤxFsEn?PMU"/T[Z7q`&znsf h< A{ \B't=~kҵ\-%.=Eg@yQĊݜą2DTy*&ž%+_P5<32~ ԏO ׯ+H6p3[գSh~G<$Y:Xr^H2|=Kw݊Ff~}.ʂy':uZG}/fTe mc]IĭYy nTI+&smҷ$n yѪ40} &RfUfTۇSo4r݃ mcs x<73X0x<`)GkCKĊ{[ 5l,1Ӳ+JMPugg2RT_oZ-ᕠ005:pwSY&n;h蟅4+uF:\CX)Ly<$|`ɨV]$!0<@qQ:qr(A|\rv%Q9- ׈mRO[B)2lKkG]RXq AjTB5IcldbBX$\suT@,%G*/'F4 SOc4sAo <1\[XME=}7|1{, _.  pSߪ)}}+snULaZoEyBt6!Sf8y BC,Ń  5n ŦפP> ֯M/ na9d1.Vy Ax'4O xv$B14m$&4 7{.Dٗ0s>$w\oV%55VZ`[&G8* yr1H!ܿD1YS9Q OJrO@bV7,iTW4I 㐬9M. ^c8ZȎԗڝ)/,1ǎ=hJbqg/H ê2M|Y* p,A 6 WMyh^i@eܟk3IIBp 8ܤ87b]qaŚh }l*ͬ*(ݜy9/ue4`2DXy?/xs{v j\h^.Ur;RCT@h~J11Y;cfk=;-y)uzw᭖]i7vo*|4kRs$_\ { 0VS,<:V^]&G<Ż8^M8R,Z9AK^L"^2Gf2,QihxX9ԢퟆM"(`q,(R- 51YMxU1Y&EjXJaj/iU-8 E&N4( WK"l¨lDwTXqE8 ĞF)uBZ"i{\C1ۊMH7\@jUjY(gN_&ǡQ=!$پ!`ukxXE-pXfL\B;o-33t,޶~^e*5{S@׮e8]\cQ#<=er\^ɷH4hLHĐCE+W.(;υStn oCH8429Á߫!`h,U!i/ơKMϕ4_o1c%4F4WS5S11cbb>kz2zJ:UUJjq71(A%brwFFfpDD n ;ojh`xxP¡AFX(ݎ%bPcĠA19U1Rδ63XE"]f@SLߕe2+UU7OY wIyI VTK'MA±hʤ?02i P&2i?iJvo\|V4x]n:vޭ4~gq_EͥhvrU='mS+\8|kՂѢb Vq菫:^{["qr$5tu*IuSE{ȡ (R/HdBOu(@3t+h>7#;+îIU#IRRP4Sh`Fi!qq,P @ 1~/v)͔znbך9^V/pARd[Pp"4` 1&!9!D!LDf;:Gؽ okn,BCf'2)vvVEpcQ|`)7 erFU]䖋vҨ DBIu T0kF}[ʤ\v;pz_-t|ޢ#qfx{<Y{ !n3NIAKvmέ^,r諯4taGP%},2O\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal 65K' hHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/X-a( x@[o 3 ̤Ls şa1s4EkQ;h&\ix9&W4="q}NlqO][z1(b2Nh{gVQܛP[0<5\"@ͣ1 !hHD^X5GYQ8Wx9ӝ W)8qmb40" ^a 'Hx( aqSƒ i giD% Ğ'Z6@^hHI 9)iP`a a#5BM+_׳_0ѿ;&=ђ_J]Wy7 4 DÂC"XHjiaVuTf]kbMwуaq j1K0DJ0̄jy1jdUUU&r-&r*9ەӜ2/=V"=(.v)"<I>)CygЃv'wv`$fQ)LjʣPJk?Zi\!٪0-t_y>8ˌ6F,7|jn2=K[Il.]gmgifu3`!|$pi@9;E %f?n}Mϰcu_Mt.="!ׇ`Mb ϱ=y_lIt7wS ~ HZ`\xtr )M--&Kk>ªUmc8~kZlҵsrsoƌ!C W3 FuN}Xz0=W[TůE( =iUS3)sl{=I@(8vp^R̴P>dz}Hj"-s 2Ssѕ VPPK^B!C׊hp(]|buzs8$4gäSz]:|~yLSiꑃmnd 8/|jB؎ƃ q'r?#3(#xH<*EIS3jlj|K|[)3L5O!w?o y\(hMfs^w]%I.ȃ 𵲜jvjU.whʅ mbAC8w U))(j;_zyqK4# cNِ7 t8&XQ8H` L1&&/ =C"/ꭔkuOj<a:6f .bBT;y>H u,@9O (<í w p#K)bB{h[Ntݨf1Sb@ |d 1-@dcTR?x$ZEx=E?w9ڰC础LstS[[U/Z*AOk kN .m BXUN -RnDW-D"z`'˥"הx3쮩r~x˷ Qq_%Q:^ yNUst4{d -?P >-qXeX2uP~1AYzw̌N0.jdЋeÆAb[7iY2- td-y.! cKY}UctfD+4e3L%]"`2[x,ML5.k҃ґd0 ' GspKe~!}-3c;筮1?s`j|2u^~5TfPE0LZe]-Z@a}nt#䳞`|!=#(5Jӛmj N !3 JR ^W +~t.lc lWdWּ,a9HCЋ`y+ݴK8Ő<ȗ |Nha~)k׃k,P^m ;.g@<"ٌgmXzLQ."dkTN@Jfn4)Djrs%!ގ  ƶXᲶ*̸la2%GNB@KaC9Uޣ/lL4+$gs0yJ g!aVbjP ;!UEݍKr=Dڈ QHKPM)&־6Bѵz=P> ,ۗJ |Z|_Y6s;k`=z*b"p# ,r$rwna{2>v),QtC:Uj<~|@ GԨPl:Y%'l,q4 א2e{%Qբ'KbpiD?1(!IG~PŤxq*(Yss Q0k~QGLGs n8"'=!YHCBcS 2 " ?ܶ>,u1ӻW҅e"P2xr<}Q8W}P}Ů8L.{ W( =:0deV5vՇl6 v\)3oՖ/,bo{Vm<{ .b6rA.20Pu}t*{`F|r 6w+ 3Bd_E!y[93&<~0X*<0UW4~@n_(;OyYvlB?J8u/d((1pѸ%tfxsQ;$(0"aqrY0,Ļl"p@jϛXp#\h1xJm{ cTh٩ienQgygxmHF$'S R0Z{D; 0q@ޯk kkP|DfzX4r&,Ё'CM&r1I˗Cᴾ;~!cAq*PIEzN!rM|cRhqhldkRvwNc-Kl0 "(ZNT큏B> p9igE /!{?_fWC)ڿ,U `o;lk펏2+`dJI&{C( &[i۲mY$I$ImpODəvK~tO4= 4+7npHK-RXR*ŠB)Ia)),mCn[Y\UUUUUUUUҿDrQ.J(Q\mP0B"\D[3p@`9x|fp<^Dۑ4`p<`p<ړ669fŬmRVڶmRDDD(B$Ir$gfffffffffmmfDDDDDDJDjtO[s);vUUUUUUUUȶm۶msj?m#gNOIp;=H  $@@@U@@1A@Ł{6Q' .8z"əmaQQᘠ ÁA ".tɶŬ]~"%?M6/n2UGd&g)%gf:#B n37F1j6pXBX1%.eXꪔ W'g8ӫfKz[]v{3pPvUn%=!1HO[lOrK"#6˙o7?IvkHI6l""۶mڶm&'*ڪ_vKvj?m$7]ĬOt-MuT|e  8 DQ  8@0H<$8@$H`0(00H( C3(،| M6 J>*wBߑAa=N91᩼v?N<ʐvlje mo?]|E.C}qRcQ3Y3mr[+.n8IBm?)<95٣`_:y3D0XWyޕ؊\ȉeZMMیX{!EQ6UNח? VL\ e{$z(l s⅚ʅ8M5<rS9޲>'rφ_pf{lxs*~q7#Cj]Þ[,+svU1+׼1q9s yMVaJ4N%?e?Us{71:=r44IښmpEmmϹ. ԯ;ƴb`{Y19,` XFޢu  ǙA7o=n[ӧ!aFsgt!6|r)ΒcF`A sυUw*́6ȶe.YoI| icəbڹȿd=D~58:3xG|)*"eq׀p@vi$kF do2i 4yȫۂqW9Jb}Ѷ޻-qCr`\[@*h̻YxG*u lk94 ♰F=G1\P?iqq)): U'W ARs}&s'HfnY s% B.3"Fm".W!ȁr994nG$ӻ&}[HE2L+v< R`c@qv}nxCሉ?-~ɡJ(c"H:IpuI`UF{'I #mJjѱx af 7X8> NO03Ov Dg\$UK'~Y]kCPr$]q O1ؿ\PAr Mk@B[dSen.57漥?K!v=  r]hQOJ>22wL$$w:/_!H*E2˘X Z_`S0B I ecᵶݰM'h0Cfv)DҚD6K#,JՕү|Pt<ɠ(ݤ&YZ ?_gb &2ЯwM® $7E}`0w@*l?_Vn|]`BH35VhIIn黾tcxdyMy[,cé+ @sgp|9a0|5+g.-77sbemG鸫ܡ.Lb'hBfp;Yh[~}O&fQ{VVi\ܔn&vWDgJ]6̸ኂ<[j]b{΄(lD>XYJ__Ntc@ʏy3wci*f>h`(u"vS{8,W셜L}Pggvnf]g]W LFi0m[w Z;*} VFD><BbSS ~mz M~4x?AEQfbEHf0 'NةTK^z!NHb"$,xy,[1tcח1}/$n4A0T|n^hKT>U6oZfк|EPtSјE+$cpWXa]+ǂ &B@)+ rs,nz[5_X `xJd Hx).N=EnG5(=_ab6NمA[‚4%eeAIb_tNc),nS69T@]:QwM2ƥ~{l..QÉ5יE{eְR!/5ςyqy0Bqps=VZBn(I9EcO2iF̻[N/hԍ(n#-PB=n h& ܘLbiH} 6\`I?d$5w]3Uo!ܴѹͭD_EEm[PwwgCm*{{zQ(ކgmفd<kXWFSLj䊫{t[͔Z͒ѤcbuoBjL 7_E702wUo6=n#j_twm3?;(n*B=ϱͿjktAe.8ُR(ϙy]~'mHTVFGCqv$Aon# 7W=r?%}@m*Ĝ}iS9 & v"O.&zeyЀ1.X {|~g2ulG/gWy<_ c_ўlgvt#9vFQibU3w"~ JRQ|+~3,#&V؝&XsAjG=뛋G{ߦHhs֏ !La5%$6jF9->e|&ԑ؍"R s}-%ave:h3bQ@;WNwu(m۬A~5qkрڊ6g y.bwIVVxyh1/N_k/Q/dBu ܶpM`l]}%o,;0sEj@"K9)vQ`gbTbtd>C6r I[ehHK cKm tydpܕ}4H-<+&M!E)u+KT( @X*ŻLY ;3$P&J=X]( 0^zxa Yv:FM7!XNRO44FO.naH~NM;!)o4@L'vL8 `z9in%0Z/(-1^ІV`86P5cԛ[h+S~ޠԌn)3YTⶁ+PGxؠg0Wѐe/A=uHФoKJ_L6٬@4W:)D{D7,5uP'$}Pr%/Cwɔ=Tb>LP%fRvvuBMķPRB)C]]J>!r6/ ;GlFyh ^ q˗ivM{f'6xtYHZ^{H\ft)Zf`D@?GUJq8M|O_xlж,:S$ `k 9@߾BYEx2wZ FIcl$gIDvKnf%CB4gf@BH b2{r1[4`C_  JEU )$ x!" [3ȐM( D  Q5m"EÃA AtfHcݒ3&#(4X0,-naB$iҤI&I.It%I$]$I?f,Bi("i 3vfff3cݎrn!يԌD,m -oƛıv۶m۶mے$Ir柽vf6ۑ3(2IcV7Lib/5Mbo9m"Yvkrf6!l6I~lI۶m۶mvJ۶m۶-I$I$Il۶}۶m$I$IfKrF߶Z3D&qC3% R!D  $$o%gIDnMrfDxvp{vсT" *rI$IXi1c1cmf"mMmfk,Yے3#˒$I$I~j5Bvne˒3Hݒ܌6T=M@0$y    0 .= } Sg Ihi(8{ZAx j)δ C9tJ=3beubJL%ts 'XK-|Pf ҋUP;qn9daXa@kG MVA%Q 1s/:Թ1C=j3eV=ɯ(*>`4%–P#NAjTࠟ+IYVV2n-.3=6Sٕ4K8֘CTOȥBct7}de3e1PMo!5=ؑs)ytMB_ظ*UJ3먣_gHK!ʴȴ_AIH.-ai(i-˦C-ZN: S꫐ }&>=M羌J[_բ|Sŵ DΣV讖e 6zSEO,dyL zBDX owǏ*[JͤJf~wS&/SFfyNcqU)֙!9zBC.r(!6L)կ+Trc+gN*:sVZqXa4c!*?]b1_y 04{qyY蛪5&A.21+x'pR!iD;\wiSaZ~Ӓɗ-O֚i]a3h9ia_E,],$J6ni#F93K޴H)o9FXΜ~۰X Uwn<تrF䪐9OW'M<=:[߁*]u7.RKɁXNs**JK'BUZ+(KUBݢW ZAѡJP TepZG#jzJ%I֭&>H`֯[/'j/RnЭ\->AR2Ĩt2|`Mg6˖+ml*r%k\r1Ծ+U\TQ̪WɢgZWUWM(.i,;94UZ ס5wjiE~ɵ+Ⱦ 0$lU6x]Z'XG`qً)TvSDگD8V`XcRHs2;>j{> zv{˯;YO}*iAgmDX0M8Sj> Xa"{uenT^X]$A[WQqg[B^%HCJPk}vY+:m-P r z]ޅ"Aޏ:)pe2K^#7,_R"[PW&Q[g"ZwѰmFl?y&Z>aO&iĎL?R؛b(B|//TRC&JLbHi{i=/mm6-~%]?|:tjqm*a:fn\q̈+W J5Eu:kMMSIں 7*O^-^bPʌ-Bb!>c ,9,6{{w03%M3O{0rQ5tT].*\J?,UK|kJۡG%ydi=m7OcV-? it5؎RegɁWB#QpX^)>L^] RO_f^RP 3 [;w~ %6svCBo-P#R e[D׉.jk/l܈ <6L!ͦ@[nO ɴnVOIP7UښKiVKL*ŵ>c />MI fյU弻&= Ucw7.o7%h*9+:٪bk*ݗx\ܡGeJ[nArfȀءW0}:;lm08F]@vO/B{sYr; HCvp΃,6$gF2JS >7CbryS8Op(L0ujfkVV􃒅@ VR'bA<qYf6IJt?yBe/Iae=RX+h;o ςo~\< Jq`tX7|P! N<|@Tiړ #:FofвSμK0sCKbhXr@Y\ԧևLf}Z=} Ѡ1y LY Kkk* _X5u,n(˸,%uˆ?=qbe)O!\,V60f2.At,SOHz]g'0lXG'.DH2\3/ =%^D@ @5 }أ nGUa|K'Ӄ+x5+`c=&@N7ZxI­n˂=t*XL|,]DtqH ΁qJdaQvB&>czwsd<&opiA$m*(x݀@#w}s6&&^Q,ѹMpS#}qٚ*'3+5in rl{2\+ 9/4u,"6=:Hb³hI|Gazx~ rɨ.8}y"M%ܘ ]L K}XaKj^ 3NNEy@1HNU;xV7#؞2i,IT<i2Vل|l<*^^YvteyH>&'6tkɘ:cwoTXMJ}됛Gf"pC d`.‹6VrA'BсؒdJ8=7bݙ.}?❙V2G3*2;3KG(nXK$" *c(B21,9`L#n_5`$"fv[5$Txgf4,Pjj˼tpz6}+ C-20`6/sn4Wٷ$+wվf_j NDQy@n*B$AH$,&$5itD-.3G;M0P"q#WQĻn߬, B4 7KtB4 UͲ4"4~8fw!: <8Tڍ)P@C堯Ηy ( jMd$"*22awwjt#2D,G2CߙٽLxwVU], .`XHaa-&_,v8l[W<GD DĻ׵uEG축 lW[u}UV=_u?n_unfͼw6VfE6FH֤bbyʃ"M\/G n~n(< yj5C3Giӓ6b9< G51,Kѣ㔥+<*xw6+}UĻY(0}=WHEL&TL,A4 AC4(.(* D $G( ,Ci9VFڟ6(|Wmʰ2F/YŴ{m4K"Gbk‰&3 bFnc\ƱLvH6+æfJ:TꪡfK Z+q _wD F -~䭶s,qxIZZbp=X1g53@Jb{jHzӣ*nM sT:J 8K&+I*zbC|Ll|ᲁbE*qMXi[9j떤Syt1+1xc /l5_4866EV1mJ} {Y(䅙'/χyi:j &}1TuAyYĥpfP1ޡ]/Ŕ ի; {Ȗ[6J=.f#|2 5MܻB ƆٖzZlj >s`UΪkX0BPrҶ-5k L1jX5E *9lS:Si0!L\V(d? R=Ml%jAP /.ƇU 4FG33B]IUu٥}&\O>$'n"ub,kށ1qJeĔS5 k:jJc 1}q'9hjoNV'q!L]/g2#5XqCoceCI@S}6ݗJoD Ieoc`Uw 0lTl)ds5(M`Ϣ mUʹ˭'$ZJ:7-D˴53S6Jv^莞j0+l9*VqUsxT>_6PLTK2tVMumfH:T BB8п.QUsvUdhԣ7 `>lC_A- C&edHJR&1Nh|stzTۍ+&gHdCzBN6gwu Tq_ ;t\Aln6}󄯀 ! ޘpU=)rI 3iwY;2x) &pKV8>r^'t{׌W|k]8ӕ:)mUDmxER%`Baz*yǬS8lmض3pɁ":=-!Lܧ2RO~z1ragx?db~)K\b١zoTOJo" W([iƸ@GIF6mR5\ jšR<׺fr93:EFyu@ٿlA{GI{ PU*2\_ zhD ;.Ѡ${̯饏4:5H,|j僩F:dfGά+mP$>ȕK=m9'De(.KO7mP- 59JTrvy ,y'wfƓ4! TST'ȳ'YSV:(yغ ;* %R|(keemE760&vIDry# ' t&37v;d&w h2yr܏w Te -A )0/|Qgz˔dŭ< sO(ioHWKp1/j D8(e=:PW6AMiâ sg"nwV:e;Md|ޕVB΂ fv͕4WmhP.OG(RF lȾ#hdHjC@ @4©"+Q>>{݊gB[~w<&K|gwk+|l~l-ǑWp@wLlI]W9yz(?GlgR# Tq)/dzҟr<˥,A}oqڳ/E^wZ0ؒЅskD$~\&*!gPUͷsxr:"Bs֒fAwA9^=]jX*Z7y\a?GM$YV[ve8tډut}fJL%7ZYyd ˳YN?#JGa@r1*f9PN9͙pqYR`2Uy9~oEDL7QgC{G>*yUvyhVڗ`kyjU`d `vVݫ0q;oPC s(m"b,k(_x@cB8 eAmjN@zqfi]J`t:n2@;6wsѝьs`'*٫K|f"rЅ Y]5^g`Jq &n)M9gY)X_*ÛIA~.=HՆlk,Z'W_,ZzHVPlCvg  a/t{뭜U-INϵõ( r 般f<n~*ٰjUzjh\b3y@EWP `MJ 16Bώx>@jmwXkn  CqJ|^0V1n;l\Q>ՠEtҚYԒa I'xcji 05,{Rt)L 2}/=1fv CZZWx)Z簒W AQt3a2ԛx֨BXzs<}dpm!j4##*'Zlq}-˥'٥s1ʝګ%H&F̛G@s4zt y%Z%mwɕq+;) $ӆR[||Gw3h 4~^=El>|Rsx dF]$XnyBU PRzS'$b7dif*LEH'UZNSҭuuщ'q0D. i8^'0I ;*Z8-RxANGZk=#0vdVyVaĪ0|\%} E;2ՇΒ} v+@i9J8Y+Z@e S~ yy_@?,6ХdC޲~jb&mqm)$cRzMƔ%L:OIJ]I0]W_1uxfua_;oҕ:Cw4k A*_`3EfrSsKԾ}fm3=5rZD fE )Qoͪv-w\1VavY Y$ĞDK:Wou3~+pP gVr+KiuGc/XJڵ7Ȏ#s+(ζDŽ$AW9YZ'>@<;%vco':;1Y8$ECaJdh 1zk cVMFXY^^y,R&QE\nK2 ť=N"yRwahGQHhv dǗQK\!D'NנͲ Yܡ|KR"N^'59BH-88cN&5mjSwg ӳjF(_1#6ǜsYd჎sfL3 Xz"I:8JWn o:(KVB*4M 2J6VZ.Ď"oR*DK =V_<8Ja>(XΒT'/0|b87h o`l P.E/Ƒ4_$J9[e>fc!Fx uM!O=%HcvS1eT43ߖO ȿ£b64TVbW: QdƤ^eiKa4ea jThڞpf2 nⱵ}'E7}6eP,fypܵ+`pO1N{/mLMӠRr];}r01g훃#g@t!"jzAdw0R)reO~f0" pӮݹ  CHġqCh ys O2G3xt'iO}2PGނIiR2ll7yƿ1gb\,x{pYD-I3鯴ՉuiZ&ã@J5Jгf}"OL+62YEP?'GP$t⮊ ?`03^ye/[ͣ?_.sMŏe~[TӮ͐P`,ß-Kl1%[Y%d:\:vp lf>9+CKOo0wFv H&Αнv ۃ{`y8}?W A};.= -PUUboy,BLq2YqvtT[V2ar1<~/|^@χͣA:-öUPukkZfPykVc2&u=9\t!DvQ h(ۊ)]F?t<.gwb*eazRw#unG@j|Z _ߡp`'~z6ǠaT(~ hbbZSO4Y?"4}U*!e<@fhIQeMɳ^y}5vmDyT]rɕ&w'kWMKtf']R|2:}.tғ-3Z %&W'|rʛWR][ $I_'[zjL*Dj4;=Y Mjfcn&'(8t+3;IpqK`ƥäZr#@kT ;;o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodx5K) jHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/X5 `덜{YexCwMt B JƭuXͬJ`A&=:o{s}LI:&AQHα)[mƣ>guLe+=$ o!OtncU&jō`:Zfuɕ_3;grH-+)m6*t) fb,g6eǃKԧ{ɴ}"[q !7хi0C[hKfQq ǩ[#hBDxGFOa~၀[Jf^Y&|2"HuZ>gNqЩQs:cC=W9Ea{NoK1X8s7vGV;ldՖz!RPj͔B={8}X)ٍk{&[fɘ[MaեaVM&SשW0-gT+y<Cw72|xg_#709^wv:gT~pL^Px sLΣtg:&OӫOW9Z|1OùPJS@9Q+;:Y :>ݿg/r4yO[̷U-l?{.t$\[@9/ТN. 5 <}PƀcKB>>PN:/:ʩok~Q>6# sf$P ]=ʶ@^kw `ZZoiv7y49#qP||DV>@l/>F( f[RL K<b0o8DN$3ן7 ;ۢħM.t>#qĒ_@eP HW@)e :>MZ@< j'I$;\agx(p PD(?Ï@ Rk8zHEgp\g9xSџ(?c?{:g?C?{#B)F= ?#'<Hg%30 ̽UV12ӟXr3iA˟)ȟXSb ? $6ϐb~K_G gdz~`?&6׏rGb](Q?B'68ӏT)Zv3t#~?? tv3.0$^~*?5]lh, ZkZ9⧟*'t{,J9ON9}>Se6Gxf>&{.!aj@> \q-@K:r̳rKm4G,uܖIJY3c&7& ,aW{E$ DN$ƁhomWzsqZ?)YFӏgx=.J2|LK8bx洳嬴OdlQrǹ˞HH8k; S 鋬}|G\pPb'HiJ|'p#8#Ρ$KtnjA󐪻g6׎BkM65ͅ/5h&XhrU.7K,(OMarhI'4M;|h.I\#%(d{Qރ<"yຏ092ȜMzOE8^Y2[2yic8!N [HofcG9UQ*n-|ƣͼ", uT&u=U܉6o&'##{rUj[- ԗudtpYJɡ PhLT`lX,,4 (  à@ Faa0 Ea$tWQ!#ܮ}G4>dtEG* $gb& c2?9KU)hg o҆'sslfaրVO@䭍:5}W-;@< KCʡ]EUm3jz>aA*Pkϼ,+,9.p@C9To5:bv7vpYOB*nciBDHsS~!O?_h^JR͔NJ>w aG? nyI: Ow9 èp=d\V}]vIe}Rjp˭ /|H.kYYÆoiW#R֎3E9]\_6U-Sľ,GVV|@5[ Ex>xφxe }o9LG`<_DsMQN$U*ElJ7A)Mo-VC]IĊ 5eRixdU$cSA3]٬}6p vjjlATS6V苈Aܬ+^)kh'rȓ4`q>Idx9D򈌍(v mBq*nqIe0k R r?DCtVUݲGӆsX&1l.rD2eoZ90lkѝ{1WFcb'3(O@0.S-F7:|! գp `2Ο,a [X#=5j# X8Ղ_z{gHՖٕ41Do:1m BXMAJ$' %䡐lC4)%?nD;72M*6Yq2` EdW}"*LKw\jd*g)'E0Mt6 ^]/!M$hDv\F,i2pe$Qu+d\PR&j(aܜjқ)9T tLK^a[ӑ4 bx/v `vSxI>`p 0`JTaT%ӧ#4F>$RDg09fddQ~AvɈ۽UBf- dt*fnkZ~U%ӫQȰdz٬$q9x) Xšc-E+ &E5F^jU t5R0n_04˂7U,bPhzq(Jy*7]i~Jof潧kb+D}SZk[],<S{O߶ 866f5X>Z]> 2}Yf//,4JUŹlWD@i !Iy9p LZ;]"]&@f:nJ!p#ƞMapH)$% 47 iJBM\FR`Y4S itq>SmGۆpbyv _YglgG}GRX+(мh"{Μ1:hṗc^]Eo~%3A\qzI֢U3n\T,nG1OLb] O["bn2)̑Az1HQ&Zh:[ʂMtq/8V.|Clk&rw_΢BQKv=|edH;SrJFUe!f2;Ya@{|y]b5:,r0Whetx7YaslTZ %=#f-Tَa"qPΜ)sr#bV _-q9agxRdIM)~_GM(]%ۓܤ-O'Et䘨\b!L Knx&{Zìiٿn5hr`(3y!շ>} w (݋i׆^nъszy|r!VąʞF iِB>k7 6CI &b_=f%@d{dq~FЙ@%>\Ja&d(H$RMS:Qp@c4P t3N&Be ϖbmؕnnU9 KyH ~ SJy+ANqx F~Băp\z2h|Dx>gUF &o/H跎A[*L>#f\CNzKA0?Bn\La{JУt|,&nUewW#E\/!qK-1iK6Ҙ:ށ AOSL0; B2O: GX3lq2?BIr{dU3nDKb >  4z) 3b𮮹 |:S |V0#h],a2"Vi%Jz$U5U%*ӰgXH%ļ-d eSj$) 3urXeyf;Y K1#i=25u'G5$[LRcG¢àd17K[ T+ǑKd;Ff mVw4RHN~{ݼp]Y$yWwQ$Pv'/ `&etL7&HY4''{vkݚJfI"vcC'XN;^rw[[ |G$afnihN &[xm[t*Xn+lB,xL藀{":r "nڍ\7G `?) no!1,2:M ;̶zuYgXI Nbs`Nr`_=@ٔ?fޗ6#5L6'>d-bU2vW^<;s c) H⽯j:v FR Y+Nd6x+P4l4)WJw޺X R8 aWb9סrD,6r<By5b5<*jU^~[ ]9~/*ŕvzU$ɥR Mq Zz\̮i. ;tqxtFf_7AoDD6?”L=3| /Bܸ6-C:zn}il1+.aCc(6]ECO=.uىL'?2$z ]g.\*hsx)2N۴X0T—fnܽ΢jkT΢wTNn'*HB3*T7@!;#p#;Ph}{(/4"fHZxӉHBxy}c#K0ĩ@p/ϏIO"艱@j/[+O@|^'9pc}s9,gīYGL;N3*L ZӝLP2>G^ 0>U;Z†u/?+gn-l6G&e?Q305=#cY|oraa!޷|݁<@FQ9tﵙrJyEɞ] ]61H|`ª4rW!1Y+l>#J @%, 9»c+7L6Јޅ ;[6#b̷Ћ' kx04ΌmH*bPJOu EG&[A!| Jsh;QOQgR9_t w=ZՁCx>rA %A,3(di*Wt)٩PO&ۧTU|mH\T#. 䟏^a${iiO#/X-T8i'.2nCu%nw>ؚXv=u9ezZ!dot7 0Q݈1YW#LfAE" їBM\jLI}&CuMzn+yk2[T}ak; xa9 aL]'Żi9"'߃~mAPd7ՉR˜w;Ѧr!zN4>I,KI\_db%RSWߟ"e:׼nMN"tK:Fi0Mf9{ 9dUA*kl*Onzn` ļ!OTY eJ M {^Oz@G~`^0LW!X:]^D Scwb@>%s6vHSIO[AiXef,l*#ukb֏ڙO3ĩtrJ}}}\U`28lI tIE kkq-<ג8q=7JΏ͛0Za9kr*oU[OU36P nNPbf\pJ]>n9B*c´ܟh^f E-шRՊ)!++E we1 _4n c8,mD_T9{~㧾{6U80qZS!1-9vHW1kY:X?U|4ou9 طFe0r1\P-+(qrT_5SxJ}94M%1*=M#㬫YM('p"B35|X)ŃZݴ`(.F25)xF<-4v)8\oN/[&B#F\tӒV.L (djT4h/E{ugP婁؛--Sn"[."S'J}^)/;pO7_WR}S)ADGkCicE齑:䨴V՝,_ig(QKI=YN&&`"ȡ1DQ.Ӛڳ&Km]@"IO-"lN& 涙 3aZZO  Ej^]&L~%JA E2 [Jk&*bP,LU4[6G؉ҧ (;L*Z-,$|P}3` U'$RT~E ~OHb$T̝P>"W۟ʎP#""9(IT9dR ^vxewww_W LɛحE{S+VͼJe{W)Un1UbjŊ&IzB!Մ 3U}U Q3%LYWUX$]m cЄ_ҤTJ|RJT/rJ<-ԞxC;"xRJ효$JLuRbטsRBӻzDUZG O$?Е-|]l{VW=.V.h ;K *]U#s$fJ 6EbE!h* n l1Mi@ UZYΕ& R: ^(J; Jn>V M~)"֯: ,+ga{K&tgdMc8CthN@2.0z~1x+]]XG`0jh<}*Q.v\#,{}"Z#ʙ)ΜSc?8 Hjʭ&tK0 G$ ggtd=9,=O'p)!EL=1;;(a=vңm1q`Wlǘ)#V,5-o?5 xgRɨhYfS#gV37ny\~<ōJwM6bݚ[TjE",&[T_ej; .G62HmD?Yb4bq:GC<75UCD[p96#~8/~h838W"zK(A̓p?#j%!;K2mϓxH084 ! IwWu 2Sa_NtYqץ\N5]t0Xճ9—L4:L,՞­(DhewQMf;xT4. t^)[J7TQx(~A'>"v ؙdYX`${Uk^B3"xz2u':0{r |&HG F"ԩ3 A҇Ǿpccz:G,X;J3+||z0I0(;z7V Y<'{^ xMCO wSE| 5 :wM>;(K'$VwXQ9\S,x ǐܮ~fc)sM(|ZP |hP!9X$^Yfڇ2#3;Jg G9K4f{ռ}S}#HNqE%=pʯ6"^8`i&8XHWR@-̤ Um9V ۈFxf&!׫Zu9-AlRdpvMɈ !+@#2d rG^jJnՑfQ[ X~NR|#J9^< p1 *GNq*7MӃHLy>p_!Wՠa4 %z;<.߹zN$*xY"]9 %8;&f:fv]R=|^(7>o 0эk~\d@IPggʚ Fi6EzmU [)o;=ym~. y<[҉ZY(W(c:,V/,Sxӑ:f˹9ar4`ߍQqD+ٟCeViCa6(za/{0,*9zw(nwN]Xdm N{MuP$wzzM MsgT(B va:R߬8+Ѵ9w8|f;D~>'R+eϙ),g<[-Ԑh;XN[HI%OvnM46p8wK, XJ覆.视y!Ȟ_wiyJO3:wDIوku"8eŤB2:qԑ-qn#rSHs5ܭrf#U9Tv[ql?R7[CwF5j&1 J،|2QpWf1pLc]r1!q04ݫY87ݞ6t$*E/߇zlP+끟5_[Xd h/B0y8)2*Y-(kOjN 4n( Z~%mcgLRFb,y ޱ =VZ pwTl5?xPyK3Z BX@s}{t hNIv +m[Oa?@vh(5>O@ʹh:Сl1*XlS啗O_ZKq?k& ?;#>8w[x͚FѮ=~s~Ed"1Bƒ›W+6{6 ΍qHiͥ9d%ئ:h&Nc6&Ph0bZskQה|Ը"C,m "y^sը:VW.W$U繢y XrH\tzLh f;h;:8 w;A^4 ðC~<bzc\¢;w+b:R^2X -Xܵ &3$.q#]@/F+bt"U;qZם6l:'׈8LҞN0(:u&'Z#G' ' N(d 1G_TpĐ##XllRA|vgРc-3|bPMdn6:} S uW+C7Π=*=)|j|7C)ٴbŵyE*Wz\`&/M"΋EACi3c: B`b?gJ~e»>(䆪KMYx<[Im`hq/A:L#8 4èrBʼn2Yᅧ _$3bl `;43FdRqڰT1J:Tٍ=QR6c:ckA8b7Jv%u=F2ULUoyO(t4F26Uמּ uiχjz^t[ >'>$+h ˬ*,`B>(2 Ahgc_}v&M|;$2{^:˚C#AHW̚Hml`{/灯πK5*{ůʫNh4᩺= ME ]1qe   # 5O% @HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/X . `gevsC?%ܼ|&dYyA`iSRR{- zj1Cڵ#[+%5Cn oӦ86%£mm(W# }'TS8)Gi? ~kq qz4X\XojH'j zao*+M: p"4: mq0Ha%G'{\ˁh1&b+ -qSn^C_3=pDP zڔsj4vzf|ԪCǑ:To!@KUN^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal N 5K/ HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/X,(ꈰ,jJP1FT3*4 HI!!GQfff&l"$uQ{W]jRLł0LpZi*߈<"r*LYţ!h턵1C\#W4{$d\$,X$ydW5;&``̊&wk2kymAi⭌i{n% kI/+zBy/鄛/zsnwJ8 ҞSk x>Rs+yN[$kY\9VY, 鈃!oigTi/G01I1%@H o+/`ҘCʂP!8@j((`4 (@AҜ"X$LACqV<-(Cx9i 0 j,a :H$Āf9oyCH>LH&*o#;܊7#Z5OҤhv_Vٿ,-N̊uYo.+Uefcfʔ2e+>4)y^e,f6Et|9c.*zKA֙,FڈV#Z[D`, ,sˢ%"` EzEi BbO0 b! [B (rЂVJꁚ'QbCƠp1wXK"IL,ߙYN*uxe^Vdd'jN8ӠOjaz\vXfD5ѳg'#VDl\Ӟbfn0OܑY^2i$0@E\΂ IC3`XKDMMމI=J@E 0 #>瞼+TIvj%͙ڟZ~fv+a-UsͻxZn<`r/Q+HCꚞKT۾G@=e|֚AȨ"rI;a-X9y# kɟ $i noS"!9I(>(03$,Ã'Ѡ@844$될@vv/*([:60aԋA0K"E)V9bjN0)p"YOGVO2կ彝},d^ΤaVvZg]LM]k-|̌80P`&"[U=zE0 If\1 W=PxT rս=g6o.0`XPŝ!!AU%~ @4h@L Ug'(XN{&J=;,vn\|L5_] fn&݅UPPe WJ@̈́E]W1wJ+lW\6k'TȋMӨ&Zm\U")T!UB8p*!&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