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_exportst ~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   5K) 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B嬣5q('3тiI^W"HS!R 9uyF-G("Ucy_A*ʒm+ 1#TN=H`0 r)"9h?@gpkLjY=TBB.D JHҠ@=DZhA )Da yFTkq K"Bh:Ćp΃p-Pl>#y{<{~D_tGDD'2IU3q"ScAt"7g:,S1 zwwtwd^v84]QD840wvnFc{q CnF35l|n笿wOmJդbڬHG T jJդ72a"-'65RG̤|E Ɓnbb"HWCaVt`,Ҋwq]D8 zD84Coh`VxjoC"h4L{EiEҊRDN.;I5ny)CZ\}ojs8r7q6n5i2_.\,W+*'% ! ?821-, % $ gTo!Xs T z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!    t5|\lL [- UHOL-Nominal-Examples:threads=6elapsed=322.110cpu=1566.628gc=81.172(/;{:Y") KB;75̫4ϲwˆM;e e7ˎ9\p?fd[vsfTK"Ȓʽ$;kuձN}"o͐ͧ\dMdMOmD ; Ϡ%.6_ISE!W :Z;2G!ӎ dx'  iJwTC.-D!TJuBC,ddtN5D1\<(""(zL.SCJN21wH}|D@   x3;/Bs#aX1vH$I00(CHhHd u4*1eU8!0 $0Xh9e 0$ab Hdrp*B>A(  0BI] D bvW΅, n4#D4`b ",6`BuLP<0(<8LՐ{dGc5HDF "X("3YPp`h8RPh(6}x6D ĂCDA  $    Bb` `  D  ( 0I  " (  8p S2/vJVe*2g(vNKx7~nj6ȫrm))#{Z e!xR7+i]ѴgȑQ*^YJ_Z!WyUQkM xEz."%;5;gg'¹MHN.W7˕Vm{yHoWV51g[ѰwgUqZ&óCC|cYmOYȰFW|u76&%Ҙ?;a8cTzZ3c˄,WI: y iV̎RAm~tξ;Qޙ=435ӕo 2gD.KԎ%%&vb]UjDHHߺZb%#-}n TR*>DW Y(@=HMe쳳U%"'p;{/r4pEs,L/9V3 E;^Y9GO xi-2UjX^g4:nj Xj,2qC !1l[ZCShD2l ѕGҚQ:Zy˹F~!Py#_0+SA儕D.haSGwѕ0GUҬ`a=G gPfSq'mjU4Wd o!ph;GjUi\=K#}_jʖゑ'Bν%1hǻ%t02JxMl$Bb\:!A##Ӻ>8aJQ 㗭lq-ΒRkZkwhj44љIӌVMm.65QJъ9Q{QC7T}Snꑦ!FpQ_'WtB[ nQ[ v̖)IBʓt^ఌa@"jDs`פ3d%ѷ+W5{9)N` -ILuMPsH(rDX( {)HX ׽j2P1eHfD i CaPfQB ! D$I l$#u9ytFݤ7SP|EEv.($}c&0]Xdʝ*ug5 ebF@oH`͸ycC5M*X-?}nYֻ"8]rD>%3_hĠХxJSv@$lSK * N֚c0 bﶺ*t7& #{#!vV63e^PZQ!Gd+jW(Z 8,p G7fcQS." ^\($;BτB/{5 D8sꀛR!%v~ SO$p%& TCYFY#)'@ ։^Lh7ݾ7lBS2: .=KhC܏6O#9b8KڵE⒖Ӣf#D8 !oߟA^i}ボ'V܎f"9p2[^ePBxT?`j]7>AñŗL*E4%6s}uUMT{B|Q#}#HB8m%>^yw!O{XҮt'3 *ͱ[>jüdQ3Mb$hb-cڔ.ҳBsoZ\ i}ݸ ZK☦`.c^R;0@0$Մ!^ltgI -cKFՠ8ZQv*ϔڠKAYvR*[vO"v "c'FkAjZ'%wT$Ƭ)kR˪q"eI6u;QV)V2+%T=?:8GՍڗ9X~aB[QPDY6(I yRAs\%"kgQɥ=V`7'PߴC$޾cm g׵cJn~1V@ڊtsQJ_f˿5=т 7Af4@x# p0gbl4 kZ55|_Lp5bZ5_] DHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy2d8bf6ac0b2d5552615942300b986e0270de9bec(/`Q5#@Vx!I`KG;^f=d8&,)))| c4"䘣h># =6?G, d ?ts>oKf_'BrY{Ya_qV^I{ØYA[֘Y8ߐ8sr_ᤳa qPAI:\;cǨ~R"      x j q1  ] 8 ; 0s $tA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lam_Funs.thyG5iHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/LocalWeakening.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Pattern.thy=5UHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Fsub.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/VC_Condition.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class3.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class1.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR_Takahashi.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Support.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Compile.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Height.thy H5kHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Standardization.thy <5SHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SOS.thy C5aHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CK_Machine.thy ;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR.thy ?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class2.thy;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SN.thyB5_HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Weakening.thy>5WHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Crary.thy:5OHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/W.thyA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Contexts.thyJ5oHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thyA5_ HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy 7i-dm6dW9ژ,ZZ}myӲ:*6}C)b׍O6_TE7 -R>XB|sYKb)>e9 vk;(9U3E' t5,1JU*ɚ+P_"eHӧ.+uKQL9N楶 >l$]>+1SO-(XTJzTNxIT Z lhd9P\kȫn{/"-iR)Sn2}TEC`EUt|,߷TCm/YܷB7.x7L=ɉqr\xK_gehS^B"BV@(qSm@$LƭG%_?ǚuu݉y+j;řK9(Nwnt,4 gჳc9&aetcX 3ib0Zv7CPa$´[@f%߽}LHux˪@"9r/ +sJ]zjbI;uXAԮFgr 1~9u6 QC>!!V8UAۄ"_K;,Q.a< w-`P7(9KX1^$L(~|:[ XݵL?uӁqIJc[AoNs|[4ꯜYT%4X\#TڥDdQY"_zz^e >^$RRaZ%i) rLiŞz(4!10D !,vCrUG Z+:'gdrhFZM|;Qq<:Esj1 :j-''w|;-w<,O{h1.eϧHT Aۣ}! L9̳s]4vnN&7R}u ЊђP'SuFg8_'Ga1c1\ AHƗTgdaa|rxN}"ۃl~E߰<`BZ iRSAKYB`Hc9*HAMvDRzDznˀ6"U!?K&zw `}U%V 0a2~M@i'4EP^&Q^S'CN BX Klg?]pK}b_`NXF!)c\ؕӲˊZX"䱲G6Bqm3L1Sx+4'.A-aRIoRbOEY O{J ƹaJIN)Nme #L )R= TZֶwBrF/fx;hl$kJb3bk.Pc +A #6?V -b{L d9y@Kenvlc >/~pp-]X@yP'( .O+P` Z)-@ ߚ=b?l~r:݅!sNǸHTg(Redh}.V uҊ~\Bnٜds5(Уc0uW~, [Pؔ 7T|`ZןeЛ?Rnz_{ϐUk9#}bdc۴Dd_6ohjKXNeB(9ڔϱVƗIEGڭ@;E$TRgcy@m[3+Hۗ`fcW} |K#O8G^K' y瀞0+6ڨ ҍC b#|JYPo.21v1HG|(s/[܆AZ cWB u] ~ny ]/i%$[`=9 ~Fr}6)!WX6|O>¥31XaЮp=* :5 ß,1 Ѣ7"rNn}y~ 4;;hRuwhIDB}q{)[i:l!_qI葉k0! !Zk6x&{am 6d1nֈU{.!]E܆mf"JYOx| je f^FB߆%"U΢cbptG(JdTm_^JX&D ?-cR}`%3Pݱ9vQ×\I!(4/(k3yM] ¬S7_G3o}fC!:DdmŗJPq5RV2f뎹sR *qg"U!'V <+xLOՙdnpYi\<{eh] eG1e[]m-ٿ*e:W YL2D7;Pɦ>a=r[Y}9׫㣾En |M[1>+_B lYffɢOn5N0abow'e,eJ*NrIQĵ¹ U4IPELG@TF18FigJkE#^wc1/2`ޟ1_?S׸a,78<XE-4Jq.mY( Bb`=XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚*60 Icx`@448P ( &hb9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$ @X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c| OjT%0oS jRz%HSȱQ.SJ)I)k{}ߋV+ͦY8c7555y f<e<˼UF&]euR2lIelc86fl۶mƱmlcUv"&tt~δN[hM%p&yoyiӴ]r X`mmI$[dYò,˲9rqX ,X,ƻ˦ƍFH$Gb[ִkX)L\~-B22#ΌC$·N,xN ;( @  ,4XHPx$—D-)v hA|C5+ވxqGr\$.3%Q$, H^:z[  >gtT(mMǘ@j靾זGp`B+ii.5a1<1x`ϭPR4z 5Nn4 4NP^avw\keքjz"^o"9̒sOpC\z[B<+UtP_)nr<=()(,d$dw s-6P%yx}ʰ>o?Z[s Egdg˕Xx + wBeAJ3ՠk^mY!ƽ;\24}]n:ˈgx-I~ ˫ak-0m :9xܦN*HY?q٨כӀ+P|3fr.[\`X;X(vM鏥C c(aruk]> ?%p';ȶ6-; ^㬖L,\{cA{U1 2'˖-WHY-vO -_:(H <z',,_`iiQ$4>bvFV9IմYG {19s "+E|D2@mݿȹG  Y͉JNd3HSj= 'QY;$+7J>g&)l d@uVA=-!ŹRVqFTpl7rBR:?fO7tK<""#Y ޡ_ 2vM~1땹2Pv_wuu lU+,j!?)Z=]O;)8ů[o! 'O $5 T| &rM@x!SϨ+3˲/О0~cF ik e6@,n~2KSU`j{6rJcV ̋B(? w.E$DIO؍ {WyNG(^3&ErQώ<*jt:ݩ+Ab/}j-_ln"$ۙeYc`jϏ)0ODz>㖖RH=Pv0HkڌAa<[ Su.7pR‡#=6>&~5P9z(j[8Ӝ}$l_/t7/(QNV>]P\׻94Z}"votEYOpYWS쮂Cthfc1S]A2$Lǿ#xX[c%t6_)H<ךa͏cIA LX Y)KJ[GP"'R 0ɧʣGÄ&&+p ix:̮7G(ᵴIRJ D'̓✻zcN3}ǤށUq0r~hC1# SK ‰<a0z&o#idZغ 2L! g!c&cuAWʡl6ޠ+憔ǜwcGJ*`ܜtw]*PzY DXB4X@H&L, 'OۯZMbC^61aec%z [AʯY\jDӒ{Cq eDҝ <~b'KKip(F _PwËBڈ^*֖x>^Q7jɻ/:&zq, K՚&t/^nRG̛&v wxy v QcC{&.֌%n2 C(X7xq:KiMM RXYBBNk ToZ2:8M>eQЋKŕ}@=S0 ">y~&SB+Y7kF㱵J>:tE6$essj),Lisu[I]v*xah6! }%#(Y=ȢusniQABK,Xx"`4vǕIgxh $ D&&.j_p/u!ѓ>w }%~%A5,ZȾ߃m??$0Xpr'.v(CF ݋UMx(z? -/F`聯ak*{z h] 3]¬Nsՠq'<-.8ӹqCpGa e9 !{*|AB҈یABr%qTnfl ] JU*q՟|X~өTm>E9ȘBHD)*UΰZW/],„qMe#~Z W[ _ Ipjͤ5kRc @ ظ~TYjg75jJB${BPv3lq<0!w?fr2 j}`?@Կ&8bB%o I+`uRzW/`0u5"fHHam'.R܈4yR3cL ȯ'SW<#N (|N Zl/u H$`{Yer56d;f@2z`8|+g#bώj6ՅsVn{qH(aOmi(\ݥ{auQ `qf\99 zPA%[hi>u dߋ9`*mddQ.CIaC( D@IG.Y܇M+wqHUœOK@uKӨS 8G,bՙі=6m汧$-Q#|x(8;X @!rJTN՚Cs*l<ͷ$XR #-L;b1L6c .[I6Y+e_6Y&B4ذډ x0 7G`C+a`_5,]6܃~Zlwʅ7C{#p`|$273'|Hm>똧?O@x괤D'׃|x\i>g;>HnQ\PH@<8U)hHͿs1Lȗb@yd |p(T(}ASkb--ޡ%!d!u" !{G1dB{L/ 4H%:ל) )V*+$%AʣȤp.٥@YJV$tXvg/&S}gߙ lA6&% 6L<sCKS1+? [{&ʞYHquHe2[em "̉)e vI76IT]=ٿ<\zcրor^Bgki;y""%\h r}((Jizl{0͖{yaV($5sHnNO?褧C A'wG%%~@KDI _o~_ь +m:^qs[iL߻B>)we&wAiXdw:Fz=Lދ0V)ǫTa.Y)Z~^<4bLWd|2v+Ro#O漴K  NVB%UaY9uN98[҇"P "jmy9|{|fS0`)\*@2iZd ̪zdO [/\{|oHUU]ytd; {K7r 4fmY:mjY&&d~x}QD0zQ|H:ԓV!i4tzaV R7+զW>3bZˠ+ Եɤu2Z &1EւE >@ K`-ǡP=\7!=P]s4T*޴g[G \_ha~G.Z^½HOc1ѽa7&(bߋ|詌 酌~ hC+k"[}$[EE]-*@1S|fI6LGk#a3dr|Z Dͧ]^PP&tKB5O1_愆O1>Q2H N !VLYmaA]Zs 4p]ETA|\RYRՂ6gltڙ`}0uӌL؄ēD V|-b`1eE) QV覣,Y3lvت:Ն?D\ǽD^\ j!b \wyF_344<O qFRڣqT{^~D$" :`ЇLmSCQ~Qx:ڸϟ\߸"en'+/śh3쏌jIU@b='Y6O\{#&&+94V L苀ajJˊHL[# QLҜ ɿ>WR2]i;r8[2QCR"k6'e=g_/lJ8뷯@C!U@OTM٥2SIv h3n.t+Oփ|"௦Ybq84_&RuRQecDwF*+~6krIel, J37>B溲=4(ԠjKE@MQ^飤7X\zGT8-]4ޫ\ȷ6b8Hs5qbȱ7@@Oq)) :pZ(Өsj%4GFH$JT>f KFd8lk֍bnXjr1 ]it!@ixiaywAOXXws9BFt`Sf("ٲǰ ? Kͮ=B G\T8)< n{t#*r@?m GgwI!9cmL@f'gORX߬rbau 2Y8xhn*^v0ьO!'pMc(bQN+v~N"? 5"ʿjGs=뗖A55^.q =tN:jxM= ;`b9yu3P}Eg rYY)>c>yȲWs-qE2}|Nǧjpn@vJD>ztQ1pOm\!4ޭb4x!=|x/ am5H,E4>AvO׭~W?GIu@U-]G+V$Osܻz2:$QN Ӵ`NڶΘ1B|F?j=z5[xGT1UٌQ nJ$0YDu@."л~ʒꈕ7^Rvv*ӰM_{9-LM X<f<6Kwd:A* JT}i4b͎ç#AGw8 3NScC$ l`Mh&8<{62V/cBH݂ut/PsԸӱ:kE hLy0Eاviq]NKFUZ r_%tS"Ӌ :x7p3bC`:VʜR#y^w_HCڳ+{e);}ɏTYwi(O `Zdy+3y<|&T2/Vђɾzjs8vGSVVN9l f-4X]upri^g7@sf<ҪTUvp札 = iEw}Yj"W~yq:!` Y\dHoqP-Ia{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5c&HZaݤ Ny9Q4rB?IY4P3Ns"Hj9*kCPD|.{~?*i"@?f.(c1vY!cc۬bru(YNq*<&@u ?}0 pa`/t/LNb7o;A-)Pr|A ZwiRap1m.bR!˺,a N"]Jwk[ H/Ho d{_G8)a=XggHk9(S?:%Z|#!ZX%PG+T2EKe5d$њ1]/`H0w#rKUute.к5V0ڗoT0, q5i @`SUuBBuo#Q/+ՍegšԨ^~/HT1ROmNsDxA8lϟוYcZXTU_uz0OM `?e OeI \]iy{)s')I E],p@Xb&瘂dfL j`0Rs{q`s d̵8hr[i V *Ux:M0YN]2#q :{?n| W5M= r A=KuH$L8lM(:u-XN0 Ui*e;Ut*?N+^6kG dž/uh4`c4'~PRb4@oX̵] OeC~s`>[,*WMv@J/Ar?]PƒR FͳG"/lfYenepi?eN[Fz7 }%= bˈgƓStP%t@SiKyaIa-U/H%gZ!pmIqO"c-h|f,&3+]xhg2¨˗'?.[P|t`TR}K{mggnLiI3M@W0k R!Oα`$VŖI z^7@{%8ŔcseNH nϷ˂C!h^ z~cGZow 7A"669[qi4;jrL#+"={1{B]!Wv 0D ] sѢ.1q4MEػ¦͐NR[k0qP]?H.Qvs ֬>Iq#pEo "&Ik"e>'L4 ?O4 "+q VDѴAo<+@" %^۵΍D3)+B0}JКF74wh#I/+P*?EcQQI1I^ xQ'!YBAi7$ Rnn~4%烬oMk*j8 \mURm(_[,֌pT,s)P.ol:X#( +Qw莣]Ռ%6%/KS/8> tc$q\bʜNt}tG/4Md dz .'Zד?6;FCIF<\~ƮMf4 bp)dLkʔ+#C4a`_ #1"},yS*Zo)?(A`L D.CˡK|d/" gT/EerIllF`yk(z4O3KL ="RQ.cP5,-{}oN 766! ?m5~JW [ZyܴqXt;v>Y ODPs&0GмOdO7i3/:nsI"O >ykm4i3?O)Ȇ1`6ui`#ECB T377 #M~x-?1Oب; -Wf=:7"d,eOPP}=`6lM'B٪cM@~(+4U ]Z ~Br*XZkcPZ]/ȿK )`WJ 75vE z˼bU#xhmcjR3d$3 {ӈN=3@ұr1'BEyWT,?BmX-}k5 g*- 0S^Rrj~x$ٝ"@\_p|ݲu$G~vq|ztQzqk> e"r*-LHϩQ>z?lqI +I%zIXU1_07Um>TY$6l'e hFCVXw3ao9PC0_BPA4Bm]3p69n3ne 8@뫖7\=s -d&px)TO8>ǿP@ Q/!!+8Ke"^+t5C):LddS#LD~#m+Nc~:q=K pE XVXG%Pp/CrE.Ǝi<]%,?X A o7 d cM,mq+F㘼8&u[ϴ@>|ZY"a ] EV$V)8\evFVX2'.zрɈ"  hxnoJ)@ߌ)sC/#}i(ODcbo'|IRY~zlqff2Cg"~P}j;2p]\q072l=cg3>ue|PH.뽟wKtʭWN-?8 ?ZݡQa8=9/^s.0\}X aIsxo!)Z2] =åke2] @H/1Ads&'Vi'8JT MFpBz sT}-&Sm,|p@ 2.^!-ƚȃȠ^^|Zgm+4`wA{dFY|6`'V&g"}^uM" *P/Ƿ&a}pMB32@Ӡ(NbP#pBj 5p_'!އ58#; V,&jw|Sr7r?ÜF Q$C|b#fF]{g֙&JF5XxUx#v}ϘwOOoH^tObc8Nׁ"  P8JJb͠@v 03 lIE0*a|(F+|j@yYEnaANU}o^3 <:_ћ2.=u#K߽ޔ+&Ha4PR0D_BL+@q{W.sߥ\ [7+S]7S$Y`6hA)(P?=/HJrx,W$pogQJTIy<]# gLg/ΔRLA4܈xt/Y) _Z37N@G!%AEI,"z+KKV^ɞ[fsK% wwȢ ^F30AvMn0Zv*%cAE^XaʭS._ g7nQ xٖ̒剫R\$6[cz5ENؘ\.L^T$^) Q2<$g8bs[+2}摗q ,R4=/C`Mt&7?熦*p)Pͱm${ "[Vh4a  0̻7BNFO9:jCD(\\eE2L`u8ZcH?4'ǁʂW86@*2ѱ[68왴fiŮyWҴ-w1Q-N8y2Ef2yt}+8gۇ$:x- e;. daoZ 1@BHnC-фPL__h`'$-USI&[YwuYqZNu7>cD1W[Ho :WX:?mZnHs4 k{Nb \!LA7I2 H`σ/oavAT/}c ?{G\${-)ζqK>.ڟ xJKdji%Vr>mE]B W*^ZSV`]VZ*^P*-d0E‡[S'lC]/dIMb/V }/O_f\1qaW=U8jڳICq&#ÉĞHġljGu02q@o ǁ6 a9/ΡvUtl=Ct`:)ɯ:WRTy¡٥IbE4 ;qz :ǑmKnйCϓ6H$]PVx.*@uKIE~ AX?JPDbe8D:IǨU!gzX-!-6$$^緀!38G@OB4CKQ +G+1֝V"MaK2|AY= Y- )2J!='#S`|z% 1M]B4qQƨT}|a>3Ag٫ wF82[-'jɐKEwͯKP Q~+X-WϧfPk ӂ rrm L(/#E~`-QOvI n9OSR}Ips;^ Y%{G珯x<K:<=Ќy>3tЌG"xx֗'a mk_^Ԯax!l q\^pد1(3#GO[ Ocg9*߂?ZE h[tF_7/Cmѷyq`EWp&BtKJ!"u879+N9F܁(i}e1MÁS!l53iYӦP =$-uчY$,ļIRU1&?-.dYH pvGx9ZP>EEFc x55Fbԟva\π$pNxɩjJQw{)ms*h8@#ĜN4E<[N*|'24ZYm}hpFӀ[؋۞yQSѦ [.փK6㔀jv5O;]п@{b€ !jܩ.Sff з#Џ"=0Cȵ7{UX5̘bÐ]hi5=|pp@wH Ua쯚;>|7 Y&-?G..}/_Y;^7Κ A= @#4FwDu|S/3)8!4*y~!2Ywql4_4[\A]pa$ Fr `'e=8/Y#1x~Cj#pu 4pR=.~',{p@fSWook.MOӟ;HY| R佣}.sfFߎg2%5`xdJb8oTC^Rjb32TB;O6nV&xb|e%ܤsL J$80S¢Q~x1 D]om1! y) ׊Ï5"P ?H?G/4Fe~귛Z=R#-r~{ FV+jEƧs-I6O? t{^!摀%U h,_0"pl?(EsWMX5(!n&T*rN?PhZ6NiHGLzHy洴H%>fèQzCwa/,i\\kg@|Il=ğ~./#u i $ UjGxqJa!s,o@( M+F(*7nn1 ΊCS 2tNa̖ͪخX!qӳ54wYTJk @%R;Hֿv9H!ꂰ* 0"՛iھi&I&Ǩo(JBQ[%֩! tƛEd!Xs^v#098'[<*wVVg<Ǥ(:tqpCi|h ָ.%K:~:McTntİر 9<2X{V0c u :%:,2ktiƧ;B]\GO*JgL8:LwT [2e>V{f8^8υ 4D k$b- /iG~)PW;)VO. sSBۅkM?MS/\ `1m4axє;{$'A>& !/*lDuΕ _?cz٠klMoiJB2Yּwbo/LЀ)=f\UߓT3Q̖$c=ytP!fU. s,B|EȬxCd~c9 { 偤 pH}Ŀ 8Q |8`_q՛. q'v,8ho8qMbй,i΅)1,˒P͑]PBXK>X?-j2v|fuݯKZigmy o3X0e<"#> փPYZ~p,-Sn QmG8¥]ΐ- FC` ThLe9'_SD?Pka?2;y B&/c@S ^A1]RK\<k]._1 [jãCِGi 7_# Ei3py> 1s=#g63DϴQ*Zd2VHS rmAԮ;)2SD;E;F9=n @o T0] `bFР ̱/^am 76kVf+tԀ*;tՠJB|n/RM{2ZZtX: 0=EC?aQs>_=/`5]`X*)ѭb- h@5>@VQB yE3q*P2IpO*9dž J,A8+vB(^x0b /;f~W_MP#ő`Xޥw _<0hxOLƋErSBH3aJiI ^\o[f\ YRepFF *dsh KƊrضAp\l*^qdTqo5д\`/4%0v%on>Xo]KQ~h]ގIU|GBݼxY5ϱ3 9"3HEs2LF0|m4b]\[<.O>O΅/ PDjb ձ}!IAL*rjpɱo ,d4#A:@Lqb0Ʃ8mɂ)_eRm@o Cٸa~:0f,Qz{r—WlQU`nj\|MQax0z앉jhٞqlJV+|Vѧ"dQ !,Kg6\0FБt}NC D4Mej7QBZ ʔ"͐I^h,蘬/1 j ;u K&$y'mS ' [6%x8q%#mTe&ʹѺt1XT]m8/X_xI}4ZzkN^n胖 ) Uyz!%s=em-1L'{>vl/ Q>!}E ֌Bz(;'[;T؀ka)5OX߷{/=̞e^k,l} osqQ H0cXY=ʥB-Df"C~kRI蒝)G*@ Z[v5IyYCP-Kgd {4ğ)$f6,o}˅e}DlEM^E9-vsz:wA.6?ٴZM`]?I@X볤ʸ 6 s \ O_9yf4F#yc)޽,C|{>z_?,+8Z0ډfʳ85+@<ÃVK0@¨=F83n)i{ƭ&&D#:WضJ]Z [i[1nU L2{SQU 6w~ g}]Ek>wNeߖ^d }-d~'L7`GW&LX-ǡkv0"LX"]yS%@a/t"z.n $e1Bd?t#k܃l9X-v9gWO/.?ADZ7Ǯ'kV.֌csM:øY¨x4"g=x@9-,3 XO[]F'X ~YoGg`."x.7qgŏ4 9ub&XbŃ(nT9T *ÔZh7#ЫPBc̦~#ܚ ٽ "lf\YDqx8nHh9-EM H 5U0G+.; TQԹMPknt6O"9*@A8 'yV罛vv k6,p|Q}Dб{۲D0"@;ҴMO,uBUAaڃe>%)ZO"* |msF:EtkijE+25hfm$?;W[rw*ٓ'g +t*+Px oOo8*Y`FP0`ʇDT|kwh*8*T7#*EV'B7{o(^֦jͷaFZ%o9-LVhG7z@HfцYf\$aJq|yźm(`>IQ21|Q;8:0VӋp_([7'6IO r 8TqDb-#oeI rQP zH4[fI[BV0-@J|{PX%=Zf[C0R"B=7c8b=Yaϊ2P9ŒkrcX築HŤ&OB -mev\6ۣPQazFb?b9՝8ƌ !/lق=+N|Чk˿J\~vL /?`t.="Я@Ӻ.޴K1bTe"*۽d/m1yǪ/G`yjLY eW\Z ,< ZB, N @48s-s_kawc8c*C)e#&kaePU-zmk6AW TtTZLĘ% Pa.WkQGM{p8;"pd)_6G]𚰐,r `$@Z$΁ѻA˺z [8~tTb"Xo)`yY2T-zZLz+ͥrZv Jm^]u_tg6m.$y!EPMv-ȪY wi.a^ϘßamT/Iޞ Tk 0b|Fr?|'@U?/!>*,e:U =G 0UL+oJCvz`04B+YCG7y}̯6\ /E?@ԏSWKu+dR` ST y$pҾ4Li*{M{?}P $ly%2>Asח˧A@nH~-<5_LRi/׹~Rm2Url]5Nnp D,!΅%]6>i$awA9 F-) x^Z^R¶C<QZ^)~ n5 9p0dKf-pz~P^|֘N!()(ipt+д1%";kL ~R"bRheyvsnN>7P<Ň|dL̂<:I-5]:ȼ=;BNnG@GlQ?!h!kdޙp7h(bfKGb_L2}Q/H i'-(: LKJfށJ6F"}{t lfJZfCʝznI AG)/&h{(OE%:~49*21(ciůqUhf(iO_|ډS+**l`5DfѠ#,Sb(HS 4 cx$ ͇y*J CdoV(⼦5]FOsTؕ@ E-#3X?fU'WXV1W i7> eHiCz9_wNaPÜKHؠy\"ΞL&KU$ӧ4IC73!)As"`ѡo1{E#80]`` ߍ\eC$e'|'; R>KX\ϋP~!B pQ%$0n'K`=b/0lVQ"zzՑ[/B}~$]fsZؘqxkp&LV5tEӡ$H\_P~0}s2n{F:8_^r"c@X.3ZCqb]GNRHߧMfYGnKMig<%>(+ʚWv^\\=pXwF +Q]鵴f`)D/ 淖vb _/u -auC/æ;R_ye/B'1A WǷ?^Df4EҴxAW_yFPr&i!{iL=3`d)HkmWD5Fk#䖑`"ꃿ.A^nDO>(ln~Ɂ[%LtPH (M|.t9+lw6O̤i|cPJ! g>ԛzQ›[rޟ?X)I6܊H3b] ѧ\smdX:r'uHbý+6Xd9v+e<^l ;/QI{^140`^a7ĽS 'd!LҼtmsB4x~_&P'z ~]8$6w#|#+v1\'LGq6jATrMBUHlN2(={s%Yo+R?<ck -Vt}Cc|tlӈ) XT $IX " G)uUql#_p1O*_l5{0,gO'[cvDiސVLq JP+3 CO()Ex@ H,#zFC0)$lYSi[ҰfB4Fj]PL|Uk\m}7j&V6,88 ?%,Cʑ\ej8鶴YnS5ΟpTnmF{i2C1x/] "*ݚE!$S3؀G}p$K=I2)ZЂ[#+f.p+rjܱIn[!.v &"_lFaç` FPKv~(M7 $8J1yWjÕ(C1@M`9d`<zm51V3eƦKpʟՐzBv ;AH=JСB$)$ID6T*1Ùm e,EW` )(P`nNqιRFGg cL8JW ʶRy!1!q(ʸg3g+EU @tL1չ1n(j3#O#dGAo߲.R+N1S@4Q%)Eɤ4  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[Jg@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊9x++{Ks9G?+(uvoEt=nprI_rmAr{E'P9U H7|(>ۭ!%BIXqĪEybSOEO;@yvqP_i#<#T[hBLJC"?~;:yx0}'(^Ti'jq qqvLrY?c.-z;Aaa4pH:|XZ;Bko"pppsX[ k\--Zway "$mHzxa7Hc\EPuFPl(p NY:䠊 n Ϟr%C7Tq=yvm.*8-=Bc=/Ŧ4揣bn?@~`}%7PyY<,p -cwHQeMI 0x+"a1O ڧwi`L4$lbh]i3뿬'6a0wC P·8M[/_4XةuW.z ] 1(QgB;hY5 ;f`0eIp3EH%ŏ/މ&xw|0TH:rBZhLim7˿l@ N{]%J.` &bZ(o6t-J frRs18Q*\_1KB KgXf[@_3@T&cf:y+ϙF$ö~wX% Dɬ&3dc 7cG"3yյA‘.R9UBߴc+gUe*W "u OQ{"`x Ag:2\Z`1dW4ci!__#8XʣD(0<*90ciˋMQp)C`瀏6f;.hbBCgh#tk^-'{a_s:5V|#_dG8@5vdHZKfu ܞӕ%\ >Rﭚzi2`\Zh T FM"RA bArfI?ǛÈ\S_K -+rIi@?Q@!"%x e :ET=ኃS ́|2U[yXfSqNW=8--+!AW5=C]6:$h ÐV{/-—D`0iˡM3X= KdHY_{cvL`8C6}Y)XZK!ONs;EءP=Ͽh}(*+alg]YvČ6Թ[;iP7Ab` ђiuXYۻ "%>PǡeRrhVAfx\FB 9gE3E h:zudXZ L b]>Jni춢 C=_sT^WMF_ UL]#OtތNNzWBSQOC +yip`:T@և9 xemk 9R ʆ|NABmܿW.ԇ&D Ry4%C;UQS;ܗ;)t+Ez@'Ʉ_GHQ՗ч~McW4ȴl`IeCRaKHp@uah,l?*:ZU0w_ײ0DNϗ-]"v__"򓅉\_N@gݞ J A`~|"1+ Ef|#'M׌ڱr0Lfq.&fM **'mFL]NJMrN: ̷Q)p ]߳o"Ng(IM2(coH76W>I|q{O!.6l4&P=/zIkw1z/"4F|fqԃ&xyghv';fx )E+{lG4gbݲ7q/G0> 9H i@uQX2˕`x:.H6pW:v*!38R.d uG̅# "z2-,yb,qyG8`ETCl0ǥ"vo,,:˱vb ٴOYhGR)gBnN@AU}i=ج BV2r7quδJ,1X!I b{reWvfg8يNLv%~cHlf-vCCV#cRb5+t'yaҧ|PЬ~ $8cGc 2 xpbJGћ&.i9PXϠxgVvzMHZղ*E(j` Zh_z5 2-WdpZ-x+C}&x+#ŐWXxn|9alΪa}axPDts9_{R-ĭWWUi={ V8^fy6/K(oENy5YT(m.q(+++߹ߩٞMDSIFBm,FF$Y4dXчȊ =)épOe%5Ӈt~~ (>'_ǁYDk`uJletF@}삛.eE./Z빽fSd :L7i K6 "ZE;ݞ=V_G iŀ;_BXU;(Du|^s{2_oL/_ƛt9+r=>k?0Up!@\RdEEv 䡖e[^p#r!bnRT@.ķ11R#<ƓfHkn,y*GWi p>KDF6E6ɉ-n qz#v}V{6=zk 3@S Cj zghZPRɓh K Nqx 0٘&%>W2c[ cn d!鸥ň3h*G'ŒDj<-KA N@9جDsujtKڌ_EZY7h ؍}dGb޿I!3ƉEt۫_19| +̊ktΒSEq@`<#Ta ƛDׂ2N2Si~y k&]Mrj̦Y#A6R`FъXy_U)(5ԟңSF`DT Q4D &t$ѲFD3(Q^T&eDU%SB/ uHe rW*άr3%UԔ}^*\X5d4S'qO6\pH@~K壆f4Ֆ{f oS4d}V[f6!.1GYVOx#Z6?iYm7!x t;8f{TCa$~@>ag/g3b$ld)j{띮mYZlC`ҽZlP8ch+q_2YJt }+fz<3Vd/#_UK6-rUcגs"{Vq +>~o;06:#<8kx ;8 ͩLx, e|#T~Qa"5no >PT6^ C*y'_ 嚼o6fmYδL.Ŭ22Brϗ-s'k gǟ9N=NR8֮ *`Mx}F*)_,H*ʩDYz*x}yܯ2˵`7'$ٮ*P[u9w%Dǀ""AZ4UQ_&YY* b,?Lw ZoB=VVZu"#j{1:2u 8f T[~)|ևFq`32Am[+\]aƌx `M#-y`aatfqbh=R'cH:e wͮy;-6b0 `L~Ps Bt+.Zsock eRvp'^{%g,ƽd!X+lFCZz39cJ3b)eÚۃfa!nn^r\n5CEz(sQs Hc=Z㣄 QC$DӢc}[S>$!?:]lrTG8{4Z&@W`CX`~VSC{c@MrXP~hm"iI\2w뱗9cmFoeKC/ 3Q|/ &VvtBPf s+P "8rcwuJVrĐ^\\&Ab48|Iey8 *B$B[qmå!o@讑G=8@wyVCWcz1Qgi~ oOoVI>dtE)v\6^$1R+Zgq"M3@z|ޅp.,b#Jά{CuDLK8Єޖ\B/%~@ w-ܸgC 7Lp#@y HXȵ21O :]x< yZ E9 o2CXHd/a$,gb*f0@}''n|ESՖ42`eUYhZy P0u71uc!1v4 oԯBM,"LuyV^'"vj~y5?!G9~"O$7]7C}N)6i;8;;7$Bq)W&IG`vwYp':g*S#skj &sZa\ `/ռ3fm/5$Z7δUb`[?ɿ*xhX9R SD-|Gف6gYtC g_(+0,uIO t0ƍ)XptU>ԝMyh<`:7so<}p!6 ԬBWqn uqmGWo&;digDMyؓj3<~2tKGM9kGZTR'# oiu9n΅4]<)U/f8p$6co@fsG]}o'_82m/J9O90Umɰ[!ڣMlb%hHΧ|L(@/ \'Sj e<` nxcjB#5_a2`{ؘr&Zh0HBc9DDɻE}:Qa{׏Mz&xF'j|:8S ah^ z%|&yd^=ij2ԖeiV^ᆮ"D۠CcwJ@4XhnڎUХiu1|dDAvUJb6sR`UC5V rmmjcuijE0JpX,Tê=X 瓗 @]JN9 ~ ücm=y< L߯4m%??.IJlr O;}eFSp>$"" _|2=7Ig{ nCQ۞qP=RCQu=T͍I tsx 0Xv~Ca-kĄIۢ2b 7r/c ϗ}hT`? s Kds 5K) 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B嬣5q('3тiI^W"HS!R 9uyF-G("Ucy_A*ʒm+ 1#TN=H`0 r)"9h?@gpkLjY=TBB.D JHҠ@=DZhA )Da yFTkq K"Bh:Ćp΃p-Pl>#y{<{~D_tGDD'2IU3q"ScAt"7g:,S1 zwwtwd^v84]QD840wvnFc{q CnF35l|n笿wOmJդbڬHG T jJդ72a"-'65RG̤|E Ɓnbb"HWCaVt`,Ҋwq]D8 zD84Coh`VxjoC"h4L{EiEҊRDN.;I5ny)CZ\}oj)0'yrfK/O5MY$},}+9*EciJN$3Uu9]4C«6u}B^y .[ o\Uɏَ階Kqk\ yKsO$UdT*??ihH$ Kx}5/9.^|9saR33gf g}N"]Y,bG^D*DCmykIڙk`yw+KH,,D@O0V坎>q_y﮷XX]) DوM)+o^؛wu_[ 8o28}*RiҵM-iΝyL z8T@bnjqkĕ@ޢ^Soh}%CD:84;84KH"%y=rņp^y۔TS{FF/BZo4|) E:~TdMRglm3y:C#2߈,@5p"Y[T@in;mV MGs a=$]S=c˃Pn wtUyϟq҆U[8}!9 IgS*e&^ u2C'iMHиQ>e_[J9qyuL]/[B.~I1}a~rCYbJ'V8vv&#Tu./ FnS sBH9Gg iTP\N#LimO H>dbraU* -Ax8G#tP1|\ Bd$ps0s‚T.GrʅFrЎ|Ob f.9Nз nH :քtz@.aig| *Fb 5_fgu粰ƹ5>Cog6<+nnӕy3SR K%+9="?@6LG(~pG\WE#yWk8h*X%ݹ[>tSR ,q^ {A+y8" hݘ5E^n [z~ϟǏœC Ka]7w *.7q@h\ǫB (YL*MpGP`IY`|em/f.iEYcEp/EOq( tӢ8#CԵ#&_o”I?zRDƠevLqQ~(taM.J=rqdRH ^v_k: R<$4Fj:|B"heCp˃? |@hM;BF<- shy41FX+ʇ!4n҈Zm[ᅦ~i5'e.aE$xBiV眰 ׁ΂ߔx3nfFnz&/ 3syVwf<;`L}37t!='Z@f+ ҵ)P0֨ |r{(E+$Xt.EM%EYs/jȉ;hnmp&L&7-E\&o}׬/~ZsAYz6f"egl>sy5l9H9fٲIq)gD^^l'PHMVkb1%EΥgLOF Ie w(4RIu2yspd%xkT1&bv 4ܖ:FYB1MO]ED Hأv67+\w]F Ћ}CEf",wD~2_a^nI]"zqu !$ ڽS#غ@hmPz1ÙU&QRd>r%"A;[m h\C9q"yI<7\9yrrbC '3Ԟ-Iߟ+;" '4g>|0e+t#" s4 A˵)<ȧӴ:xbEWl0Oؐs>M}p_J-ȋ{ÏLswf2[N r,mǶAb1Ņ=voRاƶH#ogS|W,50Pfe rp-kZ1>]l +WBc)]=7\1XU3%#8{$)q-mAfr"݌wXE/!@ 4@WE1G;E|(E&Fľŏ&ݱqZ26jMĀopJ,a"]Uڧ i0])NS2b@DhŤ_hw,iCRI k1A"J7m- lO%h8)7Är⌃lI|*=J ("1kr]Hp>Pɛ֗vw"elCWl0AӰb/.ۉ }Y~yxG4`ygfk3ϧu^8I\b]fg쯲ud@7 4HÃz 7:Z[\VSH\.a& 9ζc 쉳lwa#&͕}I/jp R2n;b>Թ`ԅ|@Xe޵6Z{/4Ye맖3`c;Ku9:o齘}s} E=, 6̝y•-}ަs<}A%,瞾3`JYw/p\wԃu$2yΩfd]̪tšR1[+DPO/{e=ܤ\B-S{E `1{8xn۶$j YK ά'wKo.$LgEUuGe!P|>GYqΈg[QdТ|NT-M>S\\ Wi}Aœ0pŷ.i}N#b%+Xvr]04R?u} :tf4;voآ4_!p> `D,܄Y,V|5R|k ,MLO(xnΐǐo޷t0B)yW gUBC< }iq\Ed'#F#ۼG BG ^=Վ2D8poe5Hn`C"=:r5@&ޢaΧCS UDHߢԧ񴓜rS̔"1 O^O`{]jmDlDc}FVce^)l- KC-2!@8pdHtGCaխɦ3yJ,wc+SDKb=w |7H6bɱ=; 2U50cU8{l:cAL&}osp/>i#W:=EyGHpjCrL.κ}g|G׿D3}\gfq, V>-WxD6T \@[m ,FO3ztdx+XDžBs΢T6:*7#>@(cf7FbK{aXkCKϝ12PҠL2+ϛ?LlVq{m_@:UoD5Tj88؝<=])ZG'8 $g [FlkN4Inh䀡qs^hb띫pS.Gո{.R|Z.[+kPÖI/~1}FS>Z={tA)V(Կ:R9فsw6yIi_WTԴ:)A8&EaX~N[l='&㵲n@dk8:v/m !fW`Ѳ zA^솼O } 2-iwfZoА!co{N\>7D}hO}nM1;72-h쎒{ɜV:krݶi@{Jľ0bm-a~_O-8<$1~S7~چb]_ɏJ7.<*ᮂ9>ΊAmLU.9nyvH2+0K*`’l #&q>:EHu>ًFlg]ܦ/dJJ=B&7]ub5*E1I _2h6L q]ybrM YY- l'*UtL'-gC48>gQ&e4qNŢ46.!OJ+"/z$Nhn 3AJR+`-ְg*J}=X A/;S8,oGs[( *Q 앀G40d<9+YKUO ^ }δL{@&ԦG4Uj9aY87hqawy{pO(/ (f$HbNV)gxBJ^j,AEϸB׾؊=?a٫H= ACntHݶn.#ؠg iuk pq@o-y]ħE>7YB_jZsB,&;&L6"!/ptya.iw7=`odi 2/_f1Rq vq$v8-Q{I݌O t ztVժS^d(Tyz{%"^5ݴG vt_}&(Vnۋ4ƳipH/tc۹x/\Q PM&~M)CTUfc|?E&i8_6[ۥ5,ĝ> >R4' 8PР -!" hXI$ C"/Ir/b&|@$0HDFƂɓg~kMDA If(4#E%7ih0 $(El7b[mIeۚ/E,bX"k׮M6mڴg]vZjն-I$93[."3-7Icp 16C"RgIj[dk1"ݒ.y "vKn"}[hX"m濈ܤ Y!Rlf6 ٿQ!"BoߚTݶm۶m۶$I$Ug~ЌoMn8goMr"ي,Q"%IE[@BA4h ۭIn#Ąb&}F/7(@r!m۶m$I$i3)n͍椏"[ؘm:ܶ=Cm۶m۶mK$I$I۶m۶n&I!$ҌMبR@ A,n 84@*  (  !  ..\R(y4YunT@X/k}q.zGdX} _YT} OY^SK {qm[xd ܀/3 ƙ0nv㭛 X|]i4 $~%,0$̓^%%@ub[:|cEֈ.)2o@}xxd/t¶(ꬎ,[ѶҫR%]95/*(7zئU͕v[%WS3W m i_k\ Ky.=Fd%CB2}3Ck6o#yM]E,; <F\a[|Bb"mf"κ 9V_kIh^uxldR ÏZbTh-+Sշa-;5n!NxVdo,[q^0h+WֲS!4$OJZT}MZ zV-J2o.dj1kYϐ*>J‰c<8;Gvz>22hME=Vz 8`Kf9Z^Wuc"^,:ވ疱Ck?G۳ڤMox002\iǷ-6izV:GcELOA{$ q~ܼ\߀.$H3]20-0ȫ.dMInBVĝ)aʛg(28c "cfGNH&۵36L1r^ESq_ Bn:{a@3iI80Rub޳nA(`P'>Bt!LhIIBdo~bݏmܨ"$GIf?Y1-Sd$|QQ5otc܀?u>?e>Nc^۾OZ@^P81 ]^L*d&Zèfĕb>[m)7I<]!_^Հ9Hfjk봥 *7R(eh r<0zUy`y t- /D1I_9ٺ] ٩C+E!,'hKYQuL {80ϸQ~.3Mn$h3F]_jVAGZme}dh r(WEM@Ǹп$B0ӂ4wkC5mLrS١9f& u< ܓsˏqW kYIJ(sPtݤlf:UڗPK-Q↶|MH]{Ĥ};;q^5ASTuZUxO߉hƮ:-Q=_JSUH _Q9ъ8Z<)4K"iڬƷd2aK镑ڹx^[3 $%!VnQ!?W ze[^"j2mFRˎT2szp&*ZK Pz:@ ҳ$ ߁ Ά~'ĠT ZjոjvB-tQ&Z$0fNZP4LdnS:(>ߑ-goOQZQ Ppv-K%̓_үVGBIʥ7@XՑ[Z {(1G u2dXA^\ysұLy]+0PV`F-6V'tThwT}sVc-Tc,={\j!4dUGR8S+[98+y j2|J_'Mw ?hJny)Kd+5. 60OuYЊoxDdZgjNkh=zH\ҺGʺaLU=x[Y h<ۋe02+r`@bnutՌc#\V+Cc@XNMU+2cmYSǤO Y:%DW$Zǀe1cOf \V+HuSLOU_ Tdb#|[K jaQRE {iG{:Bhʨaɣ踛H.0B3so! 3SBKvVe`e(cv3BXfd~QVVm?JM7Oj7sm; ̭]3u,$M`.asmWv Q_z͑$ F&n2 wwd]Zfܵu}QbDh4zEeZjJ=0_5AwzPr^UUHxq-X(f>:Lj;5VXmQ:b ֤e Xm2W'Ɩ(Lbp=-Zg#`mYdVc-qHX+xjyBEX{)^kTp7*h,/VVT,~2,Ԃ;Kw=;$Uj*2X'۱^Bȫ[bͲlV "zⅴAReqJЋXH| *2uI'7=@ъ'ӑ1Xi*Ni仰mX*ieP@q)՛VXX?`M5v+ 5ew,P3oDZҕWm֕+NDMa0 RWf+3$=vm=@XNGkxٮ}ŕ*=iw[}eQtBUBS"Vaڟ6&B[:¶l?ڧDy])hF흴a тcmSY[VSVil;cD6[iuBl)DȲ'CЭWpe4zj8*O=Avy)=[nlvVu[aiꏍ#efapM_ ]/ E͠"U&-'#M8B9wd|CY&d\E.F0I56cd=J08XIg@W}iA e X,%e@-d}65%5H}Q J򉛡Z/f2j0Rh$" m?Pfȡ"ܾ$yTA)DѨ~+Y0ucpFUfu1@tه{0(jx76-H@1blڧo6AYd`K*KY sOֳq8[OY?pS30P[F<_8],˸W$]خɶ2!+gRiT8Yf{VO(tߚ)lxDJ<$+b5 Yta92,lAQs:n#0_)\Tr-8:G1ưr XD@ {F0/O k,wʉj KE: I)yH+&}[HWceuRKv)JY;p#]2_vOf]k8ni`l'@e M%Ijl)UE@ 06o%OhݿpïN(ʊ4qU)W.`Y|aFaVaA>ꙝUs :z(>㌞Ƌ f=EaѽiT=Y[p~y +*ժz͚\etu2֭fCׂGFaMyrwn2p;D=r{o_6Yt ]JTQMKzOo bfxzB(Lw'\󠗿4;Ҙ,GOdm_Ԝez!F5MD?2LдEo0Ydw\,ޔ:Matr!M#t\l>x+{ʖ[DP@Yٿ 8* JyWȔ;8nwf]՚E#ޙULgwgf,j;ٮj2}B1͙#춫ږ% FdbYjfgW5 ID&cdnڱDdg"txW3UfWM8pl' g^B@(\Y9Ose˺oE˯< ĻV ~VYt¨< L %%9(ńjtDŮpY.~;WaP"qٯ2#vUk^:X4YCO( p~BbBd7ƀz?AS^%"*P&~2˻3юhfwgf3flVꭙ  ,0.We+-:P.X.TU/*ۧlFe_lr3Gݙٙnfۮj2CٯjogߝV':gGjW5dC]lWL&Q" BX|qR1a$jiNy8" c0*ݤFCn+B Qy@ =ǫ6bŜWʃT$,eVe/peewfvUwpWE*%2P1x  (!(h(h8,"#ӳG|%zIX8*+ĻU=s*$Ö2G3ʗVX٢VCC@YEE ҨSS8bNRK<|v$8 łUECd(gK-sJIB!qNKD$li$WU%b]`;UkUv 3044c <:4*0*, D  p0ŀ4CC* qS~=RM*lfQ$/Yr%ӷ4ufV,kAKG k 5̓&BB#ns@.+rdY~#K2M/0`[[QkaN8h%O" ߙGΖXR; :SZV0V`q0G1lu]CUV($l`p ?ΩC?7HZHcSE*PP [̾xgʄ:BJꖈ,w.ky#OASVx\bX ({2@V b˹89~0z1 .:*W{ijO:bgU4?pY8py&; zYֿ0AQ4 hZL1^?R+\ခꗕcΆ yĚujխ2\ԵU#A u=0Vkm}3E/\a?>O~4L2)>h |<0^SIl1L:&0&ՠoqSٯq"Aj_S .6 dxl7`?cKqRIA4EωfT\Bt6#w}ӿDY/FŬQ,0ݚ(R'=5.IUn=,$`NDMSkVlͧ`5lߚSO*bj$"@uH>Z" r T !TF< 1K/Ι+fS'a OE^mn~U}B;Q3 |HX]ը s?٪NcU%[]&;xi_ t5DRi 0bſn7]1%TBR7ۇmSk8ƓʅNG? -}y`EA^= 蚸]Og 噒U6Y-^m ;ە.?Ȍ.L]N̋ iuq& U@cx )@hۃD xw&<DW~rGj6AQ}S [9^H>p qx`y)%%rsG;2Zؙv2, $y-SqW"*!RN5/oJ`"h=){KQ"=y=E+{7bz&U7toMZ@=bζЛӬCnĂN̦+#͎1[C^T [F1NV1l= @#]t`N 9G ^M"SVOB;*ѬL{%ה܇L5sb[1}?˧e,1.nĆ0/d2sMxѵC[k9=UëϡQZ'Ė"k({Y;wg|yC)u̼͔p")إO5!d](((o/-sf;UýK,N%D;>2e۱ &w]PcLvJV74Y7f3c\2#:AԤ#8,kMb! Յ0X*`Ow6]gNrh>H>練ƀ3}DnԜ*Nk`- Jܿ~HYe#gi"t>hUWd%A), 6ahӧ]nRnd="QY="k2ل펼 p@?Wͪjd&!8Tںp;h.k܅k2la>bԇ#Vzl9g>|)( lJ4|U7KU6Fdԏ.oaҙ]t[t5"M{u%0FBEWdt˵E?[1F`W]G3=ÓJzs%ݳkDYh{S6ph]}oj 5m8x=+y0%b(4+ՍQ% Rlc8w_7i׎:k4HqDQEƣ#8-&s?.w_i^\,w]t*N_Dj1Ioi#92utq2 |ǥ~ 2kvmb/ wjg`{lM:)J⫶#4LM\قQPܘ䮗,G35r@Z 5ŷ˶_] LV)j I/Lݍ>2}B୭Tٔم62IV[tQ@W9X?3K_w0!~P_ug\^lH+_Q-Y`meY,H0%_[(D,p^4){P`~5~cE=LXW.|̲z;Nʌ>ac/d7 aܖtz٪_lf,&,!%H' لZh*~;A0e,JۂuW UP j \OQwZzD)r4T O9pbO9Fhz{ؼU Q7߶shݍWq"q$M QzX7&N(=Z5龊P(kfCƨ7Epa:*1aP9o{8*`/ǚۈ ^;E0 4*V~V_3w[?/Jߓ_m=2wZ-p?P BC^߻ֱ@:%UxPZMhЀɝN /B'|V Hs2;Iy% p1Dz{?~=DۦV^Ha_dğf$_Eec^%XL< r٫e}:v_g'4PL.WM%t4"L~)EҦB%)򾗄Z\5y}tHop߂x/OW(Kvh_n]ًIأeܦ1HW:W$a6r #.j$cF$K Mm| 5ӸDv_6%2A`h+stud[DEY><ZX aKJ`S2XK/򏌹[&pm͜%|5SaEc_Uyitho']9;f^EB6 B"V>kc[i.F 7Nqh)^^ J\YH% V|?WuQ,{۬ZuaȊ|{WpQ~mxsdU)6@]34j.6g`Ϛhh$XH G`㴈o /HR47g0p}A|". _1d7dXxn ծr?2t q'ƨ Mq^}@YqOMȆ{X1;q)beU]U^ەaPϙW./w ͂>xm k{T[;)-65),³?n;Yh͆e{F Ļ,4OAP*`$Xԭ,Р͇!W -fYZ[)թQq?$*:]垺"Z}'5埄WEر_A1;դ C1]0@t<(X+P. x nUi3REfyHW:LPB"oo_xX¦!fѻ ">onѷS*)?eqo+ivo;pY3%˹4B

|^u[(x(mnWDn!fYG٢]_[W㔰st1s &.r/g;n'P㣧 a@C=YHz+fm+'V\KtZY(o!t.L̛*`؉Xos(_g SWo'r,*%q9|~hI݌a1TgDQ(J|k!ĖE;^!c! JH̊/u*;LM7n96;KRm@;j3Nvc{ȔogtzNk޵A(='/O.:; !ג?ZSW o*8ʧXm2926؆EGsTa`OBO{_AIACajPؠ΋Ep8-㠚AM}N *L9bŶFmMT2Zrh+SX݋9,_?i9M:< ru0 wxLp3зz/cyI\͙@[Wp8NTE˿3v:Ypw%8xavQ4%:`K#;ZVt-0ph v"*]|#v7[C ~: * yYOΛv m7c *Lv5F|>'\7ʎI@4QY_c~ kF]9@g" _H#b7Zpa0#OSwVOwskuE3xMy9 ;W39ДR90Sz7eR JSb9:ܽw\ ecCAIB?3TwFk5b!c* 4.PpN0Oh1A˰=L[&5Ŏ]Gކ=S)ɝBrbq: 7irOcY>vE8vIyh$JC`Er.P2jqʾQfhn Lmj.(V#?ߟ^Vjx]Ogl] J<,0ۓ-,Re0hk-{yPgĆ~@"Y_Ќdzih0*ȑQ:⟁YNJ~KS63ޙQ Y:7ᨳ@'#!Q@vշM)4rzUh)n-(~ B!7Ųe=HrQTyH:e|{=\BbSj5˿8l̂Pi̲6ҜDR؊AXJ3"]޺)9ܣ]=NAvsYMia+u6Dcq_XL9x ݾ~ˁ|~UTd,l8iP)"¯\) jE?eGOF2n$qq9XScGd=TV8s֍mAl7YjNi9&2hqYDZoY,&(_D 'ddG@@{&CѤW9{H͡և@$K44V9kZB>+,{1DZ*qDxRqP#:9CjN(Ǥ\,ȃ(H"!X`"}3U񌫭/E_rf clw?gGTHݷ7(|"gJ]jrSkV0flOzXW4e \q1AVQF7cq8s^ݵx%Iܔ0 οecsjK,njrLo 0R ߅{qSLČʥ0ք91[mQv,Oc#xKTu3#[gҠáU0|Gn$y#w0|Zma_xkvlj qb\D˿.LD>3Uчi: Qv'r+釁'!2恢CyXCf/*}Cg9e/j6B6%Fh 0q)C[ȵ]4mwxGÌܸr僯^{4ynQ̯^/wTYXٙ=,5|)E(6|7m¤ƮEfEϣ$J\6lq܉]@[^\y~z3ɶ[[wgmH{tb;ah-8 `[!xۈev$,V?wKIε/'lkq~1-Z CuKj+z2uJ<8/5eZs[q sa^@*)ΉAq~ ˊ.~ZѾH;N/3dž-:kVmg/{i)F; h/ۑ ńIJlP]@W  Ź݆^@,fzu( *yj;q\Bq>/sw_@ Qڠ<PKq^3l|qNv%u x.Ҷ'Ю_ Jy#xHsimdH[/ ƹĮP@y_ꪤ=PϘfz7@%FgGk_rIn$>@&i >q VB{38;k|4e?uOzx!!5bH?jb窝De+D2oq?1uA13Y%ߎz?!]O}'p!?ٟ8?qqxs@Ǚ#?bApS>hM xs~bz?:<~&oUyWG%SKO*mE mR4#o~2?UQ!e+y:"dOvy|(mzZ>p~x:ƹ>t>q ~>)^>}>Ux[ޮ@<o 88a}pns)U @P>@y:)( Jڀ|0$eR5'm{`B( d0㍏?'\ħstTxs}LsW<]/*s)̍^E&p89BӧK$G6krD* ̸ p?BrbaF,I@-L/}p_]We&;򲧌dF Á:6YM|I[qx0I䫜q=AKȩΖ3/g"`L#M "+ ]XYcVAC6.˟k@!Vj}em9G%Pg3Msh]A&Eݡ0NWyB^:O u(*E-Ԣ -&YݢL[p09'>u.~[XCy)SSϷBmL shݢϞ2iIuf{| d(:oCT N$4t>sp ~uQӹXip izrd9845B#o͡:,XG+T_i"]Rxs6) nu0TҴQ^nNCCDo5F"qqM>&Q16up#DtS.Eo[${JE8c50#!pv;eQ%x x%k ӯUlYtQ3D+y*Pk$oobxe=8#cM۱qbnQYfYgFR;^}ŏ@b=%!@3+>ęReUՆ]G]vc-oS2Evo V.4r)8|H8b겁@'9{ }&ЊqO8ӧD*b?&-@TN#f%y-qk1-A8MQ>qQ#s4{ Ƚ&w[8*Fw=O-P;9J7R5% |6G;*bN/&%Yx2vz /h eb=J*XEu"&zB9v V)~N8VLS, GF,m)"B=_^ao^)дw4%5A1 !A*% I)3)^p[O#@fsVcp.O>&#|)ޒJ.$H&fټ6_Ms5m(K[_:î}Z+R]w b׭)%_fyQcgKt`LdVM5Y0d_8[m0)fI,;<'=͌ҍ}]3O158^zPT.n9NoVse~kLK`3kꛒsT:Q/y]+Z6m$oǎ;09E,/lSXQI3ʠe٦BۡQו|5wy< :啉PeDHc`@|e̴$f5}+Q0<{'U4oLAhRYy`ǦWJHm,a!nڇ5 \=",QRbHI)]WC|g-!oE9 RY_9f(qߖ&ʍ|9[6 [fh e(QPN\G N.?M$fuA]h{ v1vTٝmxl, vRxBvЌ^>힆U\L-<Ɇ]WbT!T2SMM[%#bA4G=%"%~H¶@7rpne,i&x9ݤq Tp3Z'2DJi̎Ad)i"Q2rSWˎMB f#Xj,ksIᘞ=<~(eG;ͼFgiӿ?t?I1!GH:}7q y1^=<#v F{ˊFÉ201*W/tB: <#njbV5'1SxؓE0r&!!;ʦC!G8+WXODx#I!"xP=[K^K쟒FbLctpq`Ǖ F}-O/0#7?Y+ ݏv8*n<ЏD`T+XI/=VE}"]Irb^k7ր[j :"CK[-=!yA *<]t4BB+.WS5 ɧЋ< ̒ʘOK >a@cPEH7bT0qSg8'X~5!'mCO~hҗQ5'" ׿kh:َ|A:"0RY#+/[k^*d=Pw-,sxcěZ%RNP<%݅ƓFl8]P5q.p ń?$/b\c$ICf+ a8j/Nj~B>pԇOrC$ '4DXE/)hdvEY {b(@}3:+5 dY倌n_H+NKx'%cNlkS~ nRK|b@(Vľo.QhbؖA8ZƂc* ᣠlnY d1^tI+YsSTT`L\V[5y~-beX1@<_+ue' kH>y|r*0zJOJH~. ir'*lPUP[+NUB`kCXژ.d.In.d\nw4-8^jkVZ鳯V95xŢL)QT#@ҤYWoaEf}cU {gR1ڹ\q(kC)u 6䅊qYЧf!FHʘ/E:[EE~q(u$lf8we16W97QD\-=.F;D俉 _`"j  絒hILh=[@-t_|J/[HERǴ 0@ͤthF'hmS˫&KC%s5.wR$ʤ#`&Q@ !Q#)ŋLBjd^ҝdu?B>*gݼ d,ic<wo4뷖FG 1 G׶X "y~'ܦGENbgDum0#7^!19d‑?U6. fc#ڛyGQiԃFDu¯=412[U9hϚ4K(i7$yfJ_Уz?78;C{IWyDLe{JL_(=OS(vIl -6M(}LU zEY0uY/4Mi H+Llq_.rDʁV(c{FPaUxR{$j HT7\PNw;*mc{7̓_+rm4f+11Dy OqoMV^"5`ٙ$6\_Q8 !*bd,+׋ԡXPstv]͔`<;݅s2?.;aǞ@9 ;d|V-FCh8>93Pq]vs`U%͊xՈVHk:GܺL{)Q`vsV)WAšى?bT1e@ {-Ldqڐ" s#19Cǟ8$ (z8YV2;B]7av,k•E+b.z|JQTNVa"TW+J=Bޤq}E e*-rG1g@U'9G|͵ҥ2r# [0;C$~h߂~nPr\{wom:U@@4B9w6&CxDRР&GGA֋r} *hl 67H8SU[Dނroz96D,Z/aHMAOV plN`bmE0HD+ 1#` J{HUI*`.ذ1s5o2D&`2*#VQg\0-l2xUGt.6ѣ72͑wC)i'ɷޚ7=FsK|t^j&# Ks r !*ZYTyahQ(#Uw2cG',$[W$S .QZo]3羨.fIP4 }1 _1>A L{Ad,FѲZ[jm̦)`(GӢB-4!ҍfUłs1¾,Е{lV~GUզVs?yL}GR݈"2 X0%9i;c(l6֌u )L%flx5e|&X6s(e|JY(uCaٴ_3ƛU,P}n$1Q_X:)Ȋ+9HQ p@+:T_1. +V=u ՜e_5BJA3[*.E,) p5j._ /眰<"jA-0 s] #4|Nt t%akV w k }v-+D,$Z!g-kg˱Q;~Hn[(I;!kb, 7ib2~a.ln$bܖ(;?lY:ndRȑA`k} ˾R-[Xc͛k|]%DZrhX ט-hldkv0[)J=a\D`:RXj7tRr*u{ ꧪk:U mS|`@bL1M}F|¯AK喐-4d +9-^rxkMk(ZG#lveʐΎ pš'ml]#^1u) FJwka0T% f֭2};ukJ~An'Xr}>ܜFg%.iIƽιcw Xj$tTyJZu4'of9N.EG 릢1xHNFdU,ʹ*?B?Ԓx3.*8S!biJjȌ5$C嚁@Q۬A}UvfWnLѸXDYtJh`-$̫n(O`|%< t뛪TO`JQdᦨq[+ v4qb1)NGC3:טqQ+X~^Kxdáڻ'KU ' `%Dv/$,\NSy˘0S}0?Jk]k+W24JG$,%SL%k944x6iG}$U6Sjտ(>`;9rj̰(|dn8`rӴ{\I8~ltʆ{)}.{)FK_SFUے(,?Y@Oh9F0*pRL-[_(+fo;0]P1V?m_iA>ɮ0EO-K><4f}I:!E@;_]&VOYߠsEDA,ׄA?0O:N%Ab c44^|PqD7wZ~)i>y D\|85dnRuS %cE/Lu1x>9nߞ3 [00-Xa_,82P$^dI۶nF}>L#!Lm"'cӲ Xg(}$.rC*[i9 6dtdvZ@PQ\85[{-sq$0&昔u1zpGMZ (e"S8 GƒgW#;ł1c+</PjE4*.26EF b4!#',v_MrXF^bl* Ҍ5 \g/"ev1A1 -jI)S@ޜR9-˗D&- &"^xxyZUk U,);F!M-hvmTr֐ZlñeL7!E8- ɈiabEaPZt1%|M*7AT"&l# 9~*U ÊC۲GɋN3\ .CKUNu}_[ cj`2JiݽeUw̆L\vEK}|{/C'^6#{+4265 #OX\{s-j 0#Z<* eu 6"r9 OXM/~Lp, FX+7~+C눳Yl!iP/&DJ<="Swˈ'Iލ1`aKj&N5(sܑ%Ʋ$:Upr.=TxLKZ`#Xۧ5`9\>Ɋ4D6R fDh. Oz3Da궍[8WeX50z2oPzԺ\+>!"n~:0IB{AfY#oi`I%Oyėk4[+3Z~q5%b1h'1)\&W\Nx@[#KF=IuNocR%EYQ ;>Z0\?x.?q箯i d"@ec]ʵ6p1TnC?; [ub~yUDؕ$cFYk0>7e,xLlreBY~Cꢰ{y藘- zG~̩|KksrmAQ? j xQX1  LJ5E^93L\f0>=GUKO(g=[tH+UᏗPDγ? 0@N nuW%*'=zΙ)M-BP`ϵ an"F+^T>_ܽWN>c/7kСÃ`v*nsU)ΩmBAU:5Cޫp{>7724"x dҠ #<4aGǻȦRNcqBW 'f%{d5߃CDg$ϠC)[ j*^RpOqwXi%B,y VQruuu T=1*of7L]tnwDkD=èP IZb7߈h٭ܫ,Km~o{?g^hͥD;sÔܶۯv5JRN=a1*XsU[;Bko0B;K0iÔe>qM>VtAm|πϿ!D(xb˧w{ȫ0%ҽ57_$ Ldejiݨ|yˬnͿyaRwj Zkٽ%+OI.byu!nRX?v,.?E{]6ڣ.>Weɑw4 83W0g_̘K JKJa>@{A!@@Zbe}*=ePc[}&g*!$ [ĺzq7R{NˀST8ӝ_; tux' 5t'65Ns[hI7ijw.˘qLWn=@ju{fjlJT@]+29@Qل-'.aV 1VO bRh${MfQ:g ś`)O;lÉNO}fKp>G9tOО,2ckϰ9V|QX3%dLz{B v܀h8뿵1Ju [7Yl UPʶ7D՜c)]_;-5 '5sUEL 탞?a*Ȱ?7E;c#縟p:<;:\#9to49yyùp;hp N$<,u2@2#h:^($7EydGq/'@:OlE?>s@Gܩ}fbKb!7In\ة`8J-C\ -R@ߤ},2TeOΡTJCs݋X'Cs W.F]'%rDRBΑ1bu.RĠ]_8$b>=ObRn\@UAu6Vzփ@~ nZ{Rz\x{$ڃP'E}x 0 Ry=jN,[m;6-'BV)3OoAcnZni%O|TA-^".*ՙ}GPmː!  t{ G-yjHV̨PK/'&ߨ +{"C2#4lPR0h=svUӴ"2lʙ?t ׍49lY@uwR[ >JkHyd81ƚ014Snq˝+]b/7H "aU9=y@!ڧMZٚᤓpg pbȡcOPּ#[爥+!\\~vFB+V>m>A A7[ I<;Ιd a{,QI7'ј pzay+YB?># <dW Wlk9l$nf!w`8V%]R@5z-T]t!s2:GnSpna-5x`S5! 4+)̙Ag.YTxNj-XvyR.5_:ݴیh8[uQ 8ҁ&Z6l]c;fa5P+tu=Cx?&7So`<; [gX'(CZ1:-9B؅,yjfb9 \&YG$@U%OkOէ/6+yDQftF۱޼uRɋb|= ϚLvP> ~ՙվ\l0\nD+[ܢWv7e^o+ôODSD?/<_f;# n\$?+gSB'!Z0Vr4 9θlI=&SbS'w &J`{Te@8g?_EG)@P>CG ]SܸcKnzhv^z-vDƦdF` o1R5)VA\j '_z6N gs,Lby)\ڱ7T1\8brShEK˰ pzTSuUp8-jF@dMc}gݜݖnF8\4?d&ItPc1wiAx]m,k,W@iaPY P`@>эo׿$m[ͮwE Gaf͸kXb s$Z>O@lF_xssA)b##4`pl9U3؆=U"p\2(г,ykߤ.n\-@_~*yǀP ][`ULƚ4 Yvmn̑3s T=~1Na$TBҺ*]_k0%ɝ>p@^)QoL`d"vܠ8T8]55zZE=|TEaxS KԤ *vK _el0";d%hTާ(kwΪΟ(Ջd_l1Cn75LcAՖ0KBdy?fBJNFXuJe["HQ$ ɞD?fj]>NI+tW .O bUb=TPpZ&5/U6֒i%(wc@."' k(YRʴ+|6Ұ3.k}#>wRBQ1`Sh\|ruP[L5}r1Fo͡;6 XVA6iVn*Sh$ ?Tnȫ; '~NK0dxB`xz^     5O% :HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7m r-Pg$>s:33Tjb>.u+CaɔW&Y¼cКztɸWj:ZIKƝjH/C:)IF"^f%ͧz0N2?H\}iWXWDGr |yN5V: `QF9 mn(àvLBa 8܎zH^9 1@'In"F !<$@[Gǐ=LOh) T,E aThA@L4ւz@aJ6LL?yĎF!Ӓ|x@[q!DKz@Ey`1 V9*CB@q0J$ b5LQ֒8I!ˣǡ@4B5_h8 2kIH9H"YcIQÆ x rJ$٪&g>L&f*j#&>_Z.%jge/Y%۽Yo7ZvJX*ߍt35OWZ^;qT43%U<`I3D$TQq˒&RS.2VƲøP$1I% Hr "(BZQ#@Y@* B3Q{z?1_L 9iIh ZZ#rƻLG;d(!9aIRSO䆔 QV0 4ͣF#ԣaB LMbqov M4Q2&;NN=nmg_]]8=Y}>?Bw$cR{R2&%aw);"j$|mȆA7%y̖X7"}J~GPֻ)Hd+PL$EP1<&&(  BA:pBٽzY:5k~ޟ,R䬋эʼ܈yy7X.pS#iJLLěiz}7r }&mڦxHi EmU=MI+z%ּ"ZY#~?س aa%HX>6=GonkF\^v因xe z˶D%ZZ626 cYKh+I2?#zJ$n♫&2/ݼ{OLJHY?.z̹݊oZ3uZv&gb[#ު8ʣH*`|ߗSS1'0|t  QKޙ'ozzZ[[+.+.*, Kt8i@CGpYJ虞 *  BPR0, PFxWNapvO HImXl:Y*cX™E{(I #G:! _ 5O' 6HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`j]H&"0m@-UvFXh'GNPSfDDX= GAgklbՑCn&UrVz "Y,xռ m I&.HK 0F: R-cI' 3_JgiD0?fD%o\h#G"y+U Ѐg2q;aN<|X„'?*/+bҬxGQJ͵7HYfԊ%W%aWoGv֚R,_֧nE'+jGu'֥1щ44cn8k-ͫN܉!F13KNqrj"͝k8VscTc^ͬ\RREH2j1 e@` 0 !A !B!@d1FF|.44Ӣר*^t7JJP:\5a?랶MqN.p&GZlK\,S\O4i7 0 faM)#`+`v?kQe19YG&#g\_ 9&zh81k.ߌفRT5c7Cs9OR=Fp Ga@qN : |\ :GVP!ZVQq hO6m$wrYlv4 ! VMц@Ip7ɔh }` TB8V*ˉYcshBQNNp%8õny);ԖkIZN`NKGEZ~,< n)|(yozXV+ )! +T0U!Vc*JJ/KnL.$Q2k_]H?@ oF":iT>#yYCRQmK r,U 0l\VqGDk;NPH(gvi"_:+zJ>'RE~ZyԬ>MTxtF)'5aSO,a"~z\kl ^I&O=( nT~qf]an[N}Lm!GYƾBޱ "5@rKbYExm*[Z*H5JT[n-q*gIO̷#eyVpv8B"Ȩp2l'"7V2W,"B|q5,*P0㱬笳AuC ^x^ ،vuab,Gʏb M6V,iE,^A#FvyY M,7FvE ΝUly}d 'ѽUC襗Ģ򞪐Hn8A_;sc*CT.Cd r@eR2˿r^WdY~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