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~x|@ ] UHOL-Nominal-Examples:threads=6elapsed=272.197cpu=1373.676gc=121.739(/Ue<&)kF6w~a|0_t5u;R%{)KϹ:0WWwֲ{V>D=II _Ғ)^踯!S]+mzCTRnR?1: 9(M88ɱPؔr7Ir)tK0RܷΩB’YLr]IZK˶u+1~ 6af !eKdZ`BS AiɃ Y$΁  z,U yhppp%3\#7Z   (0xH0X$"XPd2XVl Y<(""(eʋ͗M8l!   5A2m7J#9.Ooh=é1MC6mGh]SF9[^["znvwhnJ\fuF͖-t R=Dc䲲&+%k-F-k1ݛGW]7>Lx-pd--gm@?aX,Ȼ(0`P@C a#@@@` e`!@pN.nm`Bva,&<'a-oTRh34H۱i\|5NfF'8zqsQ~* z l4 sVPq+Q-M,y#Qt)(!!dۉ߹T/U*>"zudf=jT- 9k8IlG!A{>]K/CCF Rp'K#5`Q#ï f ^o&bG_!]Rf~[,Lh= q|.NbRImf 2#vwӟRl3'U6Ȇ=Y(*:Kgh[ý<.~psj~p")v2:$zbԤ5+># -Xy]ȉrn`Ր"y>FԞDf~>v}Ԕ zo#8s*}Q.REb*⟀h~?*J 8z'hAhp=woK53|6lUD" AEMdw_-[5h.f6 +^9- q5Q}}I-nx6WFz|$|MN gZv!)(Q{P(YP o"I/u`5ON^4s[l&'7I1WK<@3+Wmq"LLi1T(g@\8W|rvn&ik/TzM;,zEF h\VD<p\n_=2cԓ- j9vO4LaCb%03YPMhA [)5ZuFPL0 E"CMk \͙33Ij.DSDDiĞ뵙{~[L(@σJ&v`7+Jl?vs>fcf D_++]Y`o1T#Ut+=;ݯ׮uЬ\XpCvKeMEśSV8/mNx7')R1~ Eۑ,(d䆋W;U}dTRQZ6gx+v2TT@4_r+KHlw̠|CD;84KB!""8d7օ0(`VqeL2** " 0 #  0 0p)Bp(d#d\ ~_(e^Jm VP~ʍǓk\.@Tyap$ߠ ",C1FRP}6hIbRV"eȝ\?cN5ʺ=#^8,Qp~N?w #ɧ@c̱#㧯SI:f0˽5K'K9]VĮo*mM~fWd*Tf1+L_MujE̮M6kPX%#qBoҀdѢ]EXN[5A")jJ/M%c%NJLf0&u x )_̋ŅΤJL]sg2CLdSR[_F [w)`amG Q ɉ^wp_ t9\)PTG9Yن&JB 'Sd H"7+y´ǐYJ~* ^ϾhJ d109Rua i5K' NHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`㽨m8)H'j` jk 69a5xJII"RR6<_=0pi&kK*4qXPTy0iR1 *BX0$A43jP&&S"5(Eru3)Haj^:[%yy& _&bPU#&F*=jqx:y|udnPbVqk"C=J e$cix`0GbE\Lf&)n%"v5pwJCiBH@@~]JPMPY'HPX U)@ Z3q&ʱd: w DñGcg``xǃ{sbA׮hj6wQZ^ǧ~[ҚV Қug6&3&&3&f圽s}VTz"wƁb~g0Ex>L@M9p8o7n6k5f2\.Y,T+*'%" <5/-*# " gMo!Xs U z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-Examp J5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5rA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesqF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  "P)W #C"FRV- е%ԗqVm˃ŕudX?6Y殡W pIGb|U{>f"ӣ&v c5 ؎ @gjvꕰ:ⰚK4t e40Țc%keU1>"kEM Y")ùr|h>*QT.-{5 }[L?~6,IC2Vd쌋Z-*z#xB; *Ѥ`Wo=ˊ82!l8Nl~âFe)2q㉯-w;E+ߧ3͵ x!H+cԿOՙ 8)1NiIRdb';uHsUMi,//-u؜:P ೆSTtm)!i-J>d% s( * |fD쭬$V]>qYhfЄ0!?iSG_crUoTKhhHl6ը 5Ik()̝ߦ=} ( E:[#Vg׈ç$6kV್'V67.|\7\r_1MVTFGɲv G%%P/|˥'x,\]d@)TX*k3W|$L)K}# aO < B *;{Mܩkd`)3ӕvm(Rte9*ik/SUW .xYヨ\$891= qXEnيC,-aT>weLYzKlw1Ոl´4;  *g344-\oXtxD[WO)Q=n_ gȄn_NF^'H4گ9TZ}Bt,SbDzޕjfi)qg-JZYrm2)pe_BӪ<{{9x1Xpսeac,U@Fq  z^ҩiH:x50z!}>Zp"gŽUvDc5v-$4 ry>6au{p &9e9 w`qcv TfǛKxPRa;j:BG@ 9:Ɠj< K ^W gy=id4+sw+k w"`5{Raf1fx,8ئ8⍢hnDW`b6{&8"CҫK F)K'dh9?K-?Zn9[^0!`.y@7܂ě|FM\~|>ቔ.xx_K#f/ K O?arb .Ϙ? k(΄,\DD۪ZIC7@#E$$ p3`-H@9:ׁDhLKwZ#(CL9e9&+?ޗ8* lFy΃fKt\\_r%\Q T蟏DaS!IMi6懆X"Ѓ^kU+ʷ7Qg.""C$B.%twt*0xYʼnS|eYQ<UKSU1&g5wej9zެIhxh]5~GL-g6H}1X0u7_3xO^رH/vp!FoxI"t5e'F1n F)O`Qn x^Ix4C9U (0]i,LhtAe|VцujfdEe9 }# !tK_XePgach" z͝gr`(Qi5V +HA 2*PB,WLȹ*m[3Y#‡ A񖱸֙+V*,ɩ!Q*IZ$'3ӌv.ޑmhrtѮ*9h/\v 1"k+unt ٽήg)FvIfK,?kl9 yt&( > [j[)'Qkv+dG@qޗ I)3ŏ~+ sPV? ԞؚrOӊ8p"ŭ*dE |XCH .%k&N+8xࠨOM5 {s6J`}V|ldzސK ~a#!e4WZJYG> Ew)Jp,`uʝZZo.[48R%#X44Eέo.p %rClZC&bͦdKQBuV'u]RkǁFުfT]Jhr3.g -Qɩz\Mtb]գ~nKHe ĉ =r0d0G}Mq,|V>]zCpGX gSu3P)BE%f(2a$;NũbnpDΟq%ylyRnN_xvsɹ e\ M c i1޸ژDGr%5 f4+r\ïnW1&a'T ,jAZ;t߳xd݃?}[ߖJIʘ2k U\PH-RԄ^\wW0*(ۼ[ǖ.2L0?(@ 9:L*WwŏRr%Dwj< % g ]ۤ~HjwGP4Y!J 05 qT>]73'- ݙ2:l O|ȝH6[c0{[=Dked7.uK+!xDQMFDYǷMB ޏENzL>?9 ӱHV!Fk@aLΪ"{$rs 5!33!)W.`Gs 62؂~G,>$>3}+ysCM){2n5ԊpP1K "u] _`sAR=xz^P`I HMpĐ)!/{D&rUρ&"ae  HDAhL\%#gd~KP.a: >XCE١)d>#h'K=$:sR>x]  94">Z䉬ܩ !L\3cyq9*,$1ZJeZMFy<ȓC0֌-aId1/䶘ҡ+modkV`/ڱ5w)nj\1}嚸@cC(B0u[i%.܌_8׫Ol wobٓ)\c;Y_]-oF,lx?ŜVyce_Dea)}\,m;H\C|)Dl 1mLܹ%z9rJ1w֐)L!Ŕ6_}(T7AFw̳H4ut"/z&ځc>R''Lm Z%qɴckQZt$6冯h $R+ChKsM _[ 2ږ7T{ 7ROƼoA-8ש1$+&niw6&MS# 9,G815v,,yG&~f2= *c&Tp{ɴTݹ"dVUbVFzxIX/4F5b"9CT-87]owQ-B?=8l&MYp{"cP@y+kR;+3CS*7&]`'~E'c\ Âfu9$b_#d|S¯W?8,6yBXJUN-bÁ,*x Ky2`#ҘBbBG×pR@3UMqKᾟF%L۶:b%[132ujUZ0fn*+$,C'F"jЧ [!f61<|ekzBMWǂ: Iy&f a+h;gYѹiUtt>IzSlҠ1pg\0(ZLowi4N#ZGhHZnv80۾#DLv0J|CɁA""6,OmN\)O F#_fasN\})1 r)yrEJiw?#{+`Bg[JQ94-?|e0W !u&\`!EDW\k%1LWP( wKCY¢{KJgN&?#2 ɠ#>.sD`S/-SWr{~H!|^.b*RI7nc_5u04R[H!j>)}l%`by㳂G E~pIF9W,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 ݒ;l#ec͹0avܒogXXh|^H`}Du۶m۶mۖ}xAAѲm[l&CeU!A$*rG0DH84D0nKlݒc+!-ۨ A,I:Wu]ZZZ֪֪֫mUW"RQ:V.vUvHFC.$PKΈHִS*M;ie*2vӷҊT:J۶vePt-T,&V# m'Kq|D3O4(۶m{Aa۶"uhPԮ]iM{ݺ =N4(ZmU*<`2&$ Ms81=n-}^4#U/l\m*W\r.K$L4M#L$ɴ4ofǛS.S"Oe0&1bXL3qGd<ѠˈGls,ŃU4Ѡviv2AP0H8#=u ahpYBaP â@8 HT<P HBor-/CE*HxkVGrD!*g9Q$, xĉbgՓċI[,3djUuЯM[à }2)$zF3*i);ⰛWn0PmQJttS4 p} N" @ ^g(5~sWqwe4kZo"WsOpG\zC<+Qt J_)or<=(O(,b$v" cm4Pҍ%?t清}`XoZWA gd#KXD+ BAYڎJT fڠkH]yZ!ƽr;K.7T}]`m}<˅g$9I~ yaԪ0V89 xܦC*i֘?q[Pa^9BcY2X&6(; L,\{cA!{U1 3'}˛aSt@8-ҷ"A\[tSr caW= =Y-NYX^aӢvyCI0x>*F|7z$sri0xds4VF׭ۺ{Gs3F +:{5+?~ZϴY PIVn(!)>#7I<4 _gPQPq7]!KAR̻\sWJؤ|F4,c+"wW*f{p8tF.# ODTU89k?5a2"w77''ʿJvO\~3օ"~ kR"OxY#_W_1]^9H n+P-$8yQY@** ,&i2T̔dY# caoH| 1dg|@2D2#@ `% `Y_}T0`GRNfz[C1۱Py@/h6eEdR$ּ7v[m^h''RCCquoo$N}mƱ)7jWjrDRͺ&zڍj{RWM&[Z`nYw$-[ت=3Q+xRštև@"˳SN*my )g7 3McƼ,oS& W rڪ5`3U4 9\qҎlt|&j:d0M0MYR&)SfR=K d) k9(nފR>u^O1tOifGSV|) ٩\kmKYVy?复]MsR%lr\[8!j] xEE;k M4;MfT-r 5_JO1):i\ +pQLlX!p~o9*,v7u>Ls>ޙE l[ZԱAG^_kc'-KQ{XM=8 [11?8C#˝죀k<۠n ©щTuؕw zsFWa{d2.(γj&~* %,r94mC5HCxLs$OL,@B-K9c 9u#pѱ۬H ]Xz4G)M7Ez-E/ʚx! |] ~>,J=Uh1mB]+$l|8dG ^K+䄠.D= BQNsDS6uIB@f'50'߷lƼ@6]­O, 0RAE, *ιc7V8cߧJ:X0GM(#!A #A[N3À[9% ΌS.8YݡvnR*溻ܳ:;А$᠅0݈=f@23d`R%FLfS b%t]hmỷp1vf_Iw@+9 I*ԙM]hX۱)EfLjԪ$6$(#o =Wb2{!2"k7}N %Ҹf. J>K(*>TQ\˟S%Aj!s}-ԽC-oV:ojᄋ*9b*ׄk Rx|;ayW{‹/O?(ql{ܥԚdSFa+<ׁ4#4'vS"ڣ/]i^SH1r+mttb&/TY&Pߙ~ئOg-er8\ +2K i9%km,(~9JzqYDt@2΄(Y+ju5\W=)|ۧ)WD`Buuza7ޤUA<o(c@OLxP)gw!/:|1KҨ|m* Zz)]4ZpV =<ɀZx?>%<4? XhOSZrswV "&g`+|J<$D<_-G\c-$$)3pDTCd(T']Gw6)Yr rpLAU"rnN޺-xiGnDdŬ&cl*34QκlH52?v&W_ ɸ$ƝSqW8k^W{T"oⰥ0Pak L[6㒋ጠ7/u,riKNRN"{u+)GCEGauH X #Uy\f LxW~%|y{23iZ=kB(t9uTdGu,㲔P`~į{lA '*aȬ!qON't*'+'[!=Tbd_'jV "i,lN\E*F)xjK~V=no.FB6A+)ٗ(ׇ u)AGvAK} nP|EpU&Jg6#)(o l$>av/(Ǵf=>P7!Qc"jz{4MøQ}='vRl+nw^{lO;/yP"@A엓8j[sh|zb+e410´k$l3PydDhWveKe TJ :9vp~`vy~k?tO^sCXΏX8<>V6F߼ Ttw]AM0‹nJa8C|jȟ~>9~8@;NcSQ >rIJdҤ,JGC|ӍzB0σ{ y}nA|hSU@Q !2o,mXlo,/u!xH$"3 ?5Ƹ'k`~a@A"L([NXP!Q@׏f/IKlf*zaZ pcUA~SI\+ݾ#XUnx`=ͼ!"|$Ǜ:6x+:ƬP 7`w([|  i2W\+Xs178A1dp (!"'LS5~'U 1;;IN\7+ayòDe٬x t01pkm<ɥ4#@|MNqޠב${aE?R4؟)#ˋ*gvĊ.g0!R1H(v\{])?9WEtۥ/1mOSzl,UdG"xE,DhH.nY,5 qψWk"'O",U՚U`^_T获 p',kkw%+(,Nս Kr+,] GREX҅fH}ϩjx) R~A}TĘ1d(V$I̖]*@c@zWY9'NH!WK@W*`>K7Æ?Ɵ@y8Mʻw~]&^{r7Ls*Hp-%d#ik:z72vny߆PEy'N5(\P]6We NX< C p~hk%l _ڡ«j'0pϦe$樀1t,܄3p޷ol0е'#lab0(%Š4_N ./7O*O1U/#6%@y& x . YR޼ Tv 4t9e,DYQMأ.o3rre"bc4"K\?*+חܦǷl:@feC2)Xs3ˌ$ymH=@'=M>qhju=%RD=/)k&'JOZL2Mx$2tUf1$hq4o!oVI1?+5ϧ~+1H{H +0Ol;XV.D6 =@|u]Q(m9s#fJXC]@CvYJQů"䓁$Z2yHͣP08EM<8,a#r 5 Npiwʡ;J>԰Gpȅݖx—f Z,TX[*C=e1)AHʦ8{_jU(咊t ?I`AG42+T5V0\©BMYi"Y7tV</y'ba'$ Xr6L_9 #„&g_:jNo5SJHa`dSxzeLH\tI*02(A.=?侼EƁ5[Ɖ ;9ɛZ`Buֵ@dѿN-7Gh#~*Xpo"'X`to$DL:*?BAx(mtQ@vGH4,PKV]<3jQI o x$-#_sqgLjf6Y}U^ 6SBkk"S,@EiMyӰ43Dgf]=>(YTGe!i>u1;Ξ)K.W0,f䒦* PCKgz{#KJeBJS V]f vf~>m^Ls)ch&6p: xGTt_`8;H3bqQ`v({O %):[QL݀E=Pl~ ~l|حK f;nhϮ(=sqZmQ~K_&Ps`1Ӣ=]I]BbѴ 4/S$De?C<ꌶl&F[76dr*D Ɍ> dvZLwFAȗܜ81lU_@`rWXPEUj|8Cc6tzd1 SݢD@˱t]α [D]ٴ N(}@U Ȼ"~KFX边L2 _+=!=Ow, rΎ5H"Oq&#j5)X9g- H."0O3c^4" =i_liƊ-v"BS 2-LnD7|w]G(SP^wu$eى bQ@BP;iTJK o՛" 3O18Lvd-쳚n(RWmV&m2=eDb8?鉦DșoQt@Z(+iw#]irNP2ձ)Ƶڧ>bN=SY,)ەiؒ*Ƞp*vMRlOMv h32Qps$N+|5"YbB=D|<_&RUTrr"Pr2A#;{+ϒbHjm⢙P s=ٞP5RDDǁ=PMG|d&^,e C/q~p~@+{@>Ad=ힱ/ABɔp*AtQxȃ$eW7#i[uA.Ln9mlp;@ gq)/(;pʮ>!(Y}J&y!<$RU֊%HfTg_ pY%e5)Ɓr4⎼qdxxp-aGV@'g 5Ad&o0OwYjc1 ]QJ*,@ElV' XX;dy2BE&nZXSjưZ{d) KN O.*o=F  ( v{ Q4q`>pzk3-ؓ36ӭnS37v@ yfLEDHϽ ix{`#[vÐ"k#_S55I'x0u<C'6O8Y+K<># \9)gҡjNI(@ȘG}i:S ~`M Ҏ |@M=diod1f[\Y~躵W jpq̑xr j` ~tGEh{_ϰ/X޲EG4aIЌ0&U[HfDwAjS1hM&ȷN6?A.}zOP\GjRr#mhF3l$"Ao+1!hL8Yiю2^NDUCy.oD ({))n(Yl DRWV}qF Wy|ߝd !Cz穴7g7C> :oa8ڄ u1(ѧ7I /Y ;{$+`@lDߕ_"8| pt> o0t[py<6?UJ%VL66Am=KY!gƲgS84~;oCF<_^;i=OOUӹVĀ&*ȟ)FmGcO;PmNp/HH6%2 Z' :~,o}f8kM #l@jW$/R {%0xvUkTcO灻:g/+ҁJ0[ʩ3x&DF/|e{F|+gD8DP.8;Q2Wp4]O g#.uF8æ)8Ü- i{۪X(М}|\oW`7^7T?GZw!V*A;O!=5 pRM/=/1VUg3$8p4Ji;a{!@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۶<5~1!48oog]YW o>?-@72+٭Ye}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y?[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`AJ!P EP"N+R.y6ms{5g^(.hE-$CIfK[N'GtE3b:^=BhJPUyuPID&ۏz^H6,UދN[kAb`3Hk0'L켭IrŞx fB?4c ٓ7ĒJ2-M!yc/H1.$-}0سvXnD7S^(ZVPDqVii2$"L3\/$ZȐo!#[,CE(A E mW3~ōs>fg6]W tGTOh\l<:.y@GPMTY*h^ @őh#JKà/*^_Z֝/ C,E4dLDIjmWq C UEl,0'%T! f"CK r"ڮ Z*8=u"F$79Y$D9=h]zQ="ir GɻNFҐ ~] dgbDGJ%&'ڰ2-V`D<ǜn'1'z<&NbG Jܦ0nK덨fԭG/=S44!Q2"6xig߳@Ŀ7,''Xɣ*@E UvV2ֿ{ h I472]4/rSH &F1L+sy`(Qj WmTB1n {l3ܷLAǬB G1V w"_` 3E1ܹHJ2D?҂GGzHmnH%GEqIشkn(NSE3Ct{V236 $-yǎqS2 !̗dKxGTBlipV 7 |%) )KJyŬڦJ|WTG(/KaP82){??)pӅX gng,cwGӾ"E/Yr)9Zyծ2~ȑo+k 8感 Ve pQ>mWA`/wE#B)䱎=Iyq1QEa4ׯ1 [*7VNa7u=@vxvxnt`@#vQȼޘ"<4Ug? R-).VB0a`5: hbEJ ǃ0= Vk}-iFގ;"[ɂNGL'xV2v#'.#?ȤKFHنV ;xpŃ#hIT3ZY>`= ?9m(prf렍E`RNj#\y;RFp)J}^:ՖitzȘ<@X;CۆnILߍ:vGӋ~#R!8z~{훈i!BbUO;0Kn,{!*#uxp\\ρn{~q/q INue/w4jsCB\\sR(oƋd2٭[\K;~`Hú+~F;TEWCŠ#o,!N 2W"k 8B3 =7N= 2ىopȜrހhq8Gy ! (e^ȕ&ȢUT/V6$Iz GRe3An%"HZyڍ'JJɮ @lQC#]HX X6o:!gyK_v)rթQZ%heayދ$0)p)\0.̎Rج5+9 pZ-Z&nk3 _K: muSӏH,-TṗJ,1yb5e2XrohȫK<@#*ݡn^pX׊Ԗd2vF$FRgi7780a:U|(#hO|hzR+c%hZ?!UQ| a hZ7PM9)nav:[pEjDJ刳D3MMy~U#Ld=d=,.-(98<9=u9 >z2UqKqZ 'ǎPۮ}^Uֳo6V ~d&ǕPQs&.QK"vj|snŅlOWJDFMFVZz'T}wuuGK\a[N4z~@B#B1lOJ-;Ƅ&6ՇJ=CbSub8ɿ}h Å. [Az؎z$9;nJh5T fGS10z pm1Qrd|8Ax$QdXѴPgYI'y 0)"^qmdlƕ 8ebȹS ffP cڔ+r݀s 1߅VLmY48`2}6Jo7`2:5 P*&44姴ĩ:|!L߉.rly"ps]fpܴEkYVm,wJ9odA0Qφ@ih\.8UlQ6e@~ͳ 3҇.QH|mNv^ձ\Y[@:+؂ӧ#ҐC(gAQʦ1.I 3=ڿ,lD/t7Qi-^&e/k'@ҳmĦIv]J4flj0j|t6w\h5 c)ĵ>,5sN gU/6FQp<[D7=jzMm&;tw5Z@DAkn aNVL&ls e  M"q⎓>.t[lܙ"6KV?wdxŷLdن9(DV v廙O3.ٴ߻0|\hEDzIY0ˀeI~D$[cIHQ69 c76@QsHϰ2NOPܺJ> Q1q8Ie@A1B+J8GpYZu 7ㅒ@ Y`b<*;ȋBn1b z ߹B]9RּhX?ɷbh; rjNc;zܨ 7@¡\$YXo?eF'Uz9h~E ;I& WV'phvCuNPI?( OH"“ΛHܓM1zBx @u\t͎v)6.S0R Y⬻6.T3 |@; F%؜pv1`82'%BI7M1nNdyFbTx$ԙ8nU3f $Hyz/\k QD@|vU! >"5߂@!R{|)nҺ?t3tn,qZiD3`ϭ7V¯߲M4X<MBM"#H9x퉙Tx|I8Py\H>~g37܆/]A3 _9`0^p^} C;. ֠4~ZAF~gw|q) QFN/sl)S!81 ~Io/T ,<_mb{Cڙ@Kk~T+O1=ST8Zk;b }L@)7䴔,1KaF، Q2 Tw}u.U%@W_CO'U0>} oTHUju@W7jQ4OMكTo6SBaPo2 dG\*|S{fAsru!># ع,8",8LR-߃w}1`{(Fl1¼L3_1 A%}*E"0([cWC\80Ԏ .훵n_na{ Hr@ {o>@I|>tF30}ؼF8J:؊-T;ِBKi r#@1] c/#}^9pI']%OkhKx0XMǃip.y?~* !xsKdR>tqԟHq(%H?_zOɭ|L*"4O[H9;jXCD(l:2E@Ov8 s6gg#o[g* ?NwI`⯈4WA@*#DC6'$iҀycqZ|1`Tm8k2E䥅2st<m+(: _ a;."daZ1&C=b@Co(L3k[ҿgo6dE_aId>фyLE_ r>k7UC'-Ywƺ\q:g><`pyg@1bV 0UNZ`I c쒆Q` c{Uc1P=nハעzBؤp%_!P;bnr8Ϙd}&{ȵLijip֋ D|D'UXÍZƇN:JDu b3B f1ɹpdm(V/1~_]][5u- (? ~ʂE<ԝpb"t?0 g$(uDxi=AA|`{`T a*0]YJ߼N5?E<[G*|'2vZ}I hpӀf5۞EQjyKsJv5O;M @{À !jܩ6-Sfvf @'Ï:y0bAk']qq؎k2 \!ﹼh=)uqpuHA;ݻa';>O>rD% 䳡 Y&Vf]'+)߽/ qAHz[?z "a? ;Gh-:3/ 7FR 4B6dB2\b#7KhPauamMtfAʛHNpDAn@"N;mG^Ps5G&|iyy?c1aك""}CGb<-"p1/D9窭7/1R|RmiJ\J_7h tjSy8!@y~2[TFCZoT q& w;k?SuhyݰWa^Kf-rz'JŚRoÂJL{1/ c#9u܊E$No jIa(R왰\i ;Y/ˌRxVP 4i= O?./~GoI 5 ߶7ɳkx0(n[5CX-K6y,ΟkDT"#*Jq1_!pNQf/_f }lW C`=35ǞRh,Tjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JBQA֩" |ƛI#Xsj/~'ư9'C-/7WVG ǤN):wqpCi ָ.;Kz:]sftĠq 9<:X{D/0# uK :%Z=l2_ERKzB}h`G d(Q6p~injazSs=|1u #$gH;su0o$\Ά{";&rey)b " _y@̬3 t!ETBT]jU0M#]UO|'pqVm! o<_y953$<ۅL: W{xK0oi$\eׄuޯZ<.lHKayIH}Uv-1|BD 5z A}18~Q"Lu{ >=ʖ v{Y}՞%g5s4QZ}t0 4XKuBKB>Qc EDRՓK\ԵvZeSU 0vXeFk)MeA4%>6ҌI< |ȋ} oE0js%׏E0~2z}e+-_-KJW#ŽCA+[7`F@JUmx A{`F6j|dX^}=a(YW ;-bIp0+ m;Ϗv sA!h\ :@Ąc.Q 9~RӜMt/!Mx(#`Ե AMUGyIX oΣ$m+s%}Se2l'֑^XTέ7ldrd5mo>ϯx]~/~x5By 54$t_⿾^>Mqp|9SX--bո&8tƖ4rL/r$Ts*"{׫"*hOOZOk{:S̪EA:{˒VElxUhKly5ȃHmٲ2ʈTh_wj4K|BknCA-~p)c3Cdy wU516YGF[TD6"Z2{^c@ 19qI СRkgA"{: {׋EژD-5A.!]6K~ֈB =yAlZU0|Aq B \liO<* g)mYe ( )%9ELB юoƎFhTd4it۶B5LG(*3t4t,>LS BrK {ٹfj N]lo %22vTL{Wŧ ^?$!f\dQ! /Z!4,cͯ06:, }ZFiwx:4@Ajp% >A;)=Ju-Z-qB,? э⡟rԨ9'X +O#.Զ\X9P mbAa,?{ g0* |\w-$hͰ!lgCb q@m@(ΊZl8EggsK";"mmHq$loDh& sO)]C[.;Zc S+#brфaRZxH3x淹V8j!,HBP!$";{#TDWZ9!h6mWt> ORng6QZf עȥܪ(eeu_}ws r"C}3݄5qOqG¶,-(W" .jtQ۰Gvw݃ U[+4 . RTT24^7Z>R(6ZC֛D*Br,|J t$wlw7eC̀]W,MN/]h4g و%@ٺF{P!rFGb7 s"*KS,@˶_mZ*:1`BC:^+x/ޭ|i6]X? b oT{G2tͥk+$͵m=)@u)ͫWJ]ɥHAb5#m'.!%>t*z~λB>-~r(IqEոY_R7lP4`4s"3qNX >LOj w*\+ 6`[aUZL1uf1z 8qhnTfnCQp~Wp.G q_ r#@ɤeG"D7e 웄ifmҟW6_XmT] D92mY+VH*;hQUoXp^阢,գ00t7$dV֪ `jުXRPZTC- Bj7]d$ ؉ICS4.@͒֙0:ܲq}-Q``!Icn̟)w:ttXEGE^x#}yVu!ȰS[%X%@1ÂOd(k-"PH(c0'0tH w^AVwb8Ad(x.Ɉ%A\|7Q~k2cqF'̹EIYMk Ab;>y WNa37.89%q윞4;~$ghi3N8g-U<嫺S-vh6kahx`_%EG06}TV_@.3ݲWe!_0J?lFOX=g1so* 0*&t4t Ҝ#Ҙ2:ql[ ,@-Jx[ԚQAIrm2)cK1֖-_bAQsŬWe:FCP8w3O"o S4HS[ȰcR1N†?rm 1r^c\Xi/1F(*[A oo.<㈲Cz21siE Qc$Γ밓-8b} RHI|CM(>AD ZtLplK Q4J,ѨMUmPљ>O ibV% $}TOV 䅏Y\|>ւ_ #`;{Ԗ 6HPg)-Hԏ8: J LMq|_-BC@X[L|1L+¦ ӟ힛qEnS%8/kJ¼Qm7\ v6Ѻ87/kud&4F5XYƓ.I5U  sEl: eb%8>TVP{) 6)(1`Ⴝr_3FP,g(5?FOT8Z[q bb곽Cek9NX$MDeM8!ZrF߮"#P8G* 0]Db<-(V~ǐdԦOh,6A1xz+X;蕢L@UQ=mz\گ^_`aWC_[ߓ"J 5Ƣ![G0o IO2Ԋaex$^.: o4^&`+b7hڭJMcu*nAȦ:o0*&9B2u ?Kڌ`خ@1op ˋ/FC`,=;R `amq7K|®3TncP< ]^\d*S7A﵅if`hŸF @KR%8T^@0j(@6Wެ("mE1 :hbnm5uSnpP%B&YAX)xkep;lٹ'OQQ QߓC=I VkƷPރ&jama< z"_ZGtxBgf[]N'L ~nd*>V=ux'~ŏ; q|&aŃn4yTy "ÔZŒȘ#?BaƦ;~$ܚ•^W2a63YDq4x8FHk9-EM ]H,ق5U!0G+凔;nPQMS5@t6cBy9EvVX8 gy_ﭛv0{6,P|YmD؞D]0@ҴMO*UfڃQ>/IO"* tm;xNyp׮ij +25arxírd>;n[swJ"ЉT&tT/4 F\KEUj;ˊAC)I!;ݡq+K:K-14Q7 !G{Mṇm5CÐσ'uk Æ,KjPX,> A(geCga`pe#Մ"_o7Vvu~"l 0??YQt\M/zANLlzcIJ۬O U,h -pDz 9k Ҽ0T6reTF_ 4q$I-sR[^c -8vP놄-ey}G݂Ƕ#pE~=cr=1:Ϻ "nQ9NŌгm* Do̡EJ蟈yQdMĞfBQQP`*mzVV["Se? ؐ/.Yo8% /,l!08&|]ӵǁ/U\g>ԡ AG^$;a㼩 .@{,]@ӺF.^K1bTe"*[Z26/=1cWE&UyiLY gW\Z 57(<ZB, XxkaW44[Z[_k1݂<x(W4U"&kePUK-F6A%_x|97132Kkq¢wb$⇚ǪO{p8Df3-R(Sm- ma!F'u;xp"zkaI0wwԕw,skpBJ|[ D>Cz]PW|1B${t P5(K۴EiׯڟʇrUt:w0GVtPX8*J{KX {{`` C _۞' AC&\<3&b苒8OFYJ8nYN@l`d^҇mP*Qoh?&Uvma$rޣP`3Ur|H4sZUtУPv+Ntz>n\JgC9blAF(yQ!xx0.@mW.?+ 78DV曝x["Odë)=0'2/?%"y@f#]NX~^Z1$odh\|{s @"mjy؀Q7J x2<"f]h[D\Q3~bVuro۰vCM{[>i*_g Ӈ]" ϏD we pvfvYmxU \E>NL::)T|d -vJ MoqN^O[K@w?'nX^#\%ma<;AޱG' [ YG>.Br8^M'SG]$'H\`*m3L[E̋+Hn ;>{ !:k3X3a״ >+ҝ&9 a{rBcuoSq\ -ˁ9@bp*δBZ E&Ўez;I#}6:/5]Dۗ\z 6w#p`+yb·%]ٵ"GvZ{B Jj+Vkq SS/ ⷖdF3+_[$1m m_MwP20onI/@Wo^@WSj, %X!i10-v/3D%Ls9.uB ӝa{f"?S9J+Ċ%#YX_S[SV)Q\{e1ݿn`[3ipt9L10ik¢E'TPpChQ4 u,pqv-]0"L E' ǃ?g9xNz?,N Ҷpb;es 8mVqP'$eEK@PHpKѯ?#%2䚭dd-DСNH7ZE67y,sA w)xN%u#Pi^?Ɣ^dR 3ړ RD`OȪ+܇a:'f')A6x#)u Bq'׼EQvO%bk!1G0 s O1ۄ\PRncͱG@vJm ПlC?$:D,tp\/n5I=ȭUH)]ZI 3}*BU5'QMsTucq>/47le .a<1/l@RZN[|/STG+iXImQxkgV[(a^TpPA,^+qv6_NTCSɋQ~/+ jI3/:iAk;P{B8D1 ̋JD̝2'Dx7;ou K_B`Wy'1wÈzx@tECv`qX HUdUp=Gw(z[hEKul3LF$Li2 4NO`(&DZ!?Q|Cot"4mx'.uy8g'džC5a<0 [ 7wFt_d yf*ԃhGU&th@t?Phkz8=#c, I䆴fZ$>YH6jS)J( `z'ygTp?"E %i4]o\Ukn.LP5m.889%lY7&gjK>ro 3ۦfn5w D)"cdbhKtE@6!a%S`1 ɲ B{~eB䡅G+ Gv=\v¹C'6_\$~-LGŃ3H`O)7IҗPn H p /fc/Ԃ_F%";Q(k A4r\-3!xyxmiOkaAgm&LpʟՐzBv ;BH>JСB$IBD$)mCz{:ƠQR-PQDq۠u V+,ett`A3(](JCĄ[:$Ǎ(jAΜtU)(Q0];T\pnY)?ٶclyyScl e&mzf fiQ2)  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[:g@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊8.+{[R;G?WPuv Eh=Nop_p4/r= ryՀBE'P9UH5|D֐%BiXqĪECPxa l,@ֱ:d@ n%  ϞJ7|b}yvm*"ߝ9)Bc {_4G>@^`Jl7<\-cO7HemɓH 0x+",/r?'cOg 9:ܧw)d4,lbhi3뿬'6aa:oC ݇8M[/_i)XSUW`]_IbУbB;ht5 `0e`;I@˭p3EH%ŏ-މfxd0TX:rB DZhLim7l@ N{]%J.` &"Z(m6t  3rTs08Q*\_K`! KgXf[@_3@&cBf:y)ϙF` ǒ~vXe Dɬ&3dc0GcJ[FGad)3yae@HYҜ*/11je*+ tvG= \ M A'A.*,W4.i"v Qv Y@ E}E{eheCEcz3 q^!!3nꋓh:5K_L's_!_F C8 @Yƌ:;Hd9ZS]6uuܞӕN.>SVMvi2\ `\@NK]h * M"U A"}cA:afxFI?È\ӯ B-+9IyQ?v FBBh)E(c'WDM4g/WzV`{]c;gy5*>O\(e |PAt9d?ir1zg*t9qEd@U>A<,u1ysJ:qf&H#ZyHg;rB.{{?% 1l) ~q2h_|%6Ak A&۷^92 ]x8SO{d`G%$ ML62YjA/z 7CYI<x"O wol6i;\ &0`6}MAva2 PԂz@=2X<(&og[!s<2ɇK/cL3WK?(ͮʤ(^&N+Fʴːi$ʹq<2V1\ol=DZX jֲ7))Yڎ!RD#stp[hb:nu ` ?\!@.TnW/HvAwh^cjLv oS,kT %wk'սd|16!0c\tcΥz;4jMcuƽ[a']\"E4υXW $gR&.Nc/Q~uM?Tm,'D;DZ=MlrlP(pnE/Zs ʊ~X> 1 uN}M$F<:XB94g? VtִnG_%>9wYg]Tbo~6Ѭ[!YamGjb1lǕYAI0X^ib[w r<:c @m#%ASWȓп7#޿gwDitI"Am49ap{ ю1y[HǖVHQ|oɎK0[aSr|}=#$C>? `6|o򬀂`@BDtjꡩR?#g*! "3.K{9v|&"^}#K;n}TFK/rr?H4f?_l"$`mh`[" /|DTz V5Ԡ.GN yǯf-mi!NR\"RP_Ynga~o*Zf"d Tw aӕ?Hw: ۥz\pjofs8Ogp<]:Ԉ*ܷ9I؋b/w]#jA݊Ux:\wAFs ڪjw^\=>؃ƀ9:P}a"x%AYZ7Gf!߻ᐧ`/0G0!SMhI5G?NU%i݊Ñw2c㣶pԴ~t2p?iؔ292w~%3&`arـ<РTR%P]##J*νRUWuY0Ѱ y]da;קП0}gcBX_y#}ϋ#@!>O7c q3A566cD̄x\d(dBΉcISRI;7+m;@0]:GA웄L/)*]J hEXu;{ \܄Q#nc-fWSsޗ)qv:̼ VSA ~>Ywjc+L»O7s7˙?uB~єYf37meU==aer@テ L@AN$l,Q tz-b Aw)9Vצo7Oz[A8{7i^Yė]K9*K07lDC(˽&v} 2T▘q%}VYN}dvxwvؚGbIZFCȕA_;sF7oVfEte¼#TC:g0k Y+_;uɻ >->6&má"08 keX0 d+VPL0 E"CMk \͙33Ij.DSDDiĞ뵙{~[L(@σJ&v`7+Jl?vs>fcf D_++]Y`o1T#Ut+=;ݯ׮uЬ\XpCvKeMEśSV8/mNx7')R1~ Eۑ,(d䆋W;U}dTRQZ6gx+v2TT@4_r+KHlw̠|CD;84KB!""8d7օ0(`VqeL2** " 0 #  0 0p)Bp(d#d\ ~_(e^Jm VP~ʍǓk\.@Tyap$ߠ ",C1FRP}6hIbRV"eȝ\?cN5ʺ=#^8,Qp~N?w #ɧ@c̱#㧯SI:f0˽5K'K9]VĮo*mM~fWd*Tf1+L_MujE̮M6kPX%#qBoҀdѢ]EXN[5A")jJ/M%c%NJLf0&u x )_̋ŅΤJL]sg2CLdSR[_F [w)`amG Q ɉ^wp_ t9\)PTG9Yن&JB 'Sd H"7+y´ǐYJ~* ^ϾhJ d109Rua i5K' NHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`㽨m8)H'j` jk 69a5xJII"RR6<_=0pi&kK*4qXPTy0iR1 *BX0$A43jP&&S"5(Eru3)Haj^:[%yy& _&bPU#&F*=jqx:y|udnPbVqk"C=J e$cix`0GbE\Lf&)n%"v5pwJCiBH@@~]JPMPY'HPX U)@ Z3q&ʱd: w DñGcg``xǃ{sbA׮hj6wQZ^ǧ~[ҚV Қug6&3&&3&f圽s}VTz"wƁb~g0Ex>L@M9/3i&k$ 9O z*ΔG-zd.ڨwL \fLmM;)oI ]9qS ݮ_2%quB[i/ '#u](ĩkX\oH} _fjPyGoY5\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  5K) (HOL-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[J4 =^&)=37kwD[ Vuv8MCkrG۪+*dEpmrFړ>]f@7\F̚Ycd+=ReǝԿnhM{k5Q]k0Ǿ+ӛSj p[.;,,զصoQ1Y2gi-+fOʼ%xS([=#X" n&IK& S6ͽPo\{5ov)m64m7vzA^t3-<#1|ZNהHxz|CYSIU[nU aqdΈ-JК^"Z]J U 0&9ʖ~\[wŻ?D4J#,AfPMӝ &r{Dz;vgvxŢATQ.uv^~X筽\`rw4ݵee/]A aF*sk>`Қ r4G(UnLLqdqdpc/ @hCP?guvxUD1#.-!MgZaq=c?mIIh(1"]Fv9ūcMs^%s&}Ye(cYE Gj7W)xN;c ')`Ⱦ/<64|(H+boݐ{IeYاҐ I^id7:}1 )%?%W% Mt 4/cdU}qR$ lKU$rï"54Z &cĤt &/ 8y)6sp 2f#-5Ĭ,TLV6 ו%wTD&+-zA0A$aL+kXf)rs>ma~osy"C8TϨ#-QK9ڋ=G<]1zvBf`(NkJ'W=p-rդ~XP6~eiogr)^Va;CvI&'iЌ}@bֵI{8½fJ{kzͬiZ{LW=マ]י1+Oa߶8\۶j[FxBhnSp,0O{Hz d}?-Y/ [W y當݋ܪ,afT涌Tcȫ-߯n6(y>̤K5\."&,͋ҧJrPN<C"pw\eO2$R~`rf56%?W= 76")o^Z*H{Nuޮ nѦ7C#ƚLVڛy(~U3Re6^&lM%u)st6VeFq1 h`*g(Egs@{ܦ -q"w5䐣fF`9M(AjzsxTlyZ{' B -k\+vB&8Uso+N[-]8fg|+_> d=rK@a)bt%uyH#`OY3BGv%b`I^5\-|V%-kTa^ J8vL.ʽn0,n}gY uj}d)ׁKQqfA eڴۜ+2X1,=58ų /e2pY}0&/ֶ[+ִ6q~` i2@d%eq HR-\3y {"' /<FP6 u5 J]p4t$ɏB[޾tY$Q̐RU5BMXzuJ𯬲T8(볼rRǾMןX{C]"?eT휸콒E{xLlO#)z Ҁ'KoĥtȞG?ǁ0J-m%홒6X9m!PN%@^ɂ7cHh~N5dღ]jD!+ejij3t̯$ >=jJ*awYC*h+u|>4I r|c`dʁ%b64N }RY,Hx]J!۩h""+=pHҽ "gV?(yq|K 5!\G V|,KB1!4*RBd H%2-D0+e@ز^9FtǃbvmAeb[Aa1ΒWIUx:jh1y pd|y"'[D]lU-9~ 5vJnj ea(Gǰ;uN&K53{qy Tp!6t'Y? ZX"𾫜ܣ uTg?1IwSٷ*jP cQ8kذ#U73^Daϭ93 %;DzM`'$GNb3B]1 &灠I;НAc20{Aut]QfJŀјʍ7hÆюhn 'U߽pw]..m h)O:d%2BXĘuJ4!՚ۣ$iE䘁\y 8\# 0%ÒsZLUTy -e"|Dn&3 3{PL ]AoqdIU L3/ }@Z4Dd -3A93552`VH}YjIŸ&6㥟M |!(ޠR+vyΈaK;oӕ8 [[>P( <%@GXheRB?,(+5P"SQ23BBD.p17m{+׆4Ү[Lx0 #Hx-S"DF{p:m;-HC진²dO^'5M?O˦*퉁^$f "@3ݤbelF2mK>3CfI0\$f%]E"ݞthmVi[J*5R33ffJmۮ]۶m۶m۶%IH$I2vHV~nIWhfۓ"Iӌ8!ҠQH1 hE(VxG#CM40A1!,Ҙi,~ڸ<;<wv*UM&y ?3JVCqɄɢX4r?ɞ2iȭ:{~I̾%ߒ;{:\&npeQ#%HEC]1K]xU @3Q%sC&Brpk;]F/ۇWFү6%>p  8:1rx"; Lc>4זcyhk-hi=ӧƒF`?\l$EP>;H ΍48 2!$)vKs wԿ!ӡNFD 6!cJѝEb^eɒD*`ȕo%+Pg)CyK8wF"hoN 1&6uO52FH7~w޲ab:J3v M,0bo•NEI͓bT 9^15ɼ@* e+,V+Fv!S5X[S#! s:Fʍ4ۤ&ȭV[bYU :o@=u=*Ej+w9r}}>g!6@/!< [4LOLV/"f3.2u̽qBOt)Q UƱ^=xW_(͌u~@rdbkW 3h wN 45o@-"TcbĚg;;fx+gWhNSGCy<abL5buܣC.Wdc@4P_=:WѨ .Ro6*m}R"qw)rvf>;ׄ `Lk7O<.W`8 St90ac0 KHYv êzo  KC#q=U+®"C:0иT5!TUC\8"W&J&[:!*)lOYQ|}-u 5F>s(_"X3/[rY *U!C-_J%9ahjgNy.wDQi4 &^oBI7Kl0k\SjP#k]M?%}QP$ ;*1OBt8mRё O^'ȏʽa//㡩"y|fB@V'f nj:, M{qЌ7|Kj? osuP\ݸ?`:"o$Đe/ݡ~kMf5.o˯0o.ݵr)w&Bj=׎ }0 Ǥ ʕg_yU e0'׮ SR{H+-L&j;zSau=tJRn$Le88>S+rm0zdW"v;g!𢄁;16g[+{8;$Gg'9=4N Q9w4_]T'G犯4h"Sb$NItv߆@#ص9WeN,x:rkqR*5*͢~@Gy;>o3ܚ ;k ;GS[ S1tzU;}t,dVӧWSn7m ,e]4 ؠkw o1&D56F\L)k$4(}sb{zm Eo1h!¹i?ѝ e?ƒao)}_5" 6!CmPZcyu 0] nĈFG3nﮧF[#f^l>H{IfOM- KLJ,ԐF myܻl-pG%@3055_+Ei)ò&N׸ )16 j׆͂p=z)kQJ *㪮WT@UaHx NS]؃"U`Eׇ6 Zmu5=Bَ8%+C+u<讀%W s n4htDX@7lQaf:x 5v@װ][8>변݊{t'[y#%t}vn7',x#9m]5Jf/(`]3a-20Hn&J c4LŔd/D(D5^@}tfƇ`=Z:ZԠ_1G׏C~HnO"t/4 9vGv`x:moEY5e GΔG9VⴉCڨ `l1[38p淑c QUܸjr-Q{9!o3ovDg՘kVs9 3cr%kWs&v!1gSU>Hx#%+8v`?Fo#`kZ6 TO~遶|o&a/#yit<;Bx5-qEO$*kt_ԘB#N ݘMc81\РeVjrqw[/pnjd&BeYnS90.qapQK, $*eUPsa2bӣ&YP(5JY7rcŤaCSwCYf/bXa0\F"nX<8aW601H%OEY`9e!ji75D6R;KtcxMƬ1Z8<o!MRiK>_HVjU c|PFF3^'Yf^$sqX}w51sVC#4t7%*[W)v 9t8":{+w6@Jm)8KjcH0H^$bcfPX]陯RIC}>`Io&و';gqU a ƍi)p ܓ@b'ß*Om"~\2)w]M=cX5mCi_i;Bb1e8)R"_5C …;6_86u&^ 7j)T* @ᑵG*ux=fHO:_%$.f+4֘GmX>n`9'.#}Kǖ砙˱(Ъ<F1)N _ #~fI?lq{? 5_tGW@٬p _]d"*kr?"&vdt_Q2[8a~=ʁpp+S$rtlҵ}ϥ 矒P/QF>  8=yɔʆQͱ)n1a|Bh2ĽDO#KkF@碰Ƒ,ip}O^`.aACVŷfsdW/Y 1q=1CP8f>%EqXӝ3M~,)oS4I?ei]G\!wo՛1( 0;(2+ly|F7m@PPӋQ %@+)gcxuHviɸGnVmH*\}EqV56 z׳nbk+[$&5x,L"WXwM1ܲbD7y]14@D>z.4E wETrUc%_$^`AJ#[ ~/]/ڟR%RUr6JZa;Í_h +(ۓ7Nމ v'mgTgHĥ$;+(3(a 4.o]?nD([x|ǹx QIv؈#F\stkU &5`kY0wVg]nVJWfCHsc8 3䔟QDޯ ?Yvǚi6Qt5t.D9 ;I9O ircw{ H:Dt~:2xt0Ge{ZjP|4q.TNQq2⤳%?--rƭGi\FG@,p\T^vo iTCiɲٛۤwU˸@+z! 2HNϕ! Ą(4|*hQFi!HQQqZPUe)x=ɸ;ߠO.ie,d4]儒㱖 ~ZĦP"[,pz3ܹ)N` cҺ*!z(?NJ9sov " ~OmY= 1䟠O޸'1`x; 7 R'`p|Iqw0 6GK4]@ 8v gI(lwL0 L' [L$>j[ _gU 7*%5-Ԋ82#1rIǖpZK^# E i³bٓ/m8{Mn4S*j23"i 7% 9G xFO S  C:a1Ag-g`0!O#|6?QExFqOUd=tz#4PMK^ :OMI5?e>G?,jx2oV-"3Gb؞ ?Vdg&P8Qȑk7SSmc7l!`(]oO|GipW鑏m%x`~;px-HYܡr~#&Έ3Ϸ4#qHdhqL5ID5tPj#QQt@RR.5dzH0a8Ok֭S2d ͸%ivm%*݃ZUD3-9 BPH I!߶m۶m۶KXU%dUUUU Bhffffffff۶–m"v&IdM6dM6'jɃ]ED3ԚD3-찡mۮmVe"fi"b2V]Ֆ8t=TIOv:F"*"Z;I:FԖvH]E4Ӓqiz‚~ijy|9%lTX@lT~ I}f(4.022XV#l ]E4Ö\'qAAl]U%JFE9JW@B6ژ4{3  G$ $L`hTPhT,  8(08 `X$!A '[0nON)id:9Dx-\E)YP&cN-X8P%*hwӡCGQ:}p)|{~X7$Yǝ2#qmiH}# Vj{߇fOU(iI/N\'ߙs 3e~ 0˄& ;46n4=J&q4:UTVqjǹ"hr1GU((b}n4''d:^fڞt@m)JT#˱-rJ@ mǛia"O5RJ]yQhsBzn[wS\IQY%+O61!k iJ^usgmG82XgyH VZe; VxFݔ5vȮn|9 &Y^_.u恫9vA%ξFFD6 Ww&Fuyu㠾_[uֵth1#=,a~ Rh>~4Yn\H\:-fc`e"anP~ }$^ gJVTǛB!ǫY9uI0mKԂv_X"w"JC٥=sqtU,_Dgܵ?ZAkT2dW41OD "\؈3F/ȊE{@.RP Yd 4\s>A!26smو% {GE QF.贂"fp*&O~5X0lQ(2j!N\j WMor^~+'u sw>-Z>$;bo{aJV;)~loq++Cybyx0׈4J:HKn&Ҹ<~ڂ,yzMzXlː\sN.ɬDʮ[,/TV1^ [!6I@ds޻c]iXqi`&/ʝ!X!al4mm6+U.)9WhIz5&b1=AW b. i4AWW+|43ͬƫԞ<,Q' ȶ$4uU|;9.y&4}0WG=> [krubȝ+.~{ڥp#9_Zd󺫽@9=}_b=R/;3WS)︳KcG֑[{>\cCzy68%b@1H`֓<[R3ҒjbI oj-tWT H#U@U u&\0 >ܹEB̮T@@cÿ<,&"Sɍ#G}!jН[\II"f0,d9 L㨩~x#%uϢB96EX?i9-.SA4/%ܥ}=}!m2v+%46cy}x<@8kbKeuy07)?(Jdt'퐴6$;A(z&XM@D!܊#:טSHzyL ''@JoF v|`Άpz)'|GNJ:؄#!]{ e<,͕EH~_م9D$WAU'jsTS tAŠFo zbcFGOކ-(; _R6̹/I.]΢*·yv:53ϋ7,MSz ;!M4ZfEEq~r6>#o2!MIFq/A6X#Jt iI63n8L㇆,ɯ'MJUZMQwFOt?4cr}'h92L.$uT2 sRs,7Hp .UpܿYecBZߌtkD63# ;oE:oF*5""aܕ 1[(14,F% ̡ys栊njWJb ;Ћ3K{QOA;֢RY<`';(;W5 uI|3`u5Hh2vHK+dC6/gġtjإ4 A17Yzl_ {0V(AgTѼΗ[2i=ߴcg':SC_H)O-.9]ۈdM"s?y~lF F!3G֗ U16Ǝg`-/[Ԝ'ōyItʲZoVwwVz|? !oӖ5kq> v K̔ ƙެ D(vrd6OZP/TGG rxt[MGߟ.8 Ga*,Y&rbiqS`+MX$/֊6iXֿXsRΤZn<L "]Ex%y{Ża3̭cTE8]3cK +- ߍf|ʶ``pel짟d>jY* *2}Ovlw,sRHŏJeң>R7 սW X@.Ȗ2]XI\f W6߱tIyò6ZPᜐ#Gw ,8Թ6~ i) HFR7OkS:x`FfNlN-g̜ȯ:W I=u_l'&R4w?[L^r~r,r7EV=؀r1"ο:g_ oJS0#jxӆe#nk❨+xsqk3N*X#rC, 1dK=`3t`[1k2tdrWׯ+wL$\;p:V} p$(G|h3CZH) vͷCV a>wabmWV/E(oa8ۊvup?$T#."aaȧ` P<='QQ?bM2>)zT12 ȝG'yj`1P+=C\e>{_^{(>~@He˜C5x]s冈kaقY6-|_:ʵyg }.][lqENdP"r1 ~zrڧ_Z|PSMKNA>SnSR%[?yK X'~sgV+2i(wۋ5?Erd Fk+~ cgz6jcy0GBPPL{tAOc8A=sX'+c0whHvޒo? 搣L&{/Pۻ"7[iZQB8((HAsⴆ0?sjbh( &R%BX7wMgDnNp)1{!vܘ`|㤒>CloIHOJw ']@t}ԟi~>,!q;y[:c% ˪/M=ʮ͞!n J# Q8u*!)gl+Yr&V.A$,eJ ڇҚ;J+:)"_~.G,z J s) L a}2e>Y.3ˁşb%hVt-gŃAU3RlRc_sDd LƫXxG-f_]d<$#A270Cp{}#%GE=*N~TPWH޵kQ C*HlH=y9u˶|P/[^?Q^w4Vd__4M/:=חؠ P]%*n b'O9T,>ώΙ}ϭ0WuùI_8kZԕ<L#9E&5(M54, kͨ}# 7ހ\^G"q&,tPǙVJQ#RS_{x;k8Y_/7A>Ph4 !󛪶 LcsybЌM n£$[[%Oda ]YnhBk~Z|̳d{f{ѣR2JKŔӦ { <$6mscv[r'S={mz$Y^5^~6jcI}/ ZBQSʹH@Mڿ@jhFһ{{dG{%~).+$\:kt%!| |WR?=! |Tgu{cBE2d+ )Q|A|s!b"M_iF,hؒ>WcaZfJpČb߸퓂B  ~4dّФFRo hbGy75>| FotkA|WZt?m#KMהf s1/Uu,v"k_S|P ,Z?֟0t,> )m%A.>^ \jɵ/>ؒ- 6A2U䓰U{4 l~/&Ꮂ߽%ts;d.lRtA~4j>>?]yǥW֊p!7>iOXŮO<fAj.5t@I;z.A^~J|ShIzX+@BV|R)v^xZѰ_Bx+k ~헙wKH~6u啕9O~dU,HhݦX\,sە"8z_DRmb^Rn+/ϊ|6]i;_&}kS؍K]uژS[-=AqmMm`sN[(LX<'p;ulAb%`7TG0rIh}yNJc[}/s3w!?KܕGeׂVĥ$-(J]K` |gXf"*:.iqyUTޒ;˫ MDj+.eӔҒ{cOR)Xʒf侏z< ߆va}Ds3߸%ruVd ^l/g,zeAK*=p/S3_Qj!WlM6pq@s:ť?F~nnIJR2WQTM\en3%;WnԒ/ISow6cmIwfVe%o3{vg֚4ejjDDDH=Q&\,""?MۭwWݶ, vk%ynݞ4Q3>Nl&0MK#ZAXt'+]:mYb GiMLh?_&}A.A![;@48r[1Md}fV]?1?0_J }[o5D>F8-%yΣg&MUvpsuޘ2x:R47U<k_1r::'%шlO_xY{^>+tf p!D"k:xAa8 9ǛewX|t.msPQrb)b"(?Q5A4U3 k6h @ZHO.uϏ 'xu3!CwidH!ϵ DNshR"pSe ͇<@܌R2n/'5Ȝ3<ZxrdyҚ!UxNQi}zy@-J),\D,{E8d)zQSO_\GQvCMkI1Ҩ/zjl(y+@'֚H0!\C_QHb&=C{n%x% G`*RO>} %<\R :GY{KAMGzS1SU#JJ}-GA%EP͍#:#D9{TG, :772I ?k!B;gdilFDC_jQ-RwY., iHQ@zhA2fJr :snrta,۞KP#39eJKYTz*{مq$տt ܧ8:s#ĪUr ˅ħQ-5M۱| ) C:TahDq`W~2(߼Z~"Aw NE# Qm-\h۠MDTRt1L| )Csr*?+xZ%[19+2CuQ:߽2p5Xew:+Pn6[ u7Mc>p`.O+7Iz͂h,xNI# '75~V( A7XtBAOzy)77m Ga+dlo'ZCI@T}&]T '[5'@43X:$̓m'qY׏osEԮ2_<+}& "ժ#{ʐ 25-NЯAO:ھ. GCt2hp Ng&֭Q1m2*L;?= clS_f*JܯJQ3ut}de89&0<*sw*1bǸD e6ܰ(ax@Qd;@xN=&0qCh;hN~?0`l.{CSpO$,BwtBȩdا4E9ڰ#LN y fƈTFEFKyd}-Ƣd|a} jpwO'R虋7t@:".,[ ARItEz(ߵ]a |FL (~b KV3j}Km @7nC F:=3rHlc!(H!RxNU紴hÂR MY+e+>.ryXiqOi.Ux h#r-W?͗ <_=|%K?ު:_ Q(xڬi/^&)6^=6)<`͙dKѯŤMT'VUH9<k-Z@MЙ /- (Bx.[+#/]Kui59PP*zuNr:V"=H ZQOEwfoXo {]*L{~g Xˆ?e<{J^9@-,b%-l{-р^pW ] \(|&CE'ǡgmV(տN`ăMoϜU /i4x}8QZH,gZ ,AMPڦA5tk/p3*t{U,`U hЅj?]vU]h ƃЯ"I#V|aX ޖdVT;?gJF@ j7ɣDm3E! oUI?l"XԒUl-VC䐖qYG]@/* f{=L/u ޱʬ=[3";PÍ&St\b쀪"'(?E.e'M3mӧ@q A dPYÆ]+sv;HhqܗeVdF ttdB*4yh ~ٕOal͈wiH,Rk0T%ރD1TUʅ(H e},:~P߉AKx ooo5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodk5K) PHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/``kߌ%e`VU-%I'˻ 屴˻JBZ{)+yvE怢/R41=O{|ȄAC3[Sn-ahnSN 1B[̈Ip[_0LRcH   5K# "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^zp* k$j࣡E}Ԉ}Oz DdwNIPYnjM4^$5$*E fF$,W(, Ela$h%50 HC: I-t^+"1T$5Hjt&!h_p1F0FH(R_8q1DD<Dj\TX8H4+}|1iF(DE6@ I ?EPA=k/m1}%1ǹ>N%_H!$Ԑ9 :Mz$:&5E<ɒ AX0#“4b$F@77P'9SR !AH$}!I(p$(ǒ$ (H $%A$$%%'9! 8#5BZP@)q, YRBxw*>*TjGS3o#:j&"ʹJyU-̴ L9˹W5GHjC*j^]ͧ:45į(UAOP= Н0.P%ZԀ8%AGx("9Or9HK.$ Fs<24HDR c$psr ұ!

 ",    $B &¡P;/{ 2V/2?o-ږ Ij™:-0K(^U BK2}9ʙ3SF: |)˚$DĝF(1V9/N>]jhm6E%?m\^FB18ؐՔU>jTlܺo.ֈތ`Md2~n99We![^&85aP[ihjD6EX#,=1TA?+XSp tR0E($UaZ]aM0԰q9ƒ?[(cu&Ew'4㘃nmrz0p\dqe̞ki k'OkW_WP"Ѱ !ހO'Ð{D%'æ5i y_2=7ntC%96闅 &w{z{ͧ k{~r['Eͳf>0&$B'w*, 䝿E;F 1PYpX,qҠUz1׽#Zk؛z15bwGS1b>w\e7wX0UN1%p8Ygqv__}qKVFٙnRz- @ v!ݾGo;lt9;8G>OnWDg]Q|-vh9q|6?.Vy >GI鱼h'`fAa/ 2{;q]R>WΓ/(?|'^R<[']R##RHs);M)ηsq]Rܢ>AZ #m#,)-6M)]pSJFgn#Ee'U*Zu8{f/9`")w0G҇I $.n3<#G2߃*{%VzseڬYcGQO,BùG诇YbU:κNju"aNX556y'Bүwp 7@ַڇ72'l y+뉍G|TSl{vY[o6fKv]i5&۸$\msj7\;q搰vBӂ<$+Aup$öY]de%j}-AG){9zunE)P{\DW9=w<}aےѭF֖ ^.iOޞED,ؚSJ! \oFqGѡLIL_e|ȺʊSEQnZ6oF3lr7b/Xgւlb3scZд_ n.^\`tML۝Y1Тv9d'{9)O*hk8.ۓ@mPtfO 96?\k?@7tܶf:ݗuLmԚXw[=zD!fGOm9=5nGO[6Pѐ=w9a;W\bP=Q:0%Z{  iY8`)y0R=`xf0":Uw uNitmY>iÁ%eEUW}U~BPBFpZi[Hs :a$u8+J D!JC#(4j}Bcj_U:BwU;φLY}h&Ov#{=(+spc y L0?  B$ɩmܻ *wg(1D;l;duökf;Shj~gg,~P{ajj'bC< a(RC{C 77{ѾA~{kg }{Bl~{]v3_(__f{ST(OdL]{FUtܾFdBAxR 4˷gf=^̫ w5~ ɸ>AMsnsFonkvxeW>zpN`88 )p:72ݷ%80&> \CGLC$A)yQIAPv9ޕ#i Au&R'kQHQ=NX, {w_AW`r#[!1?,$DLjפ}lϏь+҅WHd^C Bwr$guUVmIpT7ت&RmsYqZCeXWq*g'h;Jjt۰r-C`Um1#S44g|]lG")n:7{kţek/lq]5o}Td@nڟW?Η;XK0NMσ.^"xh}Re4dP9^ \ŕU?7$=h1O̞>Ϗ]d 5$)&)Oa P$x> Tb}$$={57 ᖛi_wS1.#b߻5kИ;܏ը9@QCSK ,nzNAn+KhSsHzΊiObWSn!HB])_}SFւ^Tt]Dw`n ѶZdH5 %АcoVh&4S h 0ӀW<1T쥡"Y1,\ 4P_g@`=Tʅ؄]Q}U}sk\܉NOp9hRX@ӷ<T ;zfQ+*zS؅`k3A9ƶ\~w= bq>]55@F Py0a kK徬k#f*_1ӿp*eQi`[!1G8Z}B=Z(R6I|;0 ܵp8K6@۟38 7N; 3"`c{Z~ә&./bnDfbnq  j2)&#ޯ5|p]5POgH{LN@ w#YpgRP$dHSdDPx ac SIqYN@O֛zjէBugj`9D}ɔ_. xsX/6S`1)u PhT7l6b`+GT`ܸCg ld[% F_Ь=lgf.D@|SRd'}Hܞ"gd=}?SvC٩s/' Kgqa,ȿЫ2gbtwFr[$~Wqg,E:i 0Ğ29mc9K9srF9u91%4 /<2R">JcU1|! 0WÀd 3V 8pwv1ux1=jE^ &v9:s9>_ӥ%& Zf^E[Nxz6 -sXT$јiqi-yj/῕6"֊JY¡{M X2_eCO?z!4g(w l%~*N{VŸBtFiPI@>2"^Tcs+n:͂I8+җ1JdҾ}v@ӛm^0fU=xRi\c*Zf{vhQ8PRK[D?@%ۂWv9 59Zu;$}[n dnj|{=Ψ 3i?Ά:kDapU9e^0o p3=EFq&tX4[ >Segz&wz)퍪a}Bpvs?pGFv غ=\);U1 F?_Y6|c[fNTYkeU\!gYNɐXtGn@dZśn #u@H.]i1(,2eW|x}Lx&6 ÁbQBk Ȋy^d OvlcuG ~>r~f V4 mrc9 HmL#)-2$n|;;٧Q}6 P(VSf䔱Gpj;j|Q_B:5V/gޜGn{  w+wղIz;x^=z'  ge#ݛƞ9cK^t^6#t(]#GcxUi*5gQ7 殉t_Z|doʹLc걷,MQKvfxH2%Iw<.gU^Q`am-]@+Կ`Eiﯞb 9âcmN`cNIU3@3j^=׼EHF++BljKZ\o8CJ}H!W-XQMNU14${Nc\ 4$>,twf|Ӝ9p!e0Hw07pCyu 2;y%K[9sm`pTLF]N@ EަI3.VH`;Y*M:ܡ\Pw;7jA)6rhz]=/`^-G}BTқxÙ\ 99zy ~o{kɡU#PBx}x9VP(9=6VG/P3])4+g,vI$SE̦b.v\"LgDfj_|:/ F0๔dpeKSZQϒn]KtImnt4v7Ȗ.:$!'h^͞-:Ћ9c)SmZ0m"Aq0bd% #K o@B'K_vzL1>~JB="tnFlaT~\\> E8-%M&S25?}6Ay6b)Oc} 1A@ԆY< XX#ȵ0?6#~oj5-5Y4Lˆs;Y/^i%0I cKp1?B=;gAqH9L Vz3C}}΁u̲z`[mnCқj=N2 GF" m|5OM9t(P31^JYpWen`%OǥVד*ӋBQ+FnjB5 e#^{$\nz8[z\|"!vX{/b8^ SWLN#e|g'X}mpHh9Ē( O6Փ)=w+a882 [ RfdVH,ة묷=&쉆4׀h:Z<)X>&/p`0)&j@Mk!|ZSy{%#SxxƵN &$#_L۱Rv r&5sdKGf)8폚6/lŒ"몊XQ Qh 0K#)Ӎ#Dc\<|2X~ݕq( 74'a~5i:wlT3u!tY&0߅]sU2ɫs)d+ais.y](h#: pNb!=LG(  "QnWq)0mUqap;Eј!8g>cb~NݲlY~VJGA \`t4∊z9Frז/GVKْ#&Rֲ{ *?iÒ. eyO2\/&) >}Lm∅tOtG,%&q$fF1X!~vvlf-w\*eѐ kCJ.Iۘ n^?.Qj,B7p l3d7 0D` b{w(|eӖN(49|ΩcQBIET[̐0:+#H̛]F6N1p3|ahk'\+ZR0V˚uLB{dpT%1*j8[ !rK uLi! p .&U RgKkS4QA^"0O|3%8.{cJPA#<٪{=|pBME%+!Jx*zHTȃj1/呙.J'YgP"8:l2I KJ6r SDz/Rc#yn/}+$ZFR*xԧy:|A}ܐ BSmԚ&z ߪV` ;dgٛOC 1ʧl5Y[z&Ƣ/󵛼VVS@ze,J^lQq.D\fqN578}bCt/eU)ljPNGAN>zNX̽;N~,nanOt72)qA:8p(Z͜z{2* Iq u""N*eTVR9fDj F1(N(|ZFGW[ O| (ruvպfy [Gߑ^ 7[?\3kJmaXOq~Ȳp(咙̸S26s MX2zw` [yL7x><ȨqZ&WqIMmm5..}^7FFMwg$sF.5SU#Gea.s7|PAf5!o"K̜Vbw:WKR}W^w|?fta`mX^ˀmmo3,V >|x@!ýͥbz^Ғː14;GBe7 L1˵@PIVpjho]׷iU#t7?X9R8Z -- w86n=>CX.h&ʸL9C8_׍ԵٚBg[I073vld쌔{ޚeaS/U2`̌a"xq9 nE'=4k`raK^3Gk%ŀ exT4/KG}YF# >?.+f ww'6ˏРQ!_yie'iQ}plGr&UΊZTs",b$j狟)Y`7'޹ l~,I1t<+>`t$vAC f#xԛD*vFYV 473{GAHė0Zx^QL#9c0VْD3kua]̋=AeHB̷w'6\dts i8ώ&7y1OdZMK00ݯUgmC_4ʛ>wfU mii],}=ac"ᡟxoPBT,6OY *ecPn˙VdUv;1Dt,`12PSO,.p TJ9岗sU'ה_s0iȂ2ɶ3;j 5-y-agTE'y0(j+qӰh\?})#mV"@ƪIvKir[? !~K8~+y$|^ס}Qj j!SM,[Df}'Rg#lrp juІrH\yDH.a JE,ɝAo>LsdŒ;,@kk8$fř]13HX;p@oeGɔyX$, i1_O,ZH< ܨZb>M`v:lUգfU J y}QC?=+GiH=,@$oHQ1m]|ϢrxTmv0S]+agJ}{%*+7$%}quu0֑?~u+jD3w^&:?NBufii$WުlGjkbAe;厾@bJr{b)b;$hpQC[LP O" dQ&覨Eus{^/Wx fxо; cEN8!}8[䒓wWo>L蓹ZDgBwim#[χyK2LYRH?H7Zq7k1+kO&RfJ' [%°R`CIWu'8#XD;IEyk"s\;4U΃To$^UQT'X?YV$PΩ@CZ= w=bSsהrihO4KK1@o[!h[Xſ)Z~0B^`<&Џ퉁y\&T݉{QkB$c~ה~ b/a+2G#Hd:SzGD ~bh=$զoNW GYbrO` lƲqQhŽ^<9)YvhMr IR{~rK RILKByBd !+"B]+D{Ɉy}֎̘nל,}{jxY*/@!T2PP !ey7¤Ǻi+{VP*DZ!RG睨y闚ya>p5(yyIviy?^dw9^tfY6v >\ h@i}ֶ|a `P$%_m5557= >:%aQv" "B C9P0ȁ 1b!D@QT16tD\)f-PG?^!1Ɗo=ikFdA ehN0L'A43b}3y Jf꘩ -M{P !`YyX`]Da<J^cȴ\ Wm?BR倿)7@6j^w`ZnT$jpL_ ejCH"a IO1cuQ)ܳ%tm@R lPџIj)ܐм1kh|ٵ 8R{ $@.J{kv$~qL 4;hPrmJT<};ryͦuւ 4] C5$zs"Z3ΞS#>'>ʰw7,pl|XSJ cK T9Y"omFhxW.> BqN>ЅY$3`T#2JGR߱$=\[ 狃`?ScR_-TՆڑ0{`Xʹ=F)!K"%R-N{ŭ_y ( =.D3C08!g|UYs_ʭrֲI䴧7{+=%,F=Bz#OH6߄g,-kV ,M Z Z7P0~lz.Qee`*J>e2>BGd% `gIҍz$L s.ѝ3]+J>!7%͞t})eEfyv*WT i3KtzpmJ_s*]w I*?˺~ )=StGh2ܦ?K/t>QEQjtVB͂WՇi8`l%O)TpmղA%7tF;QdݓE_n/; J=:6gS@67gs gTֿ{f7mFc-| ȕϖ&$d$x̝rM u5 QfڮxRJ^)p;WNߒ~s?̀>`83ȫ= sinc~PM$IHwí}܈nvYG94YH;a&( z. :fykzOvMgY-pvC?}"kCؠ~ ªjY8sR,ϴl]ٌb*JmjlA/Aܧиqގ=p"p@#H[tdkۑ4ٵLw~]c[ŤӦ% ԺSE+/38# J>ym~x"aLNRpX ăI/N%8 EF]3\+z JU& n6Rc7b$b8fÊ'ng<.| S)ق&$5 c ~a9֭՗GP֩ ⭟؅b}CY lm>)S#$0`v 1/h@z/@r"Fd薑( RKAFg/"rʋ)*n˹ʃFS18cѨ? e T򽽡 &‘'@$wu*mRw]'.% 4I(or3;e~'eQKOq^jYC|4U nfs"ϦW%0UE{66AGiuPpt;_;ړ?WQaoS7 Y RmhH"0A[8J " h|fF%\ǁ0<<_ 6F p ,%? D M] #ʠMA|"T;p &'j<2HV^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal ( 5K/ BHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/l|O:$-f`S?u&f;*i(nhf:^Viy487YG}JF?񿁞w'5EA,nm[=aF!-n#%Mc$Q'/"5H=˦,!Ȑb,'AQJZ>6:΂KEZy)tA, ?ʀ|D0A$„BT(1j&ΒPQՃ`e(kI ւ**X, "K1O&0YFp@VPМ, "Z$ɓ$QЃ(gPd T 9jAH0 `ݼz#Zz( P _==gMo6keS1ySJ)7",MlL_7A!į9ikռL>A:5$ج0wbe0.6wu{[g#'/hj̭kh_a"c(5llߑӶN$¸ GR8,PB@)Z PLž,bx'K&)j" 5iEkPQJDZ'5,(ry|.b)@x)Big9g ~'MNkgfen.Г c4H-v0US9CKt˶\ 칞ˀjzޭh{h˜ڨ;:suZv&gb[#6MʧgI!?#aݛW93O~^&2fzoc#ݱ=fݿ+).z, z݌--#A0_ճ[ۉXU=ӿ99yи<>M3 ăXW5ޡ~gF&";R&"%qwV%۬I!2Eq:$T=rH8^kB8 (ZiP  h } 5O' rHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`vuMQv# o0ۣ:p)`7 47%%+ 2.OS6 {\td0i[mddb㕐6kߏTk $.N' 㗪l,o4&@VaZ@G a%E{L˖5d$T4"naiPq5Ga dhlMc2ٸ#KF^ aF!͈3AT8$~ CؚN)VHҴȫ9/ Ǔbef$N/{=>ĩPa0d,??Z!U-ω]=i?/5aqJUhE\دvפ]lQ?ipDm@ի_*)>U?a%q,Ti_]9bνu(:P}"۱<Ccy^B>7}&% Hq @d-*MD˺Rk3kOGKY{܉L\-JhtJJ>$#ܫ`{=؞z;l)"1ϕawrpu :̋bB!e/85|dfKiV(t%KYWwT511M҈*$54J%v9H%M%w@y@?2R?F@kjH"Z`(2梘'j/isj>*k*Lac#iƋ{c /}E|Tj;Jd}E,m N.*GX, r܌8]o;n\L߶ 3VXwRlL*=ǡK6;2^0`^pu)R2 ?f07ʌj N o} !߲[ !C3Ml2)@~Ϳ>Ve9Ӳkpݑ˰v]'-6vB0*D%eu.tW5%:n@ƺ6QXH=OiTwNSw'י"k)ۮ\a yEbs9\S Z{4Tmꦺr,id4Rl$q؎CL5DH@z/qٶTxf9> HG0O[W}I(QUO$f1hЄb$sQ/.O9Hsx*NBYkUoLaV~JfuL,Cز @am|3LQX]aXkI5ӂR5i4 (Ir K⺻Lt]B<]8eiUr` [~K %sq~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