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_exportsv p}~ytoje`[VQLGB=83.)$ ~xrlf`ZTNHB<60*$  | v p 5K) (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B䅼߹[{D[@#ޟ>8<8/QN=!=wRDCG2IO8ɱ :IµBmZ~E|M ˏ+jDñxp/nP0&$MSA|?>;]WOT :RlEJլ _TB>EDC?<slzR_ o@];C9nV:& Jum*( Q5K% HOL-Nominal-ExamplesHOL{$p#j QM<+ς ˂ʂɂȂƁÁ|{xuspdl%khfc`_[؁TSPOHEDC<;:9863s1o/l*k)e'd$c!^[GFEB?10 / * %   }|{wtsrljfec\[ZYVSRQMJIHFkCi?f>a8`7_6\5W2M.F,*'%!  >21-, + $ HH+Xs z T , / { 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/axiomsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex 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_Machinc?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filespD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marbF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   /5~P ~ - UHOL-Nominal-Examples:threads=6elapsed=345.194cpu=1708.737gc=102.630(/r!(MB[meZwAxͮ筚ٛvʔ%\\ /uFC34:e2XlQ z4K-E*=L%M2=积,§t=J} VI ve# ]$kF6(`CC[X&76L$Ӧh y62"UF4Dnң ^-f/8( 8P44XH+1۞S* QCfR!BHPPH@Xwg }‚BZ8(  (R  ($HlYI%䟽$]uФEJ!K*][CjH ; "8#ɒ2-âׇTeclnpPBb6J4ݰ)qG-"pX&C.=̫{B)$(+J3bA;~H  Zh`X4x8^i aewH@PHp D"H(JTg34LӷD*'ỏ)2.6l47!:\I]!n:ҦK6;LQmF!%ጐJX$$JH8$;ak囻еk̪ͪr)oSOvc5T5ƹX5嵖ha5Rۭ5jԈ|GorFȴh JyhSS%<KhZNvNW=EM 9m.d3ۗxC~e?'2Uwfn:6gSmDfCO N9:f1Oxg lv Ѷr̥2!gmE\,ݠ!ݻƉhĦ1=渥turC"U!e43fLʅD[StZ9{}4~ o*Ie{\]t壶bE\A5QFm'|Pm.zh柇>]測XqmHsKtor"-O|O&߶&yV3/w'H՚GZFCY 듭o}j_m<ѭ`{_F֟9VFnxCܴfVuѤVgHny(8U4aYΨt~*fՙt éPGhx{Su+KRB#&S)筌bm\~O2}Z_rɸDGD.rImmZ}iJoe|<% cǭ8>Rjy'fDZދi$$ כNK7-UlVPƛph0 ,hD8<,L@|L  $D 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.thydK |W-pەoĖDuy-hqNϿYm_֎Y3oۛo :0.d%/CCV@tcXqr!c,*6D|w*p e3$Ȋ;Mt"n1 |Tr'8$X 9)*V}8)ETx+uCq,%9AS羝AX0+]U T408;FjVsm ZwEkG yeZ Ŋ#J*RCʚ窕Zh\_+Xcu8qAֱ)XMײ:/am F4'|WgzmQ @uRF0+;%E*2N 3ij#2C?k s_WN93'OIo pԎHMi9 .IHc@ǫ:k-MLE|>; U#0\:BFb]C<్z&^#z:sFQZ%y @6>(eMwSN#/'^aBQk_oƂpki$KOZ@bkn2=ݶj߾Qe8m3K ~2i#UOlz3m}o 7R^,B (̺wV&ϙ0\\2]iGYюFYȼsayK7]|dumӬ W)6H 6xEӔ[+)}=,3}5웦 /xCU!ZtUG) gLl~3H|q04e7MQ+Zŝ䄐ԝ7n+|#_m}=aa' a0LM>l[/tH2T#LYevc%kbO+aw6[XT]|G~&b}ɀ7b Pas\ k9\eA2"(=.Lr)µdt!~@WVCNy藢E?# cyL) &v9(kQqK i3P ~Xq< LfI!π6RDAy朷hV]]yNIFpZ\s#?O1eP s:t,SAr&XNc.r2!,B צcZt`鴓TD8e׍:'[?RKu IWW|T[OK?pZE26Ѩ yRv"y$$yk[ڸt? ,M(zu}XN~ Eb"oS62sϕʓ ]p !A4Kb)x4Ѱ|**uo/2 !xu'N9&£ qj_ |G>ԖBŘ[eV8׳x>]$kk$.OЁ!cd\/_AW3n߳~%ʁ_X߉_; eCN7.Q{6]`9d'j*KHS ֖$l&N YZH? *ģ& OCe p_5i DZ5Km>TAu/ +> JYl>e+.E6 p#EO6@ @C lv4)DznUՂ#4!m˽XH9I#scOG;<;OaW<p $^,tǹْ/vCG/Cs~#HϪs&K쳞Q7osIoNXh5vX(gv.X$=UH~?i7nXۨ/аw4 a 38x}cDذ͓1[U83ƶW> 7kH r YֺQا &?omR !E/77QwU2АżQFv5ij.H;[ѽYD]p{eKu*};08~0/ (]Xpgi;m%X*3,lxB{eyL5r}0ȱ⵸wF2DF(&\,QŖ*+Y3CV0--WL^i8ku2Hs6lxR`jCeӂ;aV#|u|t[IS=b1 Xw3bOQ!'%WvZYp&{ƽv5 9W,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Äj8`}0)m=Й!X@Àzt^@F ~$Dc ]h  NP&ȑPΞ񿽖WTq!Qf ]ȷD7fJn I)납T扝bdᭊb oyAt+LuAY6CnkuKiap/E. 4ڬ(5 )d~ 0#(77)}FXƏ~u&>S lj9'~L*clw^wLY.L ;ݙ+w,MU/(h)0@Tu. 2$ȉ!JI>x0MSz\ Y /]Ⱦ?')P]S[ Y:x9:}bA!cl SK1#K嵕V.V n&-<<?_VHP0*1=j$[.Y5~t%4 f_G>JbV G:J_U> aBₓNǾژqPgKY( ̈kfQB<#qvCC#"I(܁9ۼį~m-k#h{iXe9t~xs31lOοk%'͖*Iex9#X !Lex[A&Zj‹@"M aGL-CIZ89ѫ+m"=S.AGFKs(]mQ*tԜRӧ4ҡҼ NUOYpK1]e^ z~"'lt2@e*j(WfmJtnjZ)((PL‘s ɒR >Z)>79FiM7ڊN LOL..C)áD4~8Px热&(y 'f2 ܈!ʹa!%XcI`6I{2(3{Fײmc]1N(;Qu᜾$ybfFej3~Ck"?J"_sTЃ=];i~YIGxWv&nbB8移̼q؀J7L_m2 ||QЏyǰ 81,A6Otj5;tAܰGm !d4?CęC`ǹm)HcUΉ@L-ܬ]HGC /\ :x ʳcNq gvlvqnb2LD~c=0V LdRO5)45cbAS\'֕g:Tx:$yL>=TګkX`.* +nz[dpW*:ƌ0 M׬TυCMNh1YҺD"sB ˳a ޸Xar[$G,wjC.r>WE1f8e{*t~@^ t'AH|cϙKcяZyE ֈ`dZfPlQZbVeכϵw y<:%LT ZIL9~bAqsz2_ Ct fvKȂ^BVH .J9DLlWbуH@\TH#~}` '1tP^Dn%tqK|.9F["i @'{c+kIyKWe&hYʥ; < G&RC ~Kr 'BwCV6)/y4dkK\iЍDmYc0X>PeH||ۿ:8;!6KA+-\Uzh^7[/HmɃ 6R)+6X܊A&-VkۉZsQ; fR)w=X8Y/=~i}!bza 䐖^As.fByO`%`$09˫k]20P}zf^Z߸ʞ!W{ r-}@j:[`~s84GpB Ԉ5$CVpES8:n1c±B? {5KH1&u$(vXϴ1.2V< 1F 6JwɳT/?Y,z5 Ol=wd~h|F!yx ǝ<". b_dc ZFf,q& XDL'wFf^Be.QRttuL %P'=\=-p9㷰-?(;zV$)AH@֯*-SWqpԩ.dEU](g?⿓ ^8 b$-KT pT OR =;i2V;#z~[@Iшh`}Ej%N 2-MpT;^]8uX TDk;9FklAwkTŞ= #KZ#aMr fbE l)b4{m` B2:J3 ?_5'~̂ ~ No~ 5K) (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B䅼߹[{D[@#ޟ>8<8/QN=!=wRDCG2IO8ɱ :IµBmZ~E|M ˏ+jDñxp/nP0&$MSA|?>;]WOT :RlEJլ _TB>EDC?<slzR_ o@];C9nV:& Jum*( Q5K% HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 : `g;-̠m+Bi(ut!MM7!а45/TNVFbc|t""E b'r̽;DBy C &  5Zĸɵ<5ҶA$Ƽ-hLA1`&]jlmRA` ps4o$͕UV#mVS ޸TE*3υqݥ~p.Ӝkjsj[j})ŸKq;~brggvn rA"#*S5`9 111D!ʈDJ06|fD:WC+Op%e;ps+7yPlF3? "ճ1h6uP!UbڊqL\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal >5K' xHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1U`\(Fxȶ/ <κEA))))$V"<ɻưșZEʮ0suqiWqXSMLZZL#RUJҦ!0DjsxU5TQm&EjS"65U5$ȫ@H4RR"U3Vf=X$&6)VB` rÚQ UT`FA@5GzECà  HX&*44Fy% Ğ'Z6F@ UhHI MRҠ( Fj*1UPs#&=ђ}x6%+h8x<,8d7 pH@ ,&?醁CÕ@,M9\Ü9Uvj}d=W 2GƑ|oґ33;clyk_g>z3.5ARDCEIVodO_˚ qE\p?l?\x~ E_)R{7hHK"/hl[ZHuݛ-Ͼ}~  ~(P@uiap^KwLV\_c~MRZ*&sw wb媺"{ES-j|Y>yӵʯ.ey&fBzXٸ& jy4+77 40t387ꜯ /L.wmI1CG4L(R:ÈVS*AQY+/|gp3r!#8j\T= &ڷT>T.,]ϐ}9y|U׍~瑮jδp 1Pf#e77.+/i ҉AZ[)$H& l LJDAWkMZC`D|[{}C^ a0bgniB%V "/P}j]7Wfgj!2LW+#k!ݕ\DtM^?G.V!h;TR X LnPI_=Q?AkvqD+I8}ɺjal!61;kWJI`rg;542Z .ϫ3CD\Ƙ@N8W!D}/O*!e-m-JnA']Y?H&8Wz TqxhnI2 ZqD.&ĦiF$p W ?0pj n+ ."KPM\zaqm7䥒+ ۄ @.Xܲ|2<\!pqAn$v(ƾ&m1`={bYD6V5~*9z֗a`fRSu5(4M/.؏CU!1XtI Oċp6;~f CIEzS]IR"-jgڝE1XFRҼMq< {1+7jC*}:/ @39 3@ۢ bDy[)S5vWVտ ;]$ؓb X+:md- zZJ!= D'T1c>l$|r4 ڂ\JZQK(2ݙ޶J6v+3_rg'qRK2@X, ?c-4;=t'`2ێw5\}C>A%-wCʍl6 RC뾧^ 9uD1!@H֧e[@GK&бa|CX#]bcҌ6u\_n^!$;n1Ɍ@TְH$v!(6>Pm#VB m-˶xHv"OFp"%„e剏J 8Asy$7FZC8HM* ~`  $nzbxZ1EQ6|hpro7Ca Lib}>.d^> A"%F ĽdGŧEN3oX3_r &4ε5l:d\ZTǰQl/<1SK-|cяW2 cj fIC\zäv/|7Ž3r_.8@7AzmLJu| !h^7s.8L%;YOVXF];rU_~Cu[|IDYhYYfgAjAk";ݎs{y𖚖ܦV) eUy)PTT{ cqQA|5MDҫ2(ZEǝ#2\IIθULf[ _~ (~olS)TU*C1}..F>'!<]37$Ed}aΝba_s"3Vr~*;˚<~N ,17OB4ÏLTpߤѠpX;R5l|&PrrFpqS{F\Q(U9Q+YȘ 6|?喅ZEۖŁg,XJ5UsfoFI-Ux{?B%q*Br'iV9>Gpv*NvI2/v-6|2SMsvqd7El5\vRdI%46]APO!O˛dTf]hKXĚ6ͽ8L3 5CrB25`( b$8;:F^TRT0X361vLXMQ.M:;mt!4,kǸ!IΓO/p` PWbp0tWb ʸ21찔Θ_+:N L ~ˀyqxELn^E //nz!{x>L<&W6UV6enGKԝgYBWq`+V:cܺ~PlVGt Y¢5 -*$  G0|"Slî-G&38/CR]=AGuNp<0<2HfY -A$Njoy-e=2HW3#JdPYFj^l혊gꓛNcphb(T%^0)AgxڟrN$QyG{_1 ٹ hyWsr,V#Q8@+1Y]][MZ k G C󛙊UhJbo.o;b*;CHOfsz+xW TR,,r|&^eo0Bh$ 8"9K#MݞJ/ȈΞ$=>= nwɌ @cϯ40NZ1i?ǧ#% W1s1XUQ``d-iQ )I6YN,*6r?֧$=N֧fVag]H&52vnlnCs{ƇUTc4r+%~1]1}ѓ[w‚QT@ğk| 2[OH#hv\tIҟ."&N脅0ysaqd}-)–Hm@>Zg'6m? lʡHUHt8n"ƭ;21QoF?=#UA %$ fH `I0-ǵE٬f$43RXS7Yљ&{"XfZ(i{e7 d/FdoT E\<6__65_WKb<%{܈ʼnt7J~ZX|o&ݦDžFg{NmyҳfN1/l tLCS1z)!U.f+tb S4wi(^&aH6% q]`r˗’{+~J[g(FG8ӆ*\!O N7+I38fe0YW;|y_櫊DJu><dT @s2m0PYs"`@&R(۲m۶mے'&9MOd-oY^K~EVDגƪ&ߚƲR-9FhDDْI$H"i۶MDDDD.$iHlMKȒ%[UdUU'$"""rh;Ǩ9*_$/2,pegp#R?MhyeU>o@Us78Q\pxGxF*8Ks{!l2EcxB[xzW=}q\@x[úwx;^o1Tmm|h٦[]%+L+h b/8C+RG3w>w19%⯴ .N9|Oe*wXå7M\Ήy!\ B=KI;ܯ\rhzuiE-w! 0NPqƒ.t`o` ?g ܈o-Ƈ#%1~x'UsHx6p;ar%F՜Dҧ{ 8Yoq&F,j/ܞб|eGt@<. mFīY0}z Zđ+Z 7|xBN@ig\xprT\!@ .G&fo&s=RMf$ypҁ?>t xS'"/+bqy~^^y//;rͤeG# ZA ^eEGFwp]D91mVmNj!rg0y,d:d V/{& Raގ?:,K㇂6)8JV!}KkȘ`u ipa V!Vg'VƎ`=oq?N$x" C1E³,Eo Z#fgw6-,Lh4! H߾Qfp-F j W~d_GbXŀzvad}7&󋵺~vJXe֟/"ʸ9xcpyn '3h= Zd@X"uT^sã􆞘peвn6 7tL'$5 u,"J^/& >),\`i{O1sP⑉{$j6p3`D#)qQXm#5 H>RnU$ǣrqKӶ3%jaqbS?L9۱R,!/Ms]|X7#{7e3ORc I7e"Roπ1`8iGjz[Au#::6ޙ͠{2fh!ll{]_y#BݵMdHȚ,Gs~Sbpo6űp{\6`iw S1WN|ZS _|>%_ b#z0oJZ8Z ǬL̴x"LA׿\\h ֹd“Bt@ݫFۜ j)1s*u:]6lxS@*\]D}CQgJE4okfOv|Rg'bӈ͠\jM1BF7 I!_p%L/gy92يrNe?6Yaȡ#WS6&bg>cAKŧe /0ZnNSƘ9n[oEv~kȅQq֏eƪ?Cid{GkoYNr&XaM~)[ih>)yCLJ$'L۝r|dUۊsڪ$KǪuT8+TUU9FqX|7v29XdgBUưNThl[ǣ1In y9H̄ yEW"\`|[>/o,71 fg+Ҏ?qup?7 YcUl§8D^;~cndВm_Ph_UK1oqX˿V\uDd_8]u4pU=%=Tv:= .\psksj&_ 䓟ksA}UY`ϪtvA)Mf,]ް-v`44)-Qb 8vePP196b.}u0nsnLk }v9s k`6013.C rBq.vJi_1`?>уdsgRhQ'jOUA'- TH)\vT#?`{^u7+i |~Y@jah5w3PPM }}l(x8<1 2,gX4ۂ&|% 1%˖fXHH[ڕ7tȌ,-7E~P<`"ĕ.Մ:#jز:5`])$=#/1hc86vUhFv-VkpTq=Eù}KbiCXܖ"b%8H<%pUX9PG#CI˰xo7 9N0i6@x|^QgI򔴊Ehc`(pI jњg7~'7 5ckl*,,Y(;k>U-T? ۢ"?4A Bۍ8D֢Ϗ|eRmFB\1 .fkP3 L< DAd& t'FhAc&hпڢAЀHxCFk=2*y[:m\sk15~ n7 HMwV}R*Ig7MoMMZ8_G>|A;0fv|"9Z,˃vaxrPQo5 Ŝe-"٤;3aCf?~B=}vĪwȜ#Wfg bWr%1Oկ _9Rޜ)Roг1˞ !!{Tc& v6oU朋y\@bnry",}dv# =/T=x~zܠMJl˘"|d-x6oskȋl"//y -y=yEeQZTad e9yq(=2e5b36 _З)M]sA#6/z vj}fZGfijwT Ӳw)}P^4ᮽȢ| \gE7tBa<ҾnGMJ;hz8:[;O{\9[\ M Gक`![Z&dJ-DIgܖ&rW%UGdm?"3mOzp3H(pX`88ֻIE 8p a`@AX (4Ѩ@@௩ BV9OdϴDn#A  2Bi``*DLKn 80嚚aapp P'gڒ|X`HCUlw- ֭[nݺu֭[۵m[VUbX*V?ϟ?D$"HD"6mڴiӦM6mp3ykW/y)S5=3m*$gޚ&U ̼5m%"""""""""""""""""""233332332S3V[mo߾}?홖ppx-᪪pU*\ᅫU?ÿDa0Q(L&2l۶#lv؎Lx&<τg3Lx&܆pn[Uն-I$IEm۶m۪'gܖZ[qO۞Y[խ[nݺu֭[& ҂ `H@  ,@PDgޚȞiͿ~5>nSmD,IF4Ӓf^ zUOgZVՉ&KDDDDDDDDDd۶m۶mמbPL۶m۶mۖ$I$I$7o۶mDٞi;rsOd{3Io"AAU?ϴE쪋R1S Ar0O "002& 0*pP'@g@IT>-Y4JM%Cmg0f OT닪-]$,gm[/Pْ]>AK.8HuX-[obxbRpZ鼍LgS.-gTmj|MQQAs{J`-A X!JԭKwਖfP1ƽ8)sDor:3Rk~ Na`UE555E{@ o#Ӭ&"Fʀ=ᒌ5 Ba6& 0q$b6# Kc'C/l̀~oҫeծe-q0`-ݪE1]s:>:;VJr3GE n\0& =,(jq0 -x_G+zu<b- E C-¦s4qWbLaT݂5>0;^2%~ZYC*zIC۬bTW+ u*Vu4f[f_`p 2FV;S;N&s^U~78|ksgkA#"&mlhĻr%5E&D{czeP/J?%uDV{2Nؒ ͔h/R$"0;|$Y&@uC 1Tz!]rInplGE 5Xf²gG,WcTP%o'@M\=*wS B\Io~͜rm{L={eG 7B.؊W,n9zgA0ZngblV4^% Y.]Sgw!PhL*Gb23Yj[{TLwbNdZ`K0樧7ۮγ) -dbW_ BqaߧSh\U5۾ ڙ>Jeg+eY)K25Yssݣ=-:t ;64WߡY$;<-HX3;Af('R`^b)`_V VLZ-Tt-)"P9NMЬq O,;XAجrg+pAVG3F5|@̭U:߭,j_ *+ Z]gL![\C}yxJsL1FXRVgqk#0&u0[3h]۩1ki6X@KX5 }L14X%\ 98(ص`$X- ]m_[kyP|Q D}Jb`8 J=~`Z#?Ug6ir Ё5eo;:;&P;B!ҪP;k xD6USMtm\Z z NTTvf(J, $`}M6[^-ZI-Zؤ*Z-.ٴĴ6U+Ev4[+DkVJkP%;VSi]O_`=ڵęh>&~n ص]]MMA+U]kYUg]Z2;rۚRzlP:WVR5wM*[[%hSjQMSӚQ͖YgZ&ImfkU)eԩqT-uj2ѴUJ1lUR`]5Mh*LuNe5NMWf5JF-Jj,&uUJھZyNmH2!uET")V((:`]kMBq@Yxx H K\m.NBN%aS`0V@in+?* 滹( Mj~f+|[d++P:ÌrfX  m+5W\_qWh3ȋdI^< ۟ZCjnr* [gJȋK!JU5QT/u*`=)`"҇kAȰY^tn$r_(e˶JU.PI58hRR}򨦵u*c *JY64ٕ$(0RW!zVFɹr.mi1bӃ42.cJVU[̻iPQ,Kf-j9#V/V78Ht'k)3+仸s^;Jm]+.&WC(?[畞-ik<`9+t0j+> FJAfFp'x[C4_B.7slZs&Vzt-k)ְ*ūĈ*ZHCY9o)z-/d9I|zuxŸBV$"O vl`J i|z `PEXek>&/~E &1Rin8;Dlkh96۾@+r1r&#@gǁAlN pҢ2Ed+>7b>_h.t |/Eg2bd9,H$"3*2/ Olc X:z 1(rtb W%R.\|p#ar /bjoWJ&q[`.|pZBۧo}/1hE5cSnR?w`x03 |㧥+k'T'm_PGB3 %8(Or wrdrR)b|4t9eY j0SY^0,w+A{@k(247HgT&^&-,UeȔz ke^|!]}JvjhV1,g6# :RQٕY[ aW9Ot0Ddi:]ĢsxM4pRAذx)gko0$I%zwN>qNR xu'}B/$_2d;גϾ=jz)wnG'ϴ_O@W(Qݰ+DL v+M6OODD7;jͲG,6rpxvxQdjβ| ݚ'UfXLhjE9d='B}X9omߞ~]ס#$R4˿K=<Pl{Tb2Ww dBe Sςo4so&uDуxr'ý'XIdGÖ^ ɍSۜ;}ia^ }y(+sqA9Dj !%(fvOEJxIhېf>y`"?9ԍ$8/=r.FpgA`R= E׆Yx}|b)үtYTbxY֜Rj pjʦzLk%ѯ,)h2՚z6V8K-a;wVڪX&2`Uvt> ϰ'cLE.N;n %Oy* ~:/bym/3IJkT4}1D 3"LRڴ;4KDȜEҀDJ aihdj!!b6k:CBŶ'áB%ضmy2:EXsf0XW% ~$L.8\|pa`\i'@ #ޙUVhջ=<Uq 54.Ûf*<ur,]a44ꪊ-XLH&~U+[ӝ=@]Ye˭  Db:ʵCw`c1-AĺT窱Jv3#ޝٯ֙xw3UoUu3jf!f53#W]k3;!"Lg88.ʃ1"h%\e,*MݤY¡ PQy@:tʶ} XHǛ2e6&ay^+Q`P6ն`QuiQˆ4;+1us_/io(;̕m,&`Pl`Jp2IK4HlYLG IBncg!i3\TFhh)L_RP0Ok^?%}y>]PZJg {cg?}Y4t o"[ oyZ6t|Z f`O,>HX3QN2"Rv\^`rae1U!w:#Vl/Bghr;tdD7JJ̭Am+q|8S-~7W7\Ị} k چy\8B/iRo#j:DʸEcnIB 0=9چ{gX`"pN=Ip6U?Zyq5%SB&f6RC* ʹ~P\>wԈqv<{g6ʛ^xv Kx$'?Ø~*P""dO!ݛ[O[և'_lchULT@v:BϠ.ԡMa Zw@ 9 )w3BV_@qݲsdӖQR +/kR}C"ū )'>:l^Nk֌3NX\AXa"c}iaN-:8!~0l',]{q* 1RNҩ>ܓе˂ZLYӖrR.r[,( JUi{O~TjŅ8`ѻ|1k&d;da"qax%Az;)+7~ͺ/h!xѺPnh"D?z#a} JϩkY7D2^2l;>:_8 0$;s7X)k`ni{WiU6(AFha_ݦGj-̖3CL47dJ|10 ZQtq;&s{sS[:w~5f xda9s)vka l`~U3}&*ϝ:Z|NgU1y|hNX=W`;247q|}Ɲl؃b;CT@q#WU#@93:ΰrm6 wO_ aw+9 }goʫ #e(l3UC9|HPLK @,08Nۭw`F>LݩV9{k( 6/2Y< PƳvpT:vl$ԃ Zp4kZ&eT%@% 8߄u𮑦LX>(-wNxfejXq~jO!bGaq kC`)ߥ>T޵)+yx-̈́]ޭEQ]c{f/O!w60d'PQc3c1Z2=hFDx{M^Z^L5v`w>SGb%+٬PE}3~V疽yQ17mT"GW-ڑ"{he@|3 T8lw@%tORȥ3J4Äw.pbMicT1bU 9 ){O dI ;gĿӜ"VpTʫ+٦9}z|K0&I5eei?KIC6JX~_c X]9OǓ;5<* /+ϰ}?'nR$' Y =ilͯx9.Ŀ{ң_ψ5 |$O~ ?\} Inbjrqa `Lz:xhnrbGhUd!a( K*)lz/ ԣZi ic=û.O=$H]?<\peO4{$FJr>݆NVb:W]@qByD؉ 9v=m{ ٠bI"vӂA1+Uh` C| W~wvXD"k O i &, s=qF<-) e)(5I<ҕݛKR,XNhMZ$︗ 0i 6z15rz\re [cX##LUEIwi_u9) \AgFY1꺘JBBE]Op~pb&f`(sۡ2(@aㅆuU&Yl)[>8 'Jv)N@0`,fEHػ!h9|cB|+$A? ,#L%TVlnLe M6gZ 9E:%j ΛKf"TVٱ ^~GMM땹Qi1_z BhLXV"3gfcv1қ QlX[BJ%!=yQ1)U^pG7f4$/9|W?z| *3րIm'HMz`P N¬UƑ|2{[XI 췻A-cogbjzN=F.a?h-Onts 5D ;G _?R1x_'h.-G&<(b &L+ u><[]_~B'E+_X -U L &t0q7ڦCDz\w;<8ܲ*rV_xm.w(LsΒLV|CǴ5ydQ2 ^A{O2HʟAؤ%(o.KVdlNOyN7DoŦk]n .\'|z:jRX9ړ=8 b `QOXV|k2һ'~IR_RB'ٲ.|-e&#myP {=Qy;6ZakE|>Oxn^+Dɣ RWE zCoaٟeuس&j|+QZhhQ3rٮh&(?+TFy.cn~RѡX @']Wa(`נ؊;^ZCI4SzJ&A*tw08l2πidQCj="HO_qN&~8DŽQb'x{9h)rXсw -/x$&w8v "&: /imc%|vQ^߮%A auؔsS%ھ08@ƒGFJ-u_KI A{,mcb Ri^D&ҷ)U_nxȃlt&%x6:@"s$)|Wk9ۈ\C~d \h"Qᅴ4CIm<:S]AKIoϢUY?uCUbwTۿ/DT}1fϾF۷1>*uҺ{Aqj53?N+F 4_ /Q.$ 6ծ } }׃dñc +Dt\P_llFq&gZ0`ݫ"&mo<`|܂1%2fPYũ9ty1 ̃ABaf+zȚ4Zyfey1\JxU1h{ 9{X#l >n-!#J\e_ٶHg02 9QGtu2ҦV+pϑ2eN|xeVJ*t-UM6lɥ%֡Z.dG>QJ_.Օ1q*2p|B]vk6|Ln5N*j#o>fP>Se[I^N {F̀i~K 9G_$Ej5lcUѰ`ʊ4%#sSFը/B/ pP=T1MYw -/o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method{5K) pHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`Eb PgDd;H_CgAe@ ff&Q˻P ;P;HC!ICSNQ* A/@@ys ٷgIq_ JTקnxեx ]S_fR92-7A õl9dDJ`,N3 5K# dHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/$*\)0kuIH(Tv}=̲;ɔ;\KAAEvSr4b`jA8L<áP@q HդCV&,͓ '0Da!x &8qǂ` Ex L"q| b5 sR#yA<2H49 pEإԟiC+BdIqe^z%iL^YB僬, w`I3@jQ$O$uP8&c89P24k7(=1e5 $p-ʑ4I$D`x8KaGC cI$ QA d9ˑH(Z8<㰬LYhH@a0GBa%X 90 `JKB'y gK9ACrSY!#UB[*aH 尝Jzdx)L9pXHg7GtcVIb"a74bSYt|:tJ)ad.YJ)SJ)v~w=2dV*3)7m"#R4]fvJ91.6*ޝ߿~SB~JO߿,%3tFGѭTf"ޥ+2.n#K8v;)xof's VVNm鴝t:~:7i43Ciff(M2et:FXz^SSSrB>|dF6lbm۶"l۶kյV]ym^k^zzm֨䑖}F@CAfQ= &( " (B 2Zjw!fj3xႾFD$PHem(w4;<A=XL%iOC_ %z>7]M8|d_gcy/Ƀl_ n.Z/ȓ0 ޗ ˇإ>(:ds-}>N<$򋫒A`2cz}?xƚ6:(443Rf"46IuK'?^l@g{7>d[۞}?j+W 67Uʀ .!xsH9Q[HN dvFe9[ 19ˣt-UMmq̄LF]; iv0@@ޫì.q~w:i]Oa&(햶@@\pCBHNF*t qKw~NC 8lꝍܹOrg'&=;VA Yx%S#>>bx3B.}(}ڧqg!>}>౏%#gta!}>[|1֧S^{ZXf(\25<Fv>C&O>/9(@t&Ws|Tl>p++TRP*hk 7*<`G}! tq b&r];}d Q[Cp[yxϢlu0R}UkMͷ/0sw dB.Ӛ=z /{ggm8lH)/dycd$pQLm~YeDQ-TH)ٴLU )h(;.5A51±5Q\YV. !)VC=)$"LnJNDȏNSg`pCzՁPRd <_O3Zvvt@J5Ux }vcvr= ضDM,d5<P y=ړšICx!x:؇Xf[ <_GdH[P}sIF(F<ˮGTdzm%C6)}zb咪r-xbssrDlK{MQ$WXCʥLK>%#JѺo 'W1?KA;PĿo## qb?vC'4hYEoozqfGU,n(=#(~dDN$`xG G"QȁOc:.&x~N r&wN~k'/Kvy+bIcbv#U^K V-6P(܏: {G|IId%KxVXtf$Cp\dcwEBB˲}gþ^-Z `$[-fs^X5I; INp%"Vȝt9{[.q,z!-}"1H]7@zEia@eUFz/\-5e#e3y5dN®FêЕ,W" ޽&o$;1i:~!`?E֢73xB͸?*,()6K 3ɸǒf Z ;?A︄4RMib{F( Wܵays]|eЏ6D0`vH^Z]C127<Ѐ٫ vne)g b:TԦ^Q Vuz.fKڳDr8NHy8ɔg&Uс; FV%)\XƶT%̾9>vBj.LtYX2)`HВ T-eQYQ+oz NYes:VykiHl{Dc2u*Ej7 26eprʩ;C*]-4N1C\<ݯsZXم[H,Ϛ; Й5#?tu7R=Km'3U+bw1 iA[9fp!)8Pr9+G?HBpԹT5s_U5Cazcxvfэ|3[ %cwM֐QSjV4'24+%39 )e{ѓ22"ޘ~q80qhEkz&ɽ\]=]|VĢzLXo\>׭D.P#s(j# }8FH*&l7a!-V6",ϜHmŪɴ835BD⌠Jg*D4I8j;=?.xN,%ٱJ嚕``(>8#wr?h:;z>N ! Ȥ8K]s-L}j+y^D C !!Hz41]󜡅!$^Xlr?b\a^lHW7 QXv+refFnZOE}"[(lQ:7P:IG~Vok!ꓔ bSiwS&ڪ=r#C`l)6_d c$Ph4Q"VKJ*v hʇy3Z|P>Pqݧn NN݇hJ whN uݨ$k|Q.>}{]zQ&2lS:'֑ʑ@VqQ"oTJ:"KϿ˒ɖ)ITCLd7{-\X /-hĠE2Wc(F"@ΟO",]ZՁ%(Ds:?~v2_SsK&XYt.0r%cic>Sv(t,8)"31rNU2 {R_`RIU9GN ar *s[n L:A hb5|ՀEF[S(lKmǥ`LG \sԒoweg^1Ho_?1*GJ43q[+hAJb\ՊcN4vp'_t- GxSU%@l{F;CJ{'TYB#(ڠ

トo b_b-NKp-'qmnLnOG[v Fp@ y4 LsUF0 r><AEܖPꪙ,%NJfZl<1]OvM%J4\D,Eӆ_ɿ.ۅZ`$j(Ds1D`2#U~PNf#n91͓$89_$V(R|1V2 [dC"4:M)\Gu\9Ǣc=x .dg\l[eok&#/9<(asԎVрypeڙۊ@9voF,sk=,=[ٹut4neqݕ݌d )YdA<ی͸(MH^* fvZ.MdAI 9eI;9 u`"sέ3u Fm.EoL Ga0\{S\1*`;KR+>…#~.\ gF[1#`P1q3| uņв0X:jt|D LČ#N\( xolAYwrv嘼م⿔q/ qCDi^bher$W ed<=pE;qIG&,Ui^]Wy <(4|aSQD6PR&ⓚXCoYX;xrOLO3;^$?h/T06/d!KAf;u5bYt xGktj:Pj9!a6Lr)#ʉ)ܗ:HHR&A 3E_D'żx@2Deְ擝:H^Exsxv_!Fq8]ӷdw~d$G{ctӾDvt‘F~1ncĥnӗV ZOYRS+ɘ.=eVqNYD%}8zs:ނfB+G+j>euc>"(<(4R;#954xPoR{t Zg'2Lih*wsʽ,£'Ho7]pT~*JBȹz23{A/BϖRGϕ- aZk…0!V &! ,Rrw,z^m\3*|€U iL!Tһ CTQ>mԱ+.G\&:<Ve͜^v6s7-2$|p@ѝh^L`q һq#a`EO$43t/˫'&eO 8կ3A4d<4w&b nw .rѹt4X ķ"_N!{WDC+Or grTM⯀\*fEVy@23B%1BIcmϞb ;hL^ϘbRՏ=A1Qξǘrӵ>7d.8N+i弝갲3 1e xC1J[aC /9^|i^/|< Pb6&)o )4-[SYK"9P"G:2Tbnv`'`*g (j9׃ U3J w2mPif3܋If,hjR9GÅOz;UC$=# aW!&a7bI*lapj[i<'BBk7dй}}'+@z*VZ %;XE\>)^Q861R S|lS1R&cez:GaJv_Y/ku_a wDV@8zF)1z}g\{p&y\xIGtK[6*H|X1Iu>ͦo>l1.;akҽ$ ܺĻ{㡢=$jEBp _.)eۆܝ՜[v]cp[m)s!pJw3a5}ߊ|7X[6z4O8S3 v $!,lT8=,nq<`r~{yQoZmU-;KzX' Żljbr5.'Cn(`L`f).T:JZң&7xG@F'3Q-*:!rkyӲXI9O9|T0T?.v"ZO16:СK7GkkjЏۮ 075$_~ˊ5e& PxJ>ڥ[" \: k'r٘T#ur[(Nz[craۀ bfun]޾P@xb&%7cq(OoTvNQtJ9*J̝(¬Q=!Ǟ(48$CoGalR Qk TV>g8W&crX1߻;AUMƒZfQPU5 ׫?'G +:}]9lfCzHt*_L(;iL9+1X۠:n ʎ}VWu# Hfi@)t(ikK? 2?)ē5qUJCiIJbu)V)%mTش dm,5'jOs(r `o]JRt5Zr8F'4P90"X1..۲å 9~D 19,i]Լ$#=<ˆ6o.#zi%[Th/j#1'{>>CHI$uK-H TrVxkQW۱a2V ` L$L"a:7gsg(|8 bA$f!j(j(͎|G W_-ݹKޔ?uxk|oQ<&њUvfQQnonnm/! d{dGDcT(ʟ:F͌m߭ꈎ׈wKbb 3vn5ۙoo9'2{i{3Jk0nmΆVf?$8a[#Bij_D( :{3ְXZO3g(mF24NdmA5`vxWi}ru.QWIm2YbNhϰ6n1 x!oQeuwwUV'nH:;c% 邂 %Ë} їVUDA 1rPʪ>BMØidA;CA}k溫hX+[)܃ `™X` yD3LOlێ+J#f@k? FoP^%AЦ`lXM ^RUj/ ЄL K8ACݧ4 6h !7&U=Ի6Б;}int^^=N,B+7KxsR~ҽ'4K∺,8+Z)LsSmOB m p1 'MRcRՎvC=?=)q \ߣ$V2P3ѝ銷IjWID#fY1MIn犙+~针"R@L 6#Tǥ άOZ:1Iw%G&[b++d%j_/WZ_i*y pq.̡6񟈲\^;gMʰ@Kp\_MCpD׹ /~{ }q<-GAh#{f;zj\nBBx!0>W,t& ;}F9{ p#ﰶbpAfǻYN`gXW^gxo&ywE @eZ녕E!"_:;u8Y<;V|G$`ϗ czw:}]Fo8IDՓBp HˁeZ8CxEVOA &`;2Fv&؋eZUC<м M{d|$UyD<)DР.ijSg[Wè >6͇H#5h9|reBz ?ɇt<ˍf<>M{O+Q:[LVz '2HH呛sHP tEQDiE͋o; 6EhgxFS#exc^`Rh];P3D,AvrGO"w6c5ўS}ty9{E%&cDG@z[H|G`0! g,xh sÝ|`9 XMs ƞyxW '%!7QKf@rO oe -Mc:)sx{ML`ݲ WmzYGo7)A'z397skkj{ⓑ1 Y6C3KF^t9XbB@ .SH.ɯ9TN$@%̀D)tER0$͞X(3qЁun&TK= *1(lvfxc u,Z|$6 DϐQ$ZHl\X͑zGjpCO]ugiQ01聡$r/4xN5q"|?LRFHsz6,D˳ 7#qe3H!>Q] 򐵬w_= 'VɫPrgu2ף5jh4b´6ǓUW+jl_+$'yQDao K׶+I2fl719TxJ G476WϘben"bXxx=$#+1`PEdIPLJghr#}jMtw,(c̹qh ?\O+=*2 0D>SvŢX))wxc?iK+ڥ: iQл1't.LLgEQHtS Q9*cN)^ "mW݃pTAg!i KWPzQAh&"87DpWWPQRK6OW2zjnw,6 Pe9Beuv8\O1n+*['\Z%BV˞Gi֠f udT̂\ڋٙ Y"3~4:aeں6kH?&_"rMƠ1 9Ul#p]hKܱ>"fP~kwCB[{QP˜c 4}1]/E=%+ochSKBn`C_JC ޅyuA8r=3J9Px3ɞb/PC:p9UC 6LJLq!-UDRxۤnk?'9I_UƗnn,aуo.V JP 6z{cK ox3-Iho<#u%֯TYI]O3ehf0_mȮAӌ`Mwn 5´ZRQx'0xoC&dxsJv@BōBpPM̞+USv-Nfi7%rOE)pzItPҁ&6t>oF#O19e-$l= nƇ}L*KP&-ք!*<4l?m9Kpz\kOE9O&!5HlB5S$%4ƻ w~sC %{8!L$RD6zZ=1A)эx0b6UQiFހgrzJnA `|3c#o\&gMlrl<=x6,VA . fcMeU wAv'>VBo=8L)A[;&*aQq;6x Re0ZIޯ!Ê[)%X F!v]CIfQ-VWL"Я.n*y; {~P*Xrk׌I(Eys9򠩺id&0U;b \pcOSUvw?6W_niy©kP3e sńFq>̧p [ ^ [ 5O% :HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7m N-!@gwȄA].nJZ;e=$!$#ُ-[!- -إ#?w\ RdY2p䓲AU<)T+E YKhA{YYo@aJ6LKgiq F!Ӓx5s!DKzPEb -jTF9K0J$ b1QV#iI! G5ͣ@0B1IY1-x 2$jdEBQ  V 29@Y7z jA'dd5]\nggWulSﭨi )ލytDk%CA&gA %I1 rJR!AB=)]1|a, <|f΢"lh $\9 Aݹ3+[ַlTd0c:ckF~vc_eL\ܗ+0]{OM[x{/#|unC2&Ų{R2&%qWn]ѵ#"*Go}mȆ,7}?2,CV[[# gMұb9'6 D OAAĄ"LP`b BA:p"(.Gb4/% H5+j,Ѷ~z\T~hf2b_*23oZ1"~}xjVFapfNI=^s[ 'ABss;zsv_5+{e["ڭ-۳QXog^=sD?YlUDEywy֝hU 4`Q4 8%@@1"W/[Ж9m]QKwtݵNkNLlkD[զi\G-BS+>bN` "$0X؎vwSussrmU?_u=2xY@CG(&JLk )  BPR8$ B0 x7~c!&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