SQLite format 3@ .f  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  65|L~L ]- UHOL-Nominal-Examples:threads=6elapsed=315.676cpu=1548.542gc=88.609(/U>Dx") KB;7'igY;HaDv2e`2mmurs,-Mw'vZ'k9["Gݯ:Ґ~Ța*tEH! O9qޱ/ppx8+TGR]ܠܔgelZ-;lT2jϵ޺IÃCHh \',`Ҵid;h&VCv@S2bF5DH7 yTZCnt9XD, pxhɷtAea &  ALjŶHC+d挂((:E8x3"ŷ/wРаhbC d"X3+BiY]q3t/$`JF( V4ZCO^GS¡͸}8d0^5rڋQ+dAهvVo^b5Jdlf4lvf|ev+sۣ2sXc/JkؓNT'NNj>H\t5d4:W,:?CE"ֺCV=*dHiD74?'Mv;W,ɱᨕؗӱX܇dr2VyXF\zˤlߡCڟ}tIgn%64+iLu,2=C*kw2q>d7)#³ [BGšp+ g&3F!;pF}{g2hf͝]hf58<׏b'FӗT6Ǐ|{L,cqCu+>df++^O6GoSnѦ*UWl"'_6WL 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"   {z   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.thyt ~y~ytoje`[VQLGB=83.)$ ztnhb\VPJD>82,&  ~ 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+<&B7se.շd7Ys<<U3q"ScAt"y=dIڒ#M,'ME8iE4kʔ4TRԊf']<7?PEMVD$B_=Lӂ[jS&"dM rKӛLjZf#MOjgj0q؉"Ul^A* 3=JCiHX0 r"JD q8p7m6h2^.[,V+*'%" >21/,% $ gNo!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/classesH5sA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesrF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  ٯs_\P"sčfZvnZGh>іZ=Qxz (״ 8 R gA\X4O>wE /t[ Eh\eYjث2"5zM^yfS0>8 Guղsк|‼YN ^ݣgɫ`]^s!rzrvrf[Be6rkg_Pe/Pd%ݍZG!'r=Sd͔t(ypHg}F%Tn|=]-W' p2qI\zHq?G|%p )-)xvC.4*%#<v%H(ww"l]B[`6Yǂ )?p*f? w[hm#}tE;OtRb OʱS%Lmɻ@6j;c"0czC9ڽ@4ir"r1qȗ{Cp'Gс qA!49 h 4gC䄸8tK #~@Vv.>uӗ;u z0jxXү J.b)L.5)y:%6 .L *JZYg㔀cϗ:퐯?W[TK9'r2TL٦e|&?Bzh|(}i[yyąv3i ꇻMx3Um'b 1#5EDT]eR}{l͞`2Sqjsh>\>FNOd5: *6} SFn"Xy]dAeYM@1%# *@e3!YnL|W$f<a]\gOku\r(9X@XWUN.%}GixyfwƜygW`S=3_;̼HWe Gdǯqujߠ@V+ @TL{,UCrЫ ayIJo8ߧ{&Zy[XQ:]J}&vU:ӛASat9hqj0陦>?Ul3~篏gѴn{opPXm=ZDNǣ Ҋ)@ݏNN)W`I@ŪR2YOH颫ufd"UP@lR!U.gaT:SijOب?jT4⊘Ngd=ps `a 2øu*mnB(Y{6H3,|+LpQqKMۿu:V]T]oTOÀqwćol4~L2Ir:=~yIv*{!fHӊ!#EFU72hn2q@.;) dZ Չop萀҂lyrB+ :T.Kc""}'[ Vec/▆GNZ!ٞH\(ek|`Ԏ2U"XƢY_"Ud =gi`83vմ XLZSJpTHRK!x7/Tzf[揑T7" Kgt)pGGuƷ`.ۮpH?sx(l4\;հ X*)\53"\ *̼ '| =D`}J%oY՘}_h9#o: *>$^W4ߢHS<"=&r*Ppzᣇ!acӄ XVhiֳ >vͣ|C[CFdZ ;HWUBmg*SA7&6 -(t8n'wzI``ӴS'aĪr Vf&-6 /&֭fx=c;?+D§L͑N(ħ{sX`4y3ucM恸\ppo hyՋ!ESXQ 8\^+K$-׿,(L%@+Ŝ[f@Xs~ijhLrBN=Sht)b[h[ ]#%['7< 3YL*:54ERGڟ]N[q) %WAU8lmN}R3ܝfSoF[25V=R_|:CT-V< ˆ}4sJN䔈BG۠M(2*2MG T_- Ve1et(1{.Oˌ P"[Y]m0l(#ڗ3%};tzɋ^Wkc,)n gkp3cb3|bH-[b(rH׮\<3K9q5B/?˫!{-2eʯMş͏PQnЙ4f%6W5#K {綏!GX@ܕ ũwڡ̇MHKN956 *H`!a[R)STM8kW}3ɣ 4pljЋm$=I Y Tb]j[(cfRʔcYLOH Np5+4E]4hNH_XkQu #kU1^0WP%u![\;~V5 pEtZI) ɲJuy]2;F_p 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|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+Vу%٦%gFޓ\Ɖ}Xۡԣ:C ~2a4%i` )Bcn#<ƭH[Ӻ.۵"pL:GVn&820^#Q4I2~,HT[5{ֵ S߳g9pͨJGDq{O Q@3S4 'RP{oP\Oxu zs$A ,8"[,ªI56\t7;TNW㒷Y{\F<s w13E2|8QT<)pyGkGl^G߅kRʑ*Bx?\j c`uHx֯+bGx%E5 ua9KhH5Bk>5N> ]O5{cG 2,[~LG5mNH)/h /hN%F*b}_*tow+ ]pï-5o3)mg@hحga5 =D>NaUn~o-9gVvDxַ'Jo4dM|Cư0߾UzꭳSdVoxoØHbHRdFEڨBj\SuO.4Pb©h}a?YUlHpJkPjêД.TPZ%"Q3)̻(iK1 .@"HFϪ")9%m 5 7dPl>vu7q0NSv;F|}> P[(B2'XjNһ}QKȡ~sQVw+%Z9L;;iJ ۇ+ ɑ-=!B a.rCԍ0BaY^{eH^GNL:@`d.-cX4ivfGGYhKc KH߷.8'R6h_gN bןn)h eu 8R]m:wwك͌UD\+zJUqq~4%eKw$C2é>cl:9HWs@eo{q뼩ee ܷrb3wPKqm$@ԜZҁɀӐk n af3gu6MC*tnM-i fd3I`TP IG2 ULm ~=*v<3@_8Lmr+Ef5WyU`sU[9&: `PdL?5Y_rae^bWe+RX_\sR(.y'R+px< %y;(9ūJdzݴWܓ%a勓]B۶0{̵u.p:s P.+,#69_ڍ|20["ҕH#Q /#0 j btS.tavRA᯴+s҂?ak(qnv0~cq̾d܎OHW(*HGaH\<G6J ^O&ޯWrez[:쎩V5| JEH? ݉TI w3?1X$'F# QV \a*Ř)+0TDt#š@A@v)ưm8؈t0ǬdY wpWwS>dL_pޤX3=0|fdɕ`!JmOGdQU!>иg|>h0, D h 'e6H G0jWCn G"HįDxvμsbhoM s2̦MYD,;-ɺ{#>cjpiTר'^K<nCA2*r&Ҟ6;5xTT̅e䦍v7Ik3 iޮ"ͤT+IbdX*D6[5/Dzvٕ6TS0K"-tTct"$1Ԝ|8ЏJr@5bMYD!PyB QK.^+u.J rJQ+~XB+xƽ*oc +]v|BC<4(h= WZ`4:M/9^3 mqo)%]ػ:Y<9"Jq,.1\9';Ezު`Xs@ A^.zcWCĎ~$h 2ߞұOexcFzҼt>hJNܠr^Ǔzk'nZiM:=!}b$2(#'bc[I$%c b5F܍0nxN,a1R߀ظ/<`CؤD ha;)qF;v 8ZsNͤsuӭ >SgVQ֕ vE.NbMVvpD HK$i2ɧMuB(KsD}]7-AO `#KMP@v,qzCg]V݊麋\eV鍏3Vt8s"pSE]RL-^1FմS-QC( \ r/PNNDb 69Cƽ&R#?}m_4 ~ [ yL[ 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+<&B7se.շd7Ys<<U3q"ScAt"y=dIڒ#M,'ME8iE4kʔ4TRԊf']<7?PEMVD$B_=Lӂ[jS&"dM rKӛLjZf#MOjgj0q؉"Ul^A* 3=JCiHX0 r"JD gLwn12Gp9 9!9B"%Q$Pzf545QdrEqQL{.V%e5GjFϳ!ƈd[HdCD0 \.Q=3s5M:L$~4HwM07~ -@ˇ֢d+5 G0cl4J\%L s]7@w4iԅjӃc|J-,@\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  G G.5K' XHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ ղj`((F"Iny7p/*JI"")Md90q קx4Pk~#<Xm,iJTUSjuy\g5S[#jEӦ[w@ؔ)e֖WɽcƁ?-͞}sj&b5Iz4J.Lͣq0&9B.&bjrʣIAϮ/k([9mĤT $4 9ѳ" z4pҤ0q(4+̃)r(`DIس kQeP Py鞙ێUgĤtGZRQ)^TDCgphn '\xru/#ڗg>_oE4kZV#BQcAS%'IEԳ**@HOxNj}p:HO~ucAl#HWf\l#eKq߅[!Bٝeu 'QT6߱十呤tL?6\Ŝj[+c MNL,tP4D•\g,rKL hlaA挲LL`EъQ M>Hڸ yc~R$]X(uX˄#;PΤL>B'ΤLsUd g̕JSZR(g6ak|x98wum?.d+RCjpۼ`LJ]Lat@ҒOw9[MSjtrقY]/ׇb[.Yiڦ?yJ0rZ&3И\p¶JY L!=v6'XPim48rQ6(;ժl=x.+`w6_Ga<= F}ǑF\{B=ukO?/%a?@.%6UOnzh&d@, tVza0za!hR5v@C5߷x5_^C0 1@=iXI7uR2uNm6tSc02/X>afx>2w XvIޚ5ÂϓG5@l\dRv{yP+YBjF!8a]g֨z?LI1BO4kԒ=?v>(>,Elu|u!oӇЇ“1|6:u|M>t5,>tBv|hz{`P;E̚;{=kh| |FWbũ==:=tJH@yP<,0[^f*LIQ' Ѭm&xf<tU]<4MܿCn{y{L*uCCogCjЧk=ځ90gN {A0[N#C"Mq:4:[!6a$!D7-KU|=f P?NɟC!~/wqΛ$8s9_,\9jq'ėlM.Dg-gqx?{Wϒ{As^g|e> {(q<5Ε>#Cll\~D4>agA00O5G<_0:V7;R05zThcZz,Kׯ(3`eoL2okžƂo܌8_yiY1z5TsZ!#*ޅVoU+9viL1)&)[<.A6-洞XS7֥(/z4qi](pu2rz}|#uH_ a82L˜j^mz؏jLuvmwBakJY5a ý v pIU'zr1׹˭+Jzaldcf;Jk̏YI@ H#6$u}uk''i\ӭ$:5*lYtpw_ #Yv4š^lX^ q5y:k9VI6G|Q+42G%mFuk; p4~vjG}${Zw\0H!_X㳸1jkw_陼8}Qj`]㊆fOG<Pl_'+!R^8lq%2.VaBZW[}Þ'|pvBTdR Y?đ%ma޲ș8˷A0&|YYЈRa6+X~3N׮3X5=PC24iZ{y:>3SL(K#Ja*Q1AIj=ه9$U-܏g\Yëx0g=, ̛_WolӪ* ^ Ŷwbs@2)֙V9|Syh6 ?DmP +.U\GfX. 5'wO=-PPGwMXO1Lë*%&Ur|0|(5[pi]|lq8(}[""tO(ajƮ8E/pq}mJ*dYl퉿bm7Av't/]3 y`Y͘RSpgg\m{$h7ڥh>e;-g3c=2ʁQ jG&o#3}o|ALXPѕ7`K|Mҭڅ T]r?<ȭN&7Lwrut%6G cVI\Ӎ 3}ѡ/qLMͭ N),ME~Y"Ul(#DwHI)Hj_5dަ3GGM>״e L`=,da vY6$+wA w0lf3x"MWaV [_WlD3}UF~$tTKnτ|#X6yh KsZ4hiA|\44X3ڳtl{"2 ۋ4s) +Ny48 /Dci;+hgE%G\#ƃ2Wm=8ky¯-]S\Y Nz(<悏|DuQOk#jXVS(F| k"|Y[KBQD1%l]/KuSBk2؇Ļu^,Pl>4լq%с놔bxoP,|=w0jn@ݻP)wk`ouN;F"h [@_n?FG>-NmJذ=>Q &${ś_Jg51?18(83$s@moaëa` faLz`IHz?N̙Wg2n\f ȜvJ$IQ{إ4ndeL;~e. N P\E+/ETme/o\h~q %?:k(Dm]pM+DP^ #pTcp<^i'L&Id+%~RA0!싓tYJ9݃>ZmH93{~Lr5[L\)l2ID FYHdK(4[-S|l^€N$|v%jdX†i'b?ڶByt@‰F%GUe,hor{$1!?CL%Y$gs/R꡼w!V#xSxS&iXaG.m_i&Q"Rp1l-¡F&HvW3ĺʗwyPC3'XB s2h.CN(aؔ5 )~&)fRK1&,i ؛(:  C" c^  L¼9vӏ9E<^:E';V1~F&/7#2 8KȶaGNPsTƪM.gf]cuaP+ +,` q`!ۓSqSC laVN9ӧ̤q T,iF{|I'}#6D?U$f$U?PշMسxיQ.O6d Sjܖ<-u60t$?|{Yӌ8sҵ ;I5g%Mv9#z=T9:g|&!oSF<35](Ec$Fj I6õs@}K9oM yRTIdc( wrjn}Ӳ+hIM_+Kƌ `ZJ EhfhZ=z[ Tnz)pZ2%R2`OffGe<>J- Vc)-hav;EqlH,{|Hb y>c_)5(BIZ2'=ݓTlKL<4 M %2p5p\amz џ9w 끕Op!SH;z=beMja'ְi(+l<ӫ5$e !0qؿ ߷lX8rDGD9)ɔ ()(3.ܖFԈ[@(@(@<, ai$I$Ir۶mۊhaAX6u:p A8GhV*IoD:eSrZުm۶_lϖ3*ſ*F4cTfT1ᘀ( *LѼ`hjiq$ YPP Z" uP#Xy2BDiА.fJ)߮jɍf !q cW-m[vDU[vDcW%hH2l淫ܖh&i, 3vW-خ*Bݪ:B?B߶m6u[՚6_۶׶mK_kۈf=Un#RϞ m۶M6d=US5US5UUUUUUm۶۷o߾5iҤIEYdEv֭mfJ_{Un#ܖ6DcW-mf\ʔcW-mf< 7iAJIc(P9Ub 7| 2$ p(r8lp8,쵖4ߐaTX K!Sd/vUKv#L!DCb„ĉ'vUK:$ بTSi#PQ@q{ ,P4PH8/$Ã<~_/)؋̏-'w{WY2ؓ y 8@QQػ[<3x<8`ϊq?Yo?t-f^:'{{7.i'X^:ILz+,㱐_X%ٟj iCd;w %CP<8LRueh%Zw ?Y3L=msXǿlZ#~u?9~?kH 338IoI.ã 8JwQoA pw}#ٍnw9jj-5]l g8E??-䶺 N3˂#(l-}pt‘bQ^y;ОEh+<suL1]0BCt*<,r_f=3ce_߭AWF,@ g+=u9L~g(kjGp>3Oy`\6͠ѤرIVm7R\&k"L4b܇^!%|sFO.u!`S b ov!|F]m^(bS1bVzc}:ex#\й BP׵@hPE̼tҾ:[Yݯ1WkA L i쀝]O#OvVߵg'$v:8dРEgs>HW]T3 ͹ t|ACLg;d,({ ȕ/uʂ؝e rʟHX׬!˵/\f Rd)yc/w/i7̢<yȞbdf 1~_ܵ$yVur& Ǽ_G'(֎q|sLQQFR?.rpbR\l,ZTu6MfAoTU>@p^@ LYY} 8?]7y @x!a≇f 8}K$.U宇}QkDI47;G>9|ÝL~p|/iaP)4.{+2f 3X@$^VlN= eeS"I[S='"j׈vv9k7#oܖۇzB##,doHS Z8[DW\_eailkc%KqX\!j+·#¾!+יDQ +(0򌱄t<ˎKГ>Wb!!齶>략:htB`Um"Bnf^\W W Ղd0Uf_OAi>kLKN l7s,mRv({#м~WkbJ7Mbt~\l}[33(d:( 65/JA_YOG]eU9}rG7,&>ufqU057xJѼ}eʫZ̸_%3ES׭mv/Y`QTV qëjb_W[ vϵ LrȘٸÓ7N{0NYojUh 3e o=ne_-9ݸ-e{(#uRdS+lwRBE*umnp>%h-zwrӺЫ slttħt{6caÖ́8y?s8yzuq= C=*bdi#l*@Y6&*{\$ /HR RTO E*0:N^x+6+э)Jq@ͽ֪8۶ݖ nZڟT.О9,DUĔT29p;69(?nR8 mQ qPXcz!0z4O_. umNvqer+Y W5hlwslJjIW t u\]؏.4b/Hj$CҼ(i4 2ё/kf 094lwņDM]YR\l9S<>;l>|XR_?Cգ,)>txaٍF?]F<O=_G5Ëp|S,#TUCbh_ 9YBi5Πaa*cmQv묬o,Mʡ=KkD(,̜ڪ8fU pE:4NÓ%Gm S!Eژn;ޗl'+K&{>0Suy/ # d-ƴ|>1ݴCK51P#J6M P7c+&È`>ocQ7 fe0oL *iqޗ/`fT.hr`$M_>4w=W5~['= K#w_қ6EQfdkUu0jn 2ŸZjY|k8l ~B

[m-TYGkrĘ/s13$@ɿ.vaYd!MhΧg_ܿ"QgX= SP|kzl j<=pt&۟cio0{በ"rVj&5@48)pI !jw1ѷc`SRsP8qx2ڏfYTy2 iFD~;08d9n+p,9CCw̑>AXܕb<]" YbՠL\ ܇ s"$k(|K̨OrPꨈ>ͯyDҁnSJyb5/ Tl-lIBy&~҆ӪP󙑡-.ٳ:=(\wenA 7~u+N57>h%C,N){3}X6,]BIV0RLpNðܳn|ўOxLDjhIB,9.DsLZ=Af6wp;S$BUMkFz~!jĺcfsu9E& hs0oGg”[ՎFbM?U PoKVru>$T令b aq@IeZ %8j 0bu1ŵ/rkʕK+~ U/\$GIe1=N?e1!J<)Ytqbl V'+/s4KȵݜU(#~d)1}A0̗*4 kr;0>|rD}&f͒lnlqDvyw4܇TJ qsul IWJh>!kZ [iXB3.Sce\po0s8R<9T#<#KM42at؛m '$hBÝI πHQa  4f1{BTa(DCs (|A(SI&E@n\]xYx~"!|.*lKb\+Fc@SUBG-/?YցƋʣ^/zhJZV<l*85}dDUgwT}m)[,DUftB} _Kn\JOlbYbG s[S,5j+lI\M,;@ <0|_CPT6-pIT'PQ">kPjqQ0h|ܒLe?P(sQY\{DuQFW .ss"ˠМ[s+0y,A=b,-AXn^luQ r_: O(utji`@Lޯ`L!e\ѐ}6b#ZLƱ@ZĽU0}ƌ/c 3jlRJKf 4N KӜ*lZ|-G!%D3WSovxzScm٥<= Skv}=[x"õwYʺ-AWӕnhÓˆ|-elSWD (췣'LKGi}/ r(QHj -fiWp)If2HYcO8t]Kf &QUʎJ2pn Q/wc(Xl.ߕ3lt.Քі'iE̦dEk/J~!w \i[6*.-ͲpGuÑ*BhR=b}sT)h{w(UZg̔l5N³v[mYNpк:Yi)2Z(IbvdUl(q0saJ`AYd"VG&+oۚ {zoTSŲ 8NW5dWuO\,Ȍ/.s݄#59+p,V|Τv .e3ՉJl:/vxk-fkY#`fcX?m7dIbL/D\ʰn[3H`ZAn݀uS0_I^yz" nSs ;Yu)dK'oO+#v?v=NdU>Mzk=|0Ʈ; _hi Ckסe,0"E'>^l)BryG5coSo'R:\k>4\^F_dGuO*О6K!|87Z9qbZf!?X[J` YqD8b qȽƩT3RΛo;ƈKt1u+@aJ{""""""""""۶۶홙L۶m[jۖ$I$I$m۶mVٞiMn_3oMv#WOdPKnhhhhhhhhhhA{9h55555RT~DykO"ڜٶ_ykD^~i&,T`q"3oMn5($,꿉jo=ٍB^ݞiK^A$XPA  lϬ%=ڶ*#=Ӗ,fos-9sUI$"IrmmMDDDDDDDDD窪""۶m۶m۞Lg:әmے$I$I'}-MOt3kooڛiOn&=6L[QA8px̃<@0% :8XБQHXHp{٨TTL(qٕ|iN4,HPUGdmU']3mmH;n`xC VRf [Jj*u:Q7F6Ԙֿ54348%zhrF*t„ (`kAA a@!aQ_՜:tPZQUVDe{59cըQnLKngf\[یٟiɢ*QU%=ӞD"@DU@ 1MHCFCQhyH<, FC!X !cPxX@uT- "dDmP/ "ą 'Kb<)DĘZ@?홵J3ӒbTިmr98P_  _OOJBUUwW_D|~*/ "/;RCB[" D**$(HCE JX$]PLkr#R $mU3o{cd( 4@hLQ Bf40#iܳL"BChǯ!4qjG C Dc(*%~$L`\TD`@0 H(@< ѡ\ 0$'0皛 %wVb#=1lUړGW>J }`6&q9MղrcyF{{ˊ^)w&_H pn\$uF|Et8Y1G.;I7?0n\ž4n>+ ~cϾ]_$ GWi{?w =/ʋV%,o=y9*OQ椎N.<Xׇ&(sG2kt #Y=齩  c`ڕ e.'+÷݋ :?: ^CIM)R޲CyAGLl2̐@)6ScAu!x\"~k.`*3 >{Z90+^ (Am۽o{WV=?t 1Uk[WTڽAUI[fYaϟ%֕ @>61͎WAuʃ0)I+v5qyoPŦ L`S zműYՂTQX!O:8cR)4=aqخXe*)^rXPU&u_ _N2h1y9ۣY]̼1| vMqKE`_89 x52Soj#'fPPKYVFSKڴDQw8OOptkp^ɠxFD ~ aߊJ%Q\AnАϽ ()4OE)]`gxͷH82`NkFeB=/s{:OH~Y)]SXa dm@y7Ƀ a-Z5҃(Xk>foiBے)I_H4/i>RBH˪/rx%f%l#$+e2YV) 2lJ!+ù,yak䴿2=1 G2Rn{r$9t],(Ƨ4?s̴-Jr^e͸7YIJvWE!?zTg q˖RufWn/EJD - ū6$%IJ릟Kjdx:,O^ yzhCUzuQ YTvE)i91wgmD[ ]Z/BNe#D]F"u ͡ʄZ"Py8VAWļ?&.%rBFeQrҀj:tpڨuh vc8|CBrgz8 'Fč<¤5c{5@lG^dy/Cx7c-WItj{ܱP QN.g,93富_'ma߼ gĢ)>e("(\V ^hp {Jǽ=@2l%uؾ(̓X~O|S壽?vč9oY.]3ȩ3@o@5(%}-؈I0N;BoK>~Jt9 I8*k0 ~~R$-ᙛD?w~)l_7K4\,>8&hmyK,9!}^D ojpw SMetz>7[C61o. k: %f6|ο_|O˱TKaK+sHX9_p>mߛfےs@j`` ^)_|Rn¿cuϥے bʨ4Pbp\9=>$i]LЫ34YjCB3xKwJiEʏP` /آ]:*p[-NIOOv/ AqsÍHt]bW(jQ4ǭLt"3'*J+p 4fa[Qa9V/2x;9ZMlԿw;O1ޮ'(׉ʗk_`ۑY-N-pߝ+[)]t!%t:3E'+LJQE"Oa{|GMlOZ^Hx [J\aD5K-^ C@&B\ 9(hμcρ{":/9m])|.ja!spg V׏ ;EUڟ [q%麟U_IT1>0+{Eʭ?}Ĺ( .6̉\ F> tذwEx<2<||rNŲ`( _]n_;[ލ}5NIK~΍m8se]SwLS ρ~7%Swkws/JZvHF1^qt?XU"Dh:]a=fkC%#nJa.2JMj[_CŠΡH cE0]_U; > zTLܻU˞"W9f8^o>x]~݌sDtw+O()9;F6%j`殺ůҒiX_!5q4[EO^|wGnwriUBQoݒԂ5߱#ȋ1FR߷8A&iԥ#Xr: cp1ƣ9!\E`4Ǣ6aBO c?,R}'`=v_>˟`)-06^< #Gv} 1$(;> 8\x-ct1 4vհ>ƄU p2ȡFwC.wY6hg3 砶vT[կ}na>MҸ)ԸM i gÁGf/+<{\6:$7^Oޮi)̮ ~]-W9:YsB"2>~?wBnt7In{pE˻3olxےmk=Oա"mX؊ΝS1[(s͕9:j, 9 OmQp׏ Xd֝ GTMɕi)ķγwLqlfΧ~O*{W[:>;}>ڃ=9>5@>}s.)(M.Ys N Ob ؇&}sv=OOvkSB@$n@ZB/y(>Dc|Qgi/<~U3,@1yYA4Jb* 3гy؛bkv俀cj~αMWolto>s3ݺ5suͫW 6H;7ѬOkntsn} sC+'gy>V罚{JjMHGD=NrD{@R콷|j{W3&M'{|T({H Y}o%j Ӳb ~X~*h{m'S*ofMZO.P 32K9l:_>_(<Iڂt}k٠Q9;'DeH-ૻaq.MS-wlßXz]~mv;yV :g, SCg=]vD?| -;| ?|?Bq!qcϡϸGwWk'Xiqdq{@h0 P((ABC2 !%Mq3Y}Q5=~ㄘGeR*QPk:TNruBj ii >:LVm'}:60Ffu ؓJ#6zY˕@?)d{g(/8-nsᄆތ/8ɺ\˭N5I1-m 8qX3=;mBFp#N}TgoQ)vY n}!?S23 OnVqhFDcU 9'<)N> Dn;y=APq1WW͡vD] csK$`4w-uL;r6']ԱzUb k )*9Ncy>0 GmVWA5=.RՋC0Nɥ{rɷGBqy܂/dk>hQ|1{(>z>#*`H ZC!bE"7ZxhJ nMGۣ5Vh8<СJ -ᩩ2'Q?YSbtWQl{KRMz+Z]ߡ(ٴ;vp/zyn{fZ W))rIld h2il>s0$Ӣ6D2!c[z"d8VVPb+{3t̥r%c۔FٔHu)JF9=sئF}ov I93+B*vDflŭ!A*U91\\B:T@i!՞Sڟ='l!y~@1SS 8cO٨ 83K^=)qI ?ږgvF(O.M}`0 ǐ:ͧ7hK񫺕u bJ]Ug?_X*$@k"D3* =حoMrF 7P&6$v[ #^v O)d7uN')r UEA3*E zF- ez9˼EA8]3+ ^^1rPz 3! N`il-7W}`l ` &nV$%5 2JW`(>͉2anDj&~LR{LǏaD[gxv*I A.vr5Phױ"5|F ޽5S5|W_̕p2vЗt 9MCkXN[ՙru*uY4%>$xP4kօJw B–:9# L9 Ζ*btNK??]vV=݃w\&_B4 ;|0TQ>d3A>h嫎s`dfq#p [9x|Ħ7P'0m t}f/ȷ{6 y:/GF8AanJ0)wz%jiT̑ME1מ)rQ0{q$z@UqyyZ doXm-`ACm[2\NvzUJ ›NiC9o cD:mRi `gl 7îAZ@?̨SӢu`Q2@hlܩE5Z.hW0B1aqs9]>Q5?0Jئt-8Ftp&sI06 SGϭ.MGO m*3YU+ 'Wk 5x +ki}~>Ew\4t37Eް!` % )`=J_JoH/WA,x1KRՍgJ1Eŕ^ZH߾5Kl*6}ϯ[01= \t?V#E+ex9j@dulAZC::g[ h1e&'[ۚ/pk{ֿ[ @ϢF_u֞h<7X ד=.3 kH FrlYnˠA(x,XIgȕwў'gOHfwYJeti;$ qFm32lLBe/Mi'Դt\}Դ^6cDO7,`N40srkWϮ΃+T|%+֢~qZ',ق՛guNe 1*:6MqgJU=\S Ꝥ*EӪkvzȝn} iQJpEջIn8xNasG[&rcQG&&)(F`%C!kFQ J9/R_w*Y!r#yFmTR0 \T:Xg&7 6{L[ ޕ ̌FlT/pbܱsxV&D^7l4zt0<~-NV{Z ѐL)drR2N$7sX ϵ~bPXi{έ Hpd~NPLڨ`<d@Ȍ;d4^Mg~¨HDX,Z%5 `4sރ)DwnVH  5},yZ5y}kDD4VIyu ``o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodh5K) JHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`G`~U_Dg}YL ˻jļ(\EXX)+et(QtE7_. tPk(Z,C^HK3;XW.p +!a.~1B̈Ip[_0LRcH  $ 5K# FHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^j*mizT 3SZ觏{uyޙq@\r`Y9 0 H2P(gIe*9 YG9P^"i(_ SOΒw8,yX@0h 9DX4 pHaB[H`"aT$ΒL0<8K@fA_ B4c3}8 aIE#a芹VWt4-⪱K&m(d@0*s@G,#9H$"v8%BsDh1D< ni,@ØgQ@5P rfoHDXh0G,(Fh,  `pXL(Ă8 AsDѰ qǡ @YH48 B4@Avw*ͦ]STD3W6鶫;3LUU4ߙi[[\5pjzeaWVy/Xف7Af9Pm.fFaUN VtZ@ Hl`@l$ h0DXYp,Ma`~QF An8 o <8B4LpPƊ( ↲h4Q?Q&R$X,G,YP,( %,dc$o* ë#  HNc0QƢ$ ) 6dHXoe*M& UE#i@4$ (dtot?믿\vm.lv.KTe].m߶m};~i~O?iӶnv3iʯzUʯr\eom۶m۶m۶ɪd&Sy{KikKY[KRzijJYZ+JIJJIIIHHHHHw{w{wwywywgffwhfUm$#xfV{uWU3̪wS53ͪgY~vU5̰*WʷF;MFfvzɖ>ۻdddKFFdKdJdd[dJIdwfZHwwwwGvwwwgfdFffffffVUUUUUUUUd?u2ULD3{տwgVI$pWU3ά ?~~~~?_~~~~~tE94 4| (, $ 0@ *"NխYP+{Mpmܸt9sfm1tm+.rvIшf(/:$4 5Q5Zŷ.$OMtYICg1 5\CK hi ,]6AzǦRf\c :zsD1 `v94=ԟ{!u chN ' ҏ~\xѡAAF(1CLt*>(&VR Y2MJ5f{PnJwJA26uOkN=[07 7Mgw# Fo VÝ{Mn5 fkWsF׮eFY c08BY;h<]%#yagjD$K41&/gC?bQ٢31%RO7bxbLjܹr:k;:FtTGMT-51p$]LUُ1EwNCHC݀qY"gu¾iPyQP!iN-,WQM}~(Tys`+rzr;F9(o1{$m?Rr- )kƻոo`zz+hw8` %6oܩk%8l o!!`цP is )$S)v 7z i$庅 *U%E{ (Lp((f.i&oOxWk j߹Lyx;yX(h`Fb RSg?nmr-Z5)e7TF~IyK(|cDl/ٰ>k`9XzyaX wߘՄμ5\BKQxltcf|u#YBBkF3mךJf?V?; `͋.tj-aS~W9 ؆ۧ46=9(r`nY"`/!h'Px`tKoyA?6׮ДTɡz@y"b /7Bt DI$}Bk+)t O]U zek^a.((tJ߄iD>v2`wo2 X_?G`vf,%Uy%o"Kcx-lx&J QB"?Ha&shԉ>[d 6S\Su(KŃl4csktRIޞKY:ۚebpmu} dMˡ!- KtN]-G" H@$ ܪؼjK@;Bvvlvv*al;V;Dw볻k3gIZ}[Z;P HER.ݦCjn ;p ޠ;`Akv"ʺ~˭z܊؍݊׈w<b:w7YjafP(K]yjFCd<v hXG\u 99bv_5"/9<'సl+ABbZYA]%.f##xojw{{j\k;g~`ׁ;Նl Em@C,TPc} % B` CR00 ( d|nk,%`4rv٩ ?I#Q}O);Ҋ)z7[b$8S6y$n.J&ZđȐvt:8a&LafJc*؍Bܐ#;4(0-媃o1=xϝo縆 sA#t%!v~d[g?p5`S3Vwl dVEހ ozG dCT)(#v)<X@!q/JP^/{Ho(prߜLӰOj 4*e8ϗZs!ӛZ|ki;Kg \؛L-)q M)X5 A9?.tM<83r D+B k|\Hs͚Iݘ"[;"ᪿ#"of(d]ĦK0T[9TjSΚgQ#\3#QTuN6Z#3D$t(z\suQzI):NVɆe8eqa2ڥ=3ɇF[VΒD G5u[@ hL+&=7ڃwA9%:HGK` !T|Oㄨ"nZڍ5x^`c &C8fT^2.pdJ%6 FVYz\$E"~ҒլHx2q$*Yz(:IFDŽX,.NB=I-V{# !4Iլ gF`4m{Tzɂ(ɢ @DhJc}]A#P䢉 ,puS},$H9)dH;@aBKFie$=,;@Q'8X^QL´z6JLBrKW4c+o.Υ&'藗0M lD@ 5c7U՞7RBxVVC<+F%AVUD4\XXT +=[|.PTdY%EZٕp@#Ҳ7 hl//aDl7tSXDx>~RLQtkxe` am( M*hE OOc(v ~"PҺOHf]|15ד!:Cn=VzTȀZ8C^WckSm1y  w^"[15|QUdb \f ٔIVHI,I滮eD7 ؎vC_i#2#8 dtCiZ%S}1s확٘eT!zB>kbm6Lr z?>~XĄ*hIMj52 %W6ˎ[[@v56N*Q;&QO}m#8#ƋGOѠE*$WJ{+R9Q$w#O+-Eu q:h:Zq#g>J(K 8暊q5KU!SOz,#Za.іMvl,yIXUG3"+ G2g)ܚnh=5PSNW, ԳbR_k2c) S XZȢ\Y XtEUEl _R$[E_fVE 1_65 a2]}EyZ@nZVzpсUB7$KVDfu]謮¡wbzgd" \UHmU2t;Ϳ'Pwyl Ʀܬj7K wO4}ZG9YaղBE]m^,7(w9} {gA%4ݸIxržt#!}3tOZd#V6KeH'CS,'oeS 4~Y(x~ԋbniوV`jfxcs@fz6Ǚ(AUMPmH(esk\9%2MzRa͍5Ƹ[9ky=>EtRO:HL4xi!Aj }kITQУ.sҭd_/GU('d<z\ uH|j-g "n|\. ׯ(h|jMUKpi֨ @|آ?l\[(y8>NCNףޤcǹ4(ݜjSU0nزHGyE"`f@q&"pz;x 哄I!ͤ~Vre+]}RmĜJJU9l'gVUºHq (fU[L[Tܰ*돬=uH)x#> zY@B+7\՞_- n(9{Mٵ {q+uѤ_6R˞𖂉ֲ PW8]8=6\'}*ZZh~r%všfP8^%5&MW1"Ғ-mtBnx;>1<Lu5,}y`s)!Zx= vM<@N aʦSEdzO!+o>]],q,LD9ҾLpXb\k`K1]?}Vű1|ø~mѨ rEn$fWѷh /3tE*7Ybh7uǵ˔5\TyӔL.%Mj)9a#~>.)pzmMPm0 ^3_3SJ]lNն8Y#|#g:H=;P%@7R{[=y'z#U?./u_vו #E: -Jb*m,55NRcehMkc`+q1+ E*z81+'U#CŒПp*,$q\i]2ρ^]ZYΟ aΫ̕Gfݍ4 6EV r 3$ hHuZzgKſe-Z8^p[WiNR-oyW1 YHl6Lrj\h[1j#"Eʓоf6QׅͮF5Мcnf_E Ѿ)M-Sᔻ5+e됒} *qqżɯ8%"ޘ]W!zf[2z`Q4É2SY2P6Oa[vpL"y:j%V1>Pjȴa2>a$,o0VIx!7r6\],͇i)֮s.tP$݅:Z+YcP`DM odLfM% o輊-*I3ܼT #s0X2yq$ȹ%l6l[˰ 棿3:|:6ZQo`hGehظFXʣKСyw3Q9*zo fbz̤b p̘z! c8"mcՑNM48APO2SJD`2FR)sXb 9qYᒒG5TOEG[(ݎo_i0n613esV[U2 jk.zZ NG <]Kf>"4MIѵ HVbDɲjTOQN8̍9Ρ-qi)^΢)fռW31X"B0~Gc,@b݋=G8¬䊡 U$*q yMvF>>J`-]:I%R#&Q;JkӈTt+[TmD2&{/7]Aa )ժNzm"qاC2X I@f/isc\^dzd6drawQfN}s~ ! !VƠv_W=.-2=8TbsP{W69A+[t\IP ЎH,u>x_mؤUT༒꒳oay|qneՀ>K>UsU#1M[ɍT79ػOfX7h07W~N A!;wLҩȋo-;Y#=_vPUjđB3$? !S^ހx7UߓV.h{)`F$4pHCaF{;T{=\,l(^gdKmVs{;Jʅ5_BYh譜=he$k-_xI{q%)N  m Ŕwcld`V'B7k U̅!̚OLS4饈TVT'm5N|TM$SkV$[Lç..Cz&+޼#:,9W4ᶼZI6? p3;m ik؀~E߱ka yqIBCb??J5%{DxUj^Ra <`4Ԏ~@ONGEj)0u߾4-9Sj ro,9UL}. jݴEU^~i=&N0\tN4Ao%H}\:Jp~R,]62CG66Xnk/d"|dM Di9%fOfL0ew.64(ݸhx) ˆ6swXh qx|l!a3]CP]7 eh!yEd:}ZfD&Fͱy ^G0JDk$§BO`biק_`P]R4Y #'^4 ?`̌Z~GȤz0CWHUTc>? h4K=q/:pR'W3B]#H RŪ p6W~RM?`dxzZ\z"6;Ji)9zp%Q2b8!6MUyn4K9[ES[ڍ5)=![w$4}9 5W kV1wK{/ u5eҚDL v%^e^cT=مؚL\s=*yϰ!ͥ(I*ˌM)Q0p.\a=UVNe}GX4C=x ((.<O&rYEܵ_3!iu"eVĄO;@d|nN]L\Ucy{$aq]Kv.^!sL4ܚS-eW!x&/bE?`5#r YçB8u ޯbxM8؝ c B k%v b,|}&f̡ "Y(ǓwO?l:Pfg@TeBOzi.ű`s>tDSEViY8O/a^鎫',IBjj5(i,Ap ʶyio3N iQ> [#P̠hvZ-r+րT_ޡFZ 3t}c`K.LˇtIs51\ZYA8`1G N!%>hdyCwA`mǾtUAh,qV8NI},g8\%p^5HHiA;;BDHcDi.C{mHXH)I'abK9"YN bZ%>EWSS4 \+O$1.)$,PYR*!im%ڊ' Yo#]":Q69.ŌȨcDR^_(8wt ZBpҳ.MZD_˂h U'Ԯ 0 {ELb_=c!|"5?=jԜq7|E{P*d.uGMHssBnl&+wALio|zĹn0kQ! I)APq鬬ͥއo-3:\_c|/,nNIg>EvՉdj>G0E$mPJqкWUGˆ\U) 4 ]T#P?U:LjԈ w=1h A7)BH5 ]L*2R#HJ輁1зS]L^B43xȧ8kb5W}f ZQ/p SLLLH$"!g DH;z/D{}!Bt!J]4?[]T65=<͜\ӳ4}!e":!ܛbytK{?d0鑮wz!ij&"w!D.D ^///D읜̚xoꋻyC ؠg^ރ]Zn[Z^=^ʎi7^xQ+/@ \ t>\ Ѐp$i8IQt[>uGs{gEKH-={knhI.GwZ^(i" !K"A@ $1$9 b!!("2%|q%m̅|4h" =h."C54FAT K2(jŧ;)„&Q?o\v dfm%wq0[+3Vʇp 3gKQ~A<,I/,rd̝6>IU& D3M1!PJռdE)u"n@%swP."EP ΃T:8d0o+O&z62z6'ĀǖId:]I~EOF /h C){A;ރ6|Z5#|傍Ĩ`k R:%/,,!LOzz'QLㄭ,< /)sҐZixCC~ 'S=rV"(;*jgaXu-8,xAH+ba{W)S0M$=avTrMMGUq?KKšKawn-,k0\B⸛t[]" 1~#H*b3ċC,)wQ,rM.+xRB6Xl(3HN@t vS0[;r%@H]iB3LrŰ^~Pp}A_DJCRV)_D?M Ғ6SX}_Eh,4u䀧&NC3J18A4K^t qj!x[PJ4.i1ÀjZUT[,ZVf *`Mw=[<-gYŠfYҠ YbMihZEU Yv=;5yuHBӳ獸lpļȭg&,BwS(!}1豓DɍeH$*R5ם4fqI T WmJYKYF/JvlҫAmW[^VC?d7Tk\[\w Wa^rC$֘3Ef^3n2C$@;dztp"S80$X'ԓuU(- s(6[+_وJ||;c ^=JIl8 kBab%؜W!O0qJ;T% ^``eР,b62s½cS*k qT(3xޕPzS v|<\QdJFwϮ;=:]%VL-+/'DbN~qԸmF.:rsyd8qAS~7Pi@R8I W Qz}ByC;Trv *|CYMZ-q/ն Z1#:=CVT]zL] !}dlF1c oYAG49ii`ڟ:``JҢgngFfϗ]$ |ERVA@lN*YAet%\4X DᲢwiL (,ZSkU=ݸnyFqDF+B3K\X8^ ebUpM9C\DydvS\VV1w1Pt`ajgfÂ_U>&ȳ YKRM+*Z pNObwߛ-$A^bzq ȔVe'EU/Yw-dD 8R>h5xg-xN˫G,'/٣qB6ܥ¡JnfvH doj)#Tw3 ( 8 U(* 5O' LHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_FV# o]?#[fq@SSSS'r0~W0m>YQ[QH77A{5v>))S3˛R-"Ue4F))c nXFCuet&: 2A&`nK 9@}4q(ML{]ӨLm^XV3O u7D3PRfw*7vnŘibMiH5: eB'{@` ( a 1b!Hc1##.&KB9a :w\7)=^ag^ XgM;U5c P?|PrD'{ߵޭe%,גL#]xBThzO5:={ix@U/: :dp"돪" P4 }c'sC- c<_əPH &Xi{KYD ET0<5Sl˪42Ք j Tu-TɊt]U.TL~:/W_(ףHƋg5Kڏݢ mx _4v+=$I ͓|xcJQۃ NB)ru8² H˃b(C[m8 ?ώmX2 {IY69`oTTcU%sD:ӻןm(Q.څ9uBbvHrP79+КS 40݂ Ǧ+r& `J;xa:]?؅[XHN" mj*έhہ" )c4K.YmUk.9$'+(!Jy(K _#VSm܊AyB/52؈F1-H`9pԸ!Vy$vCЩ'Ԕ8zeHb6Hsn@2 <GCu^ҝ2YT;兂V";2cyIq|c{>w&E*HQ\xOmXt.uw0i_k+.b5qR7u{{[D ]fOpp$E˼[ƗQR(1m 5O% zHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`m " ( PgD| OSX5aŖ5333hbZc鱩3v #ADsjp(:v#[-Zxa,EeO`j銀}B@J<4pYVoaW.Kۇ`hd3nI#K_7 Y Rm)"0A[8J " |fB%\ǁ0<<_ 6F p ,%D/M] ѠMA|"T;p &'j<2HV^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal 5 5K/ \HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/lNJ -f`гYe30% $c1Ɔ[TxMcHc5Yp(OF $yOj`!NQ Yǒ0_Yh@Prٕ9‘p3B-Rԣ*;,D_W˝b,'AmRb0Ϻ4+# "Bb,H+8 %yާYj3 !nLrXPLZ"(=\Gf4RJxta HQ^{v|KLhy fYGOʎNmb[[dU3OSJ)QS3.RRIa?4w/RMLOPto|TMtUFen߻t~|CEY\s7g_':)/-;{NX(Ƶ[(4N$ˆpH-X0Drd)7*LRRAD~">,%B5QJDZyҙiJ/(̓|!'q3b3r"#zu8h@œp>R gUT%s3vi .XH<^{{-u[6μk֪əm4!*/rc*&f$ $I[{mq3O-O&ۯ=1n>:^+;FQbYA}QP6*[6ZB< 0 ,s-2#~7|_ÿРpe6P0`! nn 5O' HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`vuQ"0o`>% iF{>l4즦F%6 +&޸D|I#n -rcuD2RҽHqbV~e4 N b/6"BI0nQHX8P2B-\h!5f[4Ah p.Tl!Z'z)-Ga~f NkQ ĿH迢qm2oq~9FV8β]k$w&]>= L^uBIgѓ :ǝa7.kS 1 ̊Uk J-7}X;KX+FM$NFYOTbyT qu#wufbR,ue?Hw/|Xgp;ރ9ޣgSL#6d66M'Fj?J 'uTQ!X#}Y8Ukb|1J݅ZiGc򳦓 Nn<|oʸyM'<w ?)>L׬bWi_[ၟϊ`kr-$>jx NM* B1fJճ !-@Ҍ$Sp&"XD05fc< ʥ*75^O˚RT-,^C@i!_oć^s:̼ڹbkLV2VM &Ƽ̠6N2>}oQFu^%h%TX, ( YAMMV&Hht,w~!1ሖƯ * ހCnv~0y;/zSگ37čpW5L_kgrr@g|VQ uU9V *ZgPپHj/qnn8qx%x@[ ~Is[NS8,=0SSJ_adRxv qQu"?>qT;=;hdA @5Gi]ѵh$O2~{l4M  (靀+ rZMbv3Ѣ+דph9;bUSdZ9&fwh0h{:݁Ifr_5tBUVޤ.EĜ ]e PQ~re+Mj/ j_ 0:SH'H}~vg3#R@àz-mt*oIѷGq:D+>I鳹M4iɡdLn2d5ӷ]8@&7q!h_ u `v7 -V*77P=^(t`Ro g7o=D(Ax ,>N?j!)X)nA" VV@@BТes {Dh^5:+٣ Ƹ!X8T[rU9rp ?݆)Ud@FG vBMHÃ07XR2Zvo$n<ܣ ΁aDy=O6 ͖b>9.f7U;+vq%x4T@}qiWhI-YCw2y3ǫATw G,%SDPqވ TdB O(ָ!B 2l4V %+o%)ӆu~RIe8Ҳ5R\'ސ&76̣nlJǶ<^\e U|'P} 2 Qvw' qw(3 ǃN^tۘɇl uYzשs9z"c^^7Eě‹:#w}9C8)Ig>Nǧ0m|u mQ;4Z4Rsfd X֔=Hc9 &+RR/J1U_@V[ew*V J#źe&ЪdO$;2OkKݹSg%3>8h,©9>6Ň/xlo w0g,2(pO||. $EPa¤3xvi''@S<:o֔eL0Q[Ba2ٿ> Ѝ A(tt%)U?]Ԅ8 k-:PC|('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