SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsw n~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n 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 Lsȭ`IILXHy(YmUai_Z'jՄ5z>znO"QO PiTO4I$I0PzPa$Ica$i"oƉ< ϿОABQ`&&-"CM4S@#BA-($+7"$0UWo/[ ov6/'^n&f"?&b~ff>7~_b{koWFiR%G)# $I|ݮ뻗⥯^L\ Psg? ,rZ~FPxx7aFy9;b_wk;4H01q5㼵 C58ڗn\>\DMy/t |kp <^Aܽ8p!꫓77q33ӑP5GB5LGBM杘ًrqM)@ѹ\FFcs.|ŀG;'3ĥ]68:*j"".NivosISZCiBiZߘۏyK''~UU y!Z Eb*C`kbB{X$b#*Nh$b`X NlEbQbH0 $Ģn4v$,PbĢ=Uf5Rq]MD\h ooOWf1_] :;!"TiE,TyݕTv$Tz4,Ri}@Ҙ-ؕv˺R_|Hpհ@ۻe86ռ˼wEI$\UK\[An+b+Vi# 3[3y)*Wy}Wʕ߹ع,Eh*.v\W+r}V$ָߞK*z( M*AO("EpǭPZç M_zUTIRRP4Sh`yDq!y,P @ A@ 10slJ N&wȣW藿_P(򯠐YSC ]Nֈbn uciu '?ŗgpBn}{t[\WvmUmN !5]2dƉۋ pWg*tvCt@t]:hG+z[Rز J 8v# -h'+ U5K% (HOL-Nominal-ExamplesHOL-N|$[#>  ؂Ԃ|{YxLpInHhEg;d:`8_7\4[3X2W0T,SPLKHEDC<;:76310/*z)y'x$w!r[ZYTFE D ? :" }|{wt s r qkidc\[ZYVSRQMJIHGDA|@{?x>s8r7q6n5i2_.\,W+*'% !  821-, % $ gDo!Xs T 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/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesHuA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!    5 5[5|Pvn - UHOL-Nominal-Examples:threads=6elapsed=347.731cpu=1700.494gc=84.004(/K}!) KB;75̫4ϲwˆ)e eN.^ 鼅^MG=q>T0([JC҈ACÃqZ`Ѱx`ۀBD se%(x7eG!c]5Hّ3" lV*Hu:r!A!"a!P9uAPD,BD@L9D ĂCDA  $    Bb` `  D  (   >v㙐$dMj"$kBpc͙4藯<>ߙ39X78<4mg*ş2#3&~]c] ld6eh:N٨fwu"ۨFSi q;ǩNzA~VGFʮ2,NQhpjlz>5FdVunTmwG 5 HOL-Nominal-Examples.5o] HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thy8c52222686a1f76cb4e111390fec7aa78dc4381a(/`!MjT+n-DHHߺ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.thy̬޶7([bvZM*]Fb4+Ǿ!YxHxgG;*dG,YкTux֙E%59g^Jhg[$m:f:zckKE9f%zG~ҩ+rXP`wr}+V5#caۚL`p[ ^!yX7Фy"YJw=ߏ-QN$,8ELRFV펒O 15ځPpP/wi j_7$R+O3-HW۝HFꉼ5(iL:B- Aٳ)ɝr4 #ֻ\4FS_:F<)_zƷo偤x|6?MzCFw-gWS<&Y}1Dn~k1"MCQӤd@  'K`2zfy+yy4:H\jEىU8`T% . 93Zn}0ޯT}^f}%cS9GSq]w$ն\w1PFE~-U]}X/9Y$ya: ^ٶp 讘`{K3t.rYfLi7|!#:ݔ1V `WFErd 6оޱ7GK`jvc &Q ;J:6Lin,Nql6GwkH)_BM< g B{ugM}~pE'NR3sc?R:8)Hh &Ϳ)r}2Ep@ˮ^z 8Sr _F, L{0e3 X]I?-~&"}H,$Y2 RS&PlDJ́+0ܦsICÀ1L.Sibzſ_4TP=3XZuw5FP` NJu-ntbȘؐ(zP NZ9 _lO2o2qα'b>xXt "ANϿ8Bӟx%ku/`հMhİC_~;PYUq#lOt5qf4oM^?d⤏i(;x`?37 ^iMtj2p TulS)w:#XNtvr ]/_m%e dYHTdGTY^`rW:2q g Z+Tu aD1/ \P_tݭemn\19QM?Qx0U $0,4K6/$YX앷BėCd9՛`DW׃ :򬆞 T tlɑlX#qB.& ,S۳> 3n|IR"\d 882eF<ʥz˓@2b(h0a]AFAqк/5Ic0O\ګ]vj&1.XAI:Ey=T9m}FQΧȑ@$坎w'Ń /鍸Gqn%tN![5fsm_e'ţ٦:6vs̠I1J'FT f9yYpJne r|EE? تC4E_ ,'b,.ku𔻤*ސ#6Ns{>v[|w$9:\y&WtDʝbTj8"2*02ŏa#ydŮeZĿ1k qۓ#C$}985΍|f ݙxtCxof x)yNV1G(<ԸadY1Pv 0A4#+|xPlT܀CIl`ɝ\dǥd)f`pkS\1( W4d4l*}Ld`n5{.׼'5FpN9L[WC1)\LTXa̓KUD1W-s*oޚ ,0H-׆SADC#n;6Z-0SDWvӥU {Jh f^]R@3ڌ| Jւmb ٪qqKM,x.TE8e Ri*x"(ZÌeDtm85, סOƇH7k<$8@ UclY;~}=wS)_ES 甪{͍:LxN̛`QqA;C-WWGR>⠋3  I"v-c[ v % %&x0]_20ps70¯.cu{{Ͷ%KK#43AN"ل]""\!WysAu[{mތTlvm^_C}z)r Cpea㌋`DyT&SRlpdI鲈8u)91.'Y H+&C<Ӂf a.,rḵ tzP"78]ҠIj7BYJ5BQ%gg tx@A[!lbL(anW,8HN *F6\<F92:ө[0 .!1.c#&2{] UHcf\G ϹwB:?\s-0G:4 GdNT$fϣ)2]% הpw 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Ϊa7sP8L"=]6AD-VMOn *r|#qm:irbZv!z.+|f12z|.o\69iK֘~ds=5(١ofRѦQ,q8X  GG@Ͷ^# Uxq<)x0)X.j 7FS7f^A 3o}F{bڡ4•S8͐!>P`uyIJqU9[FTGv/]9 \^4,)d 苆Lդy?c-05>]J.VHڕS> Dp)^$'zjP.L4^AP?"S䁳IcðJѢQ1.;D׊`J݃Tޛ.`չ$BYqAH}[9!9sq1 + xD It#^a c %sF[t 4)JfHAhЅMu) MQkԤr.i۔d^.D+^OOu_=N$z2W PbRcIN Uīq CmȎG:%e&{ԠByW8J }zM; zm1 /|`/Yh-  14 87QI1! d6b/Mrt5!1M d `##L*+, ޯA GN{Wm!h\Z iख़wꬾ _t~G&GXoJ ~BML^ d'ŀV6>xF#Y1V\=~@b #*oɗEu\K*biB!;&jzsv~;Ʊ H芑/X[-h \ն]RDX8-n5'WWfsS$ e2lx\[L UeO=[px|d<1@v3 ȱj2cD*ti6yi)/Γŧs`J',&;X&VN-LWլcHB51e'<]텵0V2#}cK.䯿{1O`:u1_Z'‴ R)E[`M xAy2LPQlu *Oqk?VX~O~ N5U aTlܣhX|봾J;JA0hcC*Fn_8~q_vٻ}B(e&c|Wbx$X_݇{\ J"*aNia؎iMmTN_ԟk#2LmY]-gE&.֜ΑkաvaA9F-b 3zi7}Ba;0vgGWc Jmw53눩y]`PϐĞd5ػRh55nBKi@/$ڈlaTgZŴlwCՔ~J|.F#a~?E쨺0P.bO@2SȜ>J\)I R~:#<[?0YTTjU̝LӘ3$t'$ ]ȄXL>#BFdC[twsӆfm4?vnO*9]_Jխ# ^,cWYk ǝ1Eͻ[+8l>f?i K=s~!LB PG]G@Rrv7p~ O'W:wୗN]}p[EXP efs;10#zb \4#q-<n1PVjP_c7F~ J>Q#ش‡`x!ʂfPWB36q[b$)W |ϴr~I*EoCp?#֩RGj"}-W>ʾTkms>$^_6SpCN&{{I70k.1So-Lp|)<ذs)=^} `8S0=dUr9BSn]iJ13[䂌 /#~> Kg~G } ݏ/@𱅾WN!I22q;$+gn@< =$O_NJ\8>k9 IW$S6m0 Rф %O,Ow D_Dl7FI#}BNcC U蹘&?Phi e )+[WZI'SQpTtIbeY-Ks/r5ku8 d JUd 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 Lsȭ`IILXHy(YmUai_Z'jՄ5z>znO"QO PiTO4I$I0PzPa$Ica$i"oƉ< ϿОABQ`&&-"CM4S@#BA-($+7"$0UWo/[ ov6/'^n&f"?&b~ff>7~_b{koWFiR%G)# $I|ݮ뻗⥯^L\ Psg? ,rZ~FPxx7aFy9;b_wk;4H01q5㼵 C58ڗn\>\DMy/t |kp <^Aܽ8p!꫓77q33ӑP5GB5LGBM杘ًrqM)@ѹ\FFcs.|ŀG;'3ĥ]68:*j"".NivosISZCiBiZߘۏyK''~UU y!Z Eb*C`kbB{X$b#*Nh$b`X NlEbQbH0 $Ģn4v$,PbĢ=Uf5Rq]MD\h ooOWf1_] :;!"TiE,TyݕTv$Tz4,Ri}@Ҙ-ؕv˺R_|Hpհ@ۻe86ռ˼wEI$\UK\[An+b+Vi# 3[3y)*Wy}Wʕ߹ع,Eh*.v\W+r}V$ָߞK*z( M*AO("EpǭPZç M_zUTIRRP4Sh`yDq!y,P @ A@ 10slJ N&wȣW藿_P(򯠐YSC ]Nֈbn uciu '?ŗgpBn}{t[\WvmUmN !5]2dƉۋ pWg*tvCt@t]:hG+z[Rز J 8v# -h'+ U5K% (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 %R: `g;-̠X"R^G(j԰34/t>"rXU>)r-3$ BA&r ~u7 bt9魔Vԓ3G$A =K&nc.шO K]vԬnL^_2 -CS_ׯ#&w@Ru3Xdz5nc;;u--5[M1;nl sQ***S5`9 )1E"DF" %$;0K'n֠k`4NpaJTEZ&ț3¿{9yiCig7&7&&Sޚv FTQqxL܇rA≆  U 0y{{tL3xc+w.Xo˗k9q%NAWlˊv:El`NLk{9"Er1TfC%R}!MFu̼u%d9@Q&JQ|!W?rέOmA|/di:s]P+8[Rm_qpir9 9ǵV)5@<͜1,-KHI|b;鴙BN xï";˦`/%,O,T#Ց3póN:[T6g,i?xC8XbU;ܺ|qW_"q)֡wEb #MEi5?ڻ:'_g^_BXq>[b(~Ey7;0Gnt0s/nClHTNX&(Ռ@3zQ }>X/Z }oǚYU6i0Z 4Ӓ3Dɦ):A@U>_kډP%-hݠsdBni{! `"LNkɼM\1l |`AE< {322bxA#@?T7rxT3DW{ D2,OSV*S^ЬyY7d9V͕ pibA,^{0"3F҇E0{ |έW)u~e?TƜ6:xJJ|i dzp8G5!@b5K-yYXobU*2ɸ[P ϝo H]VuIҍ)a8Jހ[_q#Oi~Lc>%?;7ez~UqګUGk\#l!M|j,HL~ziCw%rd ]TdjЗE16rE51e89$.FP/MsvD0ߴ.Zǯ\Ѩ*8ӅoTHn&kϪ5̌ zOrSn+T27E@U7a$|ߏHwrgEeͦ)PuK(s@ɣ/)um\ Rb{ bo I_c QA&o_YU8P-4cO k2/0W"DZJ8Hk, Ű͎ ah1%q+kl=qp XW_`Tc(X"#]:b&&q.'\}bP\F8i{x 3,I cN]Erhٖk5fR}lvL E9F<^nxG~DD?6ѱ_{A6*DYUŁ;D'UǗɏ."ŃS%D8>dV@Nt/zt!,􁆅#${>cJ܎re 'F丟6t㒩[JwyTIQ)oa'|8">m|ci+ ~Ŋ_ bq*'S$a۹8TcqhzM3U+M1i6U<,+H0",1iS( +SF8*x!qN,tR7)漼AYޜpp5Eݢ*˦#B71XzR @ɅG0gt¿u`]8s垀5:ٗΖUp) nFZҴ7` 0]4a,e36YJ枻+Efm<)Jl:ËZ!Em!7:NCp|.JxgC{#stq(é"ƊD+$B2=Dܢd zy,fk'd;3GW5)H*+LNA概Јi CШq Gѭ$_ F$9%:\\} ,y*eq8!CKt8Ĝ #n?84]!' ',u-NGpgTzC.iJI2-ZQ\PlsÕZ|h_k%!C**/諤=IC!,XըH]Ѽq$}]_:rh]T&QJc|7.T}}{߅3>UxwE qV$Jgs7{ޅytzSKChW rZּZR]'hTgj)9ON0!389XSG.#9H@樋cɢ-9Z2 Hd(ɑ%G~nP'[5qPqdUe[M9 U4qϗ&;5* <S PU2з: -a L2d[33SmzzҤI&I$m[m۷mݙgVOdwf-٭J~"{%E`@k_3oMʶ_(B^xPD(ҞDȞiM;!*V*VU?ϟD$"HD" t3Hx*DxأOd-ْѣ W'=FmFcqHK)"=aUKJRJiYd۶-I$YIk۶m۶MDDDDDDDDMUUUU}U'""""""""ȶm۶m{ff4{mRW7"@@ @À $4( 1` @P q,@! 51t^Dgڒ(Aqqq FXx`lPa LIpOdϴ$mr9-^3z~ٞiK~[bqdmut ÜjX,F&gvb\*h$15$"""""xOt3-Yu?ά%] 'gZg@( "0PA\۞i;r$v'Db*%=&.Ĥ7UKd&vDb6m mL۶mvmW/왷&Un{$<)c 9AV "0H4@D$@<$$DX,( ,< GIF+TSFqḙ8|V+sk⿺t _&M 0*qOCqhhQ*+*;/Uv)vftȋEjwCx½$Q"rHw?rLX.E${il~yVT2oι(aJBD{>x߄rus^8~ [tx{?g9rUPw$yř !83 o{[ѸRb SCZS_ [6&j}~dKb}nW27`Hޢ%QS+ؽO(z\ozF7W} ["\.9J4Ltu鳶6݋w_H3NS>ǶWc6;| Lp9p siwwx-9^X#n2l7"[0btNk@[:l1!۹e[#B WrtK pPF[ҥP) }U\G*+g*ga--we-&{49s[p\'c.C^j8Sx3pns[ 0\&=VR r 9sӹrI.N wXX5¤8]MP36NAcg;R ObnM]N:Ie7s^s"bq&)qy,Rea};'A\Dp5if9[e2n"Y)<Ԕw>#ja$}Ɂ+*Aĥ>Qc+v*Bt~p| gљsDX:qf-%sOO8625[}W?7h, qx'AGn|+F3]B{8pى\Hx2N/,xIc#} ]ggyW^,tYns?' 71DC}ίs!zb\}%Yy;'`i z2bX K; ^o}>7aB&k881> 뒓 @x\~_F nOBdM vWtשFyt\,cYMh44jF (1Tӏ[M-h#&ݻuM@cg[F䶵=K?(N7"],uqCOlPMρZ%*c5=oki>m2X54V|3œy6Mias/ {}Է˶MEVa`EZ>úFWצ.Z|%IGޒێzJ+m#e2ZT+!LF=U9_{ܖerۺr/ k^}z2#VB%b.oDϲk1ࠇ},ɾ2m"DRݫ]Fdiwڼ`K r*C-e a#Հۈ,dhh[{X|cL kStk+˞s0e.H(#@3 8@1Y>nX`;˙-"Q<4dq|#Ƭkv\N/Pb'ըLJ7MFCd˰*Bgu[c:A!*Vd{|h{z%JN'%ZO= &-Gx7 uTjI*hpcR1)o?4}Ao{uk4 }D!JEddk`wa Pf9݋q w5ormf}Gk_@{'g\ۭ4vdogĚ*nP'Fz݇dj%R?f*jjj|ՔϺjntڭoOgqAثdAH5\:{CKfxxώNl7b'W&.#92#YJ.>"[ Xdd0 Nch AZxYOAp?QW6Tn~18iGݎMUlPhli%tWmHK6(+RRk-n TdB|O˦D; 0v5_Kڠ.t}&K 24 0F}v*yW{ {FACvͫ^XW{̠~*Vrܞ\C3JN;ޣ)+4iF6;?,8G|ZGMMC{@}. 's_vߦmcuT R n"ZVD*H嬍}el.&9ݢVYmjњM4vk8Zy8Nױb3aEm)dE=!jAď(wjO>ho{^ n MR/0p˦lKj|_l.>K<, ~b9'A\4׼4AyqP'hO./u 6IPs7Dmz:97>pgIl:O%(W ;|ض8?f{D@BstWL5hH>|$ EQͷ)6 Җj0ۤ/lO[9vhve] ?=.gxe!O'*yB,'ԑnyBGb7EH6iyz-ٹUU, zʺy\nљ|:y{&ke^cFm (*uswC{ upTPmT* %8UA7u%UG$3w43VwWLڻ zdxiT޵s 9QeœS^U]uyōcdZY `O*ON4ȭqEʊAw"%Ixgn/R3e)M,40Dfj1 0|BC*&!,40$'" pdB5L %@s@t[ &DBb@@ OĀ`TA &|*H@P6oK+Bn@G<0g~mEHn$I$I$I$Io![%FH$#!r%E3iAm۶mڴiӦm$I$IFx#ǁ"%If[Z6ZHRLaGKi/)-o)MR;_v{ 1nEH)K TjV"M=3x3g<߿m۶m۶m۶mu֭[nݺukHGDDDD$IrH$Irm۶m$I$I:ZڤV$7IgnEHn$I$IҶI*$8:lAPA -En""VDHn r"U"q$m۾m۶IdI8*_,ٳm{mۮm׮]iZ$I$I sHn<$I&9f+R+K!t$=M@ Qq4n_z߇4Ƒ52<СL|ƾ*䳙P:E݌ HJC\Mq{%@h81+8&Lg ޗxҁBwR€SW_d[ Rsul1W9IX154fq ,S>wr\ ͣ#XnN@b#o39uNJ{ٰac |Qi"bd.AJ+1gUW_ud*.YXѭjb NjPKv ֬5ZSItJZ׹YzuH2WϹr P5cԎ[TѸ54 ZvFZv- ؃ l=X٢ԓ.OfN 6Pb"[Ya9WPr ]ÃTv۩[gjmWD HR3q4U<7eĉ؞ۈ7ȕ{,> .^|252sTEmꓴU / Zrʄth LZ`FY(Z1@&ְkF{Wi eӪ=VokdL5\ծctNrRXG m G >F~3jոĜHEHh4#g}lEHz(gşf1!vFɰ !ɹY/]>Șm I~%ɦJd^Ycf`&:1*IɕZm2hH=UZ#֪WݡΠ!\DX BJk ֆTfjwHj+`M`4ӈr[ EyRU(ԱIEҎVأ#%fi,G0 kKh.5 КUCWFI5Ss?zjo0uUW^q!lV\ Rݒ#0@U`lRęwD)8лr !  |'%ak#%Ur/.AlG.+b͚ʃg9/c~CT7IA(t glEhË4-7D6VM%[3:.DK64v-Fm=,vhȪ=W zB&-^z9cҼ`!/◄/_n~Klh# <K :^tEMkZs%ceU-!/Kp<>ETk[ZoCR"uBOuˉ壜5~7L&IU>5XU>֎r ,jsLEǞ =%>=tPAs/҂c"H# oktZP,}3fLՎTrsҌuqюs0Q6mgi fװjuf&l52)iusw6hETnZl7lWsEvx9.\Kwgv$ mWT:θ踻k3@7Xj坩"xƛ,,3Ig<NET. 4 UhToa@ӶBOp[ZP]| >~o:7S`UM;EplgL\k+xxOO!WէMu @-l^~>AM#[h9#CQ$DmQ:*_nY&.!4۽SGorfT,"Xw5Eꡧ-SƶQ+tHW:V|h2`uL[=ڀEyfp< 2&dU2k= ˌ SimPYg؞Zl. He-+mŦmMa,P@CjhYEii'YTm^Xqh=&68ѵ`/\ Ptؘ-#F.D++ )0V0QC0'uO%61P""H),]` ة ,#aPol197Dv=]0Zpu\"8[SpZ+V[?,H;ơ`f` M0#PM ^”ՙ28y͹FfW pzEzGh9c>%$yr= ܪ3d/M !K= hs5;w )4vI kbνJk`@椖Np,1GQ`\F, h0ܩ G20y=1d@9F]Kc O2I|(:bBTyS`R! l[Pȑ@CeϽkVj~v LV]\aW0fND ;(ay`Jpڒ2BŨl5 kLaC۹sOJYJFG>?x\jRr4S@$\9{fns.S Q(a7<=of.츍NLZXyq%|1nYs՜?kI]2])1r"!-D6c%V_'5ʹڴ^˻Q gS, fBnSw]9Eϼ%H-\# $󙙿gvuVH(" xbY#֝088 IĻ3_&Ed2v8Id|^ #@XB#^y@4W_y@dRĺ3ef,bm3}lHD4Ba of JDBQ! 쪷u/ʒ"p~Uw5#L^Ee蜀j;Fp[}!A$"nl ҃/Dթ .Q( w2oJŽ3mMG;Q( BixwfvU;3ۭ0pH q@aiXcRUҌAws̥]jSv?ݙUޙU춫2ݙWvۻ=?vU{}Um۪k~}gvSϼw6_6+8 &ZIit @aАXs4lr8t{7tCFQC硶򽚤!ЌQyԤ'`khc'NT,1,K1yJ偘#Y 0u\JL(\L0ri<3 "p@>scG\Fy>9*%2hT9l"!*SI," 3%lE4XW3;BҾuwfv=ֱ2WbZoBBVQDc剙}R,K KҎ@B``,RKƜtXHITLKOSEO0AB |e_3Sd,gUUooU^r48 S02I4(*(*"  D " 0C* d32̎~I{tH!=KeQ@)h:lD&SBN{idM@pa@;^QM}uY(~+Ggw}U@iCZy#m[[Z1d =3qWoZ/K>znN%[UY`B{VU;n6|CCwB֟y_? *ޙX12X$gCĭ k+me R۲N$hƠQ"Y+1%c/A54cse qVpFH C sJH .`jOlK}t 3 E+kOSCX|#fN^bN:Z.\Fޠw5?c&AR Hn'k 7lO[*(IڥUYOp?$8 w˱Z`(pў~Ub"h~_1!9؋N|-(:wE--[ q0|Q̞o9؁rDP풤sOQKCO܌=Ě~>鎪HD}8xL=\I>cI <=t$9g2XbʧGㅗJPĔISG8@jƔ|93دb$3fӪ:/^Cv`5~܌:9  !+_+4'c::6#GӱBtAԨh`6@1?v"BuʼnņYH~& ̲'2hZƾ@U:`,CRK1W Z ˨=!ywuj78TWy#}zSNM4 +HT~V!_NPT@pDUI~bC}GS,b10 Z#>!*Pg- Qyv_yoCk6Tn :uqB|sjG C6K *?/^O5%N %BR /AǕ)Ъ|x[oへ'nbGtB"LY7/pW6,?-1S]ZT #C-=H0E'J:M<0lwn:kc(!y5Nٔ0QL8q4cT. J$٘ Q>m(t 5M]k"R46^TbMnr5cx&~m nTj=&G.ogb4z۫ IXfb! [`X?0h>{ I!D ҳu\/Ɏk R5Lf yr _14  v4*,nNed(<5{">[kLjeZ[$}> yO@F/TA#$`͔29U]ĕStYf: P |5io* )pBPʋ؋M5Z}Ӄ?K3D5e {_jDW'l3SE~Tci>z3-XD =+A6 5emyNnbv|OGXk{n7bb/8I~\, ܅t+\]Ӵ;EApL F/fdmrӥn<%$iyf,@ agyNaMEp<[(USXo/?eRC~%(O#&GY@?P<.%%1_i6߄-ÌBl g3{;4kaE4k?yA- ALQ)CCaNdhAFH,iYkhn˚ǂL?ƕl/?€svA%>(-dJ*  ݷɤ\| Hםl "F@> _ɒ_T7z3 yX `&2t ƒP;BX5ɜ;!XOeUg~zP_o,RΙkčP">%sဓxjHR>ƳZ#o֡뵕 ic8F*k.ᘱ*>7Z~X|6a(U@Y$jh;d$<pRSt`,F G\P@kf5D$EWWM F&| 4ƾ1~v5jAa^$YQ-3YG^Qj~=V?nʂ)Vc&'<.-@#OVw2q֣%:ѫQ^-\^gGz@"M4fhyAd^~h֫ʘ+<6{{/3X7o N}ߙXx )BSﱁ?xj8e@]/߀V8y )ЯAw0%vBj- ։tS땿)I~O3e+ʾMÏ"a! a8=7{eZVߍ׼8IsԾ';}Wͼ 4dhCv?uH&|C# ދK*CSZ9DrQ๊݇_ 4R*Q&G +!i H+\,@Gjv4;? ,u" t~8 ,BNqؙC$B %z;_IiG\l{'AEt62CX_魚M8<+($YMDk7|jη)pFKstL٭s뚣U8)aFR,W*ؾ5tmtesKjLn@ϑՃL", W#]n5)5cOF5,UHpI2M!+'q5qS=͊l$+~~d|Pydkao%\Ц'6~Ëp >2r!r(7pqyH Gxjyoe``!3kkѓMZHWVpFdy @P=?uWp k>?&̂J-#0Q6ӆ.T8 @D_3VFU{ Xcj$#L"S[Q5+OKX3VBFqw2/1}4e݇f=W_7x i#ANu6;U* Ԗheb+,GcnƟgTHˮxg) iە.h J8gfYIF%(жrڬ-!ؖx LʚNv _Qh*"Dn'$z㱮\2S'r9|ֲUPZңSUm2v[w!],$@rhL 3Eԕl Vqq *.$V~9j={f?FTZnL<s!JGC/<Ci3`d2= >URAx4By2 !JXǥSՓ^Z7I >wveD^r#3;UikȰ 8YKgf( 1ab6&$dJy=[?LGU6:98gl 6˔&VS!5"/uQ8-xU>bB,BV-WGNr[|n|mA.e!+M8j{ƽGt쭓]t%;3;:@p g:CAR3υIΔum^t≐bfrTVS q^lKKY[{-NK0nkhlۀ)x dˏ=874R&wFǓ= P6Yg}%\ySCGWm͞g!/{aǂTD-# ,C9G`Ry!Hn sqq~ȅ>㚉|Kb:gt̯m_y,qndV,p|K\.nmK0æ~ѡL2kZZV]#IiY$:|JG+GB#aǴ1$_+'0'%7hYr5_dds0` k=<-,e>5YuAD!DrUpE`uo1H<1ۢVqgI'mP^zrSDզpj3e]mv.!Z5jw+xmP #_FsU)S> l_O ; sD*+I^ 3!36v x#gz c3w֔1ZCY$sDIx%!`Va'.Og sFݨTPfMۘ|zH3lJLJj@ Lz<+H`1H˕3. ʀ)KCF7";ELuސ7Fd \~0 nƲsY \+?pNd6A)'~3;y{>8/ݓzPxW+!kQgZ>Ĝ8S1;Wh=TMn-:l/ZCJdzd2都Ofʔuf@ [2r[D]D3MӲ9Nva0t[X :@Fp{2Jh^6XU*9ņI2P9muEBI9DzOD(ZwbΖV7q2{}Ug@ $Z0R/]-YʷЮWCfqy= Kn-%c SvʹG,&]V~e`5Uc} i˃s|Q MJ0b fV$]& KdcQh)) 16ѨהŪΡnRE`ڿ8wàGfF8A*Fo=6 %Hm.2)JAz*{QU,˪j tʰh #6 یU˚>f%6=kɄaF87fZx-bedFx0h| N )7C "ùUyĀ >ᥓף(z7]qR± T;FzI$+T#SZ}()W@H~TdPwMDv-k A@``0Ǐ}K9~[ *w]Ca+, {(nKo+zjQu[n/c,v!ϛ5=l][IqR Pi[[/8b[fĞ={ie5#ї*rL+^KeFZQتx 44o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodz5K) nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`=bp'zս(#[###|˻0]U( 9OPGS}D |qCbMQcȾ8Mz5$Y>unë60X蒡|fR92-@ õl9dDJ`,N> 5K# zHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/l*m&jBQig܃X@\ٽ΅Gq` j 1e;5XMs,uFK_ϰ8͒-I8et8J($(]ʐ &!h/h9Da7$bYűN!i'9@p k(@Dm۶mۮun]vvݮۮۮۮۮۮۮu\]vݮunnm]]o[ݮ۷mu۰\mufuYݬnVfuYݬnV7fuݬnV7Ԩ:AeQh=  (, (0D 0$0LyJdWUoj5Y:=ZC +%6f!ܺ gޑ4FW8H<>̔2|ܗ&ܒ)pA_u#A'u>Bj5[":g9Vt膴B͇ )0ѷV:V;ĖSu>qGYdϒ؆,7&^1w6+;A*D<O'TN\yϘ'#' {]60Q{tiW.o[|;,Mܢm.,G;L:,apBnM|&RP?3 ˣU0!\`='Ǖޮ{Ej8mCDU Нf?DmW |ݲ!x sՓ&]w#I\]3n) o1uS?jWzTAIF$0{osj̛{t3;dv9 |4/+# R =E rkDX1nSqčS^qvY9A\FgI-En/+>~$dbjc|5 y1FY,a8I9rלP e {VGH@F^z Kr,.f׬9-;5O{͗L{͐ {+18< 87+xjdJO_rgR% *Gb֡=7]#JV%Npt3= DGK' 5 HJ*ѬqPdA~> Պ.@MZDrFgfLj Xwv5Tut=U=y[7p ]vK-]@Vk/ V'(wɺ\O_@X0uyаEt=ׂג!44Y@O_@'[pJOX3.ֳ^C= }h406ttԝBsOz—'DG@S}D"iYn3@'oS/@] Y=A0I;IHJ]IY9 |Tj^ 2?F?}3GQ>)W),I;S gGA9|tIH*)T^1tW?dП3uGk=N 8r=&K؎h !aJ"',(=5}X?W祝2K$a*n~e~4Ҍ+?$ngzD8U2\}})j}v>?D}q ;#)Ax}M'WHqe*W>#6uc2%}t5} ėѥ>OpzAMJ:)~5χ7|r>}$ jR30D ~kmyc=ZaxP1Ki;nG.ϕo*іN?U9b+.fSa3l_Q<Su `lJuUͲ(xYUzM)@' +orl2+wBB==9f ™<U-c4Ժ?-"(4b3YmTCyʟog_L(?gHc?jKhTKjV&47d(Tl}-A.n,c!]>8Jx2v[Vml]*Gy:ma@,VCetm*aWYDCNma5Us)srP.gґ-*vO]_np{)=rvo(54M;˱DZ|?PݽhnA%qM{Mp{wn!|;,v<^H(H>3I-~!n.;oCzX5V7mdMϞ>G9Hf9} xui?f~ `F!dl0.!яY3'Kz /D[j*\-`y3 b/Hu, a5Lu<,B.;z Ɂ`/CDT@ 9(eys ێODȩ dâȔegWb^fFJ0W @BlpOpZ;7z2}O1mtE</Ma V9zKƺl_7*6*}Gr/ ı|3tI urG%B~.5l]Q]<80śOZt^ Zhݬ聗)N^#U WCfn/&?PEW|SAm7ۤA:l 8k/Kiَ":HkME׏Apga.]!-Rf)[U p['r4XD#8vD3sCnG(…ۗpX腕=qQcqK>t{+%[83_qVKٺK2%/BӜ:2~i1כm9\ܖ{>l0qF뽘_+1kQwCK?Y:l[g+ow^*hUXBHV Τ_`@ Í`Xz\Wi Tj>N:`֑\ AU_:h*[؀kevma3 %V@w|JlÓ;0d/I:F3m, 8&*/$HUw[(I]HP>bFzk!rEiW5=׆^_gc/QJqX!w.RKC]Bb{T++WF䤊W]Ϟ,,;` 4e. [)?HL_nY&Uӝ-^z_8Q_rdžgO>Yyٷ%r R^x~[197h '孀s?􋳺-h'0g)GT>!8B }f\x n;)HGհavU%c5kuRD3')#7)}5|ofH8n>+BiLU:7emLRBl7A&rmWTRlM-E.-J%ZRUT|kxh"xt 12(p7N{y^*/g,i^,\b<^2@Kw=Z T-Q#u:Pk}RGfspG,*w裄(Fn\-i cM*AwDӗqJBmմ=ySmȓ W#f#4iB RVm IJS9uao 1Y\7/.R'uQqяLڢYʁ5}.U2C"k96<` [Q[!FKIO2DPVf~)V'HsTØg[$τq `R05R'1k?>W~ieUDPryo4F M*җMfNd$k!k\).兀 0L2Ny%䠦>!\󪜒Z"I{p]ԑ'Nz28%DbtSd;ˆ]Aġ 2a$!!Q@Z\EQؑ@Ŗrj?Vz@00րx kIPzKW 'r~K! ۀ+[!p%#2 We2j񀢘N:+Ga9}GZz,gRKQ[4Uw|@]AhJe[A|q&cOEgJ dtnb-gJuEH 7MRty\5I5ݥ,6OI]@%mdB]/lt5_6Fk,1X.%kB )Ğ@iC\y#;hN7.OP@pޗiNs4qp *]V?Elw9T  [~vSlr qc+s2@OLFC-md+ծRNKl6V{NUOv 4wPD]{PmDZ.Xhٙ+|Q @rT6 Ff{~ԺT$mx }G?68/R#t6]7l4Ecei,Q0s9qF!cV:cIE/ A UՅm/.m/nS&tv?U0_73 WhYucWg3a9UEVS$K>й3!?m`>. D~aP{7yqe0aLO0k;'Vp[wǸR"ID`]W7zMnǫۢ]|հol4PUZ#Į;rok"7J^dɘ)\_O%=w2V*@4"k$Ǟ! a\+bߖҩ^[جLZ) uy?* Y~!VEax%Pl$(F͵z136y(=֚nҋ$]Cx|+]Ç)0" ;Y#ַBKop[el̀hm\!DJbVվ]鍠auy'.?,n"1\%@ z y]rbcQ6*5CgDX- R"Ht؋olǥ GߥcuardE#C6};Ҽp ;j!KѮ"!+K͋IUѭ\mZ@h_H 9kͦN\}Iz՞6OizQsZ8ó> s"["D(t,@<]Vg!. z ɳ&[Hc+ ldӝ7-&7@6 k r{Fx.Iv4'21,k df^D@fl vxz{ڭ3xTjsig[\&20\Io Ki|.u67g _4ֈqmhl+M@iqXܷf5SUyKB=p+2KUPKEױB"ZU#\}䒥1o qb1 +aoIT\,u-k],@O9?Zo_عг 1<A,dǸMx۷ V W"Aȹ 8݈F+ ښ^(k Fd'g+Q_$+[7%[Vt$i`D$(" ,z9Q垉fFӿM5ucNdky6ߌWʊ,M*a Yð,6$/~ǚk OZsPZ(wX)Xw%nʾ?"5CXȌ eC ލڇ ]ENtgXAzcy] a1OMm{#yJgA@e Xs!6B`CUW=v$e);A87 +>Lr)KY׹TfbZsCrHq4;1˒hDQ c'ӼV0 6[^MV5ҸL8ِ~1Mϔ膠)5 ~lAxV+g ZUx p]-čAKq47* 9mv3@Zk`*z#'n v%&u @: †&Y]UyÆ- be'Uњ׋ Kq婚e vo7a&RwQY ѣZAJ7^I>B;)BO;oqe_'ѡi>g ʁ\OU= ]EX"%^0:ucm2s"'ϮE /X@P'4ØSv!iH}'J"t(taԠj{l-U>(?ıPZ ;<4ʼMf;% 3ԕ)QW0j͓Z# 7hjrB2,Xuph m{L&s9+]kJ:yo򋱨:a ػFCʌPͻ,2qKT!L;=f(3nׇM\D 62^sIa{CgsUV"^l?f0揭>;V[b)-=ޫ05#}(>S{#t&Z) )J_[gˡCc2h$FpvFIaF QO#ם=vx.fxޒz5Rqf]&B&'f:nog_Dga /Q>lyrE(tJq 1Ke4G"ҵf ۭ!u>wB9Ģ/7϶$ IMZe,hTlPG9rpX2dH6ק.[;u336D q*[1(J9=9 Nb"K68RZI!fc^ [=_uѸ_ad5Y&Ԅ́5 + 1fp IrWq#Vh7Յ^{Ȕ n/u`Df+q_fy2<nRyTxb/_oALu\,_"iuƒ1nŷ D!,3>fT1^ yC2n0 7쩲+Ɗ]B*O4-M &ZR&P4@Ud#$S@ a; r޳1+q8e e^@ O{Z Uhb >;x|Wdl>nGrt ׸Ÿz2}VBX)ǥ8Gz!2+vde&6\ݍca.)4~i,΋5j퇼1Ϸ_ܒE=Qx 0=TLg!߽l d.WD KW OugT梈xKPQQ=1Ʃח{qgL失SŌz'o O}A.z }NpѡJf_Rڅ_];!uk0oS|J@;!bQ2l`ܒ&WwQGSU2x|s ä0(魄J,ĵPZq]Xo2,{)`#T@I|HR|wHvѫIq.\ dyk 혻O=il|&|LfIݿ \snq{UH|R_s60!' ]_jnQ-;K.";Ѣ^@.L/sfА9h`,7h45$Eۓܘ'7i/mhHL[ W䥊61xIm,?E6{: ɌWNƢ@&T%FHIi5߹hYV|Nɘ鶼@:m.8hvR77|bj,9jTC=?ɖ#gc+$ey;r#v6)C]TAQF,Nl\h𼗿69."}81/$團DG8.8J΋[ e̊,Mӟjy8Skߞ$+=}j4; Kv@U 4;܇CPM 0ԝ/snj$_p"̄fnF%4%<>JeE/lp@;*o$pLB5 gf'WH{-^?qDN7ҫՇsm8hXq%NKMv/w+p8b:Z̵`g-#!7okVy[7-2sr:5yNHdMffsmr!F ]ԯi5-1rD5aCP֝+Y.6k<'ㆎyè7>?·Zy-{>Xbl]\p~vFJ1xOBd͔mғ$PdCu-ϩ@pM:࠼w{]s,nYBD;̒ FitOL2}`݇j *ӽ8e{D.a{Eq'GR2{{%ȼ#iuqבf,C+ U&٦*w|7)((@%@QNˠt^rsd8 uBv׉sgj'M d؟WSW,㾍CսrTDEęWhs ꆫ`C5 "4d-DS~XQBrԻ;]uK w۵S:1>$1aԍ" y2ݫ@U^h&GM%>F`gYMOӇZ<)/oCM wM}Km2j+99iTiEǫ7roD=8񮀙ж[kI~`Cݬ_6xbV7c FxruWK^q6 嘬&>!;hl7''.Wp8XjE4qܩ`Vea9ƭ-Z;z Fs- J^zl~$\MXw~5끽 'MδY{$ɟj)ƺ"cyP⎈"8+\eW8B̂)Yz*I1?bhsrFY$N6l} 4Td@ Zv%v?gAZo^8Ƒ3[nDu:r9a:}z͚Q,Rl_i; sne]xr7[zr4&TYˋcz h҂ݶ̥ס#sX9)F=x#Zth/ k z&54Vy@{4ߧ@ō=߼J Dqǂ)srTj#5`p9҉渎OO7 Kliwu\$Mgӱ ~$ ;e1ʱZU&_1.'Wts,"?/ͅb7j.M܍s$zoSU<m _ pOͯy?5b?Q>9f lt[hkJݢCÙX$g҅!6 qLdv3ET9 .hDF !2OanKk%Hס6SdP~B*uqIVKRg򀲎n72w pIN0ϓF+ KA&מ-7'H~Y,yבP,Lt"hV67MΈ@0`B5%pP*k?LP127_Mn)x}{ǎLGm%CA&gA$I1 \l"!AB9K Β.%a51qp OYB!Yr[6Z^@*`ű{v1z7~ze^.[;"*hu|ykgg}֑#ؓ1)r6#6dlf˛|籿 0ywt?o &Ȉ#QOJPb" Db a>1Aa` ""( Eg(潧%9 5a1y&&6=WӣQ{hg"RJi&rr&MKF}Y3ycM_Ox{8xݺjD[9%y$Edyֈ$qq]>6g[fkD^v因x@1alAZ+#+%Zm622 c$54*?9"yw$5ș&2/ͻ˻NLJHd0Y z튶̹oj쿽k֪ɛm}4 *Z"ʧw0_|E~_N}LŜ2qAa;KܾR>6*6av3.̂lNtXe( HPc '  BPBR8( ( #t8ǖNj %! {{ 5O' |HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`juIf"0mRr]e~;&.OH/ijj)3""XO>BQ 8 ?{ŭ:έ@1RvVօv,-)w m I"aa'g#ABcQQр$q̓}/4"||L3a7.3Is_pZ~\~ ,2K F4>0_5F©9tyDfB-y)7>mF_#sr~m1dH{%1 )8U\&HR"' M O1BYoƻ6Ȭ"Xȡ1XMps+G!C'uSk.դ&0Ks8|p}:atr'w(Vy15:vv(N]ۦ50k@Tâ{ܔ ȵBj۵. 2C0Ydƹw_$k@|.s H´] -rR!N7Ә2'ӓgZ|$ūp|mHgJs;&͠q- @0&ַ?\8=G8++,x.۷zYGL V< n E 4?֓ z:4B:Z!XHCALnY ;b0F+"fbq#ȱ:?QGRQBP\ԆY녎ҁtrXAiv LHq/#3:˿iU|FFN^аM.xcd VAˆG[88HL0WG%iP]Im+N)G,\.z׌( q6:I`tK/D/vQN=罕9soa?Vʷܫەjw%NJW"k@e 4eY%,a ;so= 4kCAuJܞ |dyMx`]c+7 {=EGMR'* 3& vܣ.,Ӻ7 m'֫}ܙ:GZj61$.jN٦^Qϐ'ORq ӓ$]<Pɠ~ [#_/Fu0>4Ĕ6Ώ+[{W/!`4 }vͧB9WVҤy:sDYp;IYİ)lDȟ'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