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_exportsy `~ytoje`[VQLGB=83.)$ ztnhb\VPJD>82,&  ~ x r l f ` 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+<&BjUa ڒ #M,'ME8iE4kz[5'qM PiPH"-JhA )a`fDDB<#E8%If!z+Rhfȣ CIHD( dI#-L@ U!H P ($~ @$a61O͑3lim&UqTx4舜<~kӪ(FW[URsF=F]k"O4) ϜSSmܝ5"mjq4zΔAPِDZfɚ0 PAh~P_hgG UIRRP4Ch`yF j!qi,P Abb b F1tJJƃK5|H#gB^ mJ(ٱwר} _Vu `●' [}0]؜#SK5Wӻ<q393NH84 ˕Ch{>s4ґQzmZ{~qҕ*S5UMqP{駕֞ێ V5K% *HOL-Nominal-$o#] O?  قՂ|{xiw\qYnXhUgKdJ`H_4\3X2W0T,SPOLKHEDC<;:986310/*~)x'w$v!qZYXSED ? :" }|{wt s rnjfec\[ZYVSRQMJIHGD}A{?x>s8r7o6n5i2_.\,W+*'% ! ?821-, % $ gTo!Xs T z , / { N Y(7pJYj Uz(7>D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex7D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts6C5G%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/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!    5|rpR - UHOL-Nominal-Examples:threads=6elapsed=346.053cpu=1692.032gc=91.893(/yy-"(MB? ʴ][5)'7)KϹ³a[.9[ Ͱ.Y)d).v?e|F"9a*$)E'RR$3S:;!Gk] &( B4keOk+9bq!a2jedyH?H6_ =^b/Jjպ BCX{|  p>*LH@!!HDX!-3rkXa$30@  "nAH@!W2^  ,$n|"Ң3H8ʫq7D*rssDkYi{=X5r_A  FP<0(<89eu K. !@M3  ލZ$ZB‚V! ^lxUTRh9 P  C\   ḤͿ!_rD77H(<$ #!r9Ĭ   +cI6H¯"d "Ca>CÑV, $ pPu@$$XLBp@ц(pH,(4X1 ""X4 b!$XH,` D L@ł3@B  8eұ  Z =锵Fj!,RF,4Rs͐"KdkzU^6"!2"nrwggGL-9^\z9n#[ 7ܣŪYƳ9{f[bQgBwT6ZZ{j;$v\i, eas&C -+YjTz*gזH=_]v)4aIB"Ok YM1$Jr&d$iٚ:gClLꃞiߝY}Gwf3זbGB1-E$dkeRʊ;is[߻R/22iEW9qM>{Og+R{7e<nL͝=m*7Jium* bʴMw£A&q/0˕9ɔ5fFl?Z<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.thyb$֥:ڳs깠oj3:EX3W E"1cD-۶so5E_t#~e2hQ7 . eO؉YM}dU@ mOrVf[]ΰz< .:3iK[(@[%B&lD+ DjZ QR%0PdP$Q_ϜQ`nQǜj%n\+~ʒ p(5lWW[Kd6~blI9d1v+'JrER?|ڦ:DVe3T(uĚXz7riz[.܂;{Cr6a(bRʇ2vB/)$/umBl$<[Lꪟ}=ѕsi4괺 <⹨{휠]Smuv6Us$ pU 0)Bh7F;dM*F ݂B=ٞyfo$9sXjܗj~P|B \~A1RaْG)t*ZM@&;PE>UoԲDb`]@t[jM>3 Khe3F*-85VV v)粸0ؼ"B'cE.)  J `币t[wnN*('R-^$圆@GڦWKy 3wg@P((0@, ?2>dPJD`Ishb'< ]#cOJLA,ƾ8oГ37 Yo8ӵ9p]T:ZO 2pWMWH hC<=25,o2Kvy$+agi~qɳRTѫFd'$ #24&w` hGUR1OKVC[VUbVЃaIͬ冚Үs2^q̥mNbtnԧ'8\Q3nԁz2N)@+P&1īMӋ/A?J.Xw. *5#PE'zw 0fvئsle Nan Z$]9ܗld\Cq۪Z^ &7T!dqdt)[Uu-QD~! E TGH8#DLVJ#r UۇBOKܦ*ӅH7~pNP\6/A1#|5(։I+]^£&ȇ9@{$|1v',B H -F(B~>ODBqduQp٪( :f{u}7C80WCdI~Z#/9hg2(͚5V0$ ,-o{.\t ɫ;ӑ;5@eOj|$F^8XgosC=BCrLU| _̽C;-mّhC>v8&tep6|?}YKF: ̡SAA um9Cl*  zãM=\9:]x#U}ߧ R6>jg1NV76Al(2G+{4 *>?P[l SD ux}VX /!vB+`yFxH'LkWAjy028/]NNL Dw PJCcQ_$ـR:5Okl֚˿n tr?ȯ^lu^3 ހ_d&⍃6G/@􊟖(iJ }#XD<~ϪcYሓԭOG:c\Ϟ|cL.~80@塼}"ЙCǒ?#>EyH\+D$MO>]FP8&;Ib}̥]sS饵%J/X$K_3퍀0%ϼd\JR UԚmRa34+A{nł-2_0a\>zdv^c%$'e-wHUnh m2eضͤByAaU}flS$'=DPX,ҚB-JhԵq q\hhQcH2m)!/E8T 3qp6S&+8ƎGf;!D/Kx|.BN޹mYBnU=3[vRe'Vj DZ45K0_ ;օN1-PFAK_)j3=tˣ3,կ[P,cNԓD1CrH)e9W,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Ϊa縈矱0\eZ{D^t evS4r9`xhWI2шbRXYk5AVk(d]#kwsŎBaJ\pMm.u?9.g;3:G8 Yŵ6dtb^+ᐝlYʣ|ЗGoY> |DŽ@Dj$c)j6 6KXhA@$L)dR uXGL 4텎5Nt(LT~%A,{FTߞs =#ހf?2-Ql+ j#mKvey2y3$nsaP z'0E+#޺2;ȱٰ'1-EVt=~=Uu}#ZdkQY>uz Cz7!5m:lMOdt󭨛y'B>n:Z Z~ݘ!vBJZv9Ъg1]XD)_mӍgPC3!~e-sG4Cz,0R iN.:D_ Ea,D|0~Ev*i D~4zR_}dՠRa"ZLnj#aZc}cG&OU[Zg)P0 ~-X80Js*<FU 1X(V.Kh Я⪹?!Kdsm(iݗh";Ujx 4jh5Ů|洴"~Δt>El> fT7sqJ͢Աm%IeW&u]*%;MiMG!X<̠Dz@=bZaW۴}aoO2i*/H[a 5zX!orZ[TwGM#hNDw6icKheۗH?Zp⹤3pi 4pt%!BP6|ex\fDĈ49/ VY,W4bdJjХ5z6Y'UZvsʓ鮬 6;% njDWeC:h}8~RIzJixaT bkmswЊ. 8BL~"I'y"#փ_a|#)F |ŷᖗ>)͠sR|4IF aKI0 ܸ5P_y%vwڸj~Ŵ=FZn-O.$%zD+VyCCF%|7+4zLCڇ zXLm*C,J^_s['sR -Hr1@8hB-`|O`q~ތ(m~y@2/}`vD0]HY7!Y&;%L{|nT`\:\buPF* fΘbUx XqI/-B5HSvy^4#fU D`R#g= [%W V;czyXbs0ב| H5W?SS4 ` \Ibڜʗ fm~D#A ;&TĒ~HN蒕(RW׺B:ʗ ~C8= kJEG[D':qw+zNꇜu,$2C[ YU |e IBnRqՓcG]l o#}:7;1=\Jpxgo"6Q۸VNqpk9u]eA waA|;%2Pd`E& FsƲajATV`f̴URWh- &+6Қ!2cԦLʬ%*&Ѭ ѐxl@'ޖ|q !uJ2`J2fE'wDHr7͵6*nwZ2 BƂ~s3t} PDb)zP^Dz-@޾6@qcKy.x8:Rw ׇy(,ykC]:5_Ʌ_=04,ġD>h2Y5 ׁ 0kXf *jun ڽ؜^붶(@_VJX{S׈=Z n@e$bH ,ML6V5V"ŀ`3ßveX6lG-xa1F`A>yuj8Atp+44I/2,M:]qe6`d9Ңךp֘[GrP!>×s$Dхw R :Ť&6k(N h +pqDs8mG%O I)KE^L޵UVV X#Ǝ$B{6t^O<:#ێz`h-cDO-rFV&6U׽!Z}f`6e0ްu'A,+nkwwQHxY_˯L+2WlOfWFSݬb$W|="rYZ7+ x+|cT*5~%=r<ߖFu1sSpa HO z;#R@ M*5{mg80e@[`Y=lSUGB `H1j&%kf/5a׌)vt> L}nq V`GeJbL7W@2 ˳B r@x|nv҅D?iFO6?@~v4"G]h*?;v'4]'ѭr )`A![Rݛ?Nȭ^[ie`UhE|x'ianJ@(:I HB7 <7k |ef7#Ta?d~Dd+ӖE+ Gk]RԣveQש sL^\ ol8oeqlg"eRm1+IgdI̵ǵ0XrEjUi,%c[KtMC0A|TC[ZlQYSOI70Eo* 1psYꉇ.&UEړE2},Rv,ԯ$LU{7 MD!.*+ڔR^pBXnE*Y_f_1ۮ# )uj3BT;\s!dLn|_ ±k^+.DϗuQ}łhE{i4$3}֏E&21"9bA;yM$@lFÉbh-d }S_P d IUd 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+<&BjUa ڒ #M,'ME8iE4kz[5'qM PiPH"-JhA )a`fDDB<#E8%If!z+Rhfȣ CIHD( dI#-L@ U!H P ($~ @$a61O͑3lim&UqTx4舜<~kӪ(FW[URsF=F]k"O4) ϜSSmܝ5"mjq4zΔAPِDZfɚ0 PAh~P_hgG UIRRP4Ch`yF j!qi,P Abb b F1tJJƃK5|H#gB^ mJ(ٱwר} _Vu `●' [}0]؜#SK5Wӻ<q393NH84 ˕Ch{>s4ґQzmZ{~qҕ*S5UMqP{駕֞ێ V5K% *HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 -ƒ: `g;-̠m+Bi(utLI7!а44/TNVFbc|t""E!b'j;DBy C &  5ZĸɵpFꉡx=d;?$A =IFTprƛ4I͕y[5Ҥ;q$T{0n69}@9nwX{?_Zص߭n1J1/ǒgK1cf\rA2RPFk`1  11F"e$H" orR}H>vv I/Ab 8!Wf7~൒0$&Zg#.'e9K4٥4Z&Nu[.Kmv%t)5 24[]A4>LOuoV3{uJ0~͚z;Up6G8]kNyJi Wb\/M 7TT~ؕTh\>!`4S\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal cco5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methody5K) lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`5b`덜{YexCw~ B :Ty $Lzt޶B{!&tgMcStڬ׍G}^Jo!vid#a~:mK9fR92-@ õl9dDJ`,Nk 5K# THOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/Z*m&jBQig܃X@HzQi҃%1ЗI HdI`e,0 $a3䅬Q$('9Ff(G$vaY$I ,P%I(X,@g0HJ@Pt0H8,G"@(IPÒB45K' dHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1c(F0Ú7Úp(*XJ)FVh7N4]/\UnQ[53ӱZ USQ5hZ䀔UT9?I^iuJi Eh`9sYNӝNj_y_69 mEI{+yLΪGT婃hIJ8NPRA)yJ}?+u` hx|/%$(xx wp` 6% ca$PJmJ".*, $0#8 (Asfm:%`,{Mo9]k#W^/ 1tT^A Lԫc6`:@?7k#af0~<2e ~>B2>$sp˝2\I6G#Wn iq*4Zfgg9m|SؚIڭƃL+ڇ YPNx *NpEX,29 E=q\UI"1 {ߞj紅cqgض"X42# 3?Q ʜ'r#{{"_bd+'(d_5:`pZ }Ypط#h` {n~4) ETLŌۣ -ҏ(m()f߽)ְ,h36L+W~LnC%Tߧ_(U<̟ עs{dӮ~^GdBn?)>'=7\nJ ޠ-SYnD^+@%~Dg͓9/9]!mR1Ө׊T3r8m5$GќylwߙW3znpA:(iL~gTS>ڰ<89U㦳1J-pR Ɣ F3w֩ɀ:Qt|Fe-5-潗Csj\r}uE }Σ/sfrSFFضעE 5?4VDbmg[4qPHRj.L(ge~`ыsZJرnW@evPn,}\B'c޳K6Җ4̮A7e, s=: g$ x>- s\7ՍHWKn}4aݖ?_@{P{5Pb'6HKC؝/:m`ҐwcM-|ڔWnإ?VĸsSNnrB7~Ն|>IP.''H?#. k n Ʌv6 Ʀׄ܍{f.KN~o31qə;OxM 7 [t \@ ~F.g"~FoFm@:35(.'].μYJP[tZ ̲>򰏯<Ghu}b; x룝iꓭxꣃYkĤ+ҧ1k$KSGӪ昇>f>$GtS44❏- |X $M< "?C^X]Oy'9+hA>$3hjJӐw=+>Ƚ@g<1+cGB‡@.D C 6@}O| {"=EPyO5ޣQ_힉J Hs=ē+{+FCXGӲmO`{:ufå~ {Ap&yUb4)@+VՊ< NLc ;fg]ai.EaV3W;ȆȳIP~Xc>p&Yr)Q Ps[// ѤD \v?L;eQO%*6!54TM6F/ ;\6D&FDQa~Q kiIifl'L0k'߆#m;#Mwp~pݟkC*4 4յOd>_#xGُ-6?m6]cvԢ@St큲J͙X[H6ʯa*.[g9^"%h} ޗӋtAZ 3G8fniu>m!5ύ7_xmE?=0LXt9hauDZN|ZåH>Lq:'&571 k~}`T) .5@ taХgG+hZuu31q'aAk_8sx\pߡg82#> BN˄ԁ!fEd9̺;>xL4i`8$ ܃WWE"w[W)QH7_e?T\o8r4,B%U`6ŸeA0@k2Jc @ qYs 1S˸NTA.xK[O;f1m-8 #;d? Ib7T51F3q$ 2{H扭  )}݆P+> "NW/nR&gI4>r.r1Ye5M -=tyd[dE3ryhɚ*+Ml:8 y+> Ƅ $hcue\qW5`,^񦿧i!k"4O 챻Z2S4oڱdp%BB4H' f*hZIlc_ &oЭC.#o*!̓Fm1[ s )O$I5 @E.sмnK_Rٶ;+dR }xW e QcpL֠MM/* Z$Sjʿ2JƦ&,"],eE9]Kh]1zr⏸pKr8b2Хj%$J u-#N[& P(wc`˪ qX90UAmBc;o!֯5jԁ vxHL=4ZZˆ}fX7')-C<@ߵxJ)!&,rnX0?F!/ѽplOSw@rDa [TN4M\ wYē!hh*ڴ*Z,;3 A@s]Z_> h3du1X8㈩B$-;a:Qw90#:yS `qninsP ڟe5{B!zHOسgVabBLq #%w*TSdeIGc[vwXlW+eBHAI')ጄ .1Hou 2,4Y^4 rv\kjZ (Li}|(y %.EZ7"a Qӛ迮gf1xZ9UsTܷ8k8`CY㋝~R2q:ve> Lm4O؆~uF]mwԱ V~qi"Ckch JjXI7crD[T\ Vρ֣+<0S#8$VZB1DhHJ08`+ 5fVl{kVwFBC؄sAa2aEöbKiTHZߴ6|* e#ɧŞ8I{?'`3-J||{w{ 2J,3dcK0XK9CCS=:d I|2 1W<í{#$T9PZ+UIrww‚81;yN e.|F4٬&^SAmU!Xuu7*+8rq񜑦Ԝ=xmǼqyɷ#Y| Dy"gbq.7}`6YtA(' }3yxjOI3 < µ vd5Ё=f)NA'|K7FpKB }ٙSުtX>7\e|#@!ժZ2Z:Drnq8NO\ QXO} 7A T4|֒Τ 8,BHh' \ 5<% {[q^aےYD,Mm1M{idvo-'x-T'Td-BHwErtݤ&t?U *W6WoC ʽ0oK;-,?CBXUKrt .<bٰKAey-'ú h_ #[HahؒvKN&wt=swˮv̒a✾+%ʹ8t_n:~W-ry yޖ˗C*xlNázk-0-&~!~ [p[L,ڜߒk劂oi[[pؿE[Xp-V2pv2AJ7,d~W z-[W{|3*0 \z۷Q.wA1 OSe2`HNp~f#)ׂ"߂gŪ Χ fʽ`\_DY0ůФ\ Υw f)N8mHD!f03dظ>:~[~qQIغ 1ַaot0m"y{EjU̓_qC,Ԣ\rJh%FDY;cv{!aR5\s}@۳]X~nOHVӟ,WS `1VJ+rh~j8؊r6n:dG]JdUP4:en#Y$ք;RHx&*;1M33|YT[ Rzn”guפ.4v '9)p;>*nIh!gsMcʯ p9f1,+8|G mknHkcA?(;zEG'8\FsW1ʜ.@ `ok{U#>-PPwA`݅Z Og1&rnFfS?،ab {TpPG}7~~v/ĉ<?z)jĄ&0wV/Z25:lV,«S1k4NwW߷Ӹ-ۮՉǖV/ۋPpTltHy!^kbn jUD +N@DR a0m9Sr R> >B'aΗl<{lY5 z"\ BD ƨqݹSŧZ1]Z2ѽf 4dlP%8t0[P4|f=xP̃ku87xJ5B1RwbIJMdy16*|dgAswr!eyNO0̂dY%MI}@)#qg ۻc|,o˘'rsa:.t2`i!셶<~>x((r\}`ͅF3- ތN=,Mf\喉寢e |,q 8b\y8׳ΣO`!,b0#mtjƱRs.<B>LP4\uG)wKLOH(%oדrHb \ ّ1naa<$)RWn#Z*z{2_|D;jh\ffQ L pΑK||9ψ$G_l/.(>_ɂcV:t;Z7_&_Ys#l$C#V??\@ŶEDA_-Rdy1֦8Ȭ}WXw2 PR7eY|1\B$%7 46*,˩>?v ?܉H'JZA绱fX{NsܱPthm 08z1^uCZ|)$8(O[nͧ.^,XcMeP-zW05K6ݹ I퀴ڴZ<.4{jEp+ 1a'bi2Oo# Gy=T[x|ٲ+CАH g J%Ԯ;`%lۑOMdqIxe8S@;|O=cI5f ayvLuU֥+ݲbMvc/rٟW|CW"(dqcXJVM."끮tߏ:ω̆ވQdD5Bվ"{vFH j%d12QkYfNhMƥcϚq5GA˚ȚTk˿Xr0$rO{|/ w@$oj''{VsI=f\az]Z$bߒ˩,7KfI-Cy c2g$E b2?L9 fjtR"vJIf{ ui;X PQr]_} *iKͲ^`ฺ?FIdM !r'I_) Rlsvn' %˲ \ݎ I_oea?~ƿml߂9B#Ox-}8Q|3jbV*LBɻyf&Xuđ&.q$Z*ۺߋxu VzWB5q"Ul*MVdV?w{2G9mm_PD׍M,wHUˆd$Ak&cFl!jY#b[4ݔz19 F=z>Cjk7p|ංN$,4(Og[,~ofp. G/;X6gq}vF|6vk:M8upN$x黫 ۩ѻ 7Bx^kHl =E?v7@޼ J›UmSvBGۜMOݧ _A߂fAY6g%a6u0"n*1%ƕTLu veԔPYĴjg5n }|۵S[{`j" 64XfY4&rW29@p'& (7Ҁ%@dhXb;!D=qwN[%qK32{;3\ NL,ۤD N>g:W}1 } dv_l'Ңm*`w{HRHAf&=k39H3Ȋafr>Q"bui΁"Y}i7s;#\}EIe:1 % C|T@h4j];f##I{4G}Twuh nRZumǬKۄR\ߠ爛IĽA$A9E> L?*)W3D!0Wi1϶v[m \It^BP%R& N@\lep6%pq@oBK^V lhvq/1U3#X!APvֵY#砯Îygiqǘ=FAGC4wSOXK,JO pO擸#ꟶ ="eEL)Mۋ&i$:{8" @l\-,p`@(p v`ᡡϚ  LzI2$̠2Ao"6I6$pxA *PfoEMjHPaBzu 8C@3V&((3m"'=7="(QI220`ݖۥFPaٍj%"E9ٍLo"'a{Jےm(m۶-""""Bl/RsF"$IjENvVd74ۭ4ۭI 9$g-EDn83#23033333333333033m۶m۶ݶm۶m۶""""""""""}$iܶn۶u۶M$I$I"$UoٍR?D*(`0 8,(B(m)IgmENnyMt_ IRm۶Im$IҤMR"go+BNbH$IIv+IHl)V"JgV+r }بTL0#q&.:"F$ , @0 ?&==qMgI4>;d$8Au/) R!v+R݈֚ W3TuGMWF Aa0EŠjwƇy[`CB4*>'(aUqDح1HْFÞ&?ޢ4ܦ$M jZŠQ5^BZ#vLTc[Ƞ[6M_*P>+wf[/Xk5!jlsZ<+;ɉ:Q%28K9W  8~ ;C LG;UJZA|DG 5J CQg=T_Is#_j9Aeɬ`m;blY*yg+S ֥{ ol>t%TFZAZCD`~⁾T i+}Cf|캩@k 3;2*R>Fn"`m:{PGelߚzwH4,mCbm{n*o0y QtؾIL'-l{"WV\&,$6})ɔ{ݱӝj,/?X}1f6"P θSEABjDQM 5oضA~;Ը]P~7~}z3ECEҸ]苠r&,6+&0iF|`ٶnHgI¶cB]+hCgKQiGsy֖;L۾ &̀QMQxlQt7Ҕʼld 3W J`0mWrK !o6,ߖqE6-0p* OJ~?u()]X[o_ ۻ/Х=EǒR?uczM&~4Ud#8ǖՂpM\||jܚn~tdݻ֜ c|k\w;R@2ן6jH MJզׇ=Yo M]>D`T4r]}I! BVg`h 4)$e$&Ss3u`=[WшeˮoRˇVI.ۗEΔUaQ*{C3L჈m |gIV}kHu8x\Ϸ:贉Xy+8kQ1Z&nT!%Uīnr-lSmȥX67MOHaJ 8U_&-J.UB'%YHuyRIz+<'t#Zy1ԼvI]i ehө~g Uw6~yGk. WY zU9JpBYDT+ ̇SThצg\bCU;췑Uú@u-B9X:4H%êgڼ3m¶U_,Vy?'=V/~[=싞[= /Cliw[E!r-S4ᨨ#@9lk{KU$Tj M~^e2R5JiH*Vɯ?:ΪPʳ.!Y4%֮nv.}Tc|Mm6Zh m{St%*挀58WkXźan4#e_#>;BK;ךF 9PUxUf*S=nDf?n?R1(;C>TUfK"jvNOZu?Y)iŽy3VԲ *@wڂs' OLW"sYB/Y7wVco7̂ [kò ua>Ã$nL(qH'fA~`ȈN a?můᶎ PE 4T̚mPKdTapu% (忇y1;=WQm`Di*lg>Q=^*ʫk`]Z}XW, aT2}ܙFޒɌFyuuSbҧ)B|]ڮ{/[] ~!KUe ][Tv@_vpݭMн*%nJ#Jfɮ]Ͳ۠1BLvx];?=hw! UѮGiw ‡ei Kܳ8Rveq1oު]p_v eL &vn  J`TvSh zЇ1)wP]yʓBTd4룮[oԄCQw_G 8uWZK S+(:x ÔeHA `dly}TsTmA[mTgTcy8`PuNQy[ @5X 6` &` b߈*JH<~ bO!k?xe$f@61OTTS+? wxtSp'T%қ8d3ECrm xS2\2 CLQOˠ*ܐui>38JB SBMAU%+xrU@ǹNS)rA4-RmۼKG! Y%x6ٕ ʼn Y3T,MMLlH BLnrnQP(UB|ބctQf1XVHUncuFz$з1er EA'~V(e!*GW R+- 2 3j rmnTCBo, -PorgL][pF4Qӆr9u^ݔU_^/EsXt,bV>V'p^iUsr6]HF#*tg}OjzFU@8y7LLaOKE5G4U`vbEZNjFy+)9-mEʌͫZf[=AndUx=X-˰n0.%ˇl+4y"m>5b LT64ԢThڷ\HD{΃ř_,e"fmoWՁU.s2)$.-`wJ'[ V@Aѵ*0Pzc4f(H-j"00R%}4:4Xq v>Stphq>PBG/ z gήIbXsB`h V KbjQcVs` mXe#$j9Q(qv{{Y'<5Dq9*+}ng~cNtkJ' _x])„?!9o,=Ak}HRVofh-gLcC}@3k?\E{ lLJ>δ6I&>6Zf̝ &n8k a ʊtB- 3 nb4=`:wlD kj*sx*(h4vZ;+r~6U$v3YYwoFJ[õ\]]r!s I#6YyXRGVvHRKhr4-%uX657Goxd)|t.YRUi^zflhV%{AQxfBt~nyãpE_51d!3#]@HOڰc*/٧26 V.Zi]zMk& f|2k޳%Gcm+f˭ $ye"h84&$*ŵU-eU)2%ggxgfן;3U_ߝYv^xLG;30ӗP,0,쪷t E&Q1ՙ#ޙUaf{BLw7]zB??D̾*, eO29i]',@"9t8GXxtp+lh?FsO{ݘW 1_~'ލe6h۷4*HM3)I%4E2hUՒ?❙]Ւ_ɄK.9Ue/*WmwG,p\'~wpE=^! = nl : X@Tz p-uB"Q(NZB>/n:ۤ(By[̮n_Ud3caа42 X e,K033ۮFRұdW;3Of뮪;3vU{vmwgfٯ;WDϼ߈3}UnKϼ߈3}ULdf"E"b&`e%d&) 7~ XCš?0o$y|4DLQD $6V $R,bxVt@!fwfE*EAA<@Ve|!1!TXTHDcGg|ϧQz EqQDi#l2y&  tN/!`]3DYٯsb3̮2ڱ2[Ԃp@D8Z-gA<)ZhqfŜ,-.y扥ŜX,-]1hX*&Ka`,lWNi!TL$z%QZ[yz pEaK8= 6s IxS;H\TGk)Es_ڜe@#(mt~V絎+ԟK#գu>&\P>20C0Rx>i֗8} -Nnf@X? Lc= ղq iԏsu,f^Th]Ro6/ohA7:?MR[yF`] x"f/1rs/ǀ44%T mӁ4aZnB Zs|ơ HLŘ-ȿJ߿bqw||س3$,>?f4JV_l+~]TahU"m죅ծAtR+v&oee1jVTm+S45f߬`j4 :@Q)/3I$ sL4I,KL:??I6b"fhtJ)5SD84g*j1F¡__CW/$F/I^R_L2<9ʗƉ&trJa--dt#`c?XG7< [#o>W]tt@H#XC3M+U7UGfFqͷH.9*-vJ]?'iAK6hos=g ) 5w=5LCf7`t!ዜ9&͟B$q;1+gwVB6o4&ď\!+.s@* ?mHP.S2orwH%RJzuLVGe;=vp(]2ģ4+%T+ojli@44PF  e5s'\ג PQlgģqYPN,0>-fKw7 ƙ 'g3^b7u*#d5(C6 @$fK\b$ zTt.7p"+ɀD ЍU{ tHݸ"-6<,.d+'@x ?-OZ3(({R`I--@p3DTfzae ޜJ8QxN9QмfkCC?Q zQiG} ;qv;~j{--fg -БƎaُ;3(=Qyh18 V'b ;<QƓ K0PQe-D`Nt% w'%|g'8i saO&yzfÀ1›Ǚ~:9ܼdtۍT"nr#1XZgBаXa{n Hy3Eɝ X.*5t14[.(x[*6f148_#HEN\wo?Lr9 }n 40U.jZ[yT|(}ۧ=yr! ,V1sPcJ9]Uc.Oa:tb\C(՜,Vޫ頔˗7$ۄllF+JMQ83R(x/cQnIhh؍]EۏƵM +^CxRZ.s?Vs=Vz WwD =]o Jx_LI(Ĉ5ၲwj'2Ntu`)c5FՓ7s bt@'#1luR3a#ebgV=K&|FÎ|Uav@VI5Q_Vqp.*4V=*rNqCmqsJ.Hԁ |J<2))4Y~5[1&yQp`s5<^;g"N)`pH$@8cF2M}d-8uA7 xfprEjF6-|g>ϔouҀoͤkn?^$ 6?v9Q&1nWc'e _N_e*iX+h\5e!?sm{oq/j],a.@!\!AzCbjuirX/vXfq,!#$WE+{(y}m;!|) QkwWH;E=6[ʒZl%p WC._uլTxMK@?}(O9տn0BZe&}r$]-(X7n̍"9pAH9m2TZu.զtG}Su!dep\+dA-JrXL)BN O.ܬ/.{0n;Zȡ.\4L@r.I +֢@9cP4\6f-㡽^"ɂCy/ +uۍe35 L0ܩsIA1`iYuie!Fzxu;@8 mHEȖ{vB׋ȑ nw X$:U UC@vJw%^}ʊE }alND؛8\Hӣh(l<&+7S=lK'6juJzL,437 Yjz%^ l ҽ3!yq\?9sr]{7 Egɗ4^C)Ix{5A\,tC$/$wN8(jQzʣ0g e XJx`lc@0a,Z-,=bz{HA2NU:^QMt_I-4@$>hVVS5oJ0+)fv֣QzFr|$!|;iTj7oaJ k?8xO<DfKf5\-K'B2 '=9F-4odjfpMTM7}ٍ߸@.XcH&~b+fň"iWU"j5>7 x 3sZ^Jh!|w+3 564 dFs.dKuOIܕ\鹯I,`Q{˺K{Mj)O 0g$ Ւ()JJ(y#DMŧQ5CnȱD]LrYTTRN&uQL; $zG3:W2WnoOvS' D܀Lng2JTsV\,Sy eBR @`Ftx1V6Dg籞 d Bla;zEOxB9pa#aq ?p[HH3½8Ddv Hi2$uf\|B`b\~-il#2{k3ڜ@ļV<*8l0(g{6bJҷ6`rmCxU|,l;lݣCX^0k=ˑoz83#>n@<")szYg0c ·< _qHCDc ꗅI׹UL Ύ Z쮫zC[Q3(*>luRR/,7b¡^ixyU(ikdb\"!7yx8~z5uWì|uؤ{.E* +5-?*ˬ] H-Eвғĝ:o0be<-)E;aǂ1AۂXa kP8B劆GXCh *ZaNM[YÌ CAǽJC9& ,Z]X#b@>A (F`) LVXEiaD$*7J;G<^fҜ (=OK:&Tv74 j@A/PV*[ wb9 HBg$bR]pJP/DH#V*PȊ4 0O"8V|)ybgķM~~(ftiI 5J[Z?P2Ã7ꛝXK}GܧHÞbY=UJ9bcڅ=-ZL^}w9O]8 i'q篛=-#=8wf.rȠڔXXTΈK)7Y ߾# 2[r}焼 ]2 :xJe~h} QD1;u ] ^Äi阭~ ^>HWp.(`פؑ.BWlЮD5E]|*vn1@=Qʮo/]ZWeb%Opz¡Yi[t_'XRJPHY ŭ*#qL ݴ>4V\C,mIC<. Ll#ml`au:Yt|; eUĉ~2 i}`3B '@,- ՞6 2|dbxRJg ;TJ\¢oQV;A_E QvJk@l9+\>{8!3bU ίsy"sgaŁksXM'Lc:(lcwFڼ aҡ XxXqV{>%W>tjrl䍵K{뜱@Wʶ4f'71ݨrmvw]v>~0A-g4x'A- 2H%ػQ; _ zRL$F#$Bo6-?XoFo Ud]i@@vChoXMN OH\T"4Ed`cu :}9{ɢ+"lAjn!lZOJYn@h{G-D0T_r~vp, qZr]l`e@ˆS]Z8M`,>JL &o 6[vXa| W#8V4.C"TD<"<sKD(%xF}Ƌu>b-L9%J6>HXm2.@TQ'E)UdͱІ M6%ג:!H2uiġO@v|bEk6UE8Qvx:29 i-n)㾁wX69\D42iTwl<$;e*1./';2YlglOG!{^mGnxn.Mhy= %:}Qi{U6[#;@-yrp_|WyMfCd?.(ٲ fLJ$T*ʡFe1J/PP:Pݾe"<`SXCC72%ʈϗmXF _fz}! sސ>`̟ߢP75ğ,1ipL {qSy2F푳;g107z MG.kcyVR@ *VGֳ\Y Y:覭9eUj@r?k!;(4YþraV/^ʴI2F Y󁼹 bVj{ǿPqøJb[|RRVZ%X匐S~\˷:aW%E6xf4W\ط .hAYM57A"nHI+U|F]+(i8Q`v2-Sm)BdPcD.Xp2k*[^w}0pzV[."ؚYJp;1Ȫ-iѨg/-$6h ڞ}  p;Bq[ޣXaܪq ֦p`P}Q׌vO8 Dgr u4O]cu +;;#ŀOX1I>udl ~&$=K&xf2C++ Vid쉔TW- a(rk}),,]QړD*,lIڠ aP:8j;} $oV T^QDTk2SK`OdqjbnX }.ޭ? rSajn `j [RMUQTM1evK@(&И$h԰>ֹ; k=ZνjH([ZTy J@~i*IIa>+uaru,S잞.*Oiӟ $4j4< Dn:[6y$h6U~,{,Zۭo *P&77 jlFm"؅PIZI쫪N۪ X9Zܤ‚9]d E}0\JUK9\ZQRz  )a. ݔ~9c <2Kcy6WMɭ7eȉ5c{k#84lj-so18S@ .K!-p/B<,fRWZZ%jd1=YĴDng"L+S~eKVN5ݙNij ԈAVGs};MMd3af] ߘ gTJY6!x$Rϲ,^eD%V@6 )JoSˮ\}hٓUSö@yƨ &.vt;i~॥?x9`N̈䣼_qBf[Yn,v,v;Qmc,+mMGߛy1v=2v$O'.ú{"H*%'X3 nakCe\Dz#X< 8^d'{55dayrbȤrqrcooh)V7q*xCO0ܓTZ=;w,̽ \ÞB)H^ooi?b [}/,iSUDثqĭ3܀sA`%:.]z2-W怘 iLfw >e.r/ʅ N׹ ۄ]^pq*xئ ډ 0/F x\XW->-`kqN 9-QH`5L"ƞ@@̍c8ϖGS |QJKԑe#Y ,J F,)n232`lA0kDϾ\R<̝~a{AV_K/"Y)YdU`4Ͳ2I5vF|ZKkzze15<]qBV"d,T 94"ΧIR(.\͕y:|U܀%m' c Aéj_u";ߏRVڭw*/Rj\$5 Ց_4,eM]9 3]tsN~SV&$ yKC#2DЀwR$L-;C:ڷ]:JbōѠ8\?+|UV~0O(hN FjKݨwo4:t2c 6N<S2ocJp$7ML@j@>Y5h}{}4\RZܯƘ]}t-:8 T6HdꓙC*QkFQZ(ΝA_Ҫk+T!qM!NXAУ 6kDnc)MFw) &!|0߃ 1Dq)?8Uh $[›%D|6(E@c j(,:$JD٬^( 8o8׈"Q ]ơH܁+djrhiXa](J V@uYm}ӻQ E9>|v(!W[HTzѡ"#tplU>ƪtuÙM$Lu[('Nf'8GRaWOoeTC qPa*d2@Z+E[aٞ?=|5FnaʇLc3C\ѿP!pRX7t U@lup$hCpZ%2Xe0բ_½S=[dp"r`Uǀ>bWQiܽ-&MA^WU`Š`uruP | ܽXZ2Q*fzG&2ۧ!VW!v/ 0x1 7;z{)],4d`pu!덮2hhy7Xo2e@A{AvvxcbO(HHfrxDCxz\,QHl Lu8&ʼn:sJ8AϷu77%Ro.eD7eW0jqoK.s< D6Ż·mDSowyE<1amXya{OwZNꞼa#Pfm~ѱ􄒗O28zd`v$b@16R<cĞ'nG+s2Jzu|vGwM'Br1- f?59 [){s PFT2uBrŢs(6eߦ0Bl6r*,~=fNe|5Ju؈ LoJ䊽es[)-FX[n ):)aA$\nAT>,`WŰ͙86p\ :WZ! BCtNt.Mn5?6C{;8`-g4i ^#kϮ`I+v*#h{2赝: }dq'ͬ!&w^bYԴ4/=G(b0x7 o(7ǤP z]: Rp,xΏly`:;Iۡ[v' d"FwȰX_!bU|&Co ɾ 60j[Ċ1Ww59Ygd~,o<&Ȉ\+!G_mR8#@LjN<ӭWq&[ Кǩ;bud)RV 7}qD3&4v$dkÒFȔ$`RȻ,՜ χjE|L՚H%iN@<ɨ5I@ wDIEqXfWҙw&abݖuH2 $JyfDYq vqk5Boj+Cޑ6|/TŐDd@f;E9(ZAV>­ȮѬ$3S(iɼe`{8"W![E~s>VoG[-5( Lh:Q8g2LoI1äC_CiEr{ baǣSG>ewV^=-iE޺B&FLd鯖ig̬iyy")"*dMpڥMv!@0 GC!}@@Á(1 C B!Гd&$$ 2;PHl>6L,[CuPENB13?(=ܿ3Z{ *3Ie7bU w#st:=t0ӛ 9HJ>t[aXgXПWH?1/EԭbA6A܄:^F\DG*<]e.>;QPTGF2&)avENz|evhléM\NOiɓᔉXJ'.^P@ 8ug#4"?pgx2C͇Ϗ܈-| #B츦1Ys.V;z XGUj9d!'+U`h?Qm6ch0#&$Q|E\572:wr--Ux%"P1zvٙc8@#Hvof(\Nu쑱%VԍLpT ) D賰I=q 4{8*Z(5#QcT /t UH)~_<ɕ<í1ӹohK}dЃiR;@qɠw kU]0输\1 $(; % N93Soz dܝhW(:Q ]MTT$QoinR-$^\-W(oc(Zf+NX<~~M=&<($4u x^vHdc aJ ]Bjx+J8{,JP^ L>(͖b.^ "eZϷ6LvMսH(PaxD7̼u04/hD=)}/LW_ *z>NRE:<'Sy|<*Eډ5dRGRO!ğ$ġ˕섘n71S乑RL \J/Ct^{ӎէ cpj}xl8_,%5jc9iI\F[y~($/p2;$ݵ߭&(\r@uOM Rۇ4V/ho̸^m"K~]IP[ygclWH(uk0fzVMF`!`;uyV*(3LKDݨ ~5wSfM$eS ;K&WzXt@'=:qRͿk*"w/ŝc0kf"%P*?(4nCLydA^Ptg;Aev@^)^% FɩPn~99}/KSQEm(pu$\kϑbz"w[HC +}8*šo.b{H d-sXLW^/!/-loD%cꔯ#;Jn!,OJ?y .XuU9@ͣ\ڶ_k!yi;a 3^էJ( z/vr,L6|wC uMOM7蔃qo>8x'ϱG5Z \ aowKtv0 ]$ShټFt)< Z`Qdκn }-i\Mn@1}"5'R;DYٴG|g*5M X&~n}h|c5y_EgŘKg9@0@wPhkK?jUg-=i.٤ EʱR&̯ O5&% ?ɊP 61׌7e(P=lNяT? &ږCا#eՎT =# ~yB@=yx^]&    5O% :HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7m R-PgD|wSM aK3*gþcffTSb:u2\Ou2KC^c _mȌc=E-í6/tuڞ)ǐH}Bqk,ɈSY P D"> eWz!,)3>8MP.fyt ~uˈ;}N: `QF: mnà4vLBa 8܎qH^9 1@'In"F !<@[Gǐ=LOhbdBD>Cd\4k~v 9 c5qC5G^E>?Ŷ=Zv8?sDUJi&gߴuUs^MDO=JR5xr5TmmTg検z){1;q[AD=EDF\g}m׈ޜvx'1NaBm8hVFV~׻DKldlT246$w%gf=s?$'9SUMdFy] Ո4`@Q4 ETq_oݶݶ[Ж9mU-љ{w:U;y3oVa^D OYW㋯ꏩ;.Pd$HR5L%3-7s/'L@j$!! v 5O' dHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jIVu" o]?#[fގLFHښ@s(QHk| I b̮aړNdnLe&x}yS/f'2 ƦM6ױ0 @) 7Lt I..2TS?YQA6vҼJQDqoʄyp iTT6}eŇ!M[pa&~2V*HD# !ECI)Y- (o`*}9j 3 [)wYв`hSh"N>SK*rו7زt:Uƶu3LøY)S҆qɊX/xծR}9QJdrjDǍ$/4,fX*)f۫m2!EJySenͫVۖ5rfFt|ݖYI:cR?{,ܚB![pNɊѻҢ#x)m~r6BX/vJ'qZN ,V&ʛ\y!;B.v }~C.Ƈ\y}d^Oޝ'@IZK|joatBE$I5 e@P QA@c!BCFF|.4BK]Wِw*Vn,#.q`Z%ԍ>YE#6"]= ?w0UbŞ%naѭ'G6u1kG|_S,{FBE ؊b3q=VLͰ-"/{sA2a:6x!@s57Ҽ,k4C 'Ihy>F"%7ZZ oٙìkh 9z_ =ڬPh:QmPMH1 &5Ar/RB;-+oqc{d)tdoI⚬F w` KOy[ =ᥡ . 7A4('8u#;_{f1\st⃝d Ar-<OJ}@A;_AejM‘p9' @I&t!E#T26RBvw3CMiF4P7gMX[ xU>ֻH|?c* bBC K^.TCyL­ FRoᄬHΦf{z9њFo.sXm'~B"0 ݶ!nZGmt p30ej-K`8 .Mok4ǜAGҗpҪ61٨{ˀۡ7 ޠA94(|^!xZ'j"+CvpAB@P1J" <+Eh8Jb[<*w%F}s'=nc26=DJҥ )c$dZc6wAL"+!x5>Vгt{LKġ z??m:(#mmaeþr0wFr4Z,#IHQPajǬu Ɣ,#czsSmfVdcCcQRw`" vajjE<9qôk>͞~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