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_exportsU--]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_sourcesu77 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 88d5~dp: ?- UHOL-Nominal-Examples:threads=6elapsed=277.122cpu=1391.593gc=107.470(/S_4%)kF6w7xo(}q=ΕUĉM;es.22YOܩz*m"[&Cb$턝iIGoMoΔ7oH<==:S18bөY(hCtE #595ܽͮceWGeUVwCˆ 2YYMM;x2R ̆we:9C:kJWגZJ^C"!VqdbzUi I4h2pkh3۱HrӲ}6H+X,rR[ En>g[UeҐDnwjcӲ8v,B.MGmː>,2BJdW|.S˛ƖwC3FgrI,,Bք kpL8ެ3)M[ܝy.W>x^qX.NJv$ݎCh%VWbGsN"+'݌C5xzCtC(%kjHlDbaLġ1cx`U.;N fZ\GMD=d/{= C*D׻R֝ǬkVLwҏF)o=ߵEǚkkl?}w^ߙ5w(lXچs34+b%+b}ѧk3 Ү63B3\fNv>sݜzz[u:'WyWs/;WZiog`]e2zu۞9u-sֵ]jM%#^FkT$Fn~> M[li/?NEEؔdה=ؤEժl [.ˠ-mtY(eǕf]nb6K2<Ε˒:6cZ>5]G-ѷզؾ*?tua`0N 0p`CłAABX JzV͌vLMxk*}\R+/i-GvPV%kL-$ϯ.  ngg>a(pYmu فh !:loKS97Ċ;Rf5[ǂ~ڭ6UʖlH&h㐹W]>Y(Cԉ9/m/PJ!jUآ3Sql}@1@gQh#TQQoㄦKDHHߺZb%#-}n TR*>DW Y(@=HMe쳳U%"'p;{/r4pEs,L/9V3 E;^Y9GO xi-2UjX^g4:nj Xj,2qC !1l[ZCShD2l ѕGҚQ:Zy˹F~!Py#_0+SA儕D.haSGwѕ0GUҬ`a=G gPfSq'mjU4Wd o!ph;GjUi\=K#}_jʖゑ'Bν%1hǻ%t02JxMl$Bb\:!A##Ӻ>8aJQ 㗭lq-ΒRkZkwhj44љIӌVMm.65QJъ9Q{QC7T}Snꑦ!FpQ_'WtB[ nQ[ v̖)IBʓt^ఌa@"jDs`פ3d%ѷ+W5{9)N` -ILuMPsH(rDX( {)HX ׽j2P1eHfD i CaPfQB ! D$I l$#u9ytFݤ7SP|EEv.($}c&0]Xdʝ*ug5 ebF@oH`͸ycC5M*X-?}nYֻ"8]rD>%3_hĠХxJSv@$lSK * N֚c0 bﶺ*t7& #{#!vV63e^PZQ!Gd+jW(Z 8,p G7fcQS." ^\($;BτB/{5 D8sꀛR!%v~ SO$p%& TCYFY#)'@ ։^Lh7ݾ7lBS2: .=KhC܏6O#9b8KڵE⒖Ӣf#D8 !oߟA^i}ボ'V܎f"9p2[^ePBxT?`j]7>AñŗL*E4%6s}uUMT{B|Q#}#HB8m%>^yw!O{XҮt'3 *ͱ[>jüdQ3Mb$hb-cڔ.ҳBsoZ\ i}ݸ ZK☦`.c^R;0@0$Մ!^ltgI -cKFՠ8ZQv*ϔڠKAYvR*[vO"v "c'FkAjZ'%wT$Ƭ)kR˪q"eI6u;QV)V2+%T=?:8GՍڗ9X~aB[QPDY6(I yRAs\%"kgQɥ=V`7'PߴC$޾cm g׵cJn~1V@ڊtsQJ_f˿5=т 7Af4@x# p0gbl4 kZ55|_Lp5bZ5_] DHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy2d8bf6ac0b2d5552615942300b986e0270de9bec(/`Q5#@Vx!I`KG;^f=d8&,)))| c4"䘣h># =6?G, d ?ts>oKf_'BrY{Ya_qV^I{ØYA[֘Y8ߐ8sr_ᤳa qPAI:\;cǨ~R"   }|   x j q1  ] 8 ; 0s $tA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lam_Funs.thyG5iHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/LocalWeakening.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Pattern.thy=5UHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Fsub.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/VC_Condition.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class3.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class1.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR_Takahashi.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Support.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Compile.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Height.thy H5kHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Standardization.thy <5SHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SOS.thy C5aHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CK_Machine.thy ;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR.thy ?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class2.thy;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SN.thyB5_HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Weakening.thy>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.thyx i{~ytoje`[VQLGB=83.)$ }wqke_YSMGA;5/)#  { u o iy5K' nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`=l (:Y =lY4se.鷉d7Ys<8L;1LҊr^[80%rZ$D Z" t8s7r6o5j2`.],X+*'%!" @9320-& % $ gQo!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-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5vA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesuF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   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Ϊau,bD6ƒ*^g.AYh d:pD}4L7]F}JQډGjg¶GZّ~|:$=cCEK~[a Ǫ)-ͭm7/"ϐ$ dQ(nsQHc1#HI󱡣|TX& X{~6&o#:p5AH!NUT.F?"b(4ZcqqQNK2рOIv3IJKK8Mi2rU\4ӬUlҲ*U+P۵XXB#l~~Sⲑ߷(}KdK27r`bBgA} pz3GcJ[o: !@M NF 'Ž\\:P],X'2r S+Q%Nsp Vݫ0x?l>Mݥly7}Nyá@y7Wf+L#DȂ:ɮ|P.`zfVA "!P@Rm;ΘB! yBSs ^J _ [*)]͊]^7[kqs=:.L\ǴkPֈJPt}6$Z4.pt"{!,  ΝnNSWwK}`:fDqZO ʚA93Їą|l I?֋Ȝ8OU LMZQdGQv&N?=7U8X1BG#p@3$?5r3T%S/zѸ۵iNząf4aڣTHz(xOn#5!hlp`CHmǣ4YdqQ&'6#itQ ^2n ,/H[](9MC5߂{ݣ@}E"6Xwu5l r%VdLEJLBmfC^B%|7oy4ޤ2圵oA8,< 5nɱ8x9+Ajޤ`TJDCo?aj 蕪F8Q)ճ0~pjjWe9>&>.DVJJ#8m ܾ4ML}0A:MKz,DG= '>6_?!%!Ďۨ g(`~4LU톄ʹ\wJB6'9Z &pyd&ך*/ *],5 rM"…ܦ]sZ!7EFs&'$ I! E$wʼnȪH1n9).ɢu/:=}|{w׉˦m% `E˾WI+ vpS4~ؕH;F. v̯%i]vFV4|T k+Ee-m"u / Dы U YII>Ü{1le~l2. J*zȿ 'U lHjl%[nZ=shnVhvu:~Ygc4q8oK4tGtG+1oS˗g{ԠXY}:g/kESUY t8J۷KbK377$+R} {l͓?d~;M.ٳZY~9Qsa>]5^Uyt>$Aq5֓ 쉻LC6K tqPNGT%1y!C:c<HL#BMk<z o9" t䅁[|?$ 0l (70ʡLor=H1$Ҹ(B~@)sx!@ ]7Q%wbm,z|}N]~IҠx4 *DV.D<~bVKtQ\V9 3vh/^-eח #Cb2fxT26,r#8z@;C `~U]{|xy.^ilP?&s 0ׂp_c  6:!y-H2W4[&⧊FN0  OzX\%" ;̍@α-ԏrs 0ɀR̘FͽŒJ}U\ gB-0˳@N$q҅[C0Y6>rTݾ-}B4X3/hԔ 7~XhZQą҅1u< Y2U~WpG1wW@r(1VX_p_ԎZUDɍ ?2ԭhT5RA?̑D5bzKޅrX"Vm4R-ΛZL_|h7J"!¡猥13 3Zwqo2¬wg|k 7\Jf%bb؍W&>ueD;;14 I޼bTJx0ITAh|TƥPUX>wЁ@uU%oqD!T`:J79ND3D ίr{'e5Q@-PI3(W+p2#{thZDh__!ֱ**'789Yt2+c6(M?xb$5 ;)MfCsEOv>~Zja(uf6hh!!&=';R[ZHzܯ嵣pʫ {p7.#iQ9Kw r@YA. [{&|]gu9\&㔿vTx.ԗ4'.%F 9dUc4\PEKOpӬǠm[ia nd)BR6E n 33L/!W,/Ir+mM󥣿"f֔y+YU{cjPvqL^+Ki KNmNqd҈!|p.MmhDU_>GQ;!_UJxs7R穟 mc>W焃0 .@gr(cae"l=nfNO"}v6 ݌uYYsq^3C9.?]?˥zgEnx2V=L&67(bش=&у;aKhO]۫¬kB m*Ϡ"LОe՟X88 pegx!\v2ҳ-4:0^m4{ {Wp6fcX :II.asRl[î~0;r:T׬,>qCLO<$(XP ~VL?vL)5Z%[t jSZ%('AR_oIբwkAo+ۉ|(5V 2 ФÝ0} *ySz* Rx<_=@JEoCZzIqE{^ac 1 W>T,3@\J%a'=%~%"AfoI_pp:Mȕ¾Io@D>x=,0CN~,HDho u+p֝WZ?,XerCt̴r6-Hĥ[EW74 fDn3I7b%G;|^:l%Wg- pj* TU_IR߼/^t#>bTk~)1A8&B{Be:H> 嚱m󈯜ˏ$z2l1[ 9Af27=XKm1F^g',Ll w @hT,j~B tz{>5MĕkH-ESxw-O}XPY'퓔 mřG40Ǵˋ Hcؓ}&;өY'(+15sNh5]ؙuofIj̓RRg ? ]&sdrI~W2xvL,i:ăAK.Q}\ dUtu9o$@`qw !U9B`Dg$*y9yip1b-{&g&Zsؾ&@Cv2{ǐ|˂9V"GϤr]yq|N_ÍB- V ỿ~7!~x"/xT/I3<g8!b`%()WGPF26RKa{aF&[y_nksF{a14n] U@Jy",!M$#IjVI?ylt [e0[IdHrA_I݉-hbjk~ѰȄ*^ P }/?l~%9}< ?$WĭG}avO"Fi 21z2>z@}wI}N^}sD8cA$ZG@n}&bxBOiWB:]C$x#; T@ApxB 4 Z[XMYRtD*Ss @SJYe"-{$)WZ3Զ~iZKJ>/V2<-b&%TJCMXĔB 5U"0RSel7 )lM"R(X}tŏ~yO!a A""VKAa;w We1}B?} XCU`10 En <-0q,OdS$*z;W1,æٲ(-*?':Z#uHan}#5øp[a xcXUeB\&nB1pN8yՃΖGioUZrցBvzj1JawҒ(w J)k\52*9կr^6<E} @_IwK XmuW1@(G*/SBmj+&`i8ث\[8f|iѲ̪0q?/0jp9a%$ur?| Ό"RL2usy%R2C!$"*G× gCvH0K śjϴ\2HOZ ={]Zo>K'9nޝ| y+0Nv=G{ai"P94B?!>2Vp]PCvד{A[ɘ Bd3l1h> '劌A2qJks E>AŁYpq_֎[/u\Ⴛ9'!6v%ʗ3&hQBNl֫Pj|}4IT,zU]{fW^uzU &.+>6Vq 1yښR*vJMB_GKŽvβ/%&R-TG|Z@ #w7M9}Lʼ"C2+ @r"8zK1m( gM6(?o376'Ԩ轧emk2?  w y5K' nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`=l (:Y =lY4se.鷉d7Ys<8L;1LҊr^[80%rZ$D Z" =YN5-+BOcG@SS>>_)ay"r.oVQb5)Ŋz8L9p !`HJTδ>ES^ 80p]^+-"¼icj.8Ocю Sڄ|`v>=0 ݾ-~qRxd-x1TZ%ISWy)9Sޥ6Y:onBaN pW$3\[T[}plI0&i{#dL!]teRuaȰ$$3iR/rm}Lr%cr;,dRW٤,# _ɗ4ڒc!KD$&XS~pG*Hu^Yu*~jS[ ;=Uח 7ɰ*)˿:ߩQlYrxZ%e]7|-7WzL=@:z`zļiåWUt<(y85填jv XCCd;>S2]<$!vӾ=<(<,0\O}tfO0Yh{wШ;z:wX w2@ۡpY*ÞoЖ;ǻ*:Tr>kcn"f6<@Aa}a!%޹cŦÙfNÙbDS+ݺnǞF~V&f86]7ᗵw/4*l؆E혘 [C9,To/ bv LPW.ϦqC9pdsl<Rzk 5Yil,*MeIkXwz`G³.mY^{i:1?;xV>htȍ\?H*̯ {k1C/x+lnˡoX>b.{&)Үh@Ws>hz3snB&ӏkŚ9ieԞ}5KA-:љaU--Xwk h"wc|Jw*db&Ǭj>۽]S%r#*,E\X3`IG624ZusL\[ ?6r;̶]\kx"n?Z#ir fo 򦓆\|gL]OR3c ~h@SFswE U8{a^Z/nǟc{Xou/nKRH:#b~vd;*6}- ڽcZ8 m:ۂ Ua/>3[uO 5i) ӆ_sNOigYOj[qDJ<4Î8 榭;쑥\}"et~Bym2{ZnbCM$kʒ8L(Ӝt!/2u/Bީx|jHo%cĉK?G3#([+قxx%>kpZ;껂h6AQ|9 ?*LVw/bv:6.@Ѓӂ#hcf[Gnl<G_/_UTjs:4@YU|]\7<&4{JsN{؅.Ջ~lpia&>AtBnVBxlEA%y &HNRܭR@tʼ\vؚ*.a,gMRQFg:p-ŦGd5R'2'l(Y_ h(Ϡw3Ӿ(P}1S#JĴXs߾=\9@ #: C?ŒfXdb6 l2(LJUK@US65П_ #UKaEqQ,uC݃}-ͫ8t>`NCGZjC1&z5 An?bMN> Av34Ԕh%et41 Q%9i/irvK17aAH#ްRfz8(T*5nVk2Oɵ9# Ph2`MAZzG3Qhӌ>^+>eIs|CTTd5i]%OCgE_s>C^ 6RD 4RiҘfhJI!c{(u-`:ՃFrW+@tf11n4=7Rj.uyG9C!$?M #Uڞf@lxB%Ski?~|"3~ sޙC5,mI+CsF%#q)geMW@ͪX^ <'Ҍ<<|Sն(}C PYCTvU$}w)Jn{coEnE 箙_d*/]z +%W0L R9CbWdUS*_2Sw0W2Քՠjkku3G`FJG?֏@m+ [.ORB@pS6&r*7Ƹ@t̞@F:?@:s7ґ{%kߙ4˽^7 <3Cx,m{uWOVyږãѧ |LMAJW~ 20[ܛ6I|=*^HRgL#%JsG|9j],I%ٌacDo9krLa<߇/{5ua_?1z_".0ʩ5BS4Q:qV{^zS70lTO~mR@Ȝy}C̑qW?}]a߹IY`aimV㤻/qoIhJ ?OE"IҔi3.e4@4ᑝ!k탃XpWi7Vtْjx3:?0[@0v˷\2Qv+̃ue9oF0YRynl?Eu# Xbz|N)R6ٰr 龇-/һˑ/(H-Bw_0i`?sxH_Q^C8l|EcΖɍfF@e>\%4^=3'8 K1%c8aPPdz\J{ǙT2"Y£NFuJ~9Qf",Dh,] ƘeaˣB5)Nq Mwnd[6!yGD51Yr"852N?_c$jђ= K(o_OHTdG5ߋ}9<l 7y|C;VnvjJCP;X@'G*GdyΪD LG6LïNs$\]*ce`'wL"!hjUw>hq-^jI9QyO`ĶH3"*kx9tx1֘#yZR5SM*tqPǩ8 dwW8>?dY;% y%I@}8N2Gxhr/Ɠ0+]Lji婿͍>B*tKmRa̝rBR,-h g?C7UI K l.ap*ǰ4zʚ!C_ >3ABo*`5{[?ly 9+CNQUU:Ol0`TeY* ak{eE SŌBb#r̈: *6".,F-`pԒd-ֹٌo5 Q*$b9~3c-x7nf*"θw՚DgZj\UD$ͻfU%b/mͪDk@0 ׮fU%*r][3Wi֬HTom E_9GpݪvJC$<Qt$,*@ňǃ8*@WɃQ$+l!wYIO)@( TPվkiJHG򨘘QASJHWJEDڛUw$Jx@(X{WU׮=tTe PQ $( < (4*:$   &"!Bh >?`GIy%+1)J^Z@ %n~I?ӡ%}Q@0e*ho~y (; ukI.Pm_6_>Oꗭ:mx 1_o/+~1I8?-4r{O/J/-ݽen4O=˒ReK 5l${@|HR%D.jD$3>̅C!9` IyQ;-$-+ڀMH\1B>ArybBI*ma $q? $*% 6i͛#m,s>Ot8o󑝾nuevdpꑒ@w6y<қp$weVQ^ȈkGԍn* *ћF<"USU$ xp92 24]8w% V6VC'xj ;1O8VF?a|_:jJ| -L< z-L ,fB~OxF-_|D 7TJ-91K]'KI~nuwmsW'ι_=`&8Qz K~a'~.5h)z~Goo6'pB?~c?xbgކ.>]xG_Ot vNuy1,Gܾ. iN}|#F(ݡ4rH% %jtZMG ԙ.Grl頄ʁrxי@5}3Gj,|>)o4#Z8ګDo:[ٮi#;`thiu]?| *Ύ";ᬟ3\9'vK-ybr-OY#:3?$.FZÉ0W\S΃H|ns5qdʝʩa_M륒nfwi gy2l̖MvcL 8(/%DЫb:hpqQT)f|݉L!v`[bM#^B޲3"ldʤq9{ ˮG93ShRV\VZ|`U[sOSϕ/`櫗|WSJiV8yLZ-߳|s#鼱7:swvQ^W(vnTz7 f5̷ =_hlw\9xu_.a[`*\X^mY;ݫO 묙C<UJpwZ;xL#d՛xl=p XcW_9R\ B^%npъ45[7hDExy>P6Cܞ6vف`06NwGui׹8;K|?.Wݍx;7KFEWzQ$7qN>:5-ybΛgi$.;xUc#@($϶\pUg.(Uel1?Qv&&5w`T禮&!uJ~fU8(U`l)HFyԸvH[6f:d@ .R/5yP^o5GP/bZ=A'FR%5Fw{64>E{6BͼF1˲.Wɛj 7Z\ld}<ؠ(7 LOJ]xՀ]MP$a;CwAfiMc#p.F[l6g};k3ĭbXOh2m>u N9-6Ro$M`&ܓ=Ȝw0 " Y,[DwڔGed֫PWUW4mV\VDK fi6an(pxEr+TGKYw8h (VPeKRT75$߮qS0>iΦ%4+ms+#A6T]gHns!j.%+Fnv72Bكm CF0Jp'ؠw A*֏Zc &u6gNۑb؛mR>=+А+i:f%0iZegRn2DMHNlTly# H 6܉?N68UN㚍 CokMnf% 'DVU4kv0J3jw0F71@n$scm..׏<4?(2Y'Bu@$PJeЀfM;tp'z30 9"D:[=NN]r%;aK )h"&$Oّ)R4}atFo}m̬딹I"{r - s˃85Z=cP}h4'Sh';cC?&?äs?L#D&dži>1b{pV*6H"aȄS ISteB*#*0(*-- C7G%Scˁ7ʡ*#rXl QʆᕼR#K<4yE-&Qvq"8E+-IcXدRKyXH]p eVi^zá Wg})'F?nj,*P3,zB؁+'en=Sc@iC,BƆ^"`yj0BttpJf$$"6j'ק o;q@G'a-߷0YW!6 5}ƗQ|1etU& LL:*T]P嶃i49 _|xiʕU8Dq[n?/RZ;$b"Tq~bXUw}>!aY(/}3e:HQJΆ"EpQ\^:I _c[?k!<;٬d,%-C TgM/V0>)0Pj[5DƬT ,pbhxjl*9u I|[||TcZx&0ԍTe 4Xy%-^ع pI|e^AT\%D~T 7cW:P;fUĄ xZe=]( 6?Hלk؃)A"7J6(mXWSV?.SUrAiHs/(E O&v9}E.rVo\ȥl:h`C=Ci~ _!8*r 7HW7\x@"l/NzEo\F Ljh ~ۓS =D'`-wd@,Nj-e&S9c0#z0Өڱ7tˇI {e/ij.GbJ80X&鬑 'To<{{@= "ٿ QϕW Mjd?¡Oꨇ|z'zU8;7p^(=0N{fUp:4ǟ^8oH6Ǐ~ܤ z_N~Uc ӭڊ˵}Vn>GsD^8um=OȮ?Gr4EVfb፷kNTr'm?e}!xF9./";;kRr7ޖ@0f m?@ (e(*Slե k.*{Љ/Jj^T^7"`~Z\>.\3*|8hJ!ZZ~nRdOTb <"=d^\Yl’07W~SZrOzB3ܢ ':=M~Zrah׎xR]i|~ĩnPBBqP@)EFx'pkEsl'0 Z'P>rB7)m/`4d ͧrLV{%Eh%0gR%0IvKiY%Obeq!vں!h+bJzٗ\F#X⍠4O+0`v.B _'59xdeWL9'|{F9ISMec>ށZ!;#:fXS$. (w+٧?M3qBOyfñZT6qHt́qJP3wkP[<@9^vDqnXo i_EGrdvTB65av勻VD_]3Νr˒[y6V.fSb*法o}VUS${l8!^_r˭Z']B>'1@۪:X̚lG9kdUƫLlmNJf٧EkTwTYR=;k[\ug::5cvA>tdFYU-3}rrH"#rm`#3DVnLv!dkQ@H n '"bD基os9AETǜ'1E&":äWZ1%D!ba On3r!4x@fAPAqL? "PlȘ*K݄DŽ>j55U-TUi4ߒh3tU,SUvD' x稙 0U&&L/ 0zAתTR}7*,LtjoTX 4Gd{H6dI.Qa`UGLD0`4'l:T[fF02.(o했bNf @b @Gt?б<Ԓzza 8K,44(&.( $  0(DLqC?&M>eo?sKq[,1!f$P[L`x.J ww]m  Ky8/B\/Q@kHJw~J e%ulWҏTLz?Zcne5Ѣ{JCP9+z@2 CI.Un(A[h׵lzy: ǠX)}a0]}Îfu4u<DYI{B< ^c@t XM" $&`Dj}"NM[ԒBI]؏U9' =_g @^*J 1-BdkQ*od@8NTb(\O3n w40$dlֲAb%uS^?΢$ dJ@ˑML%G-MϫS)§ֻ|WNSdt%L9xֱu+ٙn^G-T3эcEi&sWӔv 4;QtF.Tۤ/͈Ń^ARA‡ǙN VGɿ[wyOp[~Ӧ #I n!N >K~ǃS 8:~,@ܛ g8T 9G=M8}6 R-~s+^cs8XAr0Ix+~!Ka+BW r}[foT4AGNBI:i4NTј +^+tO+$O+RנʥX7:Mn'a |oeԬ?,SRA <0SQaBOO뵮hXҲ r+h.ܶ1HЫ{ACAEйx2er.1+zC R2Gm~ouИzpo?:8ɉiE'EGP2HDKӘ[p F^lExnRBRC}Z~8a}CP7Sg?seU,wH%QP./ݕJ=!GkȺQ{̻OG zrH爲>\ChA[ޏO>` N [tg^BmA+4Ǽxa.Y:n=o#tYZ&q|VXA 8y<Ԣ2[>7xzYyPrPVHH8,8G:m%Qy=pW`K W:O*߳cDJx2&3kCe\R-V ㌈ݒ5KgIUw` zh~܀.pa3M5ҕa(%clúAPyKXsqx:-@yaeUJxu҂[=.q2fy&HE3~ DpW.@h<@:>*W[/ɡ=/r? `/YY^A;_lnA۵nGP)'i_/Jg6DNM̆`P޲)ێ>w*n<>r3خO~핿. &Y^^|2W?Mr=Oy"&31y X0%P[EHZv?on[9N'rHU=Cߛ ]r2l7~fgn LB\<`yNQ́Xރ9*de|׾Ɨg3\9Pͯ @Xz9h]&)V\u<PA{Y8gkt ǭ+>pHJG?N1knOG<7ZCo+&>j"aٜPN$'t>nh'*ˠK%BXԯ*hpFm‰ʌD/>oҟ5 @枯kİi\Q+Ҧ(0j$64W}!L]AŔA{wAS AR݅G^\k$ s _\e= 9Q7U.ŧu˻3;R8Corv_+zIv^l7|sVsjA_pP,(b'ThHo&kr[e6'%;;Gz})cS <#qLmIdk yv 9)D;t᷻X ٝ /2<>"r8|RMKǏcl(t:Bmq p~x:@J'ŠF% ǔ>h4X.{d <&cy@>Oпr,Pb)*ԷS;?Mzw,SXPNA99ٱy!#DUWNkϗĖƀ*kjNMw,z)сR='d1q2yH{Z HwWY.4bI dGivB;RO @p}m&+TUv (E} סpIp%Ʌ@|*w'>w?ĢbQ]6}ڟzEYeQ֋}Gש$X7L 52i,raRWI  kBбTlCXTйfR'*Τ>'-?<4e%{[[k-sĎC$E? "ܡ͹v$܎;oS$%{nNԇe1NYgf|0|޿U@Jx_29^Kб~2C . G{ -Q;J=h]Oz\uhSwԀC@ H/4ebq +w{M/upγhx?-q:tCIUtPU*N Q_59^nv1q rǧkhl56QR'bmLRٸ$nL7n '}l؏@:*z+c`vE*h·(Rx̛s]WfUc =9K2s̮߄*m?A1b /_gwX&?YҿmE\_ 7EJ;f:fy+J ůn`d8,U͖a[#,H0uCJ!V4gJW@t_{ QaI 7ubIܠ&hD-q/c4.H=0mC ݍ6a}0VMV7<_\Usf1ljCBḾΊ񏌀;fݘG QިXR cas|?ac$=&.uni"Eߊ#Iq_i<5%H9SWؽ!&v MWHn[tF曼-WqƐw\iv<?gӮAӲʵݲ0zXdJUm hEGeD& k X,:kf;@R۳pS`1+>ir;Y~٪/=[@^^pv#N9Ż;ۀGjV $URr!n>z_$w* &" >Yt;߼' ĖZvՋ;R/MC3VL$=ҋ;| dptyHwS9yG$,ȣNX)DwםV\nKRrTo\_W hzS !%8oPՓl;@w۾fGnQ>^?BTk#-$O"زΧ%6GKsvu^wJ۞J$/*v@_IGgH e,jSwJ\xr߱l5PZh¯nzk mh7vu=O~9-'YO&dV&Uf*z yp~ZTns>Q͡gio2z>=mV_ES晊OދQ8nXS~xnjXܫq|U".PtwϑoS 8M+ē*j(h.\i_74)Lu8!➀ܵRþ=N""-4LdlƦ aU'k*1n݌{JaVVjuնy)]fW!`p>OfԒ_Kxlؔ|mj^5M:ؖ ж򚄊Gӎi=n{\O{qg g',4e;=thC4CF'+M|0d:?Ҕ{!!ͧK\n}M$e={ ܴ"(\Gi`9|lYD'ߡ?Ί>^Bw |<k6wB, >|]"(Rl`D/@-x'C'b>Kp}6I9 ᛥ]Jߒ"/U4"} 2>b$%Aas>V -lzᣞ35}(:L!#lED%> r!V;n1 QBCec0 k}o>⛔0 kUfv P)Ƨ`Pv7tڵ DԶF8]4eӨUw| Frթȃ vpw:|;a |.D \?x08UH](B3ujU5ef;_~W ˻K5+ sg?M%Zk/XO ʇvF\r/' (Q oQA rPх=G D3Xl [[ sH01: %ida{AA`0 `( (A:C2 a&p#RKQ QqBthwSyO NsA}Y79ԆCd(I7怹N9W$}o[ (>֍| 0`屓x~Y.5<m$|u#3k&S΅I7SS">ْy+[[zDI@J [dZjn܅GOBb؈7w]GvgÃGJ45%z_^~Rjxҳ L^BE_YAd|:q AHۓ*ƕᳯQɤ3luߕQﱌ25.`Aȇ -&X'IXXBDWX 2de$=9IiϥC)*0-fh%X8.͝.hR'wt{P^!`Y QQu_@s:r8pR7?ȄĤɴۿY9%tC pկS[Jbcuͅ(>A_,WH Fl]`< 4+- r0"6N3 |Dp4x)bڠB=BmPZgPl??W''G5w棇: y~yZrx0:P 0 rrppN/-+4m(b1_"qAgt8\`s=8&o?2|5yr|a-$}VcL(j}8x:HaCYPTIܯDFsuU':{#]"6Ž9RaΔ kD?\uc1m6)-j:נF A6Z`{#,sm~12WL!p2-F(G u>Nt\M 29>kqXս;ɚ}P62Qz])搟4Kg¥FiS @*hܴzl#8Z&(ʽ \gW"zj`o=|׿Lv) =,D)<6ty%sVϭ%fs\uP~,={.]e1(m3?`P.A7#Fe0r4a2uKo N g,[h6=u |jp ! n^/WCUJcJ0qm5TzoS CfnOThG_&0 =IPCPW{lѱޙ?OL&FYa$i8'(AHMffR:nANCJndu$`PaY)63WG,1O-) }o4ÊFI dRX" k K2bvx>SL %yΧUX4(7N6dOrž=)Za|¤!kؒμthZGLkNVԐ 𤸬d>HF1&[jL# 9}?ОmsIc\?ws$kp$zZHdhh" ᮵_gDT۔pEHeK 1Ld7̍z8J^?q|0hqͨwv3گٌҀЧX|%-pqz/a%PLם>2'{agkx*zQ7R*32Ž\l.q]iZߨ lq$<cb +(>E$}}"rLqllUe:&]_4mFI ]Q{1Uh=0*0EH6P9^^gQ{su3۫ο`XOi߃=>7- H1# Z,N^lYDhZ)x_EhzΈS Lf8F6^Lq4Q g,ΤE4?p6ʜ3o&.MDry*3I6ΓGUx',uO@`h;c~Hf\Y] )P ھ-hbr|%ց+ӃvO>,0!ͨȽ.0ݫ|ceڃh?^":BځVv5K^EeO &梤 mq7u g 2/fqhtfdD7ƾanij3ࠀ|+υ8ȣLr"~Ǥ|Yóg&+Z8$ Ex3tFx6ye0c٬=k鮄E`Mo_Sù{* _ jb`yaݜq7ae0&(uDPju!a$3h2nHibPnaY]H%k+QSX\:e ~g}LDk35M=$.~8֍%M4eg: )-АeK2Tg״fiwA7W~"m216%,8GÚvBf﯂]h/ j5lp<ŘM/ZӛMd/t?ט!ghb8"QɄnhwDDiىC.ƬяlRӃ/CaI֜q1>vo(yc ӄ%gʰ?}&Zj6HJ@!g) 24ܘRc5=oit24k+<0Z_dYG;p&`cj~!)0#ex<}YC2roJf;f_QcM榯Zb ƹ|q  3)'t8xגI"z7##րj0qM!-lJi> ,aK:LɺMb+A7?h4Ka~2te-dk/ )>o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodh5K) JHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`G`loS|CUDQ[ iɧ=r U IK.~ !A@#툾YO)l #;=qq3j1BLIp[_0LRcH  7 5K# lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^* k$j࣡E6}Oz DMKl !P\.ɑ5h$Uz@P2X9yڰ8M ĩL\nP(MzAيHjT ៿&!hs(!x r8BHj`0:Mz$*dRw('YD:(X`"dlwtu-7׾_ŵ[zmwWժNMjTTVki"榦ffOcbҖv:]Yi([w>}n^7::hD#"ˈwwwgDٮBNwU/WߝYg3[w?ƴwU/G3CRHj0ޮ3Gٶlff#ޙUֽ]zt;;ݵ}}v]33333юGD;ûߝl۶m۶wU3fvU5SD3mdI'9wU5?ݙYٓs jjN;Nv:Nm4:NNi۶N]i۶Ҿ}۶}۾mm$6IC9YG=  $.  $  ,< &N޴i&uwk{Y-_@_$ir.mᘍ.YfPa 0-h͔ᑮ\P=VrE*$dݫِ>׋=7K$ ,(EYĂ8Wϩ]~ʎVq5Ǿ%n98E@3)H*.= C9Ǝ~rp WGoM|f]PZooyTwMDfl!s!z=$E 'ۛ(E]V0I6d2dG@3ʐ9b٩ bYv,9j< I6pR& #&`L#N@Qy6[ji:>4(()a| ce_vVa*mkˬț)K}=gQ%]"p_ƛnb]Ǽ&cH SLO3H2c*y+xbαe-/ܖʳ(&?ʠO4MБ0$$:\'mtr["E~U\6%YhtMl /P߯ 5S~^#g|©^q=d$CM{XAyzǯڔX\I{{?gz >:>bBA_}X˔AߔtAAשxY@.!3C@"i|;lM_[d;[ގ.1άY^?7~D|B,v(Z n7~6^c_sswѾA_vf}^v z~|Bew=cB^ST,MfLnUtܾFBŨ6^&h-XTUE33Jxɲo!2v5b~h6:=0(}m΍~m׈CC6.FhDVDlddTdC.??9yw/9DijSufRxe,Pc &  B` c0, (  >;tiJ<;fQ;m+;C/s`ʫMș&L %u$Iբ[q]vE}hBWA aYG3u#l)ↀBϜ"Ĵ1#^L/:2(j/̙ 6WΙcMAl.>ut!^Kc쁄[i? 1 ^1wcl.0P3jD[]L򼞀;! hYO{؎sB>kZfgA2Q Wjݯ86FҨd'3 һH̉LOE<:SXbsF/˥C?hYHƣ[}JݫT-?P|tIhʹ +ZL{..knEo>S;QsZp"l4snQsmL z'-ƌ lh zkyF@M9h$Ҙzks"z,:qWa x XD΃rZϨqoĂ,jM_Wz )5*hL$=%W/@U:kyO~f]ț5[Q|yђkn*)wAJ샼Uby!& Dc:TF!&uddFyMI}FKMjJ73-S*#㺓RŴ#ؓ #OTkdpt4? : \ F 'sjO● "`N ^㛦`A@4ͭqYzr lq+ dvdó~$l*2\IDRXէAK""1\Ww9HIf6#Y xLTzT}L"D OV4A"o<(Vd֖gL"efNhLMYmQڛϮGI{VwwxA3Wp[WN3MY`U-b̖bRu0C /|^{b磻 R9^"ȝX\ |*w"!;Q )?}SSq5֒0LsǮKuw'nwĂQn'@B O&O^K?YP#MZxcsdIr[a}a=#0r$BDiA #Gv 8_]S Oԝ* ǝ]W}WKH*YKS\Wrڌ57_Lg(R#cz#SC#5"+ͫb4G/H+9ӓt44NEgթ`鶉587Vl 6R}7 ޫuM잴@ e {uLm%yO;dpx8 oÃ6# } 4Ұ/F5e th N PEYgn?p6.7T$ WKɄkCIkk-A9= 3 ŜIMIBS-AJY5@p&QK~¿/*IBye1z<()zGQU20 kۂh*x<.*Upk]Q P* BɖvGl|<{3݅|ts"i,covy#﫚润Wt}GFcƒ v d'V\ =zkq%uVMQ ֮Xd_{\ZpEoæ5Kx;nm}M rΡ| tP a\U d]tƠ@ A+wrŷ Zšti{NGڟ]}&Vct'qBax.NCvhD0A.qKxwE jP2FbalVՅ}? AGiϬG3I Ir!+}Qો5t٭&^=.1Gse.Cx)GR \ݡnOtBdX [O{#!`"V˪m\YY-K%:QNi:c'eζ|v'z-Y3ٗ>-7ߐO'Գ$dPf]HCT/%#+'2"w|/Ւg3):#f%F}R6D]ݠWyA":y7?!!"/AqVa$e7 07L$npQY ӑ³8Uر]ucQHٟڗ×}`^hz$zUk,pX]F+}9hl( s_6vIE3l21j|v5ޏW~: 0k$x;1nf(jxލ1KRQ}M&VDHkd8CA)E=e"´Ȣ4so߹ߋ`52 2 E|0J@l-kTv<Y7ʟ+ y}{)x+OqT+ 5Syze{K`/.:8Z٩Wg)j/,=KtUńt45F9^KO#X~Z3U S/bT﫸,Frd#b!#źbBܽXiғWV9 Mcsd-҇-t~&_"봔PHSC|R~֗Pz SW-U8ghh}ГƁ]ja:xu<4,pn c]#0>V[ch8EHV Cр~.P-B%Q,2ER%Z(Ţ> ڝ8XGjRDFJ4r5lz*"r4dU5:1>m1ɏכTsJef+!;#])cvi Al6"LƱC,jLV"2} Fp|ړNsTP)0L" YJ[ʶ~8Ⱥ^gRYNNXۧ U?K].vtyg(F^xIS1_l5ITr|ĘE c`<Y&lFyNED_[Yx9!>G~oV= ,BeېܰY&/?צQnXM:iFRm;!ھԟ?U,Z# s*G 9pUCk)hQ7Etja~pzf.+mv]~33VK2LPOGOM5T:BACvH32֍NELfUTEs)g-D$b^fa7O}e2H6Yۛ{Ǚ/#Y-RI9@lZ+sY\diaĎ !DH{̖ic~ҳ b D/Ƥ] Sre,َc͏~6R=|#ˤ vdfo$[7XQ}B|$KA&/ (5fEТ>oNSPѲV@kX 겻p;: ~^y*>j<7s :(E_x \CMH7IpRw[mwc")rdyNk]I@ e 3Ka)APN΄Z5<î`qZ.#@QDr֦8O <ݦuY>j&lsj׃Tbzc7m*8eޙh"$wy-[sńG b~_gd 5 8cyROTL[}ܗ]Cj k]ǶErܾF|X^g&,:m2S`-,)VvYa?+ua`O<'p P# ʹ;'~gڽ#[qOzRp0&5 `ZyRj,qCRSaoM` CزgH=h(t:D޵j( MOј 7/Y%"To-E Ge6B "5)Ծ-TCiJJ[ŵh ˜{BhvP\*b?W`7RML__4Fru$1nHTqvCquNEcu#Yn@1mq2QX0 ye; n Ɨ83]VZ ;{eC%(=2‘.ػիMyyke54n. 5ry eZ9pm[9MD/R_\"^cp$\Q 3Tŏ!w:}-E(B (\=ijBY;ˆv3ϥsP/mg㝖8\ѭwUf9e@G)M s$E<JGU s˜Af8K)XBЎ[N6lG,{$.Ʊw+n `X Sߧa:`@A!_$_$+OZZKޗUkydΓ$RILKBwBd DɄ'DO>=!a݄mmݙuuUU1-}[]a0oW."Ѷ2 R@4xMy(Ήx؜ς sr=r]X;!'2N_'}?! 利֩Ǭ܋04&fĠ@9l[nEx=Ex鶙Ex @F>xkTv{(y4JadT[>[TgE< ZY,.$ZfҬDՃ"ni" ! CB9H0  1!B! 咕6,D8ɍ&Jͨ!E8]+o Q^_С&V| *J{z3%1ceNvX̤uA;|뎃LhEELku]ʼ)F_aCr?YcE"R"k/h=U3 Y^y_1ZjKk&Fs5WUv Sg7ʣ1@ZGs^z?CYإ}mĨh1T`6dxe g5$~(GBu*:j[Ef?-rke㜇QX*EWI)7(VL e#ZfL#*F/\TfKB/oQ^2ţzyn uQ 6[%88;X)Pu~dFWmwI$Ӡ.Sk^e7e2l_GzI G ˤ [|r9Aϻ ~tViGY'kLEeM@n/ꇮI`H"z9ƗN? N"Ҍ@G#|J}(hM=:kٔ{ȉ;G;)BCA0>H e/GGD13s!D4g9 GsCS&jB#fY]Tu{@uc<(Y\Sx˞lhwת!zœAkHJ+{DuԕYB8>s:u-Dmi{ҽI.?NP sD'8v~ JN2\ e]*I"d-m-E) 94r0.dx]nfzZ(~' !q'0)/?!J[;eW!m1C?alՒ[90[Ոr&W{֯|)n2L8-_VVv뫭FmUs=nDD&mE-3A磀~AM ::F%_-39ejaV^}FilFrX;LR٪AO8wR["8ړyY P4OE^ML x h5Z8tR۞vl q-xZó 3G7K[x=%)m4 4 ;L{nFgAfM8l d^2F_Pdk)kln9`'^z l}="që?ym5WdD<(VaTWGy7T0*kU Z5s5fԨT }?d.Sm.=&|pQTV,PDlFSI2ؖC&/+}’NʆVHKZQVb# myU3 B `h<=)fzC/pG94u վR ΑM!4@<쟡jt$Vޙ/}VZ{ذHkm݌2Ժ{PRBAPu|#&=z+9Z8V~ڹ @/DSUj=e~$a҅ ;k^I3ݒ!+9[)0w/{4U7Jc_FYb ǿ*#Z _hԎd7 CiYm{;y׉*I (n+ ZB'vp>*Y)f}EkXL[֞փhan(+a+?SDJ]\f$>TA?1(-ИC^.PSXhk֭sr)KKAYa9㙺z.Amuz!1vKVEQ5ħeKތk&q;rd%fkWHRHMe%(飼E<G"+3-$sؠ N}:yx)VD\1$ x~V81:},  ' ' 5O% zHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`m RL(PgD| Ok\Q}133s*B3A6GX1xߡ b@W=;% v\@' X3F#͗OzdsӡH󫤍! $cb nҼCCR(d3_ <^_Yq孑Q7 Y Rmh4"0E[8J " S|fB%\ǁ0<<_ 6F p ,%?uJC~& îZiBZ& s>M 8rzx Ʉ mbqqQH$BW^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal c 5K/ 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/lQJ$-hP5F†G8K%J%bxF6MV[; <Ü Y\w2؁@xfI8)wڶ"'.}#A60Eѡ)ͱ#e-Bг"͒ Y5%Z w'΄(MGmjvF%тYLuwQ˳ T\`, "b`Hfq< $x@%x, h/D j4  HQ$IVD(j$P„h @ i'O4ZPGEcI,j 銝ʈ~눧jR;zqh32])xтl]չS&)Ygqo+6 \ۺ}Y_om] FM<>\uLWOy=sHgO^;9Y-hn4fYGEP44AE62ATnbE$ԵCLH%ǁ@֎MDwgɾzjvjmn Fۺؼǚwo̪O!%bؑ2)ݕ[Î8"H, ,"͘y59 ׄ DDw< `ph`=AxH(|lyxnh흥Yn:P`! ' 5O' FHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_F#0m@-UmymXXh'GIIMM7eFD+9RJ''/<7HAA{5-ZaNd^ZLZ)k>`,x-t|aL4}PF'1Ѐas0@ hH&mTT8d&ݶ4R;꣓#hEE״74P%8^t c2yEVN@Z|PETC[I'(uP$z_HMq AL34L3kB/qs`3/tR7:g6qZ3uW鹕Kޔ4[K:Ū}Zϫ:!UiNTbhJd(LqO =kktqC6ёݽ6)OeR>0o\Rbtfw+/Wj Dd4六;&_b bѽB @>4PO.yGّ()9r5` 'Aeh|XzO|()[9Cؿ+v8Lb=H5: eJ>@` 0 A 1B!@ .&[Q tJi|xߙU:MYYC? ^I4QEh;:|`rͰkȘm@k-=y"PE',驡 Q`Fvd@_Cz=M0HEa#ugp/8ۍs}Pbch]әhNUXG>'t+Ixv+6IͳP܅]ZM'@]loXv$.RLХ2=SnmJ^)%F uF͉{D/_ F{* sCHu|1s0aD )_ EML*P݊'1lAx zېApeYm0FOQ=E9aɳlx9QrRC$D[nj\m.zL6LV܂szWx0nqm,a5 iVח`XըD"Fv޵@/N"ꀷ +RR[<`#t m Hpu7S!:5JAP?o2S8XNX};D[A!kLL R=G( r1As->vvvQjPM4 6^F*C2_*h!*߽oZ)j!B yҩ!aYSl{FBSߠ`y]9f+6pnIU)tg(yѳ-Pd1 )&]&yRoaܞhQ4~"0|+:@eB54T%4+pmEz vLǬ @;jՊ ԙh`H 5?ZQ5 W\!\_A8Lm6zJ'4I dOx9-xP`5{S˖~%`n%7ARanĬ^ϟtwsA/Q(6eD,X2 `` 5O' 2HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`vuMR68"@O2w OZJIM aw.+d魔yLEeWLc-3좾V:͘wZί `;*_ܔц`{Q,qQ26 ؘeRı9(X8 naLL^mM=Aq\Whm&%d_ (n"FUiA~y͜Q|F"Xl-Q4QGվ^"nlrSYZyMIj_qSj@,Bzn(<6k:V%+3YUb͔d#4.4UwZK~=gВR`JqS-KJWz ΢Gh_m>j6Q}?lWoa=Xy5# ID:Lb Gx->|a8r?BbN\hQB۪Ph?=}(`JR ?,_`l06`lѳۧi}Z+~[F{?(iBqf_ċ{w2ͫabH1ӧwEG$I z@`EaaA 1BA"c1ddaX|uA&Q2o&0dM@Pd5Cɉ S$9ޟ:y\6nb8<FPG",A`fZ[YWy*O Qvƒڜ,oQoJԠ4LB MQT( B3֌Lb 1`eu)ﴑ̥EYZ 5Rg .c|g^X<a <` "q Zyu\Ukܩ V8u.w&S7=n[)i#;(LD %tyJ^8 Ehȱ$Q-Zt 9"SGO|4E=Aj9=UP6ZQ@N"R\P9iR]!~`@^՜U$Ck-SV;ΓL$ d|ځ{En|h +-a6Pz?Y!L;*/D@ tb&v*U|r [3i BQ7zŘ*CAY C3o_*.#@/)0~E8h. yj yf8'̌%嗳Lt aUߟ [iy ݸw8h ;̋Nu6Y30ku[9;i(ZhkfrO!/|Nc$TYXFѽmk>_Z@T\&ݦv^Ҝq ?vA-;3tc,Mw9nD-kVdrM8ќA o,p=ycvMMWU^Ys֗k] 0ٙXkOyk3-&nb:}ovL4ȻaVnO:ˑ<ն!p2ޯ"rD?}eH%.9p a, nj[Xke# 7U"F$ݾVnҬax<-fWVŘR)ZWB*TUp+Uq_?W]wޫT{"D3>-y>`H~dM bbQXd\h|p09G>GuUo䀨Dgu2PdcNpLy 4['[ =tq tl&kq} 5y M{Ֆm`W\k] 2XDk{ -#7;5Brf- -)uIbZo(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