SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsw l}~ytoje`[VQLGB=83.)$ ztnhb\VPJD>82,&  ~ x r l 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 δ:H-|5/c)ȣK"<ꯗÅʹ^QKܻ1_݁YS[ˉߴ޼!NfpR:+qںb "pH3T[HjǤ@ 5,:9  S5K% $HOL-Nominal-ExamplesH{$p#j \PL;΂ ʂɂȂǂŁ|{xuso&l%hgc`_ځXSPOHEDC<;:9863w2t1p/m*l)f'e$d!_\HGFC@21 0 + &   }|{wtsrpkidc\[ZYVSRQMJIHGDk@j?g>b8a7`6]5X2N.G,*'%!  ?821-, % ! HH+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_Machind?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesqD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marcF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!    5|6dv - UHOL-Nominal-Examples:threads=6elapsed=350.438cpu=1730.753gc=94.768(/9!(MB? ʴ][5)'7)KϹC:eX,pT(UsCYFq_ eW@Jf(S!fYppHНd}7$oZ֤?1ʭdxcn/ bDD "E~7NQCʆh" 1K;fC [ey-r6?1 BCHSrH974v yhpp`Xb#Sq4!D"aim0@-ۍh4C,As^e& f$1eAH@фiC  (5Ch pX&q֣\5(D ,(B@86̫)  )kѹ`,<\  c>szދ`1*! a0:ˏ^fFߏc?2Hf "pc)D$"  i&nv5 ADD@h肂CCTaDbA(`~6xH=ZV!SWmXJwV>epYI[/VͪeUZ3NDD&KxIjzJ|ּs+*IR{TUrАPm䦟SM6OSpv$[_jM)TјNдDiH-e MCjyNK|+bUϓzknW9&Uӓj 5V\!IQ{zj}Z筌CnǷoݣM{iٲ蚞ҦK[Ӷ$jkg{^PڡDZRcK$uHd^ɬ~bcLK{s['Xv9,_ɝ]Bo_+ɠvt蔑S&ZbUMW6jj{M+"DeGTF4"UDEEN"N*2"$K#sU++Wud6?d،Zk VWoU9Wf(gaeSRZ=ӸD>.bٸhkG<wEg1K?ܓkwXe6]$]Uz>6VbS枪QynVT~xLf~B$_+үٻ;K*{R-Qd-ۮIoolX/U*tqFiKg{NgwN 冽a/fUdž.gؙ2hTzTYmtHvVbV'9BESg{yRGJϚRTϕL{~z?*j=3>jO2v 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.thyL dؘ%>j#.33;+ێt$Rh}kP7f/ ulͫ zy%R\)8z >*8kEKvQpGyLxjX5mQT%vN0k#t.ByӱczWrDug|/yTy0ZBēHkkJ>Z85^z|Q ;#oQ"uU 'XjfjA0J &s0qUHH@Ij0u9!%hv˧5J-*(_\ V>cMc{Dc~ߪ$8UJw@%lb Cx#:cv1;wA< ]ъTP_9Vn(+}&7$"n*9tB3[Lq^Lb,S~Z´#Ĺ\#t}N]Qp6(R4>Dol2, .[yaWo,M-F;@U@ ? UnoBF ن̴5zAR9o9lgmkG ;Z$l:c%* \ S QTJ%uLy\nKwҲKIl9*".W^O\t]T),"-G 3[x=1HP3iQ<|w[aaaP8W x>4/E<޿y4(NaSIt!Gq>.RJg檓36q(N)<"HF{;cb; *ͅ=-js *g-F/ v!Ţ낪1-ɗ"^RpuH3:s*V웚<&Kms#QwyDɆjؿJRS-E. hJkXeX]\3r0Kxi[ $NN1}39dDZd`n!rRdq~G0ϘKi?.Yx м٥Udؓ8.=b܁'<!(vc7S{xዝt- 3yh[{fpfB}(q "uT-YЀ6f߶-#G̍Ɉs1ٽVXv\Ve^(bzcP= KĻa NόaV5]~i,:bez5C%: A̦yjlKncF伭{sn"%/`鸆1е4aw/H,tw10qHe:#n2t> `,y@]@|5Z^P95]z`nG5S">Aے |M-R4iT۷FUd83i7ͽTq_GaխZnt 6O;"Qi!9%)!$P(t$9t%-QJtd+¢S=Y:p1D:T&J; `|7緕)6?b4t­ґSkV2hƾ[5@:YpƩk{N~a9WBgXPRJeP/p[S 4H.bzTO'v>G;WY +^ZON !D{,wB ĂpmH) CU%q&Qi9q&U>9?dt/[&`*6}4Qa1ǩ|C/aN&7 ɅOy|>b #E"{̢F yC~f[>{L!𬈻=^%2u /> 3 n/2 *GueL Vy@0R*$߷??14w\5 86uj]OЪAb\#h҆VާB{͏ eQEȶH *?# v9q/{pE{ >˕x+5Q|ڸwzd96xR_8Ggk ."(3io܇8s}l09`LGQ>s^_],HR(3&ʵ]I4['h5ol]\vvТH|Mv# * ^m?SnW#Ӟ%6:nVN[ 'F[;foI"!$ B}"gt=8}hF`*vѾWhIYRa8J&K?ge_Dx <xwJ OB}-4yyw:@ Z.cO OCLJLJY27z5O3I=IiJ]| `{aQB~;\ TqH`xF_4GoKRSU+ SFqj 0uU2WLl칗Din :mتR?"hgTM@5[ M+)Uc5_N-p㚮3zTnSmol A /~ЪP@9*]gmL`g* i @)*& oCcze|^,r .;%AT{פ,bx$$`P pZmw>|ɵlG>m#o-9+!ڧS9C >W6_o{FYoR ߠ'nKҒk__Hl΍u7t ж~&cףrn Bb`=XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚*60 Icx`@448P ( &hb9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$ @X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c|Nʂ\%0oS jRz%HSȱQ.SJ)I)kxhfߌ۷^'0DHlZoo6͂hfƁ={ٌy*@x wCBC[{ QaΑ%9   0 Hȑ@pWrܶm۶@l۶m[-jZUU=EUUWUTEU3uJ37HHhB d.9o Ln/طo>55yMkh<5X,_Y22*ʤIeL*dc8Ʊlƶ0c۶m6mlc[-2-1󻝎vvrDsn 8(!$?7ӷo7} 8x4ӤMcmdlK"ٲ$˲eYȑ=@#j`bq5e]64n4F"8kⰦEְXbMd/ovf"y?p>wbs8vjgءEi~TX@`B E($id,$nIȌܥK98XDA$;ȲD ݒ;l#ec͹0avܒogXXh|^H`}Du۶m۶mۖ}xAAѲm[l&CeU!A$*rG0DH84D0nKlݒc+!-ۨ A,I:Wu]ZZZ֪֪֫mUW"RQ:V.vUvHFC.$PKΈHִS*M;ie*2vӷҊT:J۶vePt-T,&V# m'Kq|D3O4(۶m{Aa۶"uhPԮ]iM{ݺ =N4(ZmU*<`2&$ Ms81=n-}^4#U/l\m*W\r.K$L4M#L$ɴ4ofǛS.S"Oe0&1bXL3qGd<ѠˈGls,ŃU4Ѡviv2AP0H8#=u ahpYBaP â@8 HT<P HBor-/CE*HxkVGrD!*g9Q$, xĉbgՓċI[,3djUuЯM[à }2)$zF3*i);ⰛWn0PmQJttS4 p} N" @ ^g(5~sWqwe4kZo"WsOpG\zC<+Qt J_)or<=(O(,b$v" cm4Pҍ%?t清}`XoZWA gd#KXD+ BAYڎJT fڠkH]yZ!ƽr;K.7T}]`m}<˅g$9I~ yaԪ0V89 xܦC*i֘?q[Pa^9BcY2X&6(; L,\{cA!{U1 3'}˛aSt@8-ҷ"A\[tSr caW= =Y-NYX^aӢvyCI0x>*F|7z$sri0xds4VF׭ۺ{Gs3F +:{5+?~ZϴY PIVn(!)>#7I<4 _gPQPq7]!KAR̻\sWJؤ|F4,c+"wW*f{p8tF.# ODTU89k?5a2"w77''ʿJvO\~3օ"~ kR"OxY#_W_1]^9H n+P-$8yQY@** ,&i2T̔dY# caoH| 1dg|@2D2#@ `% `Y_}T0`GRNfz[C1۱Py@/h6eEdR$ּ7v[m^h''RCCquoo$N}mƱ)7jWjrDRͺ&zڍj{RWM&[Z`nYw$-[ت=3Q+xRštև@"˳SN*my )g7 3McƼ,oS& W rڪ5`3U4 9\qҎlt|&j:d0M0MYR&)SfR=K d) k9(nފR>u^O1tOifGSV|) ٩\kmKYVy?复]MsR%lr\[8!j] xEE;k M4;MfT-r 5_JO1):i\ +pQLlX!p~o9*,v7u>Ls>ޙE l[ZԱAG^_kc'-KQ{XM=8 [11?8C#˝죀k<۠n ©щTuؕw zsFWa{d2.(γj&~* %,r94mC5HCxLs$OL,@B-K9c 9u#pѱ۬H ]Xz4G)M7Ez-E/ʚx! |] ~>,J=Uh1mB]+$l|8dG ^K+䄠.D= BQNsDS6uIB@f'50'߷lƼ@6]­O, 0RAE, *ιc7V8cߧJ:X0GM(#!A #A[N3À[9% ΌS.8YݡvnR*溻ܳ:;А$᠅0݈=f@23d`R%FLfS b%t]hmỷp1vf_Iw@+9 I*ԙM]hX۱)EfLjԪ$6$(#o =Wb2{!2"k7}N %Ҹf. J>K(*>TQ\˟S%Aj!s}-ԽC-oV:ojᄋ*9b*ׄk Rx|;ayW{‹/O?(ql{ܥԚdSFa+<ׁ4#4'vS"ڣ/]i^SH1r+mttb&/TY&Pߙ~ئOg-er8\ +2K i9%km,(~9JzqYDt@2΄(Y+ju5\W=)|ۧ)WD`Buuza7ޤUA<o(c@OLxP)gw!/:|1KҨ|m* Zz)]4ZpV =<ɀZx?>%<4? XhOSZrswV "&g`+|J<$D<_-G\c-$$)3pDTCd(T']Gw6)Yr rpLAU"rnN޺-xiGnDdŬ&cl*34QκlH52?v&W_ ɸ$ƝSqW8k^W{T"oⰥ0Pak L[6㒋ጠ7/u,riKNRN"{u+)GCEGauH X #Uy\f LxW~%|y{23iZ=kB(t9uTdGu,㲔P`~į{lA '*aȬ!qON't*'+'[!=Tbd_'jV "i,lN\E*F)xjK~V=no.FB6A+)ٗ(ׇ u)AGvAK} nP|EpU&Jg6#)(o l$>av/(Ǵf=>P7!Qc"jz{4MøQ}='vRl+nw^{lO;/yP"@A엓8j[sh|zb+e410´k$l3PydDhWveKe TJ :9vp~`vy~k?tO^sCXΏX8<>V6F߼ Ttw]AM0‹nJa8C|jȟ~>9~8@;NcSQ >rIJdҤ,JGC|ӍzB0σ{ y}nA|hSU@Q !2o,mXlo,/u!xH$"3 ?5Ƹ'k`~a@A"L([NXP!Q@׏f/IKlf*zaZ pcUA~SI\+ݾ#XUnx`=ͼ!"|$Ǜ:6x+:ƬP 7`w([|  i2W\+Xs178A1dp (!"'LS5~'U 1;;IN\7+ayòDe٬x t01pkm<ɥ4#@|MNqޠב${aE?R4؟)#ˋ*gvĊ.g0!R1H(v\{])?9WEtۥ/1mOSzl,UdG"xE,DhH.nY,5 qψWk"'O",U՚U`^_T获 p',kkw%+(,Nս Kr+,] GREX҅fH}ϩjx) R~A}TĘ1d(V$I̖]*@c@zWY9'NH!WK@W*`>K7Æ?Ɵ@y8Mʻw~]&^{r7Ls*Hp-%d#ik:z72vny߆PEy'N5(\P]6We NX< C p~hk%l _ڡ«j'0pϦe$樀1t,܄3p޷ol0е'#lab0(%Š4_N ./7O*O1U/#6%@y& x . YR޼ Tv 4t9e,DYQMأ.o3rre"bc4"K\?*+חܦǷl:@feC2)Xs3ˌ$ymH=@'=M>qhju=%RD=/)k&'JOZL2Mx$2tUf1$hq4o!oVI1?+5ϧ~+1H{H +0Ol;XV.D6 =@|u]Q(m9s#fJXC]@CvYJQů"䓁$Z2yHͣP08EM<8,a#r 5 Npiwʡ;J>԰Gpȅݖx—f Z,TX[*C=e1)AHʦ8{_jU(咊t ?I`AG42+T5V0\©BMYi"Y7tV</y'ba'$ Xr6L_9 #„&g_:jNo5SJHa`dSxzeLH\tI*02(A.=?侼EƁ5[Ɖ ;9ɛZ`Buֵ@dѿN-7Gh#~*Xpo"'X`to$DL:*?BAx(mtQ@vGH4,PKV]<3jQI o x$-#_sqgLjf6Y}U^ 6SBkk"S,@EiMyӰ43Dgf]=>(YTGe!i>u1;Ξ)K.W0,f䒦* PCKgz{#KJeBJS V]f vf~>m^Ls)ch&6p: xGTt_`8;H3bqQ`v({O %):[QL݀E=Pl~ ~l|حK f;nhϮ(=sqZmQ~K_&Ps`1Ӣ=]I]BbѴ 4/S$De?C<ꌶl&F[76dr*D Ɍ> dvZLwFAȗܜ81lU_@`rWXPEUj|8Cc6tzd1 SݢD@˱t]α [D]ٴ N(}@U Ȼ"~KFX边L2 _+=!=Ow, rΎ5H"Oq&#j5)X9g- H."0O3c^4" =i_liƊ-v"BS 2-LnD7|w]G(SP^wu$eى bQ@BP;iTJK o՛" 3O18Lvd-쳚n(RWmV&m2=eDb8?鉦DșoQt@Z(+iw#]irNP2ձ)Ƶڧ>bN=SY,)ەiؒ*Ƞp*vMRlOMv h32Qps$N+|5"YbB=D|<_&RUTrr"Pr2A#;{+ϒbHjm⢙P s=ٞP5RDDǁ=PMG|d&^,e C/q~p~@+{@>Ad=ힱ/ABɔp*AtQxȃ$eW7#i[uA.Ln9mlp;@ gq)/(;pʮ>!(Y}J&y!<$RU֊%HfTg_ pY%e5)Ɓr4⎼qdxxp-aGV@'g 5Ad&o0OwYjc1 ]QJ*,@ElV' XX;dy2BE&nZXSjưZ{d) KN O.*o=F  ( v{ Q4q`>pzk3-ؓ36ӭnS37v@ yfLEDHϽ ix{`#[vÐ"k#_S55I'x0u<C'6O8Y+K<># \9)gҡjNI(@ȘG}i:S ~`M Ҏ |@M=diod1f[\Y~躵W jpq̑xr j` ~tGEh{_ϰ/X޲EG4aIЌ0&U[HfDwAjS1hM&ȷN6?A.}zOP\GjRr#mhF3l$"Ao+1!hL8Yiю2^NDUCy.oD ({))n(Yl DRWV}qF Wy|ߝd !Cz穴7g7C> :oa8ڄ u1(ѧ7I /Y ;{$+`@lDߕ_"8| pt> o0t[py<6?UJ%VL66Am=KY!gƲgS84~;oCF<_^;i=OOUӹVĀ&*ȟ)FmGcO;PmNp/HH6%2 Z' :~,o}f8kM #l@jW$/R {%0xvUkTcO灻:g/+ҁJ0[ʩ3x&DF/|e{F|+gD8DP.8;Q2Wp4]O g#.uF8æ)8Ü- i{۪X(М}|\oW`7^7T?GZw!V*A;O!=5 pRM/=/1VUg3$8p4Ji;a{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5~1!48oog]YW o>?-@72+٭Ye}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y?[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`AJ!P EP"N+R.y6ms{5g^(.hE-$CIfK[N'GtE3b:^=BhJPUyuPID&ۏz^H6,UދN[kAb`3Hk0'L켭IrŞx fB?4c ٓ7ĒJ2-M!yc/H1.$-}0سvXnD7S^(ZVPDqVii2$"L3\/$ZȐo!#[,CE(A E mW3~ōs>fg6]W tGTOh\l<:.y@GPMTY*h^ @őh#JKà/*^_Z֝/ C,E4dLDIjmWq C UEl,0'%T! f"CK r"ڮ Z*8=u"F$79Y$D9=h]zQ="ir GɻNFҐ ~] dgbDGJ%&'ڰ2-V`D<ǜn'1'z<&NbG Jܦ0nK덨fԭG/=S44!Q2"6xig߳@Ŀ7,''Xɣ*@E UvV2ֿ{ h I472]4/rSH &F1L+sy`(Qj WmTB1n {l3ܷLAǬB G1V w"_` 3E1ܹHJ2D?҂GGzHmnH%GEqIشkn(NSE3Ct{V236 $-yǎqS2 !̗dKxGTBlipV 7 |%) )KJyŬڦJ|WTG(/KaP82){??)pӅX gng,cwGӾ"E/Yr)9Zyծ2~ȑo+k 8感 Ve pQ>mWA`/wE#B)䱎=Iyq1QEa4ׯ1 [*7VNa7u=@vxvxnt`@#vQȼޘ"<4Ug? R-).VB0a`5: hbEJ ǃ0= Vk}-iFގ;"[ɂNGL'xV2v#'.#?ȤKFHنV ;xpŃ#hIT3ZY>`= ?9m(prf렍E`RNj#\y;RFp)J}^:ՖitzȘ<@X;CۆnILߍ:vGӋ~#R!8z~{훈i!BbUO;0Kn,{!*#uxp\\ρn{~q/q INue/w4jsCB\\sR(oƋd2٭[\K;~`Hú+~F;TEWCŠ#o,!N 2W"k 8B3 =7N= 2ىopȜrހhq8Gy ! (e^ȕ&ȢUT/V6$Iz GRe3An%"HZyڍ'JJɮ @lQC#]HX X6o:!gyK_v)rթQZ%heayދ$0)p)\0.̎Rج5+9 pZ-Z&nk3 _K: muSӏH,-TṗJ,1yb5e2XrohȫK<@#*ݡn^pX׊Ԗd2vF$FRgi7780a:U|(#hO|hzR+c%hZ?!UQ| a hZ7PM9)nav:[pEjDJ刳D3MMy~U#Ld=d=,.-(98<9=u9 >z2UqKqZ 'ǎPۮ}^Uֳo6V ~d&ǕPQs&.QK"vj|snŅlOWJDFMFVZz'T}wuuGK\a[N4z~@B#B1lOJ-;Ƅ&6ՇJ=CbSub8ɿ}h Å. [Az؎z$9;nJh5T fGS10z pm1Qrd|8Ax$QdXѴPgYI'y 0)"^qmdlƕ 8ebȹS ffP cڔ+r݀s 1߅VLmY48`2}6Jo7`2:5 P*&44姴ĩ:|!L߉.rly"ps]fpܴEkYVm,wJ9odA0Qφ@ih\.8UlQ6e@~ͳ 3҇.QH|mNv^ձ\Y[@:+؂ӧ#ҐC(gAQʦ1.I 3=ڿ,lD/t7Qi-^&e/k'@ҳmĦIv]J4flj0j|t6w\h5 c)ĵ>,5sN gU/6FQp<[D7=jzMm&;tw5Z@DAkn aNVL&ls e  M"q⎓>.t[lܙ"6KV?wdxŷLdن9(DV v廙O3.ٴ߻0|\hEDzIY0ˀeI~D$[cIHQ69 c76@QsHϰ2NOPܺJ> Q1q8Ie@A1B+J8GpYZu 7ㅒ@ Y`b<*;ȋBn1b z ߹B]9RּhX?ɷbh; rjNc;zܨ 7@¡\$YXo?eF'Uz9h~E ;I& WV'phvCuNPI?( OH"“ΛHܓM1zBx @u\t͎v)6.S0R Y⬻6.T3 |@; F%؜pv1`82'%BI7M1nNdyFbTx$ԙ8nU3f $Hyz/\k QD@|vU! >"5߂@!R{|)nҺ?t3tn,qZiD3`ϭ7V¯߲M4X<MBM"#H9x퉙Tx|I8Py\H>~g37܆/]A3 _9`0^p^} C;. ֠4~ZAF~gw|q) QFN/sl)S!81 ~Io/T ,<_mb{Cڙ@Kk~T+O1=ST8Zk;b }L@)7䴔,1KaF، Q2 Tw}u.U%@W_CO'U0>} oTHUju@W7jQ4OMكTo6SBaPo2 dG\*|S{fAsru!># ع,8",8LR-߃w}1`{(Fl1¼L3_1 A%}*E"0([cWC\80Ԏ .훵n_na{ Hr@ {o>@I|>tF30}ؼF8J:؊-T;ِBKi r#@1] c/#}^9pI']%OkhKx0XMǃip.y?~* !xsKdR>tqԟHq(%H?_zOɭ|L*"4O[H9;jXCD(l:2E@Ov8 s6gg#o[g* ?NwI`⯈4WA@*#DC6'$iҀycqZ|1`Tm8k2E䥅2st<m+(: _ a;."daZ1&C=b@Co(L3k[ҿgo6dE_aId>фyLE_ r>k7UC'-Ywƺ\q:g><`pyg@1bV 0UNZ`I c쒆Q` c{Uc1P=nハעzBؤp%_!P;bnr8Ϙd}&{ȵLijip֋ D|D'UXÍZƇN:JDu b3B f1ɹpdm(V/1~_]][5u- (? ~ʂE<ԝpb"t?0 g$(uDxi=AA|`{`T a*0]YJ߼N5?E<[G*|'2vZ}I hpӀf5۞EQjyKsJv5O;M @{À !jܩ6-Sfvf @'Ï:y0bAk']qq؎k2 \!ﹼh=)uqpuHA;ݻa';>O>rD% 䳡 Y&Vf]'+)߽/ qAHz[?z "a? ;Gh-:3/ 7FR 4B6dB2\b#7KhPauamMtfAʛHNpDAn@"N;mG^Ps5G&|iyy?c1aك""}CGb<-"p1/D9窭7/1R|RmiJ\J_7h tjSy8!@y~2[TFCZoT q& w;k?SuhyݰWa^Kf-rz'JŚRoÂJL{1/ c#9u܊E$No jIa(R왰\i ;Y/ˌRxVP 4i= O?./~GoI 5 ߶7ɳkx0(n[5CX-K6y,ΟkDT"#*Jq1_!pNQf/_f }lW C`=35ǞRh,Tjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JBQA֩" |ƛI#Xsj/~'ư9'C-/7WVG ǤN):wqpCi ָ.;Kz:]sftĠq 9<:X{D/0# uK :%Z=l2_ERKzB}h`G d(Q6p~injazSs=|1u #$gH;su0o$\Ά{";&rey)b " _y@̬3 t!ETBT]jU0M#]UO|'pqVm! o<_y953$<ۅL: W{xK0oi$\eׄuޯZ<.lHKayIH}Uv-1|BD 5z A}18~Q"Lu{ >=ʖ v{Y}՞%g5s4QZ}t0 4XKuBKB>Qc EDRՓK\ԵvZeSU 0vXeFk)MeA4%>6ҌI< |ȋ} oE0js%׏E0~2z}e+-_-KJW#ŽCA+[7`F@JUmx A{`F6j|dX^}=a(YW ;-bIp0+ m;Ϗv sA!h\ :@Ąc.Q 9~RӜMt/!Mx(#`Ե AMUGyIX oΣ$m+s%}Se2l'֑^XTέ7ldrd5mo>ϯx]~/~x5By 54$t_⿾^>Mqp|9SX--bո&8tƖ4rL/r$Ts*"{׫"*hOOZOk{:S̪EA:{˒VElxUhKly5ȃHmٲ2ʈTh_wj4K|BknCA-~p)c3Cdy wU516YGF[TD6"Z2{^c@ 19qI СRkgA"{: {׋EژD-5A.!]6K~ֈB =yAlZU0|Aq B \liO<* g)mYe ( )%9ELB юoƎFhTd4it۶B5LG(*3t4t,>LS BrK {ٹfj N]lo %22vTL{Wŧ ^?$!f\dQ! /Z!4,cͯ06:, }ZFiwx:4@Ajp% >A;)=Ju-Z-qB,? э⡟rԨ9'X +O#.Զ\X9P mbAa,?{ g0* |\w-$hͰ!lgCb q@m@(ΊZl8EggsK";"mmHq$loDh& sO)]C[.;Zc S+#brфaRZxH3x淹V8j!,HBP!$";{#TDWZ9!h6mWt> ORng6QZf עȥܪ(eeu_}ws r"C}3݄5qOqG¶,-(W" .jtQ۰Gvw݃ U[+4 . RTT24^7Z>R(6ZC֛D*Br,|J t$wlw7eC̀]W,MN/]h4g و%@ٺF{P!rFGb7 s"*KS,@˶_mZ*:1`BC:^+x/ޭ|i6]X? b oT{G2tͥk+$͵m=)@u)ͫWJ]ɥHAb5#m'.!%>t*z~λB>-~r(IqEոY_R7lP4`4s"3qNX >LOj w*\+ 6`[aUZL1uf1z 8qhnTfnCQp~Wp.G q_ r#@ɤeG"D7e 웄ifmҟW6_XmT] D92mY+VH*;hQUoXp^阢,գ00t7$dV֪ `jުXRPZTC- Bj7]d$ ؉ICS4.@͒֙0:ܲq}-Q``!Icn̟)w:ttXEGE^x#}yVu!ȰS[%X%@1ÂOd(k-"PH(c0'0tH w^AVwb8Ad(x.Ɉ%A\|7Q~k2cqF'̹EIYMk Ab;>y WNa37.89%q윞4;~$ghi3N8g-U<嫺S-vh6kahx`_%EG06}TV_@.3ݲWe!_0J?lFOX=g1so* 0*&t4t Ҝ#Ҙ2:ql[ ,@-Jx[ԚQAIrm2)cK1֖-_bAQsŬWe:FCP8w3O"o S4HS[ȰcR1N†?rm 1r^c\Xi/1F(*[A oo.<㈲Cz21siE Qc$Γ밓-8b} RHI|CM(>AD ZtLplK Q4J,ѨMUmPљ>O ibV% $}TOV 䅏Y\|>ւ_ #`;{Ԗ 6HPg)-Hԏ8: J LMq|_-BC@X[L|1L+¦ ӟ힛qEnS%8/kJ¼Qm7\ v6Ѻ87/kud&4F5XYƓ.I5U  sEl: eb%8>TVP{) 6)(1`Ⴝr_3FP,g(5?FOT8Z[q bb곽Cek9NX$MDeM8!ZrF߮"#P8G* 0]Db<-(V~ǐdԦOh,6A1xz+X;蕢L@UQ=mz\گ^_`aWC_[ߓ"J 5Ƣ![G0o IO2Ԋaex$^.: o4^&`+b7hڭJMcu*nAȦ:o0*&9B2u ?Kڌ`خ@1op ˋ/FC`,=;R `amq7K|®3TncP< ]^\d*S7A﵅if`hŸF @KR%8T^@0j(@6Wެ("mE1 :hbnm5uSnpP%B&YAX)xkep;lٹ'OQQ QߓC=I VkƷPރ&jama< z"_ZGtxBgf[]N'L ~nd*>V=ux'~ŏ; q|&aŃn4yTy "ÔZŒȘ#?BaƦ;~$ܚ•^W2a63YDq4x8FHk9-EM ]H,ق5U!0G+凔;nPQMS5@t6cBy9EvVX8 gy_ﭛv0{6,P|YmD؞D]0@ҴMO*UfڃQ>/IO"* tm;xNyp׮ij +25arxírd>;n[swJ"ЉT&tT/4 F\KEUj;ˊAC)I!;ݡq+K:K-14Q7 !G{Mṇm5CÐσ'uk Æ,KjPX,> A(geCga`pe#Մ"_o7Vvu~"l 0??YQt\M/zANLlzcIJ۬O U,h -pDz 9k Ҽ0T6reTF_ 4q$I-sR[^c -8vP놄-ey}G݂Ƕ#pE~=cr=1:Ϻ "nQ9NŌгm* Do̡EJ蟈yQdMĞfBQQP`*mzVV["Se? ؐ/.Yo8% /,l!08&|]ӵǁ/U\g>ԡ AG^$;a㼩 .@{,]@ӺF.^K1bTe"*[Z26/=1cWE&UyiLY gW\Z 57(<ZB, XxkaW44[Z[_k1݂<x(W4U"&kePUK-F6A%_x|97132Kkq¢wb$⇚ǪO{p8Df3-R(Sm- ma!F'u;xp"zkaI0wwԕw,skpBJ|[ D>Cz]PW|1B${t P5(K۴EiׯڟʇrUt:w0GVtPX8*J{KX {{`` C _۞' AC&\<3&b苒8OFYJ8nYN@l`d^҇mP*Qoh?&Uvma$rޣP`3Ur|H4sZUtУPv+Ntz>n\JgC9blAF(yQ!xx0.@mW.?+ 78DV曝x["Odë)=0'2/?%"y@f#]NX~^Z1$odh\|{s @"mjy؀Q7J x2<"f]h[D\Q3~bVuro۰vCM{[>i*_g Ӈ]" ϏD we pvfvYmxU \E>NL::)T|d -vJ MoqN^O[K@w?'nX^#\%ma<;AޱG' [ YG>.Br8^M'SG]$'H\`*m3L[E̋+Hn ;>{ !:k3X3a״ >+ҝ&9 a{rBcuoSq\ -ˁ9@bp*δBZ E&Ўez;I#}6:/5]Dۗ\z 6w#p`+yb·%]ٵ"GvZ{B Jj+Vkq SS/ ⷖdF3+_[$1m m_MwP20onI/@Wo^@WSj, %X!i10-v/3D%Ls9.uB ӝa{f"?S9J+Ċ%#YX_S[SV)Q\{e1ݿn`[3ipt9L10ik¢E'TPpChQ4 u,pqv-]0"L E' ǃ?g9xNz?,N Ҷpb;es 8mVqP'$eEK@PHpKѯ?#%2䚭dd-DСNH7ZE67y,sA w)xN%u#Pi^?Ɣ^dR 3ړ RD`OȪ+܇a:'f')A6x#)u Bq'׼EQvO%bk!1G0 s O1ۄ\PRncͱG@vJm ПlC?$:D,tp\/n5I=ȭUH)]ZI 3}*BU5'QMsTucq>/47le .a<1/l@RZN[|/STG+iXImQxkgV[(a^TpPA,^+qv6_NTCSɋQ~/+ jI3/:iAk;P{B8D1 ̋JD̝2'Dx7;ou K_B`Wy'1wÈzx@tECv`qX HUdUp=Gw(z[hEKul3LF$Li2 4NO`(&DZ!?Q|Cot"4mx'.uy8g'džC5a<0 [ 7wFt_d yf*ԃhGU&th@t?Phkz8=#c, I䆴fZ$>YH6jS)J( `z'ygTp?"E %i4]o\Ukn.LP5m.889%lY7&gjK>ro 3ۦfn5w D)"cdbhKtE@6!a%S`1 ɲ B{~eB䡅G+ Gv=\v¹C'6_\$~-LGŃ3H`O)7IҗPn H p /fc/Ԃ_F%";Q(k A4r\-3!xyxmiOkaAgm&LpʟՐzBv ;BH>JСB$IBD$)mCz{:ƠQR-PQDq۠u V+,ett`A3(](JCĄ[:$Ǎ(jAΜtU)(Q0];T\pnY)?ٶclyyScl e&mzf fiQ2)  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[:g@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊8.+{[R;G?WPuv Eh=Nop_p4/r= ryՀBE'P9UH5|D֐%BiXqĪECPxa l,@ֱ:d@ n%  ϞJ7|b}yvm*"ߝ9)Bc {_4G>@^`Jl7<\-cO7HemɓH 0x+",/r?'cOg 9:ܧw)d4,lbhi3뿬'6aa:oC ݇8M[/_i)XSUW`]_IbУbB;ht5 `0e`;I@˭p3EH%ŏ-މfxd0TX:rB DZhLim7l@ N{]%J.` &"Z(m6t  3rTs08Q*\_K`! KgXf[@_3@&cBf:y)ϙF` ǒ~vXe Dɬ&3dc0GcJ[FGad)3yae@HYҜ*/11je*+ tvG= \ M A'A.*,W4.i"v Qv Y@ E}E{eheCEcz3 q^!!3nꋓh:5K_L's_!_F C8 @Yƌ:;Hd9ZS]6uuܞӕN.>SVMvi2\ `\@NK]h * M"U A"}cA:afxFI?È\ӯ B-+9IyQ?v FBBh)E(c'WDM4g/WzV`{]c;gy5*>O\(e |PAt9d?ir1zg*t9qEd@U>A<,u1ysJ:qf&H#ZyHg;rB.{{?% 1l) ~q2h_|%6Ak A&۷^92 ]x8SO{d`G%$ ML62YjA/z 7CYI<x"O wol6i;\ &0`6}MAva2 PԂz@=2X<(&og[!s<2ɇK/cL3WK?(ͮʤ(^&N+Fʴːi$ʹq<2V1\ol=DZX jֲ7))Yڎ!RD#stp[hb:nu ` ?\!@.TnW/HvAwh^cjLv oS,kT %wk'սd|16!0c\tcΥz;4jMcuƽ[a']\"E4υXW $gR&.Nc/Q~uM?Tm,'D;DZ=MlrlP(pnE/Zs ʊ~X> 1 uN}M$F<:XB94g? VtִnG_%>9wYg]Tbo~6Ѭ[!YamGjb1lǕYAI0X^ib[w r<:c @m#%ASWȓп7#޿gwDitI"Am49ap{ ю1y[HǖVHQ|oɎK0[aSr|}=#$C>? `6|o򬀂`@BDtjꡩR?#g*! "3.K{9v|&"^}#K;n}TFK/rr?H4f?_l"$`mh`[" /|DTz V5Ԡ.GN yǯf-mi!NR\"RP_Ynga~o*Zf"d Tw aӕ?Hw: ۥz\pjofs8Ogp<]:Ԉ*ܷ9I؋b/w]#jA݊Ux:\wAFs ڪjw^\=>؃ƀ9:P}a"x%AYZ7Gf!߻ᐧ`/0G0!SMhI5G?NU%i݊Ñw2c㣶pԴ~t2p?iؔ292w~%3&`arـ<РTR%P]##J*νRUWuY0Ѱ y]da;קП0}gcBX_y#}ϋ#@!>O7c q3A566cD̄x\d(dBΉcISRI;7+m;@0]:GA웄L/)*]J hEXu;{ \܄Q#nc-fWSsޗ)qv:̼ VSA ~>Ywjc+L»O7s7˙?uB~єYf37meU==aer@テ L@AN$l,Q tz-b Aw)9Vצo7Oz[A8{7i^Yė]K9*K07lDC(˽&v} 2T▘q%}VYN}dvxwvؚGbIZFCȕA_;sF7oVfEte¼#TC:g0k Y+_;uɻ >->6&má"08 keX0 d+V+90B4l,(WHߋd!~<#+o+op8#RT?(8ml,`VsQIl& È&ÂG Q\F0K-\ς~L|uA!^>&D0$nY#/8O6\O^5^{z_gx~|55CGtK#xlwsUa #۳o\Ԟ١9喻+cSTc!RHKt ZX? MQCgGBa 5-ei7rm))=j )݆e8,䐹4cސ8p'קE]KIS7^ƂDBZ7Sk(&F)'wl܅,uc*aN>$|hm_o: 2ۥWm«@]aO$h+`GFfr!s]/Œ3RI2 ;fXeQ[8֐eҰ@u급Zּ"k/ف_$૝z+[q-6JX3BaT;h KegH$-N*C+uZr5!GG?V1 ]ddm]2-$Ni{| f P[޲H*}"ĥy/s%R-ZlC!-Ɖ\S'F-H4F! ?Ң$v2$ި?CbIYMA3Quph: ۛ^ILJd+dQFU"ZLD+7+Tl C-~ÈRқLQ8* $',3}f֔0M)!:'ˆlY4ݨ @`Ssc18ٯk9Lׂۗ 7k9Z Sp! X4m}wA mfr*EŪk# đD+'pR"&[{hjܶ+m:"p]lQaIL6zC䵩'k2]XSDráZosZo=E :ӰnD*OeEGq#fhq0*hL:Ҵ^xatGvb$NJ 9,-L Lu6t\]Wxd@4P[vrYf  ;3I_f*5S:'S2ԋxꩲ_Qn_5W/@1~rzn[\誒hN):Loz{.guE, A @;￾Q:ɅW!t4đ~PLo=.AC}Npy:JrTA,5]HݔxE\yq` ' "&ǀD?+ >%q}gnO{, 8g.cujL4uL 8UIð 0Zf4 ٨_w1xr _S% hp0v _oZ_nD-C[G Ϟ[+:@DIF#ufV'Ab1Z"<.Y\d tJr=R~AvLfFg6l>^ [X[ & ʨ`ݐ 5W!!~xo{tD:v*bNVu"zJ0&8(牨Q}ϵ7I싀~ su܊5=ݣ#Ͷ``<+3}Q)6ôs³Ik_ D[.:ѵZ6˄ȁQ,a 8p#WK+kaב/ȥ^g% *50^1m=RaTJ`͈ wJa{ 91 XG- &!<1U(zlu8ܫHMŒ[vj)q\en^ܪsTLqI/PͽOWBKﮕch'2!wTn)Pxܧ9w@VmR\"RzHɵEyeB2HueݫƂR琽tUEN&FڊIj&'Ƃu!r)b:i$&45 }`=LD,f_}/}*Bfu%]! IA_ THeN`9@^ |Ve3#K" c TL>ZLףC ST9\^ (:~"ҝ͚B rad/v+$҃5wԲ+ /EA½.r:Lzy.c9J~B;o]^!»&a"$Y85*G@!gKs7?_elŸ  Lz 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 δ:H-|5/c)ȣK"<ꯗÅʹ^QKܻ1_݁YS[ˉߴ޼!NfpR:+qںb "pH3T[HjǤ@ 5,:9  S5K% $HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 ; `g;-̠m+Bi(ut$IMM7!а55/ʉH@lUND"vڻI$ h8 0mYE\; .H:w_ј,&! b(L4ڤ*@ h4ޤI"Wji+nͮq$Tb\7ވ@k `/TSÊ9%弼SZ['"ñ~(P@[[a9ײj~իֻI_匙VDVtRWbbaɈɍyrMkww>+@*|국wV]etc21CN $( qif]gp8 xpFvphpu8?DD,0t<}0ABpyHtD"2*0" $a0 "0 (Ap8/03)7-K/LmVr\:BZ?\ ܻhQ<zG ќ*idN1" B@&)L|56F+$8Hݝz$i8Hǝ2]#n='_Q@Q]_gKgm}XS)k@R G74Qے?Fz׳XT\l( |8y%[t8;fe@4&;y'/pskc& :u'$\'RE(.{J즚[+-ԓkWǵmUw& {>,RO=r]jdίi΂/@:zQd/ 0}] +~/¢tπ3PIbn(WE`t9fck _κO(*t7_KI'[kFoڽ{RP鸓|LyBlD`/^eyexLd uqake3NNp)ܦb0<˵7"<8Sk~-q*2u˩f[@S%P±kwq6bRyCidp zρ0E`.mQ2՘eQ1OػR2*GdpUyq+ͤ|p1clwZ_>EU-2m/aۜ9u#`nG5O"n$QlR8li cXkSOI6b @vmm}f*BKi5+zv~3 LݱC+r܉s 0F!3u VS1B} OPs%BTXJ')cic]`yfnΎr]{ ek!N{=d>_TGЕ6rcuk ;fa/ iCKe 66VFB t+. FkTD~Yl2w@9<ĂZy,$2ocxEã,zW|aM\){v8Ȧ|jE[Of>uk "r{8'TGe&j^=;j\*,{P'|Lږ*e|YT|E*q1ުt#F B=>dW[YB63&ŕh8;8hQ׋enpE>0yTm52\:YaʠY%D͢,c@^_hx d| 0kd~_4݇V?jzѬEPeog|2OLc'ڣTJE2l p[cA ' C,f-rM(ŵ#L.8!cs 3o8h/ .C%pa55Gh}->XSk.o?SBkyUEvE&ii@DL?IŇɛKa\^usi%>JfZ\}d*-9p΄G Z*]FtPȶ1@PSEHJ>oaZ_fBl=8EYcwA;ZQ'p$1 2e*'s@n, IBCh3lcOhe+4"!ڴy FPBi[ #B6P{>LrCzp$0,q`FaH,xN5]KdtO1b..NHJw^%|ucn4~Qx0J|Ԣ:07HKNB/wL$_l~0#ÆpՑ㶑e,B~D魸CTMU2yVV0|YI1JBAF{;R!2NE!.ȕAyׇ:- X!GGYLp{RL$cFjmRL n[8RheD'?fB]"O}h{1cR).Hj DȞ'%-We£/- اdLaL#= X">qP=. b+#UuoSh 3T9pq]X`EAL}=o¼zh&">^Gj .j"_cOʸ<F8lNǼ"3I\q0MaiMi&H  Y #bhOqS϶h0>C0yA(\bls!0;0$-r <,oUJмk6 a4ef\ į*e Ji @YпMƽKXAk<#(Y+z%wv|!gM5>ZFuPA~~qm{z UA>GcxIӀ+;IzsǠ'daIzY(X/ו65J]$UDq0[w 8PqUg2&1dW֎5@ ۀXyMYrt|EI1WW1n=F y~ObvA-XV@(RzYmô;` ueɜ{J#I;nOSO tfj71L9v۵Znit]BĴB޲(6|LUʪB@7pRFfܑiny2z18gr ͹x+O֥TGL$Rx__%#zQP9 s: V[dQYbɸfEMc~3.5u@:_WmAcT\|C7p0!Lons6D.40 sY"~zҌʟ/dK VĿUL `o;4=O+@;2ɔLDQ(]mm۶mmV[dEY$o"O"-o"w"-oY^K~vk3ۼ}"-I3  !v&UnOv43332$[MDDDHl#"*RԪ"駟I&H$"""" cTJ  `ԫMd'g jǣfpܟȱ&xnpȼݸx;yMWs#4]_ν X*ڵkzP `/_en}BN <;Im\b|kT/ kӒf*gU BUpĮ﵏a뼘!VhSUgUٜ-KRNGvVٽLS(k&%-g☗:`1g sʝl)6}I j 2=9+( ^{O`Wj_x9ˆYoԐ ^mE=\W{wr*xQ7*8~^6ZB&Rign8[c nؑZ٠9m+Mnn ܒ}2Ua]'̝oMGGTiA?g&ͅ E ڭe{]{~vޡ[f~-)3[8 roPڨ#ů{{GQoЫ΀Y[0ZݷAj6V(VvfT跴0&mX?c)ġda.o.v< \eE;/dt9e3U; #G&i_~_9<; ~̥`F`?,%U  <+"Pi`Z}l0r*'NTtgRqqڜNk}lc/h0-iKW//$q ¹{9sC kNhEr[ZS WJ- x-r O` \\lfgdwqtIr^b\FWk63fADU_'") >?EC&{ 9gA u}6 /kwkݝ]R ndۧ157tڍzawEl1)VtQ dNƱ}''ƭ1=IY^<%lvXS 5@ qJD\ @q*"zHs'!y-@Ҩ"FՖ jۍ,nGm5I<_769D?XdwP_Z7+G6exϥySTݪ36\0k`Rf [=})S{jPr%T@oȯw oŔFOR88ʌ%F/DoeS;fdqE kz*6IT6i"ut7ɔhH#,}iw[ *sfRXۀR)9oBǧ*hЭt+f(u_hP Ӄois E[_,-<B`c#K',\2!-roH]Lzl[FjE ^ilj#wQw0mKn M;iցMLGap_yd;V6Ӥ|gF./X!h/wE<+QfD _ﲌJc>)X,y%+('# +noNLlKrF* ~Hkp|էiҮ*Y= ,SC( ]NgҚq{1cm FʥՒ['6FXf݆.[!3/Ŀ;.GV>5a}%i v.%Cbc;n>(5sXYbg)AF i}0/O_vCϋJ= ģzr2{^\e/$8(-(^`J?3Vf1Vf#L^_?iE47l5:x^eň,Xjms`O~g۷U[QC߶ڗɾmF| ;jsr;.J^ ,f7q f?ıȆ-4G(Мہdk`8NsCl OCL-!NQf'm)7h6SU5;dYSt̋tUʁbCf7NjTBj矫]ٷ 5 }yΖ;Nx_Dx t~Ce\9UX?gzPk4?GvnP>!a-w.8K!ۖ]uOG;(l>\ ٱGA==j4! 3"߮W()m`! +XekuC yHLi{dhPgs${k(Ad@wlL㇋᳆0r2F`7#Ǖ2c\hF>be֮z0G6(V|.5sLbM/B赟{hcAJ@e*j{E#Ιxfd +*Mv/6Tիz œs +U-vj _?+N+gKp;/Ùv>0X-F7DAɆGBhBoUU^v8ũ8"L CŋOEUAоx:{fց/iCR4xzjM"a̶6u8e 2:|QwPꦲUedvyЗN}資7;5>mcSl/zp8=%֓8T%LmJ0YDA{ {8wRm[~i8^u]lMg,KWjI DtiV'&3hboрiy6j!۸E(3-3T3rm3~f}9^]¶mW{3r V4X18,=S8hdy{k'/nQV_.%|iࣈ AC{?%09r,+;#0@ϏC{0J^7 'mK 1^45 pl(g :zv6평FѲؠzY&lVa &$zhJҢa\E.onr@DMI$>E[#So&-AU×Ӟ\ "0]یF/Ǭ/~ .y;7ifO^c>hRm΋7W 01=/M?/1O;R8@]_x<4ef )8763{ݰ<DZe/e)^0ЦŭD5 LK˳Nfzv T`fn-:ܻTkeTaqRo \zS` PMJvGg2ʵr7Mǘ[MlGf"phQ .8 1[%# hBa @áŬJ ""(HF a! "l&GD Ҙ`aA^Tݚ$"a"V8 {7D@xp^lvKlH I k-3&l"Gk3ۤmRH!g,Yd9㍚d$I$In,ö[mi3"Yc/}]ܾ}۷۷mffff~lod --n"x 5$ݒ3ۋK`8-2=9MTUUYjUUȖ-VJZjժUI)RH"5hF333333۶mM$I$ID"HӒM~{7IR햜&tl4cx KDR@"B 0X?f6i"* ݒ,\r&IEch!c2"r&-c|1g&Ӧm۶mxKm۶$)Reffffffffcfl۶m۶m*%J1nIlE~șMkͨS} qI0  " `!pHt֖2CӉ|&p bӧN*21%bp@SWhumU0΅w>ovMR/+rS;eJb?iZNΉQzYl;X&9A@jS'EnT4${2cqhuP'9Su,jb#1kJ{ 5v lMmåj K̚IKeظm-XM]ym؋{iVP6{)z[j<WLv/ĺc Kdب pdfR=p*$Bx">o%C"Vb " 2f>TћewH>``ɨzgѼjR_WT>~ԉ?|ԘSa|HE Rhd>:JkB S Rhc/dH1."x Yrh>T睭є#/Yk4̞c0wg1zYך{bUNkzmFdhPU3_d(ƅ~߫8TG j'B 5tk30{@ ȴ^GFs@5=jXꧫu.k.%YW\bB<Џ2sc&~ ;@q\k$H䲷p/ ᑭA{ص;-k w 늣o<%f$5?51 Cƥy 3!FTID(@ޕ}vbIu<'A8ceBJynٻTfQj:ɯjEJh_`_ x?e]7E3i'4d|:u3݋{`R䁎І1/-K1KK#jb%wV[=Zjk)5~XH (e[ON1v&u5\IxJKԤ Avd/~{08Ȉ -FϓL:N ?"WoLY]Dttm>mݪ#o֪ x䮩/L%u]__5SD Q4A T5ËOuњ }u"U{XکEDWyb}Eʶ6Hm\а$BV ){ĴaidjģkھlsS>);lj>Cs]}Y*Ćhv-'I.TڴP#T*Ū zZOF sT&n}-h)ܼhm̎vː"hBb|ȗtM}:͗4v3UW7r4ANg@z佌s^3@aJ(,Ոhܑ?ACHl7Uja:dcԾ+g7n*QUxUZ^7b+SZ01QנөeX)tl|Ӕ&5J7I VM5PkJQVD|s*> u:*q_bZkᤦv=YV1Pde2զ'+K,Amj{LW 0>7jOՀsEJ c#6GfHלQc<&÷ K5[2YuPZgLNyVhQU*sLOp w+E,35(wp}\R*QGͪUa>F$jI Js~^^_aaYzK?-g;,8PVG걶4TnZc(鐮 >킩Xr(%OKyH60Q<zZ@D}5J{Vw[;XWwʜWyh3W`ݱúYXE5uђ]u+um$3an[3Hr]#3!.C_Nue!7__ -.[pݺZLΚ'VnVb7 U$ɱ;5]idDu>n-Mۼ}ݯ_ hw0(bgbXVgW}XޢpUQtUp Sp٣d=(fMv 0j([4VY%f%b;LXHOZxW>f.xG,3Tz 6 cmބ$#42*;x "yWū!)EiSb4!ތ)jZ Sx4zj{J:/%*X|êujmxOQSlU.-2HsIS@XgsJUwo WD^Rhb]I6K) 2 ߓR J%v m tP!2 D))Jb^GcVPtvB+^J5yeԛĔߝ^aDiTNJmU8U +*Uޅ(U(ZK^|*_\?&,X!, .j+q=eW ̉RyXJpFϕ@ m*_u#^h%W)XM$$VXcB{֨aAhg@ָSPTﰪdP +N *`Y,pzf w9lvdKќ%qSJ["9ɦƾ*4fAZ${P'wD=q0l5JIj3wy2RV.OhRſf K+di·].ke#mHj.oIK=- m)GJ{xI-~ltmڕD pJ`$b8@KhFLCahٲC1ڵ?<ĴDxק#(QkfPi%>l24#BLa8&{5 H:%( i+Ōre3_ S9dQ^6h/\?^==ALۊg٬jrz2uT=f zS {;-e>J SaASSST9^|h.jrQZ|ULs|Yf(n2@/ʙ\eT + c[7'Cv $CoF \8Mn9ϥ2G{b_N3f𐍕ñ=5 Æ/̟;> ' pe\ҟQaljly8 ;HR&4 F> K/L'ԙՎ%}caBp.ڳ7sWcXA%Gl*iYTVbwA{yoXJk2Z/b}0@[Rz53YoSkt%sY1lg ND1v̅k{kcu"d]dF^̞<-(p2D [P46d>D. 6k~5jMxi™Dj^S~O' 09;/,AK{jqOUC,z5gƦzVUf ~ܣ[GJvߍl\O uF:)9 ~4 '3+ f"R_GnC&"]c3 c$w≋?s&VڭTh=[tEv2V1u\DHjQ59no9{ F#.^Crz*j9fdx|apu4fҤ$U(4Fw;[7`G8~A&1w:9D%3_cWc`WC78{Qй2r\lDL=DkyF/x_kZxmp1د>s\XyPx64&lNXs,ynXNv&x,)8D1] ,Yʓ"vߪ@5 \gd!EV1L#}˄waqTs* ;M^1\' B5IA}!V,VT26gnFt>}ĘEcž>Lt@dο+"5 [>(< shxOp׽`k|bވK%j{#۞ _peʂrx ߈hߙUY6`}+P ̮^G@jgf3*y ;NVt>< =V0;8PaCfeGJ?)v{!򀴞huhot¨< L %"1%9(ńd"*eyDvW#o?mߙ uE  Kd`а6{4&$ҍscBtO87=@T^ă<-Xа`A根6;DTz YXW")N^By:m&GL0& qXU fV4VE3/;YUۋnР! na\,i1ʋblߖ(/YD_GhߥUEkߙU-7w7sUAWhάͪmV%rDw7*??;UElšL  >;|ƹIDNʣ"ҀqXXdC!O?C!Edl6VcIC48*}e+H偕:&eTm:b/ EX۷tcФ6-epGk+t `M}Q?/4BP0d\s+Gc|c,.^5y^ػm}$&-"lOM LBJ[ O)LL@u ~f obCꀛ2YᣁԄz_ $t9>#WD' @$H_.WqZށ. iZ]$}.-(h;M<9+v\@]tm΢'sAܹ9'Aӆ&5,8L%*p&&RX=g,B *"&[6D y"ذ4EY#hdgQ:蛆}zVԥVdi0UpYY޲`k@iGeqYzMBJA$2Z홰3᪲nebs>NM+Ŭpp-t-'}~*ɬSR PĆ C ̍).egY<~U8>N*9 4Ԟ[puKو}cUgW''i7""Y[&X n.ٌ7TL/hk^1ieC5**֯Owg_lx#u0y!(jšn= l)vM-Y_ }tEB5mCM j\]awi8Mg-Hz*HL>S_XXr&`KVJnD:SZ) s*>_c(fõ2\EtDdc 2}\\D,DbSP!_-z_W(8j.\?W\PQVF4) -Bf\q>ibzDf:Ir4czFi'k*3$L?N&b`ES1DFLܔe/Z{/bL"O>_L [@>cZ7'mG景 ]vUkU~m"ܱ4% yoxwu ̀'&yf;/gBZ_4:q"9QsgۡmM̘Tq-D~ǏԲ6\pU!?))rc>CܠIf *_^x8:GM⇱C%=)LOPA&#ђQ+8RdjJ}7Ē`<*Zc"*K!ՀC=%&p#rBKj̓>(7h?5PQ/i$"mxϓ\3o3m2DnQnd:&vÊl8&y`nl M@>X7,T]b!h+ivclN{XWl·ԈB8nPij_)TGgc:RJ.Z}gA}DXSCrnJTwidlf٭`<-tK+G`TШ/X%gJe=7Nf坫1M5t>ىYA礐 +ZIϨ2$dA)G -V \$Iˋ6mOPm4M>ζ?*UcӾgwЙ]sߒ֗z[=h W>U6>5'F[$`D9H|.KTmСv|>,ʹӳXUZUnm%h '6K3;>ni~ 2m 2CiXW?ۊOԇ o,I})_-#+];>D#wAU}55sqc ~4SSyC``q}@}Y%߹Wގ| }4#j?nd;T|UɀW\^v[fn0[')8|jd*ܢOԀKs>@V_w Ϗ8_dܖW"is`n]OwfV]722d d{jKymK 4'7<ҲC9\Sy&2E{{2P<BQgf~ys`>%^l ڐvV`.Cl?I 2 Z[24Tv5&$".ctTޖUf`R\i^R2:0Pc@!-2ׂ'vD`xCjMmtTwIAJݢqN=L}f x5%th9P0sld^#fi-B5 IQLB#@,C#7,}k#;MXΈ)߽yL'vCev;,^~CɌ+oP{ˏgWiJGWjTϹ[!WUz']# pd=taYpʉg'3Hȼ6XW&Cj"wPx+)ɑf.3*֬6`ZF԰X)[]U>0^D]$YC?_/HNæ-k3Uro噎L&2V"<{R5غ 9d>nPqq{Q" b&,g]yʹ6kElYOd>=` G*u'" Ix 5EbKס2Y6 n 0lџAdMhwgNUpV3+zmDc#[4qPeӖz]b&0]}¹Ⱦ9ˈ&ǥ_r=h؊][۴jst$X ;e%8W1ࡂvhP p sdO |b@O5 3.;!;4ťZ7NL^0>Dn崾yzlτQY`(p~>5]x´ոl9mSPïrifLy ߷)Η?v' jc9Uv^خb bH:?huxV&Q-4TňC3lU][qwd_fO1tMៀv VL68#WvZZ żx wsU.IeIρfW>wxULWy: bIN~˲{$r?Mۘ$ bM߭Y5'Le=GU Eo ANGƥ 8\S')Kj`Rs7 3@'Ѯ[2ڠjPHa^CL$ 6#zf a, J9ZA^w+ŭbaJТq kK"Ku L6I= ![VVm8Eփ_9OUc)Y 2٭U[IJ+~:'ͳ|¾9*{W;Y= z"zN˙ZArOtXImMb><ΤH2^1 xk{ǚ{b^Y!x^D{-q/8 zK.nnMrd!\v~q;O,"}: B&oSm$ <%H0 ɴٮVLJ*1(HIFZgu 3z3^y;+AfkμJ lrYNijgn՝P|% 0uT&!stXiM)֯vlKڋd9G~8@'𱁮 [Ԫ%*jevclu(M>듏 Ot|p[X؇L1,ɡv`ڜNquL[{~)jOKG7`uQ<b[3,ϕgi*Svqlͼ29Hٔɿ*3,SZ8ŦaRqM]Wދx<Kjݷ(NbCW-l08E8@M= 9XW˱<4kGn `p$9˦-U[ٛ."ݫ)WD-VLag'dY [)wBm~-EgxVv3 mK%c6 >|ùLah!"Лc"%!V KOLΠ`P$k1e6hg#-1ADpJo*5ŗ@+ݔ԰ȃ/~Qh窢)tv[;GNUTiĂv;*:><_6\Nʠ!t6[|uZXk T'FQVQDEwY 8CK>hB|>! 'D7 u_ PYAIFI7@` (KX,S? e :$'=GQ$]{dw3vCDNSS agh.II=:Lٶrg [~KL鑌1G''L2?NoRf[ uy;TYD_ī;;PUـr^\sck~K1dc0ɶ%w6YZ9Gj,JV1 i c- oP*[^G r-~533re~f% Fw'IKd PIZJ>),іIiT84_]bez+% 0}:]|>>)?DA09<gZ)CA&_ȟ. ۭsIٺ` -(XjD;v[rdlKБůvpl`G-27v:3牴:GAy:kWv9Tr6 y9Gbւ,\S;cJ~VHjd:`ΰemJi${29ɈeFkK'3)#f`CE1ُ$¹I+%uR^?@Dz RZre&ughx1k#eWE'Iƀi+x'd[=G]y^T0@ p&򏚚!F`Gܞl2IR˦Z)|pz޵fcw,uJL_N5* E` wa!tŔ\ӔX@l|t Um*a=\ Skj qj@xjoiO赋'-_.KOK_@ -Uhꔶ#E վ*İR &D<ϰ%a?t 33.C@#'"՘g~wPIf&B-?x,3!|˅"+~&׭H#.ť%eBقOoy[^%x+ǬZ?0m'E+腉!ï ٷ\k=d>Nk Ar jCAͯe `XsjGT!K6`}\ 9#jYȉ|   z5K) nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`=r`5z덜{Yv*> '˻BbPT(hy);JE! >ǐ}[qV''k9AVP]:7US,à?d*7fR92-7A õl9dDJ`,NW 5K# ,HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/:@*$jN컷hԈ"Ȟڸ*R͕)V @A",MSeo2 BA +"!В4 ‚xܱ#5Gjvp< H8נXe8; H8B"u 0Qg %(NG;A99&APɤhʂ<$BAp Ҡﭡ W,  {SOR FT IN 'F H Q, $HI$$GBA )ˡ I$%%p'9H`B!)bQH p  PHIhxGI zồo﫽v #56B3vm6s޹Y AUKݑq0a:I iixЃR  ̰@ Or '@ƓIA_r08i)1Y8f*d :i1cHɐHtaH2f A XF#ʠhc&ajF GYA9Yf!RP~klTSΫMQKE+ #Y$RfQ--3++1SQ11x44,,̾>>=K=˻ÿwU5wUٻyWU39u{wf]UD߬yUx ndULDC䠣}___cccc33e3e3e3e3ed3cdd3dc3d3d33cccc̬جlm˨tQ4AFQM=  (,  ( $ D .&RO*4MKEyJ66G;CL }=fNAKo3 Tal\IۀSXչrofXk{_dZ]m[y4ϓxd_`:~X2^VDnp$98{N4_]&c(f~JfCЁ! H Lo7=X2:6x ^,2PbcqDmo  T#0+MJS+;`1ϥOdn7GwTNߊYl̚c MCjǿEBHy+ܠR- ֌DoLel& 爫Km[>oړn{^ۯN [̧j1Ct+ed㹡ggF[s}Ot>qN v2뗚wPe""$nݾ_s`{^c(EL\K4b=}F&S{Ggo@> 1x fF*`cӉ%zř@b{wm]9|v, ss}qM7˺ڃ˦WSC6*i7uEwa~֬:n{8!^N sWPa}>3I|ކ]@l藽*qwv;;6zT͡Qhk A8foW d*i}VҎdwIbvg%퉧hAg;h`N'#p'8 ZeT< 4/ \-h~x>9 HjᙚLĤ 8 nqZF+:O^p>_@{yjɰAx ݰA廸oӆlQHdJC';:]@$'_~\ N1^@׈18?/?Ts'2ޘ< (79s/ `'9Q9v8b8NPC.NWl@/e(?(uv|!IpRR D Vճy>T/@;*@Xhy(c~21ha[>(`ʺ[ t^y3(б⻏RG’ }&}~^(OWۧ$б i5N 9g/7ϑ'9_C"z0gL/ х83Tǩ+EL9Ɠ3 ۟m"6|S8=綛+obӍ;p*L2x9' Rw^ث1T/Ɩ517d5x?F&Nt W.wv xǎsߚAEPNOo}A56i~eLҩH:HE5bYheq8~r%DT3]ϭ D4\M~r|6keEbgJG&xP[H547D6md Gӄ=C\_ғptI8fn?)շt53.inI 6;&ZP%:0qxT;ov V ,qn/ ]kI/V(ç}"1t7`K%Y[ 56`S F&z@jU#ք F2?Hr#q\bA)/pO: `QF: mnà4vLBa 8܎H^9 1@'In"FMM !<堒׭ݣck'4]^֥e Ђ^6 a8& NO!2w:PqDDXl$ ^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal " 5K/ 6HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/\'Z}T(D ߖjKr~CeQ @L-{v ^80Jhy :~.lYP# H50M۵&i7%hϒ:m%zL5@t<ͱ.̂,xa1 Vx %Q4i0 `Gm%/mIZѿ{#M8|$qYjI;cˎ*V45cT=5ӱ,CI@cMGf=-@Ej6lx` ph$4-dy@C,VМ,sFzx84ؒ$rIBY  3=@ݷy{O9,/VyjWUj^O?soҿpj%7~^+D轋{aHr3%Eti-ɣ^;qVx8Ě5̢ FYZS `M4 ^$iWi.{ զ&on}vϾnUߛz|V=YcRV;'1))uWne'#F}""_;e^ځ<} Ƭ0[_3"=յO4AA'LH\O< +!1a VAQQ $2/Kξ鬦tdfX{X-"a=Cd>ŏ؎xܼ~}w-OG.T߭Ⱦk7*n&9I*xIcL9̫֕S/};O56o"(:; }έ9Z]#*/ILOeDDج XjsQnkN??9bz ު48 ,PE_sovEjs_b*љwWWuVMVx}8,FZ|,WT <QE4+}[wfUTf QKDA(\XU:p&v"txքqxּ~_52=x+b{eurG5}lǔ(on% ń$Y7Ib\݉͝fJ/y[r׃0"Z>iBB-c;Ydz:7#6AQ~J%i)H1PpAŔ=6jvy]8֤.>]VGpy;&ntBE"aS2ܒ%QD  οa||uX"TZ=. gFiSshLI>_~$̦mܭbEULZa9 KWmG3SE-őLbePuF')xv(@bzL)a.LL`V8nKʩÿ箾ܝ5\dI|†2KM E95O`<_vw3d(| x <͸/?F³Tb>};1bhY*,V28W%}T].?`Þ/#{qkff;%_,~o2(}I5gYUQղvî(;ǠnzhŲ98L|?.wz:k554eyHS`3!C[V4mAM;_˧uTΝǸP'E=40W4i,]eC|h"9NG$[WSYu>wG:Nkor .Kr" g#Rsy2֨ {uކэ9v~~z9.Oi H54UPȦ.&Dvr`)銳Au6dn#6=L Ox ^v4%sQ)Zyt}w56wr9v;b~W~<:jlnrJ?`Sx{r嗟Xy |$oۦ1vq ;K}=5 UuāyA@y<*D,Wev-<`)7Xr;)AdJ%5WDdDcjrJ6٥}G=tNR9=rŽ\_`Dj ե~ǍW){Z1T}LdHqZ#3_,=40zbFIӛQM]B7|.iV& 㛶`ܰ86`Tyf3L *#~;-GMN62gJc]4Nq?>Εe䒠1Y3D,׮~ J0hCP0w4U Y*eB$6$t\l-ؚ)Bۛ(=Ɠ6WJ/BHQI)"NXa-~R>0:΢C>"{q&|h}"Fe+B|FB EI"Dab_Y7뭇%kBٕk׫6o JR`l=YbLǔnFZ;mAvi9bA1^ljvBL%{ VY]eXS${}l_>) 笂c@!C f30S-ۋ[6U2Kuè^O$|{_$  hAUALHV<"& xTG 4@k|,Z].>31EThƠ`swo('gqD)2)0_6(JMpr Sf2pR|,[elvzS}Q6~V͹0ٝKplwUQXqMJ ѝ7K>٢`\ekIͱ0J_5\BgtEN}.XdR%+É0SST~J4UOSsNDxYJc${"ZVA+hI1]4P&w.H4͜BKq"`9 >UQ\FIIez)v@ҭ}ǵkoE. F^;X%aN *¾ʘw:ۊ/`4.WʇtY8Vbe63R( r5iϝV@ᕞ'ݘrWK]&>i< e{58v*Ih3vZBNjvbFD}bj<4VM\~eq#ҒBPd0.ؽ_2+Y<Q }YFovVi)V*}C 0Kc3ѲQgbP^4ua;Ky {od9/;_O[6+c .B1l`3,ݳo~66Rz*3P+M X`|ڨN4 /NsrE@5׷-4DIdXҦWZd2 tҏLt*[\6cbMv0| XLqEGzzE$ !>KC4ev|(@D& zi%id»"Fb s\c5\/),-A3&a 4^5*.Q*Gb/5;*A\,%;8Z,mw;p%$\X.U84űp]`'$_ &I^z\'TBwE˛ ]ޑ CEiig1~Βppfn ׍V  K9 tA^Z r֋<Gr"@\$8W<Dž)sDYG<مDqoYq^gX )0Þr3)c9*77R,Yޯ rb{GAYY73V_4I-+嫌c^<%F329dFҙzg8t<H>$LoP n< PuwVQ #Wt%SY<ȩb[y+˄"&?SnwM߼g0ե]oM_/y.kJltT)IطIw~V T`-m^wK̓.%5aݱa2{E[2bVaLJlW "/2JN3ĵࡹy7jd0̚0Zv - b# m˱3Мd! \^4vdiAQy;Xw}un;VFx/:U xȮ2j|WD,d_,;<4+CdNtĬ'ֲW[^fv,gTJڱWd 6Wcn(-7`dxt$ SĶSم(.vFƙR*qur.n$/ʩVߚu, ,z S|kC&c\9iI䓙b,0O:olƖMH1酓˴q;dH,v֔v-'@-K;.d[]-dhBPw:(G7 'px.5? ZNm_4` ƦR\hs^fqUhu8k^]&W?fP5ļ!oc`:U4%ZuucÎ(#T`z|*Am{żhhe&y@(#OPL` 7M/ cLav 3`6 z F+|Z|O$뽎?w] <=rͬ]ǤY7/҆b颁6T& Ko$*XG`ɠ?ӂ9!bxѯd&$6'K]z''B@|)aɁ|CmI#ЙLOL1d؛ೀog{&m$L~|^Vݲ =?P%q`|_{M' I!vN, NW3l@ѕI s)cFTHX5%&g1ćL <2$ҹؒ9v5ڒ-`u2H9J."=mpJV;X3mXΓ|',{qX-Jf^Ȇ̜L^ Ȣ $UxRh H2Fs!˫$]H?j8w2WЍd Ʋ.Kxչl[?pm+"6Ů3+oY~|Q!Zȗ͌Ϲ\xJrx gtw|G| ݰ?4uwZ ^XEStY[cY c&hYiB!-L`{B[@QÀZDQ(W5 [l{@#wq?'֡CQ\uqhPyccb^gF5 HmW816n@."lı+b7G J4Sa K/%WP\> 1P!G~颟Edg^1͠JӸ(En}jP^+5&d՗߸D\[]OxZ}|p:=k!Oil>ZxHAB'TLnP%,E[^z%y,UJcEd Fxg0Wo9CY{Q,B:r[DsDRyaYvR}B613 \ 01 o!$x# $15e`U~Y{G"#û-Al,srpGLǛ Q"L@" [ xS=oTӐKlM|}-;zFU@}+棩.5J Rv]LJluF3B8| UeH?? [&I S]Aqv3A]-gI~'PCwWqT+T#zvuR9y2g[wD<0Plk&yD)`~[~ՊFO 4qm?g0`a,ko]U 6-quk*>vi0(ϕ[8</E% 퐕Aȴrga4挝a5\Iud l嫘PyZnidrZ_mf`hܽ 6~Y!Q.sf(ld@V+ʼnV8wFo-8uk0sտ[FEڸ>}@!ܻ`\{\(H dYcLB,!>1-% ahc=vx| gxI4GQd*>gDaj#:^Cf>WXJmFUx8Qu\5[kB7mv|#VyROڅ#ZQ'z.5ؚǭhI9edgXTɽd 2wH֖Nٯ̒ǶľQq f&3xaTğ7ͼYRTlHLIl&j~KZ/`$݂ױxyn~ĦY~v)>fXr^=8/! x(eC@h.{}3,__fu T=3,ofL]FUk Eki~Sخ[u3;o3/f_W۪3,|< xӝR7ƛNdB*=+/r Wź|uf%U?WyyY3jbDD2/o"&N᥺TXʛ{Ǜ.Iv3@ G#DBD0bAAB B!)&RLHͿS)#,iIJl9U: ++5:^N!S&s!kskVQ|R?fp hIC:Sz7LoP+OI{s6%q;PNM]Ha -xw蹅fi]DۓqBvw֒-(ā3$.b߱3mI8N} mWIkaBz3`եK=j`KATēW^ATubj+`GW!}j1%,> esu_IM_MԟiHeDk ~v3r!QD4;:_.M 'woFlE]ps`n2 }&k@2? i~CM<P/y{KZ8NifqWbcGqTeEOo1d7-A S mHԳ^C~Jĩ ɭWXKH=0yE]9=B+M h[g&֨#@!q88 qK{8- RFAΐ"z`1mFWy%>2+耳0Ok8{6/i`p6t /P15HW.ڡGoSu68;I~M gCg⺭orIxdORܹu6&Zx%)7#a:y ΉН7׀xfw Cy1(r!A,^/w \¡&# W`4PݪZQW.+:)F2$WEp腿 aީzSF$ 3bK:!Fo2Hl9r~8Gy8ߜ`]]>731185qӉ fI# %N,$ޥɤ!P{  qBGfOJ! ޡ--ģ\ބtv-$ ލ:P()2r#nLzO =tcfJN:>F~{_4Yh$)N̟rBޡE.F:4yM'5 qmWU>lYm*S^.d"_4$QҰD;^S'*/Z!#,FLa%㖀y. X`~}2pA`z_/Ћ gP84s"#X#^ѡdt)NRjiA"ȉęeHѾeq@[-6}h-ECkDM#\/k/D_*-[B&2b1@Z4c̣͎ir,j.kԱ3_4[&礓?x{P1J%4vѵq'=F>IaOfgn)˝A 2Ȯ)UDHGѕ%kbh#5Zפx"IؙăxJ#tfDoxe,ATxoJ,u$>1'3xxд]U:@݌sdzU %.w>;*UL-5H$Nx%*Ufr|M"\0 hU`%ZdaL ?vlGǿJU].yR&vV1yEPh1F4H}"!!b<$ ixqTuW<ۛŦy?瓬ƂG=Ez n>2ψHoYg @;#S1ƒ'Jbx9J.Tܭ,̩Y$*}uͬX^0)V @aDvE PGf]*^,SR&2],4gC Uw g:i^uarO2SlSOI:j'Y*Ɩ7 _d:ԑDx{< )qh0-\Wr.l s_X@3|X&;b{l8k\ك83mK8]ܱn]VܻS)$}e..e_{BGCyB8pN /-6gv7cYJ!(榑]'?C# jnx%aÉk.uQ]v#hgdX^}N3/AN NA=cસi}2N􈟳]kd:E/IDŽοI^QA֍jNms vuMo"jxnu};9l6ZDP- ^&W+HHmr~U/ E>OExޕC9seg]v=^<;%\2bY[uDдQ3)o:;t?z+h+OQr/tA*=U RHo7l| ͬUl'QX`,nV70f).Oǃ٫H˔Q*=-gq)~X\m{+@)&׈TYp 1g27n3YBH2FِA+rUlXA t5$%[3qv I$hί?U镊1V0ɏ|ښ.5e#ڏcYiKa Ds D1rD8:?0rƲk{lon}#Γ^e1֥3 v&:u^n3Wټ uɹ]zSk95V1RVg/Y>VTJgIbY%sj(u0ڪЈfĨεc[!VB@ZL)Ԏ5y<9g!gPsNܿϼ1dTZh K))oZ1n'Dpծw][YcQrK/&cP_PGG.?ʏɏ~EM j-uc+tDjոƜ4:%8 bEiH2j1 e @` 0 A!B!H .45̡epVaH( d"^MJ5KTj{.Dj[= o%DP1~{fz6'T;ZaQ%(ǍU x",ÿGc(-+14ۣ)=#" 2ŗC(1ܔՂ)rBJ&}G<Xݞ:&x=?FexIFM"eiܰ py+v'UV{{<(d{Ð׵pZvݝM)XVnI.KX-_Il L]v)'07i ]He^38IAe,5r a.+x O `Y7͑J3uH2d򚝣 GVd <8xvDF2^=J֢!gj (@gv?/q 1*;ʬ#ͽ"ށB l¼A{ Aׅ%aQ40Npڕ6aFcqHNE}0df`% CА))o=S*>hz:p (H{zDZ,VUDa'bE;83E8s@x%@vAPbhxqK*dì䭧C}t}xY2Caz#6L"f(АJ'(UȐs6?d&,ij6YT ] 1I8M0FI0&[t{}w#*hVb-,BպX%,`Ĭ 0 +*u4X(jID1Txrot+ Ś!"ꇴFBaYchE8"SH3.ARRWa$Rئ֬ZUE1f IQaZhJ %)Eˡ6G^b0t 6t'#$iZQ%Dl\^t=o{Sx6 bT`MQQ8N{_\9?[3^,z nއ~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