SQLite format 3@ ._  5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsu77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ++%5~fhT ] UHOL-Nominal-Examples:threads=6elapsed=275.739cpu=1371.360gc=109.943(/. Y3%)mF6@_.a?I;L._ *!Cr8Rb2FV{ֲjIDq_=-6'IժWvwHkNzc$┵g6s1t9Da?4G9i9*g̳,䚏?C2I&(@OenO?5JeidK~2oZjd1т!+d֞˶ns1A$22CxTppHXd+TCFC8p6D7(}nCʲ%6xs(PtyhpphЀYS"EDBDC"zX AȻ/axPDD$P<__gSV $ PH 4ԘȤXK+#]tYEGR"dl]X<$ hbqYfȬg>=!ba3*sL3cnpHp`!"} {գ p`p14,", XXP(dtx56"4! P )D@EBkX+t< i 9ϑI4၈DD"အ ƪPD0Bap$o" င`R4DCBAぇ   @Ba` `  L` ( |@b C$@ 3{xbc5^X_WZW_"URb~n5nxT⹈ƕWVvǦƦ;6B7g;i!ޓOΪΪ^W:N=o;οw v^̯[b}h?L=Jη._c6fU׿[XƫnW~l.,cMu2z'~ȑ]]u.~'=qLU犗N%_DΐY:]dϠhh"MWEr*r|7}]Ʈ%;\hnoc 3Ү›̧rث;|XӖYXWɶ~z< sumדW~w%=ՍR>u{PꞭ^Yk[s_][.Yr-5ܭUuM׎ "+ti{IeWjY{G(CXT;ZT<^my-^Kd!y5ëW<eLlr6[oʭf3Vj#tmCW)Ѩh9X#؈,V;ΆC9s:7gLxrxUڪ__UTUVsD ƓTHȋD+TE֩scWJqS5m%SB#Ն EC ,._Y$+MVDi+7ե6pHvH*T.Sѭ24\*ZTdd*zh;YomZxn甸=xOl3ɖl!._]:漎Dxc:k{S"̆TI.P_&I4yq?49gxچl m<3&N5D|^5\C Mrq<׋F[B5M#)휲vOYN٩vue:K/}2]/e;9WM5bخZc3٪iRٕeۦ^:):!ss騌hAjW"VC QJLd6=⌚B4xRoDF,Y=US횩kDM5,FR48kѴM!3A Fh{GX |Hu)2sz%_Ew׍nz^"d{/z`}F[]%TuU gԬƿVmiem'2eĪ6&d.ZnmdTeYeje2=FZ6׍T-& qP0X 0p``EBAC@AB )HmϭevW[hS{{d:ݯǕkSziU3ʏ:WC)5K'oXڨBOvچ ܇}[)Iΐ3.ei_7$ugZ<ī=*~ B&>=h^R`w 5 HOL-Nominal-Examplesw ov~ytoje`[VQLGB=83.)$ }wqke_YSMGA;5/)#  { u o 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]Me~Ǻ1̩ Q0V=#4 R Ebz00 |wE ǃ#; áX@H,jEK,mOH=w{39IHiJ;[Kꙩʙx }9Uu(b}ȤJ[*x(ڲm.PRiܖJ[JK>^JouG\rn X֜:Nk&5DRw:~aQe+"+V#O@c X3Y3y{]/I̵+)r.r.` Wqê:T=ŭ_qQO>_ݧߞ8CEu M*S]01J@QE|bBi;3r^ 0[zQT+IRR,sh`yLiXuy,P A 1r8q7p6m5h2^.[,V+*'%" >710.+$ # " hBo"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-Exampl J5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesEtA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagessF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  qy" "BU[UgquJì8|[ YC t'^ !ӵ hH1'P}Ţ&5Ǟg2^||Z=dt.Yh*rX|.-7R_)Rb\j*4?|S|ڏ`7BxΝ]FݖNYv?;+hDT"Y2Qd u$4_02M4L"35On0* ۰NIKPхhDe8q|\H\HAk|Q_10zǚOoa!)l;\5L~d tp_Z2+r o0 u [cx'Ğ&B2(͊0Yqa4 xc\LJsa(8ZoK,-/?޸fp(2iD򆭢ظ{9Xޝ)MWgLtɂ$&yNnnK2Q95_US4\x C΁ȌpN T,XEݾ;@bcꍶR:.|%Z 3 S:Qؙ&9\>ST3qgѬaiIt/F;BEh{cHfNs-#>2rR@ٔA\CN\.r^PT&U@. K[eRҎ(Vz$>-].^4b ۂWݮLuk 2v`-5nh_jvTV EB//Vm wTwc/( 1~qu}̰TNBbQQŢ6Hi4a5fsTE1ƙqmwar#D 4|EA5 (xRcԴcwyC}Zּ <Z6֫S`CНN5J =f4U([]UވŇ&v-w5p,l&hcX3ci($#I'5 ]WHD:cWkMb*Ŵ r픦Ӂӱ &E3ŦZ8L2~fch((ZwX*NeOљ71o歕]~U|@`ȉcy-lJB'\SgksPZ`&TqD XݸQ+86WGOa2IqV5h*ӷjԵd<7+_>!ܖ|32NSi"T5^$(6}ea6 LutUrS)Mr!$ؓ TNy#8HZq-oDDEF8+xAiGd8\cvU(ߊ)棢/N;ucRBcv%+ pbIV'̽ժ( 4Bːh@wL:+w]I:3>eRj˄i ݠHBzج ╓t=:̠gABSbG'أ+97G͘nV=/h3ϳ$bY,ri[ k؈%ךQbp{jjbMZdzh?4F3feœ:CG?@jD5'Ҥ2k3b!(K($kaNI)s/^vˊ%={̲iO/Bdt'Z+ٌ&7r ) #85]>I![Pهِ#F 1ڢ{ Kxwng%p-X&.ta.7iސW;+,`Yǧ:.sJEVjRq{ڈ[dI'C8خG=+D.Xv@%G a0g: g71 .q6cД(s4 3۲4~U˭?uwJd?;m P`/by%Gfr⌣@, r iZܡuHua\1#ZR A8z ˲]sǔXX[{ £QA$ٕ%?L7TXp>~ sT-qoxy :|D?Y '9b蟈FÔOrJz*H!X ]aJ;9#3X gGK2Nr+rH\X-2Bbb\lzH~%Z^c2t* 48R &`Uh&ԉUsRZfJ8?&SJ}J ?{:y详}n"2陇ĵL Ǜr8D>BF״dm!jAD3cI**L\"qg+# .\A-ΣWK3n [!8wgVOxhٚض"=o@nak tAx&Ԭ9FNt,XCd Lb#dq/89Kw-א+UYecwu1̯o/B4R|$MVA"Cm+Cw'9A~>h۠QQP3kRIQ`T)]T33^N9 U'  \Sg(a0B.hŭ+m hI 2J(T/ͬ5/z])?cUEH}>&]Om/SpdCӹ6H[U0|YFȰ!g$A i+x;i^ASX/ن* #X/MtG0)=B z'2nFy~aB3g6>J;R]{A تzR /?`!TLsscRa"d{szA!sdDbY_!Y"H_ۈ1}+N*A6;\H4]#k]ށ. eʣluK 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Ϊag~|u|j!pX4|#S qˀjǒ.pJmh:IVΆ{|'%mgJD[079{FΟK0|;J(3,U=c?vRXIeE+`B'BV=s*2}UCR <}| FIk$~lu* s0 ^=c[:bB6 3h-1iiXCp&&766ٛzw7s~fj02NoJqqbJeo6"j8Wʴ&dV _nUH[~!sW*, \}4i]ݺXl0^"rGH539 BҮwz#rFOa l${Gjn#9pͨ(񵽱2NW)pQ9]@c9#&+$Hvʲ+ .߼.,[MnyD_^fQ]P1~qF+sf^4Y o2Xvy`fte.NX3\br'< j7V/:rw?x3X^ڋuppF'Vc;ޑψm'L|a.v-&%ε$G9]>!΋5d`is&~VeD=̩{*4 ^0b-c;kĉ!H3$Z9Ltp&ZFnNQ s qST蒃2^0gl?I{f];j5nԋk hJgpѿC#l0aq&2'/LKM0ۘ!JޛY=,@x(KNp $o-_\xtt Xz*K)'XvFKZPMGia 8QHGe|w&8 8gOk:VZPBBFG9s 9 N߄gqN5j.ڗ\j˲O`.^le.` ̒U1)}S\aWp0qydvI _g#%2z4xH!hE T>G+]zS0|uFF.@,-sv^宊Z[WhY=]i mq#_EK 9aSo&)Дī?LUFs< ^ %) KplT1&V^ÿ zSU#8:\+nF1rU{_QA^<0[CqjNuWR;2YLS56Ov"*qEY@p=|z֫!S]-azJH(cz|#SB=kA{ߖm[2: wNUFw!e߉x%mc5*Wo`:c2MQt 8Xâ˔a!/R3/!"+Dxh?q8G`CTϙ8!mgQ{2}r>abu|!m:Q g9WUuBfk`jKANü BuZypLYTYsAv^\7"Etim‚ @2q w&Cpܰ6n؉O.UY* t~jYr4ϹZHtp*2`l[ a2Wzضz3uzmΜv98O|`HEzdP5t%}'Ԇ:.}3뙝+="PJ'5Si }̎<„*~J y8Gs [ݷMɝ[<0L9h sԮ>dd^p涘em5 ¦mSQHc;[ಹF9 歚myQW:KFB"QTH%a 9S)-#,{]Yu%kpXՙOg#]3pge,J:y<>Yȹr\UZ\2+:p}4mx(a|ٯ=^FviTАek;NC?BY G6+'ȣχ6{=*I?çlVH/8":;+'\5֤чhgZrY gN~@\n,F|Y` FYa[zq2nұ!6 ёFpv"?C|P3κi'51%U} 1:]2&;{C$1,fgdSB.c\8bBrLچ+wa!#PhԨUoȒKXZ'v%ʩ/Ϋ;0D%m%b $%߁8~8cpje7j?T$M0%c.3go@RZ zOe ?2m.@6.eE6,?4“GmvVYkNIRqd…S!)p&=R$;bjk`?I>0=%O%(l-=p!NJP+Y),+e&SULaXR;+ݣΐNٓڻI_NNnXP/ ӯD#K?ȧwp6-0R=,z \3xym b6e.9,e6ů9s3cpo0k"5w hL]rtv)\if8$止b4D.rbKĩa?}a~M_M0~  y 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]Me~Ǻ1̩ Q0V=#4 R Ebz00 |wE ǃ#; áX@H,jEK,mOH=w{39IHiJ;[Kꙩʙx }9Uu(b}ȤJ[*x(ڲm.PRiܖJ[JK>^JouG\rn X֜:Nk&5DRw:~aQe+"+V#O@c X3Y3y{]/I̵+)r.r.` Wqê:T=ŭ_qQO>_ݧߞ8CEu M*S]01J@QE|bBi;3r^ 0[zQT+IRR,sh`yLiXuy,P A 1N 8FVJPb+M?>㗔:* V0ˁ$v5,7hg8/? |JzQsN3b\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  C C25K' `HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/  `$)Fxh"In{rSRY" gHc"yάRd)DVKu1 rytH,Iά8ڊ*6*;3[qbR^vmn>+3cEܺnE<4  Nw`H~amAgS~JSR=BD_TD23!L3̄ډ1{⯳ϳ933jQc1-jLj.;-+GQ陨H0H=g9G"))A$i9 "eaMtYH5sVLd1`Ha8XSE7鼘Gθr1-~yɘSOivv^L **T&$0 4 08>qg9΋ic/Ybg9rvbbyc}gI&˹q" yoU^J2N_eDܵ֫VELW"(*|ꪟ`(( ؊ez77C%{ݛޙ x*]%E?qVE]O``(dfdzHUN&VpySN`X)GۅQUb*T۠Oїآԯbbc今21jg$*g]o G?T=ŕ~w/2 ftXK܆G")Sj EqP]e/n&jpXGÀnë7<pЏrDD04 8$օ0(pTyeJ$2(. "a0"ˡ8 0G;1!N yO-hz/|8JfmcH~ z~Ὲd `6M5h|$Pu xh '}=_0MO/ ^eɸ kc\*U,q">LɯCe]V8Z†NٿA"V9rLD-z\DDm p`fR2 ˋZ2vA^iHe (tQD V Z 1D[_gzLlhbxnNQt4OXg;]F8 J'7Mj;^/l# ιq(}/84(q٘饽=h鯝=ta颾>w0zz==+=v=d=yGjyܣgv,@ Cz}i'H>˜x`v@XCzF_ AjXUBjTCf[詡 fbj(i!ZMCd< tnv' \B鴥tm?1Wi{Ŏ+V7uƂ/b9`~=jf$C=2NJʬC؃kְK{@Uuxq ^XTu{xZk 2H.¿Om(4׶knm;k[. 睭 IZg6p)R Q+HLbk,[5:cu018d~#FX}s~>r R 'P+ t)΁$`//;(qa9.B%i7c1$VQǞl/}{Ӥ @ !yXz-RG )s٘a,e$[O=9+yJRz|4=Ց"w Ex)t1'f9".n ~{IR,W^5R{['^FF! u L{ Zvϭ)*HoQ6I1H9:G&l:DKwxlbp4g>:YG!*C'+,.y(ZVژЃo1?*$V1{ ץ׏R6tU*g@OOnHD$ G2.*Yo_A6p%l {&R{ɳr2EIj M) aPG i[zї+ێomF%aVyiu]3ҚӪOCUKycQ'oo[+!3E| +TN!˔? `Ia-g,@)Y(`=01e;2LrҖdHqgT)3$^=Xz yxG}ҡس\g@ܶ7+Ӈt#EC!+\fQæz2QckCj#IK:&9vF`3 OFp 9-اݪrMj8~=83rWƎ[ O@ٱVOQ63Ra;ؾ1E&%+(<l `eqdCXBsB8L4%  g6كa$aEkcXo!jyh_Kg-%ÿ QU֊7BF0fpoSނM̭$V{5yWfDĚ$r\zY`*4ppBS)J:ê=UYRaUb݂6*[&R|UCeO\ /+NE:ث?qtwhTE{r Y2ʐm`NyΦ'gn%^&Js?YqND+<^4ᯬ0-ZC=dl̏kM)ZZtPAI#8['%R1L}O[!=n09c󆱀pgn*n^X޽Q&ȣX=Vq7O KRnZ icRCt\—>~%̦V/2 |RSf^*F7霖r++l# LGfѾ%d>GD!zA襐GqJE򅽝3Ԑg!; <} G9oi BdHd@M)Zg\i 鐱en/BO? 4 B2a c4~"ޥ^BFM<- p iDɪ#\t/KyCSYR"H@Z=V-*o^6-ԥg t,J`xmwIٳgd$kNz6GvzAY'M"42^ĦϮfy#0~$ c\x#a<t/'waZ<:Sd?ۦ$;[!jJ}W^1Xcj쩬uT#l|xs)k(5ę\i!ϐ(OW(DB >Kf(rbb9igFf;v "]8S_BEI) lċ8Hyr27Ȏ^%LP+Y*qh]+U[a*hE#TT˭ᥰGn1WžTkTM]&;{FrN:hi5# 9il"@ **~z V, V/hq:`S߇(2s|~kWL嬕7MNrr"Ŭ3 QW\} iwU>|,LUޜa7o̚3I$2s>E15Z ՚B$,[M)Pj:jICwNTn&T~;!%o#U(vmiJ@.gK)'Mݕ LC~8KR uJQVg)fcέX  >T}RlLf҃0u)v2UVRq{_4Oj%>^ "0oo7~|[+4_s.AɔL2- IEIjD%gYqVH* IYNV&χ襜^Ky)/奼B$=dKy)/奬ԋ^^opS%g_*ƫ{n۶}۶m۶m۶%""""O8%I$Ipf3̶ml۶S/mI4f^@6aE p 8A0X$H0 ,.?8Z?8ETnLvfH2ѰXH"H<$!ipAm^nșٶ09Xnn lťࠈP iI-P=(%WӪ{zUuY`xdI6`~ߑ=VfY`vČIG&)>潒x_Z [|pihzOg;R3kh)_I; C)4kI(gSO@ NE61eۼzYHzD_H݋A۩A wQ9y 26dR[*&?Ŗ*[:*߫5%a0z?1k7&(GiJ<)R{%q*ʠ;*ܱvft!9imEvDđc5ŖlAf`=O.w (V.R/.LVC[jPyIC| <~9EY7Ea(ڧA򮋛g qORAe/w5)Bc>=cmi0~~ͱO e 6?,␩鞣fK(}P `48Ԁy $GO9>ꦢ`L7wN 03=Ap@to u;cPMi S!G8߂ #E(vGKZuӡgK6H}dq$P-ޝ"lݩ vC:ט%`nqƛ$ev˺,]}1h Z@!YWʟ@~e'O2;/:p@ü_#ۻ&ya/)qiibSV$[+Z!Zm6Vl*+f3I:rb/s-հz,a(Іֳsykäp9>wO_$ݣ[kIjtAXohX&%T4 W9TLp7WoXI!Cv:K9C;n^PQ՗xwDR4ZϽ Ťw>82i@a,2_De!Z\L%6n1B!o y1y> 1'xC~s2K/8kkf(yE Ⱥb8 ͥϠpRoKpEMaL\K̍̒Ȅ5IumqeleNs 5WR,B)4P"_5 (-riF:bRf.{j~> Sa7=}%B)C`e9vOǖz﫱Ϻ$d2Z\I3Jyīa:a'"s$L3<Ʀ Qy#`GV }H_5ⴐԿLi#~ lx#lh}j%{{3kEȈVEdmJ=1&TQ wtt&JaoB$Z4/^/egc1rFPe.Rf# ˧/ 3JkkY_<  TU T gw"3 (81+|x 1Iu&*y♱[q;c<'$ϐ&qr)D_:mDP,Gi9|O0BCQThjڳY8ɵԉkc#DrX:nOa, my+n4twv'A3yfR :` 8%Gl!`0 ?͉d1}i` < 1Oq:Y璆;QAv~C !{44v'L镺Bsk, Ƣ`@7cp{8_|G7l0Af\QGM-> C@GRox wz<@6EE\K$FOGIc>F0 }yɆuj6}i$AVf[ USo_ȯ`} D碲V,ϿZ!1ʭnda (bڸr:(>DR; s!!ONue-:8¶npw듁iÓ@Ț3#0&q 1PL_\Ua BK1>8.3Z ]9wH/ \7*#қ~xn6wKٰDz^} VG Pږz8R \7 M0VOSNSLԭ éL*&)np_KYiOe)zP&8)٘"~wD(yHLqWye>qx5=Q6h@8@ HPs pN0ӝS1˚Nj|AiA:Lot^)\7^nWD$C_LITb7P?ISr8oHe͹o{&"7R<%|;f-p[?N=4E!:؛@!ōIY]Oxah"%NeqH4{h?U~2 3f<΋BQ ꬻ?g*o(߃vk`-qsAyVޗmhLj5nc9Avޏwe##B;]+V0vK@1;RN䉰zA|aD)TE5.r[;tz:)Iȕ$`7qDFb*2hM7[Η tPk 8LSl(:Z$jd*.*%4)&ғs;E3XT ?)CXl ޙ4MG%tJVYxYF,c"|n%rY nsS㪂9b*hc ,eW0WFw"bgs2:aҍC Jm1%u[ia}p S#mr*/aq276(1RZT Mh@dNL̥BANAksP0Ƹ\8ߞY@x%f B@1uRNWF\k&ށrY29,\o\?)W5+5{ VIK"o/K9 fPG3H0"A?&?p0H3 (#P;`Uh p䢦ݛ=6?הU6eF\+DS/L800T &e#rS[ ̜~A#UqSDԌpA+\B{& O̝\\8zzEBڴǻIjZ 64ԹJi< k i52IAZˢ!MbioZ26QW:lF֎k%,|E%qJdRgYa$;L}j6#^nƍS9Xk"lWx$_0ngSsZUfZb5}ڎm,,ϙǤ5삢0*_ZUk* ?Ms\Z_j8d +spR{., Qґq"*|ˉ)ŀZʨ"Pe86cqH@s?0ȕ&g0*fh5 "S3mFM"<ؒ<_}MqI9fe2f9'f@Mc%r'[, ku>s)`[;ʐgogoNnWgqĽ @ HE^H\7lj[h`9=.BYLys&BlzHFxx?UN~39W[D?4 Y/so2!TAS1!WV`mw$s~.7;/k(I'xE!F2ѹ,Jzaĸa#}j |F7,l-` БyH0a8Ok֭S$SJ2ق. q D{-9M'["g(:PUl%?mlUڶlDD"OVZiVZ"I!RH!D9꿉h'=MOt-3\"kxpOd'g8m۷6ǏW7gUߚ*v".۶m˶۶m۶mۖ?$*MdgMDDDDDD"Rl3"d%9C"~k3*xC~"Z312.6D8bBWDv$gf7Dd\p`'[rfcyOt%?s16L`B $U얬o۪nOnf.BBFЁs8Ī*gffYo""CvaUUUUUUUUU^YӲRDvK|RH۶J%IBlGLg:3Dٖf7ƪg@B‡!/tmv}Z&āzL>`A |gu,옉1absQz540ȸlS.MFN=Q540DUlFU얜Hۀ-P %$fq΀|تu:V{@wUj4q3Rb'gf{W\Btj /A6fhmDJ5#b!!'َC#FqGFE^u|b5.*Z6*LDlTFUl9U'ݚQ xGmG(0rML%!10`~2kXQa1/O;}3%m,٨بVih\d&$m)4.026`8JℍЁ'*ZrfPM#W7gcd@D[b @G"4Z@ca @*(4.,&.8  ,6AXPC?'5Zˣn(>z֨wBv ggM mF<|ڙvfhE)'mt-   hĔ0*M>IF~h,2T[ n:X%t02ވJъEqxeV4Z@A<^`3iYq&kc|A(mvm VPf%jƪl9pi Ím ҝ? "eVf\&B:2 V$wX*|hԁl4I;( [Ǚѳ srji鐯5fi&Ӱva^A%T?]0?KMT id=7f5ҍ`/yFMhO;xV)gSfo !zӽv>TՉea-A@rYð>M.8fJ['!˙Qn/#E՜I;?7 ^l&񴰯s\+L.Rk_KΉ fvZ,, A:F)89z廄@`wz|+¨=\׶X+J.f>FU/DކU& x=dMQ}l61 ?(M4+#,i|80f@ǃh>SeINўh%5:FEledhEUMY9A8ޒj5JHAݣ=tU5 nk/*xeZȆע3vKor7.SO|r`3!@ 20 _v7.y91H`:) XhCہȁ򮏍%nR"42 hrH'5wc?</mZ%X -:f\]َ@hW {5OsCO)xv fzٯ~JʵS˹363% {B.~фؕQi0tHZ^Fӄ'I'b{u9)G~"^-&lՔV&o91Bz}"*Gcڜx넛MKV# )e5V1pմ!}0G4Z@2:I~kC"4a g{@/֞!1YJkn @t䧡k@ hmɇLg3wwq¡U:_T=A2Ohh Xѹ_@Xwk=+{{> !5NѤ2OMQV++4o(K삡j8tW h$u!Oq$5j:\b=̿#\`b`~7MŷFο9l$Ʒo>u.KXe}4[Lk덂ANO#wWyo#s,iڹre=^qmу ju-lCA|á+ D;gLt%7sA ^Y?fМY<o\l^aS}*5%7#avhp BucBɲKR,bņκ%/Tr,E S*= ʃg[9sݺ1x'Lx ekUMνƷTҦǩI 7eEvmk2E b5ώxG ٠%HBúZʓ\}]/tt/]0\\Xgnz?] "e ֐u6\͘k"&r5wlr=yTAq;ډ>87'6}1;_ ~1mϮR&}]f;'9`M{DΒ&|sTU q9c_YPxtQ+Scޫ~*š)up-3'$n{n|jb=ؼȇny)QqOlsjZb;#8b Rpmjvs*:&*m)-)ϷΆv=N9U·qUiA9cSXjf(Ў`n#t,5Kk*p'ܱY,N`wL;4:]mAxXٸq\/txX"e Q,^tD2Cǝ9xcؚ\c-[XuAגch"o;͚;o9醞hm X1wWH׵@{pi )tl&h_w`d8i \X*qݳ˂xM/Ol;Ic|Ux`` .uR:^˸(ؗʴC{ѿ'7L}{o%}_W ^nڮ9M`v9?/οşa-?\Z `^aİO`,ZFuI9aK# X5yF3{y_M6K2F`67,wkCJ3(ƵO1$MUA/}oOy' Ss1}7^JbX2i2v,ah}l NF^G܏۠=XE;C̎ZfAա&"'u 9Lf9T>|!O/ؒS7%)T-L(2@^TvH1?,GCdx"JfO~v:DVGUW숷G^2~mcdrjG"\[{!q !Qp}^Y*Ā'w<[v۟> ؙgG~l$,{yb ,;o*A%q[A"ŒD,z4^2 niA TqF̺S%N4OXjh*O1ǽ4?!̬t x ,tQSd Ƅ XFj?3j}fjr*^t;ƂwIc{v$r{cpirŽOANxntH$}s9xMݷM+_ O"z8H4*uL3DJ4d4VQӇVg]$ʀfGsȒU.}45rgѩ­},]I[וU}nz]ڇb 5#4n oCpf6+{Ûڈ}ŒvGlxi] Qj>pckwӕhvqw{8Ѱ]ڇKXdbZ16[Ż!B̀[v&4a[_G}6ylWВ2l3o]IuhZl|'w s}:S4[] uGx>0~Jq4m$6/QP+2qMG𭕝S)T[5AeW87:kkՍ|S|<叩w '`-ѩa2L>%|n>ty _$xd7Ӆ}|]ī% !;Ibٛ+i(4vb\S}*52VU3JSK:7^1+u:YK:%b| s⻌~I|V5(@.J/{ϿW.;SQmVΔV_7-,6Wr'7#,'t\pfGǣmΫ|5)v׽9r}v[bw~ ~6-b금"nŨ/n?GM?]?V)n~NIgG Y~yBĔ엋*Xg)S2e|+HZľI(ˏwά_h<+?JkHb R3ieܶbNia<zGA?1_UŤk׉$&olo"Wr0JuQ{Vd2[y%]^}~9Vv2Q6e[j4tr^r*ތIqc(Qf`|(ub438wos<e^fn|=ż8&j~cb4--'x>?Bx)}G1Q ַ\1LtWK[ԗEŊWR7!*G|6DglJօFO]㣥!ik$Br:J6݂&rtPMXdܿ#؂[J)SJ5bfp9B(3~D3nEi#xgvk<]}UC;v#Lļ;nDX Zyuu>;#iHc&Uu*o_$,~MJ~ۤ?k&6/z&ݬm2h,h0YTG՝kҹv2 nfwfm['j5vf]@`Q PWvOJo5Q+5 P+5[J$Vb+5P,&[n% %E$ضBi2Cdq *CU` U1JY.VFALxp"XxHGD ]ZDV~փ`@ ԷO-"YCZ~y( %9BWFU2 .bD;OkȐcH01: %iEid>AAáX4P(AA c ! q?_B!$f 'dx.^ YDݖ;xUq* !׽ ,R &^5B܀+qIn-8Khzf =;V>Xr2#P!ĠӉU~ A-֨"ƮP?-ElNxg$kEd-俠ΚIףLm~W~<+zuhp1 h(HAq &o%͟Y]C" ]U5K3)curAn 1`[{\ )+]lhJ,y)O˕(.ʤs L0|R[OJp=N%y[=U˚ [:Q%b M 7ݕ6RlkKn5 qG g@hgi!ME1d' DEY-U?kSwwb1K/>3#3Õp!|ɛ4,biXvacIHV]`f8HX|kO[ UNjm&QP'_xk+XgL@_e[UA,KǍM6d*49H.F$q`ǿHB#Suj :823[l0W?~{KGD Sw0R/ViN)??TAgBߢKE VAp4!W8CU*U{9;~jD?\"4M-Q1 _,vg\ 0=8=𰋕r~] 0\;!OeLnÇ~HIrxxaQ:$ASQc#`5CZDe$ K̔@ ]ӳ7`4;8x\w߁-2Q8?=;DN)l۰;S%#q!/" Ƅ̑NDF8zT<&$G@A¹gi$d3-@r0/vMBNpM{\5)\GGʬ<ʌN))f,j7%Y~ص&9&̘E,+kHoJxRc"/ii&V6chy@(/mAmGR[,Ve"q+gs1iNڥ]sAs<gzJft`ƧS^l1sr}ӔCz .Yt ^`} a*LOjC3g8 ,{jGMHLgh ߙ<1 lk{fBL 7a#27i#p >q>;;˜XyVӺaLt9]LS7Ӑ5G/nOl< G` )Snꔒ1k2`8+; g 8 ] p|:\G:a.)70oTKuƜ;y,(4ٞN0ͮMwK8$*"oUvfۤhr,i:Aj6Pe5+3?'2àD)iSHLKeQyA:f aJɕ;fu4W?D2NȌ[.B\nc٣HI|CZ FƀAz I:9>u{\NpCmX!ńARCujyx}LJz9Jy #tu*)UJ"lO) QuWΫ`oADȢcx"ͩVÄ,, cؑo@T!iLd3QX?(0:3duw1375j*Ӓc3U@aSh4pSĈPM{D-K![Y&gXm)6"8P)gé4$oh S2*7yl6ಙ-aMfo愧Z5(a*]xdQ@-dDoM>ւ2,/lQ@GdX;[^ޛ%9- ܹil6c+ Ø=G%qn{?\_bLc9,_^ tb1[fҶ>&$gW'(-8* vJ0rq=Q [ۧNB3t @aIfE|, tIh#v$A!kVhWakSAAm9khN) ǿSƨi!1gU;u3.j=Hr0B}l;3]hZ7ءph^r,:ݍkP S # Y付 H )th#R22k.)q}Qh=TV ##2[,A\?2,a32tFp̃%. C\#d 7fl\N3D0֠6 .ǒW,L? 8օ o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodj5K) NHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`piC%Idq-aSUŏ˻)ؑ(\]l:orN"ꑑ1ez EF{|ȄՒ(SvU QhnSN 1BLIp[_0LRcH  t 5K# fHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^* k$j࣡E}Ԉ;r\re%U(i] HjpIU$A2uӃPZ6, E :P8' P(Mz8R,C`5KԸIWGnY)T&x0NQ0 tCCZHIH1?3QpTAFAC ?LUH`*1 #Ѥ9}8 :( >!fZ~OB'YyJILǕÒ*NrR$9j&=X3SE$KH< p1"!.PIN IBG&q4@9$X@A iD ) "A8,)OrEC" 9 )q,Fj$ ȡ RX"<ɳ*#C?U/ӈw7KWaVaV]U*TS2nvZY\YU~(s8ܯFfbnm" c5Ma ]: T@E{CYGxP"9Or$]m$ Fs<A")9ۚa ʁ$!!

I@YόA6YU6bZE,P9mDikdn߾}mkڸ6mm\mmm^UWUUU׫^׫^WիUUZZUZZZZZZZUUUwzwzwzwwwZjfffV333353ն.첫PWC Bn&.nަmzY[h~z}v;jjf&fb&fb&f^e^e!!,2BS2xwTL#,xwjjUj>fWD3CR&-6;U3xwf}*|:3:ѹU]g^ٌk6yͻW՜TUUUUMsff33ьC3ff3333[fmvv]Tjf"Fd6۵T3ldI'9ضm۹f&9wuu]wݮ۷}6}6ntF6F7mtFnt896L4{ &2 "  0< (N฻B߽žMj3n;hn7Z;-c4n o0Sv9i jrGs7ŊQ1,E\oRkıL W{{YͿ\E=`IK&$$j`,HFe GGjAgTPkp61[v}BTJ8qH$'E& :d5Ɖ ԻOy5 QPdB}سUp>"lH*8hCXa(ӛǒ;=\OK0ĊWnga# f X%6PЭR +mlqzvi,e@UnJ}ٵ@1knt.QĪl SΏ熡N;W 4<&,5RIo*hxaLMAyP^e'&kJ9w9[W!15Hf?۴bѳ9e%<˨XCIo5٧|K7QqjehOPs@گHԕtp-\88ϩp+zZQ4n:*XJ/pr{r;F\ K=\cn@nB9 ހ[vK)3ZQ|ol"f oL9l~k@ fD ځbK76]d$3i W;񄻚O8a 0^|EhD&2)O,Pj4-xbpUJ?V0] p+tDׯM lxpµ#67i2 *v7,q~q#v[@Q\G-[1ܯxF cM}wʔO̕cěӝ-̻ZEkd֨ mAcT|TttRL|ʳ|&ِ "__(4<|{߮*Y@ c1[pV)qRԵc9lLs+9FdqzS#cv&j5ѵV5am?ZU3ǭ5wۇ^qCM,JɬunbZhMLe&Oq= GW21u:/̭|ZoR[dZ ;n[ny12]"1' ua)Z|-mMK3%vGX HzԆ?y(uΚ`rr:^o{;Rܽ?MWc,#rw]G42sKCu-ʉ-|#;0-z´Hi<>Be샬1CN>TZ~| 8i ~ c{|34s;CWo^N7(By*??*C3+c2v)c&o_#*= PZmdymI[(W{S!2:γF/'4(}mΞ~m׈/Ji~h왍Lz(Lc]ig;G<]A|W]^tT24hԴV$em,Pk} ' B` 'c0, l3S9;=;f0]hpp?旊n9x|4ʖAD@⠑Y1cV#c&رY oAC`cCo⨈UqמȌ /0{Ypy=>~SQQ*36gp~3Ʌ4J?:]^d~Nsh鎖ձ&d W ٸ: ƪ)Y'{bw&C (:0^7K]r9= >L T'qi vVxjUbd~rщdX}J,bch CHT\+~^RY+ %OG3%fg54#]$fFm80FȲZ)"lP[qkls3( R E 08)Rt>i4E#H;@j`d[qI_ᾜmC .}6Vf2w:{`s?2hbDUkx1lĕ7&bIb̸vSH(6!Q%,X?b F6DZ2b =6sg+Oׄ;Eƹl4C^xr+xdhdM <~b565+T6>(ƠA]pBO,$~7UdͤI& a{5ߝLQ9yɐsi3 5B`)MTF D`G NSZЕ(H/̶m]lzr}CV9>L.VO*SlD2;ETIrMH67&ixg#,M3ن@;MFׅuCt$a訡B3Lp/735Ycx8 WBt8ꕗi X$۰ ún$f'9/|$"]%w=+"wtifH*VRBAQhl./З]m!dб9¡/<m`ʩ19N7$V w$t 8ҋHJyPJL5= :& #I#n;τCV 1D/fԗSmCC"jLZ[γ̬j _,B1_q-?jf|Z%2#[564jض-VL4;rN&:M7,J3[p@A={~+\>i>%<%Ѫ3_}O ҎvcլQ'}d~:ƳL%8Zm/!cl3Iz# 'nܕdx xs9.+V#t;p3++%ξ-ڜk8PMd*M|<9rt2:<>KY8E8L(!z ڏԏ|QTLG ȲSԗ4Bf H!@S g@gPR7A6^Qz uãgmh7\;@ A#. Pa&0=\MHFXX˰vk/DG=uP)XDm]j@L8<ȸA0*K={YEdI>~]wNBMEܟHJ]aoJ$-U?呿 E\fAm"XevOU;|j̷-Wbe%Nt ,E-,Rlݷﺫ%$ P| 1(*~j؇*c<-@FGLskhx1= Ę_M0XZӬ"/zӧȚZ2GV_=h!'ݎ] $Q;$&]0+dS2 "I |x˿Fba6pxf>ϝl^vg7vqQ aZ|W'kNtӌ 8ʺY u:[K/-@Ti0dSE[ @kDOCx4{FgzasӸi2 o 4 Kq֑'nUbSR5PAqXj2427cCIrΙ`Nl%%wc>d(NĶ*<mNJ.UAG?/(8 'Y9>|H~[qmaǸ"܀\z2j_iQ*|?\XΗ=4g޵}bB -],бghWh&d]v7 LD>pSSeH  5\2@b$Cm9Yn?}-^w:rWb7J <0U Ksky E{KJs5hF6Q 6zL CoE2C|r&aLx5UlQ?ơӦd<}B9өZ=IB$P%jP ﯲ8U;Kjqmz0dz=IjZ%u2.k^Ky Xy)mm濬o̜)I<E2;x4*-VF @i2Yo = [ e|f6:|u^RNX);)fwAHP,7\ G&ֲE#\rH# ˗=@lƛ)x 1  sHbwbxl =@E|nr%?- !0Ғng*;'.'6cY&5g6NW/5}E81>o'(vK5tl/a+ONP]JI73յ3wDxGO5Ba0\ Us5u'ޚwX<0ҜmWU*܏)!Ce0hRsۅ,KHѬ>I ґMwymGxa[F91΄.G ƮVJT`S.k3cyN޲P&}$:r0.+upa51;~ CGFYy@i੃7J}bYq0)/:Kh'2c*j}Bq3@ ȝGH5` V6<^ ƱR$tYO8ٞz\`uNlL{TֹkCǦLy$Y@E1%z#j_>םevbpe\Vj׍A_in.֚0FV3LfTn>Q6~M 9K!I宬!wx.Zʵ)0Q3i 3#Ra~\RrG[ēXqrpfRlG̊4nN&̴bL/ .Be0_ h˿s3o,v0r1ċ0HzRּCEݗjsyQc(ԟ^,qQ x2 k,*VsSz!,צsy5!)!LHq{gF^wHcm'~{Z}`=@TFbw+ΏIDP_wX蠘`jĔ7o(hk#<S>G5v@_66uzBBE }X-pG ,۬v; 2= UBB7= >v.R x  )@& fCp>zR Hzh-"kgY'Y-3#3ikdztcaO(qV78g=ߕ? /9hcOזNk8lǭ_O1T@%Y.OOVVvGTזӧkF>!؀TAHЄf|y=e}lz7o,SlAcwϥ&0#-kPqO)w^ڡ6Vp i'bTp0.W{ n9y^N;qi'G1 J0좻NxӘsRsCĄDA7{LZxH/c؈2SO0sMt>ˮzfz32n!˿3<*f}Rx/̐~|^>ƛLqB@B70o㕛b/۞y`K1GާN%) %3vAкmxS٤^Β@lv)2WmԐerYosZGg=-@b3бG&\ޙixSjƳaܨMra V,L]+B#˒2/f8KkG@fx %sc4;bddGQqI&jWgEGQM@A=# R*ŰTsjroUCvC!6Y kT#u4XeQ)ԗ_+N kQ] ᵆn.EpK[` wifaQw3%LfJ#8Zd]j,:0:Fh|\4 0T6\=>/:} xv" wKQ~\xЧejsepl˙Ln'nOgɻRTauS:Q3ruC,)we 2+eV^eXMfgT|?Dɳ6##zS}!|fd %76w 0i^^E-J1 3d's8Iu76` QpNta!%ðK C3P]z,eEǽ^$Lpj¤w[G}@| tj9\,B^ъPJT;ỹ [B3ܜ6\T$>I|EsoÅWr$AgJ9NPe,N|.bq͂mL,v\aRյh.0Lob "AGsK/eL$v&wdLQ XOO9h;!ũlMÊc9ʅ>ζWDa < w2fgwuX:CeÏ\ہ>WU2^k9ъJ)o XLP IKhLeN䏦dK %7^'F2f~d?l B3mA \MH;9ͽf;I͌!OWif薨{ns6"g~4ZK7RlLW ĀҖbD\ (+O@/LEx/>l6ϰDf$Q*.]}?CHp>L;kzr"'nnǁxmLբ bF'Oal) #|,%BJ'qrFQi0U7XX `Y|d0З#8(7C>A' x1#QR=W)xb +m; BrXa@y,:UvK' %gN: 6Mgtbr@z.2-۫\HRPa/9#]v.,P  w9ڄTZt-JLpf{(ZPQZm5m^9m5"G1an#HZn*icsam7nJ5; {Z?aaά|dr4\-lR3L;M)zgV>l~v|PN؜`V,֗ !k?ƫ?LW5 ږ\[m}7őAU_ 2OTg7knoxZ>j Jfuf}P0XK5[t/X?6+e)LDaFnC)|8*@'Y|4uӂxRGٲGׅ.*ԌhZЌ&3| qizrZo_?$j1"$X},UI@[&ju#9%Ksd,]fjucks%9DժՃQ1:Se{>xM"Wt ^&TQX^jX՚ L :(^lop~0 0-Ks^"R%mŔxxϬqwG=EEGw?>Gӏ)+%ӗ^?+VkFHbQOyѼ&B*f 5/5 @2[/Tazs=f|fCNư9 C#I>6蔯3Nj&aHs+\ JqNs%`-Y!y*`VEWNk e+`EȔ6uX / Y;bq4z?K[e?m flGN CKKS{eof=zei8L0&̲Q/O0ԁ4/TƠm[?Oƞ3Q"` etA9[8bX/'c+`[Q |I=~ Q3>qwk NeBV}Ez8z+JIŸ+e҉U ^_`17c['sӐ*W^SDh$C窙ɿH%S۾#R\ m?dR`4&_D<@W۫mbb{5Lԅ=o=,rZQ]I砦\ f&[bd7IFa e3.Ya~ˣ]R0bDpoh;]kWB_M|GF`diI$Ƹ(Au[`yU :aVe@#elŋEQOYgg/5f6Ԑ=LT% UHS| \ڂ05I).q7ɄJ'G)UR2bEly&j,ƥV԰36>\c;XH<fjދ#yR&ϻ%DHlXEPSVtSckM+zg0z #SWz~ &'^C;猥OO1 ,y)Ђ'[țU#Fi;qEmpE.bgFHzʺSv~* Za,$Ur5수̿lI@8 e4"77!bm;G=d0鑍zauϿ =}(|ym̚˻hy4`bvi?^xm:;^nxQ76^ V\ h@Ou}lni8IAL[>M;LW^MH-=ihI 3S/GZ~"fxt" !J#AI@ $9A b!BH zF"ؠi>$)4])ô Hy $Ty` қ' 9Ϭ\f<GD@y,`oq0#ऩTI{1̶q(75Rjl1C*; ;,rx"Dd5ʀ >BCqp?1Q,UZĺ\Wslugϯ>cd͖t@(埬i7]"տ*iYMmvSs F/T>hS\EI<4>XӜT FH4e%hY7[w4ICmވK(@b<cQ #T~#W4xx"U!DFQ:up*W^l#EU'qF9ۊ$ĭStcAP._l(G>19 翡38f)MFc>?&i˙eH ʦW``@<^6 _>>9{穡7|$U^ό ,Q/ODF*"EJߧ,jB9Zip^xWET[ڻfhҽLB`'},C‡MRlTm 1 Ӻ v!M*5D6qg)Lvߓ 甍S.'\B .w xz'I@2V %:(y^At+*ݺp-G7ds*/ àYϓ>GKpo7q/JT;ɒ2ju'CP UOsFwQ*8yO=+*9)u_Hq S%w._Nf"zs=ef$t,:]S bw%:eRZC_)ڜ3AWW0KTy\R-H{k!+ooɫrEJ=z߸ۇ[[~omEw hȱ=_+iR=+ JVk.C@wANK%5:k05M*6U$q)Ȟi"&ϤV՞8dꎇg)sV@R #jR t-%d%Z"/է8%H~qY:AVWIc:ȻJ$"cU)lEDkU%^!}Tefҏ΂\^fePBe7$JYO&%]NǥٰW'x屈R8JX@jtUhc9 1 |R֕<,FQUص8ҳa!ž!4hPYQγ@oEB&cut{˴\ 4oE6&?bD#R&d&h$J@O%vh gNpbW)ע4n:b M[CDK|t"Bsq̻@ =HBXoyתU@!="W@3d-TסF.w%a_>s 5tx;+ oT&`tv r:lQp 3fV')Ob+ot;A<_1M]*t^]R h.]VrZ$@|(R^M {[ʷ= ƯUR\NX^FF˵* wl0 9: ?*:B8MՓ\3`"liz'5-o =aAm3!1Q}>෹sr kX2I4 L&̗eI3lЬj;ަd%]/4Ԁq]2+X5"Fm5Tt-uitM`Sy4>,.yO*Zx=:paqU@0Ÿ Ӽ57t xIςNy^0q.-.cy@#T[Y[Hco潁zbHc=L%̼tV|ZMkyŴ_'L=ײWbS/ ̳Zp|Q.cmHSm*$G/}dVs^6.?c") e^Eqn#B=d:GzG6$ q ]yx1wazqVC6D^%D& !osVDJ>J\٢ $jכdW/yM:XV0)X0T TLFi.uQJTS@CSXAE#4%pW 0v( 2Y"K|*z/DR`(@˷. <]mAa b=j3`DrGVLUa.oqP'e >vT j_ú- 1-/ !>6HPb3 Hʝ361n= ''!! $4RܙrOU۔~A%6]@C3S'H/=J[U%h /8#.*@5^RҭfhM-v\!zve=f4:a!9SkigFeD {=mz4p-e"<120ح|~%el,T unE'@NңβF>Ekp)0#9Z0bJ_˄W5,([ 2 285{V>#7.luH^ n;yF[׊6u&܄i<{xne#3gN_v .X[̗-qeD2Y"LV jj 5O' HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`vuQ# o03E+YBIKIM%+ 229o>'R9 yKpel$6],z|s52 g= :8mts @_t0QHX8P&xBma^#B ME''tAp@c +EB.*JM)oլM7zATI htL/ԩB\&q[8D, U{$*Eޢu5gi.N~fKysѲ,f*d`~Rn6[Uߔ0wRb,qC%3sd<ݵk*U'lOʛe~_Fh~bWJ˳}Ռ_:rXXP;Gl1ތɧ!MФ|hp3yUW-jg,|nO]ۈQB@ϮTRPJt%].bˎ/]|ĘtQث>hu,{(HĊyx!bVab )꣟$=I$I ``aFaA !B!HC 1'2EnnC`z%G6O۠Z7? `XqZ5~ڮlH8u<&(b,UZʡ-ֵYB.+/42UX6AjX5иu o ]edGfb֋"{QaYuT2G$3|5C7j(vF>Blts_9ĻqH]s Wwl93 h ( Ws+ڷi6{9ZIs0ctqT/  ,Y0/5_c=$F>6 =`V}C!\/kǖQ]$5z.ss=oH3㒐=d%P]RK냂X'W"NNNqZCV֫kC-_hN93/@{lOIfz̵Ԉ]9Ǎ]ő=3M"wr(H9Ld ޷~sk$kۓa_gcxF귈Y F ʊg4,RyJ-;LhOpJ;CdR%W20o UPmUnz+&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