SQLite format 3@ ._  5  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info B5~p^ ] UHOL-Nominal-Examples:threads=6elapsed=276.507cpu=1376.522gc=109.162(/5_<&)kF6w~a<0_yR%{)KϹ:0%ޣ7Qgoum5]*ŷoD)ު^ O{۩i}mӿV=1^d:XK~Q"1QuqX6lFWve++Uޱ  Qhu{= aGnR&ՔCԕyȑd,]CseiN?Euqr^$Hid7&Wr+\j-'6hVN!uXt+ClaQ>*>&uGlO_geɞ=C'B]:=:(٬IrҜrz!d3ʲ'-=foץGy?跄,qȘu\%lMXЄFAVpw;ħ]H3^|RH5SId']h%ƒU6 nj>9W!di PINspfNc$ƦG%?Xvˊ#őի\6S%uJchWbOOCCil#⚐oW] KĬl=Y%[2 KwXXߵѦ5R׫EViw g]~vj?(z~zIw;];^pصrcluNvnVd%#2:_ Ү|3\"TgzԦwjЬjXOy #xF?,zx|Tյog&("}Z;f*yk=72j2RZ#Ӣ28=lL>lOz/{Vj5{Y{Ɏ~EW{K-gh)v^Kxyx7hJ<odg*7(uwl8yr3[lkz#je5*^*ϑXIbBXg:CYv+՝ʝqN8'ssJe_WnUV5^UjRU9<*.Pf\2H#ݐ/cSSYMe/4TSyMuhԩC%fAޫՙY0`hPAzdE"eX1xKRUک")qHESK%R2bTڱj뭇u*KESzxNg_L:;Dm/D,*ĖDdeÖm$;!G& ?NX)zgؗmN3k椶!Om;dLuװJja ?DB>ofqB55#vsxT5/-2O:? -(z6azϰRۀgj{y=sa̅æY8x‚:^@}KgŤՠ$$ w۰%c9uC! 5 HOL-Nominal-Examples.5o] HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thy8c52222686a1f76cb4e111390fec7aa78dc4381a(/`!MjT+n-DHHߺZb%#-}n TR*>DW Y(@=HMe쳳U%"'p;{/r4pEs,L/9V3 E;^Y9GO xi-2UjX^g4:nj Xj,2qC !1l[ZCShD2l ѕGҚQ:Zy˹F~!Py#_0+SA儕D.haSGwѕ0GUҬ`a=G gPfSq'mjU4Wd o!ph;GjUi\=K#}_jʖゑ'Bν%1hǻ%t02JxMl$Bb\:!A##Ӻ>8aJQ 㗭lq-ΒRkZkwhj44љIӌVMm.65QJъ9Q{QC7T}Snꑦ!FpQ_'WtB[ nQ[ v̖)IBʓt^ఌa@"jDs`פ3d%ѷ+W5{9)N` -ILuMPsH(rDX( {)HX ׽j2P1eHfD i CaPfQB ! D$I l$#u9ytFݤ7SP|EEv.($}c&0]Xdʝ*ug5 ebF@oH`͸ycC5M*X-?}nYֻ"8]rD>%3_hĠХxJSv@$lSK * N֚c0 bﶺ*t7& #{#!vV63e^PZQ!Gd+jW(Z 8,p G7fcQS." ^\($;BτB/{5 D8sꀛR!%v~ SO$p%& TCYFY#)'@ ։^Lh7ݾ7lBS2: .=KhC܏6O#9b8KڵE⒖Ӣf#D8 !oߟA^i}ボ'V܎f"9p2[^ePBxT?`j]7>AñŗL*E4%6s}uUMT{B|Q#}#HB8m%>^yw!O{XҮt'3 *ͱ[>jüdQ3Mb$hb-cڔ.ҳBsoZ\ i}ݸ ZK☦`.c^R;0@0$Մ!^ltgI -cKFՠ8ZQv*ϔڠKAYvR*[vO"v "c'FkAjZ'%wT$Ƭ)kR˪q"eI6u;QV)V2+%T=?:8GՍڗ9X~aB[QPDY6(I yRAs\%"kgQɥ=V`7'PߴC$޾cm g׵cJn~1V@ڊtsQJ_f˿5=т 7Af4@x# p0gbl4 kZ55|_Lp5bZ5_] DHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy2d8bf6ac0b2d5552615942300b986e0270de9bec(/`Q5#@Vx!I`KG;^f=d8&,)))| c4"䘣h># =6?G, d ?ts>oKf_'BrY{Ya_qV^I{ØYA[֘Y8ߐ8sr_ᤳa qPAI:\;cǨ~R"   {z   x j q1  ] 8 ; 0s $tA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lam_Funs.thyG5iHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/LocalWeakening.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Pattern.thy=5UHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Fsub.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/VC_Condition.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class3.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class1.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR_Takahashi.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Support.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Compile.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Height.thy H5kHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Standardization.thy <5SHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SOS.thy C5aHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CK_Machine.thy ;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR.thy ?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class2.thy;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SN.thyB5_HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Weakening.thy>5WHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Crary.thy:5OHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/W.thyA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Contexts.thyJ5oHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thyA5_ HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thyx hy~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n h 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)-1PGuRsZ JJ,h M,"$Bj&~.̲ڷMef{0}13:3}iTɹ4V>6JY$IGN]8OS1Nj Q0<?\@<&vh8{uC#)2**Ewa;̼A;^*ȇDR?RDv θi^@qQBfzR!w왙H jК#ɐ ݓ{8pG<蕫p(Pui$>L@15{]/뵽+5r.r.`W]-V=>Қ?C#qz?zIu|z &FI0(tE^(uWyz 9!}|{w t s r onkidc\[ZYVSRQLIHGDA|@{?x>s8r7q6n5i2_.\,W+*'% " ?821-, % $ gOo!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!  d.MVQ,hCxMcEyن*d }Tx%ϣ jRdXUbJAq !)I6H^M"k 51M{ DqjVQL0nvJzps=v JKw."K_iN/=b&?⌘YI Coķ5`"jBKec[O/Dv]0r@HEw؃]"OREc 5hx심-Z׬1>oGA>Z _Ң(<4"f pڴ+ J7 i e0$ff*3VP zC H׀3MC(I3WS,8H*xr $gE /[H1^'$ˋA,bcSK҂qSi[O^\H2;5лsU7\DިYw=N{,ZFNџ,9pL.  4|rXu.&|'Γ;s`,\2dYm ՛g~/Jt\H%Rؓ& ͥV;ǂj$M^`veѥ};,fL_Hv }‰wȒgo! Ku^9@5'nʄ8dxa[2cĢv,PGiB;]9& ;$g Mx5aHvj:I +URK{#4(1s8PG PQp6dyY $$HٗXxЌϔBu|r*/@B*+,+Yg4 S;&+( 8C>FU ʋhdUvdbaʆ6GErpK6܃ﵹ&+ y/sŃxu|5A҅>KNoZ S<@!ǎa v)Hb#fWoѐR%}y)0oNȱ S#L>T(n 3~ʂ %XdZ)@ӌY6@y -'ztE!.#ٹXmZ :57T*Hiݫ+-<_2&i `4)z8APyjӝ0I:/jҞ_@ke8%bWƃhjAwvݯn8œ*]F何8]x]J46t5Sr֡LDf0m bNBCl@(o=E եsܲQmEʄQ5WWհg_Z bhԟ7U,P,IbL}oK}W GR^:$zM.@FC-)u1a'#݀)z-`41^Gcڪ tahIv5 d=6fg^?U6&2Oաч =QW9,xC$]csqꏌd^7"$<&7< Q P#8LHLΙN`8m 4Mv"#aNS!ԘCZS$G^6K"6aU~MMjZd<^Ɋ&r܄]" ,@8ͧȲ克r:Gf.0"v'u?T [ ]]Ael^3x|u VL))ɖ8-Dطs/cPc3[Z.#B {v 0Zљxc"Veqcs^`Rn[_T4ԜB=#UC,yk( Q]znql-hpFke/8E|QYܰEKP9QFx4QmB )g>BvU7Z#6EXUP8MӦ+m9 ʡ;+4{e'`v;*Ga/\G"/w$voKVջʼVH@/M}/uyY#׮ءؓDfl}g"BE双AVs;dQf$2w HLK; fNĻ1!-\Ɗz1bzQ bzQ<cz7mE0d_@0T] 1,,Dv/5ÚNW+=_esYy @~w S^T?>}dqܗ00$z/%$Λls&׆S ph ix8"dW'ވQa AD^aOq`j`V.vnZyd7%fV.a 4e8LHRK8w"pN2=lvK蕽/pٜ`80wmT_RXpqΗ/ˀ # 95\ .̓!i$:npo(PGrg܃I a.D"[@_ ml֫Aʐobt2Ow*ߐ`$ݘ!]M` Q{LQ2d'-z7QGP9[8,>oz2m #Jzq,H +Z>{O\ S47 ر7W ?T}KM(tcAž4'ɪ C?Q4ٷ ѓ30U2Kĵ씃puΒ:7 c:O GXȉ$B:tp5(Xc8 r! T#T棖4kaC /#qּ@y`pH.6n p]AؼeP 72̐Rk)nǡ 5܊*l_"شuWa=YS+-DI+ie%hm7k?O.R#nɝ*ۅ@otknEj"c䉭)LrypE: g/,K_jreTT7 vꪺS*؁b!0Gļgp+<#k3!!zB{ߠtj[VHa-D?ZI%FeybFM8P^Ce 9BչM8ss_V a񁇾(!~wO7 yLBj Ko "j?089nؠUUhS8WXE r*8]]᠇K)ݗPgKtx2a cWuԼpiW1|:'$& Kic'I:(oYRPnjnkfNSFAPD@Y)`KQ#3R1+,U>f"DnU7$s;"!zcU!{F]S 񹚅=V9~*pleKheYt"^4OQ=r߈:I/ zL`)a"Q(5-zLՉtnq t, ɨjW ֢#޻+Xϧ,c Z>sTb$f.ڛu1tk!%PcMLNeRJw|˟z3r`E棣iy.oK{xZW!yt 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 va/k ; ,BhBw߶o߾%֮۶m۶m۶ mb7y, l hV>!B¡!t{Xb[ vmьtF_8Z׊A gdcKX+ wYBaYڎJ fڠkH_yZ!ƽK.7T}]`m} ˍg $9I~ iaԪ0V89 xܦK*Hi֚?q[WPa\4r.[X;X(v񏥀C caxuGT>!BcgY2&6,; 㬖L,\{cA{U1 3'ۗ!sTH9-w%"A\[tQr1,caW= =Y-NYX^`ӢvyCI08>*F|3z$sri08ds4W$߭ۺ{Gs3Fa+:{7+;~Ѫ͕Z˴[ PIVn(!)>#7I<0 gPQPq7\!K̛\sWJ$|C 4,2c+"wW *f{pY8tF, ČGDTUx9k?u$#777'Jf\~3=D~ @U"OxYG^Wc^aq  }}+Pͭ$q}LQYʁU* C,&i2U̔\7fY# caϐx-0dg|>dD2#D `% `]_=Tp92ez_&C5۱P@/h63fdR$閼7v[+{^h''~@w)2tߜHN} m±)7^rDR:LDڍwk{R$[Z`HnY/I-[خ=1Q/x)`¡d@"ã0"SN*js ){g7S 3LǼ)oS&筊W rڪ5`3U4 9qdu9 -jXg1MpR*)R-K)t) ΤkqPvnJ}O1OiNSV|) \kKųy;t<suR%lPr\Zqtj]L xAEu M4;Mf(T-b 35_Jf2) J1“:i\HVpQLlX!p~o9 ,8n>Ls>ΙE lZẔAGJ^_k#' JQsXO/ա=( Z11>8CëKGk<ߠ Q%TuؕwzӇFWa.4.(=gj&~* e,r94<5Ct$OL,@B-K9c 9=kxѰH]X` z4͏"#M7Ez-D/Jy! |]~>\=UhmB]k$l|8tG ^K+䄡.Lt< BQNs)UuI h f'%1'߷lǼ X6]֧,cf0RAE,n*ιc7V^8cߧN:X0GO:(!!A #A[N!3[9% ތS.8ӬnvnYI*,溻ܳ:;堅V0܈$f^ ;2Qn20UcLf)`RmHỷp1vf^Iwϕ@+9 IZ3MhX۱+Ef u~U$6PlQF~ =Vb2{!:"k?}N$Ҹf. 0>K(*>TQ\˟S%ajCS}-<ԽCS-xV%u"nj_7*yb* @ׄk-Rx};yW{‹/O?(ql{ԚdQFak<ׁ5#'vS"/]i^SH3:Ҫ#etb&/TQ&Pߙ~ئNg-es8T +2K$i9%k-,(~9Jzq٠+Yt@2Ǽτ(Y+j5\W=)|ۧiWD`Buuza7ܠ UA<o(c@̻OLxP)ڄ瀎wHQ/:1 Ҩxm* zz)]6ZpV ɀZx?>%<4? XhOSZrswwV "&g`+|J$D>_-G\g-$$)3ypDTCd(T2'\Gw6)YB r0LAU"vn޺-x?iGnFdŌ&cl*34QθlH5r?f&w_ DƝSqW8k^W{T"oⲥ0Rak 6㒋P/q,R) BNVNb{u+)GCEGawH X'#Uy_f NWd~%|{2TZ=k"(t9uWdGu,cP`~į{,uA *!Ȭ!qON't*']+'[!=UrdW/jV"iZ,dN\E*D)xjK~T=no,BB6A+!ٗ(׃ u "D+AǚvAK] nPyEpu g6+ BQm l$>v/(Ǵg= >P7!Qc"hz{4MøA}=#VRl+ng^{lO/<^﷌"@A쇓8PN*9|Kb+e410´k$l3Py䲕DhWveKe"TJS :9vp~`~y~ k?tO^SCX%ΏH8|>V6B߼"T4ԁwMľ0nHas~8^;Nc96SQ >L=ҤYFJECڼ(Cڄ(0σ 9}C|hSF@QC2]llm9XX\/}!HIDDg;5q'k`|a@A".qՙ4PYNHP!.f^ KlM͚*:a pcWヺX+ݾ#,ny`=ͼ#2ҸIǛ*2>-:ƬP 7n([ S2W.Y)q17p1dpP &$=N>ɚS5~'e 09vBN76cRyòDmYt03pkm9ɥi6#@|MNpΠ9#%{aE?R4؟)!ˋ.gv.g01BD1I(vw]i?9WEoyKY^1"mOSzl,Qd"|E,DhL.nY,5 qψWj."'Ϝ O&,B5U U=!_T p'-kcg%+H(N=׻!Kr+,\ FTI X fH}ϩjx#S R~V{ x;xĐ1P$I̖]*@cziW2'NHE!GRAG*`>.oÆ;Ɵ@yp2w~]&^6w_8#婟sS=\K4׏c/`KS7~ȲFl>=M+4 ZxMiGkkc/^ɎݦBEרbnP[&k' =+rB)̖Bq@e^<5E+ tMX"g(Ati) D`"͗ v ,`JLfiˈF 3$^vH+CvC72mN٥1=G6;xli{-9(E2K}̱\EdY9 `B;)3آX|9с!EG:SNQLh(9-# bл' oLOp _\I%\rڢ%d4Ϗ|*7l%Yp F Lc\2#It;>%A:IO@ B]OnQKJ ,ƈhC91\.ɿ ],Y +I$9tq[[n ¿w3|RnM鯟m,^ğ24ċ9[eS7/KMaT.*ASf?g\HiA%K$| ("]VRi:d MWF'{k8z8 NǃhSr:X%2Mz3srƷR5,E&E&r)ƧFr<`Bar9*VA1"d2מ1b!ʑy=)c@LIi׽!RU$_tv"O4.0irLz*8UHeSV8B aj̊@DX IutKƖq0ؤ9W\\򥚤 f Ժ96}s%nYRz]k UO$eY')4.|L/Jv~>`.Em3)/o1ṡm 7t8RNN򦽖u@bֺ;t©͈:+_J'ۈ$0@05 fEPP@ޞ+KyK.Q(_+1xMLbW]er 8Ňlt|\sٿ'k2@wȧ `| ѻJ 4K&hnR^t,M YY-1#44U+jbHQ]gʒUm# iHTR4LB-iùo=aZ\\ein;@ɢu?;@fǖz#bm7fr_hO[_!_"vȞBY&"C2چ5w1+rr41JGyVFԄ^y 8hOWB@X4-(M /Q*1#͐$ U- 5vTk6+Dj5J0p£h22Cj~QТ--j&XnN8A y7y$"ز\Km8 /_wk'И 0~.#`Lj,T(vld+a;!gys.AQfW6m>fqS7x0s:.H,>-Dv%oF~ ="kOwr K/\c52$Sc'OoXwh3M7TxP,)1#œ̳1H>^S߯OO>@0!r"`HP° F S%́&ߝiו=()]vqrb:NP7)hmHx{So=Ez/YA{ ]] P(@0{~QX=z1r`.P 4{ (q$xɧ7ư? 61NxL< E&ͼ2K j!zμ !@_X[hG|+3u`]ef4F Н cש<o-(Kzty tt'Zxӕ$zm:9=(stVOg[2z}*ŒyJ;yK);}@%9môcf 0r.X'9}$Ey{7C ũB ]hU" 5E捄y-/ gSSi;ą9ϡmݙܙ]L6Q 8\ήZ,w|rY aAK )ΰrh$!35B]AP K<6Op[ۖ#a5}Dkl$=G7lPGD @$VLra*R9VYks?5oQ4=C7GqΚEDx%8xODSZRA\HhsqHGII" Oc>3H͓hu"SŖ=ex$!ɞ ?'HoJaHsDq 2EoulAJDq XSOv kul6 2)c9;y'[f&S]B%E$%ӊ1_iV1͗kbT:GB*wܾܲ|LM*]Т^Y Sx=O-胡l{[!rՔﻄ"GczoMy!r꠴,=+~q:rH\зsfQ#soDZ1/>e1$×Yp͚ͪD? = m ^yͣ-B K/VWNst|ʙt°SJ6P&2 }~ڭNto|# q_o?CAFP/dSk[{Yh kcٖDb-)j1nU6y=s$~mg-\XY<33/lkQ:MXE?cp6So}%Ri=8@g0F˛0bsFlC @J)Jl%hOUU8nv?u~4/Ǖj*xa^C7g'x(MMO6 㪒0 6!4Hc]w{s Jӛ$xҋ,9ɊX"TG.7*!ӈ5;ݡWx.? hfjOԣRU#3kMxr©RV3l4?ٔ:rx_ m#qt(O!ξ_Nӓ 괯U71 *YazѨw%-'UFcS3 ML/*tV(I@¡ά*]ﷃffoXm3/)$jmn>sjA*_'yE63AK6tR7@"# _ٞ7J'yJN  SV٤>Ar pg4޶**4g߰oQ*ޔwŕ3r/ jV)YsWWH#/uVzKϋ{U ) " o%@xbeo)%Haz!@o9pu?ekR@X--mZq0 Df3BśX͖xZFmK41.eR4%j~B% 󲥶XbF,Q\0DPpI;+ăPḻjZ%V3Z;Z iUVfղZVj9ZâV֚m-(H8,*j{TTRӶ.( uԅCC%,8TѠ`Jm.\6Ӽ3jchN۶mͳi^8ǃP|ZNϦBᨵjV!HrVM8,gVά\rQnQN91Q>)&@,qN&e,vE'M9ݝ|W'x,Wɵ[4YMi)(&rMx%|gVr\UUXxur$Seydy>#NMyrrd7ɉrʹrJN㣌m|f"&K9,2LgryH^o,7sdDr,gfb>'&aYEfhVEv zvx}fƚun]W8SU <}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y5[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`9J!P EP"N+R5y76v{5g^(.hE-$iIfK<ҽG{p";^BxJQUvwbIG'\H/}$716qo'"I!reAɂ W켅Hr> C}K( ͤ=ϱ6L<4gֆ9"7Ē9Ǖ̆MϿ-?yԀa/H1$`܉n(ZV9!]i vfe(Epȹ_dsI$CR!F6X>G~R[I4@?fڮg|c$}Z);,ΐ1mvzP1鎨?('_xtZ!* ?;dPyac/wY^'+7=AF+)Tear|AjZwY0pxGȘ7q)Ґ]V0ax')]J_w6H -TY!QlLd_GP ,`2Ƚh0k4ԉXJ ͑ v,p(ڣ{%Ʌ7MKk2PΘn,wj$rǟ[[9*x:"xnþcs4;wF~QĄ><$W<ʀ;u"VN ѢcQmjM}8贝l^Q?7"I+bx)NyJ9P{c(e)zjҌT[5ӑ!CbamwG,fuo0~1I^\ÿ H C!vo4~wu<4b3+b>#Zc uޜT_j~ h2d$0cM%IսhG&ؤ[YXBTAgxkRzw#Q\HELd <9at'=^WfijaQ Zf/WEAש6A55xkޔ #H2D2$B''$SL%^,>l&똂Ϋ@za3a h{g6Ș=h7܌\%A*dxMpSNR "PGNճv~WkHb 4 6{-ŵ{‑D)}+$pٺPZe `$@ʝUnj;`5Ua,6FŞg81l0m)^ W \C$`i Gl3΋q#&(38.VOh9U1U|0KG朔eF7c D@(B(.@´}t!TO?$$^v[o:T8n<d4ܰm79҅JF殪`pewgY*Wv_r?ZM2O،P ̳ց#/ZZWXĜM-W~fW܀)W@njR2t0yUiS%V?'LPuK͓IyaIC!4[^* KK`Z1ڒL}D[ ?2 6XV'&8\gV5ԃeQ/jES]xd> A'dLڊHA.ܶ -u?#-Ng Xa{6ᘉN䯄|8zZ9TJ$s`?ksS=繟%G%gtg tú<ѷ J`" ƺ}|0n[7 ɫ^. h"Hbh3,g؆Uz@03|)(ht!9g)݃ߞ Xa۵j5[i+^ oL@YFE^?Id_ vQ/5^? :Ha[ (ܞ?Dѐ=k7$#[+=9<2ѸוhRm*st!@+Qa" 2 T_*pF}|Q7;Dl^ӉPeNA< "i}(F'8;x> [v(>{`STL]YLۮmf5wF&t;M-*gl(]ϻGvgMt@]t%@I_KS/kqtrqvLbb[': >DF#4}"dmQw )%Zד?^:gxաs#UY ODPsn0YмXO71/(nsɑO > k4t3埧ˆ186pti`2GBވ Dmm377 # Mz-3:O$٨1<WYTf=:7"d ,eOPP}=`7~M'٪cL,}_)+4Ȫ]Z~Bx2*XZkcPZ]/ȿK )`ͫ 6elF}˳bGxl㼹-Cf#3as!zՈ5N-3{ұbZEEnU,?\JX-׬}ku/^%0^Fj~$8#"B\_tMft$'~L|utqsk~eZr*Q_LHO=-8zl72~ ٕIdKAOWKL&^3Ыcع`bo|,FHz7m4I'lOx"QƂM4#'GgÎsxaLѹ4hX0ڻfэl1hs>eJw˃#0&5^o)}{7|v 3[pMP R!̩*qHq }&)?^:\BBWq:E:W&i|k ;Sd}2pɪ0O %>0GZT ՝Ǯ]ueVz{w/4UH f,6)~/(dÁX r_]"E/yKⱢc`E݄(6h7N~u3w69g,`&_P& k]QS‚Q5iX`Xqw͝w:SXaa @nLso#206( 7++n<$ 5'G@yy Q35c;>"L"G)-WǙXoS1rfy"k`ˠ6<*<'opk*^dKv)2!^mo/Q)>17I{x{Vu [zo^' ϥ:lt4|$|< su[xNnXsͧvcRc<$bn4ܻ')tW+-Dze±v0oJvf"~>I.>Xm=0v+ h!~&T ,+["*/{\0>RB~P .k>#6Ayz{Qj6P䣂 y?QY-f "@wKl5CPߚ6MS Ci ̍p$d< 6|Q̵lhtJ/ϰAtq-}ߤ6JDyΥk8854+1bWLd\DxRz {)FO;m0EE`cjf"*K:u74BjfAp43}h&8_&}DRg(!seErVE F8yL(~oˠԖ^H^15aA åzi,.3}J %uvBw[^<\}Wxs 4@oOuŽϟdEِ dKA "Ǽ$"̡cBwXpV2^%=P@LP=c*0],;rb*F\ģxɪkߐNi"P u}9xIT!z8'JwuW,-Yb%{n-Jw-%ܑ"K*n">>hy1άmb[ȷhU٪Bon S+#btY=&6Dͭ_`c`[ 4OKgU"8AzEb:Jx{rRNa6.UAYCF4 3{| Цw* ~ jMvA?숖ژojvcD~g7G B0ΰR|RKjQ.lCƞ0?Fxv)bW |paс%1 z KU &f{֝ [@jo h:G2ݦx Lf:dR) J ,Va3xu _=Pe! Lj h IW:n` zޓ",0 EDiIP5tG{vH ̺Xÿ (.=al``L%?_.`T0 pp^_Yc#(bTe7&:@|F'?h72?}\J#.<7g~MPf.^rMT`"Ug^"lE2,c??[ bS"3>&#8(C9 _(4pf&sK̉͆ҫ^)=է:0Z‒bbj$%;.Y7}^p#K?NTDǢw >> 4F~&JI,U!;p]Ұ!W|W9pl8j4iWqzx\@XX]Za~}&>]`2d: 9Y^MBNǰLpA҃p* *UYXyAZ)d(jkQ){Y'7 C)L1],`A?>9 q߼UejBwgօݏVx[Ȥg?Xu[9YYBT3͂.8oMD ;0~ʷRr쳲8NPsլ ٦edN$<ƠM.Q`;6]c?E_|g~Okp/j8\SfV%}y J5}˪btw}]e%0哉qћE X$pz>mZׂӢz/7 N$bQ5݌W. {w50 c =Ci8Τ=28وDV61lvT-F& A5|88"2 LW/"_)͎gO 65'p0Z*5C Zڱ_bW̳'s6>&e;n$Io EU Z߄Zd҇á*! P>^σߴw|j'®#?#R 'C-[ 9 $)0U`m~B*w~;(gY͘!?,x}dXɵZJX@\P|>Z 30'^mxHXBI#͂~I5DݸP@"Ӭ4o<1W84:QE.Ea,taT7 Me0FGgֺ3ܐ^pW*ݑmyBjgx-ː(Ttl [$>Űc7Kp #(ᦳ>!$X[?7w b~.Pͣ0pVlPWMۭ=2/IVl["H8q,5%3LG&C,]v :Enă_H"`G-g؝$蛣hqxLG.&R ljh ؖ4'{0)`?ٗ;1׫U.wXǓ ' 3C q8{yr=c w5®9.LS9>qy(bt8{kYP.;?AUsGE ܀{)]g P9l*bh"zFԭFx)7 ;&C;$\,_08u7dq&umʢ  RE:"̛$~[1ƳC9g7Kzw;%OY(4g,uS#HZ SǴW5:)HNc~_*X8oK*K~B4B WqHgHĘ@FFZ+3Yopw@w}{Q#c۳2j<4azx6N X@خfx A|qyhSLp!D;e6Tw*LuԌz5 0t|Q$F,HQ 6rD2!@^ :qMW)d2tW\==M@Z'O;Ij'{7TsCd6t`ebc(B'b7b~hY7]l&(sfV3Ox '@ E'&’FC;?p!/dSf!9?8p1xh4Mf &P6jIaQy\8$] xMOOD .,H $?v5WQshZi}kS?V=8 r)7]}ij3n'O[}$`UK g)rQU`>WE0ow;ߦ2SFz<2){1C`G?y޷`FZ i`索 4S[50Q9_ v97[!Mxb|2[%ܤSp6J&80£Sux1D]k1 e9 ×%" ?:x+7>7/K5cF>XB[Fuכ }R#-rl-~{ZS?ٶ}A9P(!Bh|H\TTRCY|,Ja8b?&,"5(!> ,A*+r9L?@ht6BiHEL <6H%><oq{zY;m5yaQ)@L>8P:oSWA6_kU= B)ܤ+~ zuhЌq**\0kZY=H z톽 SZ0k1;Q*֔zTbd)@!agĩV&(* qxtVO%>F>eυ8DBXSoarek7 , ?KB._($o@]|I]nF)e c7.YSt_&"%ih_߸5+y1;52[(c"E#~ OB`לGӴeTjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JbQA֩" |ƛICXsj/~'ưٙ'C-7WVG ǤN):wqpCiָ.?Kz:]sfwĠq 9<:X{D/0# uJ %Zl2_ERKz}h`Gd(Q6p~?injazS|1 #$gH;su0k(\Ά{"+&rey)j " _xB̬# t!TBV]jUR0M#O|'pq Vm! o<_yy53$<ۅL:!W{p0oi$\eׄʺ߯Z<>lHK`yxIH}Tv-m1|BT+5z A}18~‘g"Lr <=ʖ 6{Y}՞Eg5sQZ}t0 4XKsCCKB>JPc EDՓI\ԵRv ҵeU;0vYeFK)mɞeA4%>6Œ0AI, ȋ۫m0j w%׏ċ`|vPyW:_-KJW#ڻ۝C+n`F@Jmx a{,j|ȰZ}=zi(YW ;-bmp0+ >ۀ;kϏw 3A!h ,$\ @񄉛cݷ.Q 9~(R드M4/!Mx*"pԥ ڃ-MIX $m!VNs%}Se2l֑x[Tή7ldrd5mo>ϯx]~/xŀjz 54$t_⿾^!M1p|9SX-=bpG.8tƶ4b̌/r$Ts)"{׫" hO ^V{]WM=t={˒VElx UhKly4'ȃH-ٲ2ʈTh_wj?4K|(k~CG-~xc3Cdi 7^%16N[TD&"R2{Zk@ arQI PRigAT"{8{׋Eڜ$+5YN!]2MwB =y@lZ.S)Z0|LS BrKmk1j;Nagc_Wa6:Z TkUYw^#~o+xv(!AjJ!!l.Bwr{UYZt-pB,íg 0=-ۍA?!{ԨM9'8Q +bGR.=;)MXi3@JdAa,K {# g0U|\x-DPpC`ygD8q@ـ@(Ί^FY8Ag$szK";G3"&(woHq$8nDh& gO)VV[.;Zpc S+#b䢅p0\xf8旹{V8)d!,H!$"wv#TD*49!6}Wtnh ORU+CoQ!g4Q4f  עإ (eeu_}ws2䚉"@}g5qφ4G¶,6+ W"4.jtQ۰Gw8wݻ U[+4!녔(. RTT247ndQ(lpZC֛D*Br,|Jt$wqlwwUC̀]W$MN/]h4g ل%@پF[Pڻc}m5^ 9>"rFGb7 r"*KC,@϶_mZ*:1`BC:$^+p_i4]XX7чb oT΂{E2tͥk+$͵m=)@5)ͫWJ]ɥI@b̭5#m'.YBJTznλB&GU=~r(IEݰոYaR|P4`4s";qNX 6L5Ojs2\; 6a{aTzL1uf1z-8qlUCnCcp~Wp. _!r#@ɴuC2D7e Ӓfm?_9n6_XmT] D9mY+VH*sТUO^阣*0a8|w$dV֪ jުxRPR\3-L7-]w;( Bi@u͒֙1:ܲq}-a@!Icl-)wZuA;GE^x#yVuS[!Xw%@ÂOB(M="Yq(b0WatH w@Vs/b8Cd(-.ɈE82 \|ojkf*q? '̹IYMk Ab[.ynNacn .8%q4;^$whkN8'\[<嫺-vhkahxo`_%E;O06yTV@\frUf a&0u?lFOX=g1+so ʪj Q0"&t4t Ҝ#Ҙ2:ql[I,H-Jx[ԚQGYro2)cC1֖m_bQsŬ_xYeFAP8w#O" [4HS[Ȱc)8N†?rm 2r\c\Xk'P&@*G*o+.$cCZ21sE $Γ-xb} ZhIAD JtLql%Q4J,ѨMUm幵Pљ>O IbT %}TOV ]\|ւ_ #`k6E HPg)- Hԏ8: J LMw|_Ʌ BPCAX[L&|1J+¦ ӟqEަ%8^KJ¼Qm7\ v6Ѻ87ok}d.i6H.I4U  s-4 eb%8g=TVP{) 6i(1`r_3P,g(5?FO8Z[qB곽Aek9NXe-;,$MDeM8> sZrFǯ"#ݫP8G* UDb<-(V~ǐeԧ(6AQxz+\;蕢L`UQ=]j1\[]߾`aWCQZߓ."J5F ![G0o I2ԊaŢI\ ;>71LVĘmFq¶[ccFmuUZ }Un)AM;z`UL9B)l̻7.bOop+ ^'_B`,u$wUdvmo>G]6Se?]g^;]c Ry &TP_o<ø",^c!V-m Zu@0P9ol,?N2 Qm&:rh:W^U *CÿL2b&[ET͝yq?E]GF8_]YۥW Y|ok x~Յ?D *'$KY(% gD#Ha&S l`/YQD [0鋪1D=A:PjnpJl5CH8Rܭkevؤs_-"PQo۟7=V6֌oWMjø|4Dȯ"7Z=!x6rٹg`͢!?\+>}'jo:*%V=u~ ')~ wAsLCŃ iy-Ty[3'>\D)AYe%ȘfG6<=; I5ؽ2LfèD8q4p1Fs-Lx" ݐYWR6pAE0` V)w2{ݠ$k83X/Q=l^5@DŽR *@6qW9Hv=:>&[5G`.!`,m4X;6 != 0`DiTkʹxJ\-A؟LT TyedOvtU]igCV d}u[ρ%ȣ*wܶ焕TEMZѩ_i,x2wx!uS~$Kolw@SCXWtvTZ:chnb q,Ze ܂qω uդHY|@Pʆ◕Àn E #VoxсIGds5D(FAa~(~0^ x#Nǰדh8_૾-X[Pr y3jal0ʎOk#"hxnI֓[Blȹ[8)q [ h;mG|K9:{. zbuLu= D:rӡ'Uf›oN0?Q-lL<=%, -k 54+08+ۣQUzVD~d!m=_/A#pJ:A%_XB`q+ϻk_|C92HF`yQ+ \{,ou- PO jb%x `Uᷴdmh@fT`crU_#LT {;o-k`t_ap/?op(b>WY/`)ѭ \U̵0o}u мC;֏X iVclEU-kkm|5]ӳ c/ʼnj+#Rhy!DSO )@K4RO)TdFrr "O99/&V%@y{3W't<ܴ|718- PnQ*׷~Ѧf h6c~A{j.}@`NSٖ6zbTgĴaYq/MpV#|HJ^K@4d; 7*2pfg6hYv骡X6q)OP| 9 e*J en% /ޤ.QIآu1ץ!4hkum« !2 / tlEG jFJ+fpM]pN¡SW@8^f/ imMX lz,Itw){,$0TA9C *:SJ|^F k-`g MAB,3˃,`/0T D[uTaע[Cܮ9G#5Etyixzsqo>g9Ff_>(Ĕ~kBΐsAڈ$щKUXKPx'0c2&/79M ыM>ԟ&1by,7wY1)%22 nwO>(7)b_ƴ!=}w|ʅ-,boMmcGOD? t4^3)O˽2ouW^ )m!=Fė3$~m{>`3d3 6SLx(JXMITrw/J0e)mV6D%9:Nr\I[cy@DY:\W~mo{B̗!9tUCFG٭:i"^!ɻp) Mli"%1vco4Q8MG/LQ V=G[< T0Ǡ* bwZu+k6v< 0vL0 Xhi` \V!8aa{kIƐQq{118a =F(}vH ;umqFG} VYTJocmMK2C>l7e'T>~CLtvI/1hޕ]W[$|ٙ eЛ U :Y/ch8VRqXr*q6i :ys.]0 ̞YCc9bspw{ԋ0mA3gi"/krbEx-6]LauIjqȟ`q ",aU0m.!YB }AH ,yK9F f \՞_-H8'+םOQK#s%`,S`5B8S12@; {+5qD$>m2+U[Ըvx^n_rO(@X۬^í: Jta׾G6R jg+a mb6+u+$Zvu4\M!80s`Zꛓ\좯PEȒnxƴ, Ƿ}96B3:I8IgB'_NDH!= ]{]%+{LYTJ`'bPp۹~bY#L M5LwBɚ{^$kO6Flkg(ɼ"<[3s-_F눨}z| =}0yu;ۥ*fB*Ai6匟>'2b8]ap`zDtSoEq0 Z oj1fSzH`!YvDB :0t`iKħ(@~1òW >">&+FbFL]-GRYr$[!M|+@ofy* A:3ǩf3ł `QWLh8odT+ZQdiA1Y|8W?_Y/3 _T4Zx*Gfs$HA$ŎWTo?Vujf;Lgfq+t[aP9ɂρ:q/Oh {:mΡXEx0(pR CR”&Ɓ XX$+A+ڎd!c}MGlMY!xkFZp+B>x ZgDu81Ǩ$ PC~4`ٵt9ň`21-6le t{<8mdxH'C ӊ!ٟ&86j\ZCC8-C!-QGHȐ_!)B;G ݘȚQFk(dgPZ99zV69ԽB%ewxɶszE;F5hO2H1i=yT#s":gʞT,񏤰>׍3G͚\v]FEJ`==,ڃѯdl,x0έ, ]9xW>ՐsПkc^J[d9wf%Ag(|S?mpT! hŐ5Qj;MR5^dm ֭W:da~,l|UIT% pA,Zp6 d6&J-kT b9yrHަ$B >!Ղ ~˳vu(X +eƦ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"NgIM2(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&rjdǝ;BlXz%@ /2{zkyױ>8P.,џJ &Z$9O2K8rKFʃi{rfZ';:(9# |.Ii"UkF_%ԡ.6Upu"{ 9QGq-؊9Qi]Nlr.CXHnD' T%|zEDj+u nC%qH瀑 pfc}]fY7N_7{Ip_&Q6ݓ|`(k.[N%WL*0G1h/ 5'ҙ=(9y X=6[=>#]Ѩi0cXJ8)U&b٫лr* ö[ĺc4/DxQ t*Via vPF',Q#\b8-_Ed:,A e@TgiP #D`zGl0/#hrA@O@wLh馵5y 27OpoR:MOrۺb0CNB3Զ ըA bJP03Moe =z$Yy[KiOs1I' ""rι0&Oc/I1[GSw: =%%QRdhDI++u!lR '3I mjֽZI:`Pء:eb`q]͑K !~9*)B-n7$ ږ5C\kqėQ6 :ˏrÂjm*ԜjFL(&5y(N&Rp&9U`?~ѡcK}Q6Py {;̟SgJI[eyN H=t[hh iwVuD`qGLe9"\09VïNҽtWɐjud26\VQqd߼*Bh+nQI_逐+4y8>+soα@%)m-rZ u LܴM/Lw1'F{0g$rA Cq̓}UoQY ^U* 1:v]c)&v{E~>k1LA xDfrŠN^Kel{j.#r<d6s#>HkRANӫ{qv;^~#쒏j'_!_K3т9ijڙe*E)%{/XbsMz&$g](]1mZDW+MoѸA0We R@M9uKOxUB$zEAq{oĈ[f5j8`9\ݠ=K kd ʊ2S^!.x |3J6䴋*P}Pgww<7JƄ7dٌ" %÷6BjSPq6CՓ-{=m0\84D:<29^|omOasm踌#z1ᛕiN_벒_VYJJGl~?\&FycMͽ([g0H0 ,5`uC+O?<2uE[iM"eq J\~1lfOH39و3DB Эס h*3x [‚h~W|4a0{?/v[gc^^j]{Js*9ڙYOV$9X&펂8g@$&χ QnCvcxdnUe@TJ&!fl6m{큎K8TGpF$R~tAeI$.xr[GElyFtKA{s}9wGvc&¹.._%4мZj: W(ITf`9W/¶c@!d\H?RXP+\L\7Yz`T_KF/Jpl"b6P4m\a"}.\sF~)z z\h[ cxRGDLǀO$rOvҎ1i/xDYy= pŻ-ߔd'~NڻW7܌S@X+dEO UOs)V`=}Jt=Y]jQ8MN68uI*JPm3, b; %"51+dZ#C1VJJ$ K0ޢ9xOoy05LB֡IϜKN|@){FcH"ӆX:gцox&!i+Rc4 ""&\\惓0.sna:E+8"X8QJ` nY;&]7ُ:p?rLCUf,IbW Êҟz(ι r~E$t'C  k 'gu[ B]9 s,MOm7Τ}krbE9.IQox$C;lrg )/Fnb`5v/bZR#> *𲎠Gz9YQR.ygGŸ:| Y=i*'U|nkie,!_k["MEZgll(Y!SJ@z0Wm&B}a+87ZƁFnVyo/!kÕX^~ڪ3@_Bu,3ƅF}j=.‚]IFI_}CLo9<XDE+ o[łګeaB.޵b'p? *l˹r-3.Rд`=UE$O8[8:m%Uڠ[ dL!ߕ}1C{Rj)]K]s-8ʜf Ng(oz+9bPeIIHg9W&AS H農ձvZPWXH Vu&H^4 pxRT(dBC|okPn,P1ri<IX?L0<GPw >yQ-XV .񝋁´$6̽\'Z* a u)񵗸FzTfi"?E!!9* 4](@2)]To&L*:$BSbOjJl)-1PGuRsZ JJ,h M,"$Bj&~.̲ڷMef{0}13:3}iTɹ4V>6JY$IGN]8OS1Nj Q0<?\@<&vh8{uC#)2**Ewa;̼A;^*ȇDR?RDv θi^@qQBfzR!w왙H jК#ɐ ݓ{8pG<蕫p(Pui$>L@15{]/뵽+5r.r.`W]-V=>Қ?C#qz?zIu|z &FI0(tE^(uWyzHS`m'[р/ KC1/[?/- [U`V:q cT.5F 7m<{HK?<+V[81'b ѭ?\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  A A45K' dHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ :`((Fxh"Iny7p/*JI"")MSHWOh,փۗU_@@c5g H}H΂<`(i7R&i- ke2|3Uλ<5Fi)8NңQ"X<5ShI\`0ȤD}7qUM]""vXTUR4&)&Q8$DϺhXp֣y &-D9CYaLp@ (J=롰%8XYL73qbRgz@$'ɊhldVͪJO%8*F O!1@`xȎ`l0,p\X[aX/_71+]Ch\{v@S6.4F!F#o /,84%faAQPTiL 2&(" "a0(Ja q gGR4M|/Ps/a_Z _X|H6D**:ܫl;LuT/u X7muy#G\݇p3_.zɞUB2иj܎[CdC<+ {= bvMAu=\=dy.fb׃&CAe;=4KcAnΠp( ^{ڙ:Cvy ^ãO OGkE XU(go%)&IouÂ&c-~ko cΎXnICؕ$Ɉ-#w5f[tc؃X,vMeMaȖ٩NS^h_C~ y4+1^N4=99Io| {Narw9^ ƍø/vb&]&آ0+ݛ2.ֹ^9n K5 FFmdhE,AYʅ+KĵdNƾG;V)P8o<@u:TW|d0[;r@nU[ N`/|O)F5 Srvb5t\ސ|V '!8-g\ ݄:Z+|+2U5`/KI_F((0]l㩡3~hU;,W,jX5m|QDh2s#t~Έ  pSy1!YNkYB|\c[k:TAa  q0d|٨Os6J>$JWqIJرā3@J>U]cLb?h8m>KC==ׁdTZXŗ(0g%LJ o 5S—$VK-d_-`Aϛj{I-?4{22䛱, RPmo†2Xr[#~SX(QW&g2i# KOo"#!zSdryEVRc@gݱ%-O &߽ͪߤWOuHjP1[q"`}e(N Ŀg[du,&']!AWɍOd҄Ua&4i}v'it<15?vdQį6%.Q ^AV- [3:ono&0@Sm)=h1O芗܀O#3Fe/oOŅ+YjcMڬUT4eg=޿Mˇf7o=o}>:{CQɄҤ!A~7gECe&!u&Es%g5ʫf>*64td6TEcִ[;+u >WK׶@) 8i6np >e/ oguǞ[0}LQ4wg3\HOC|+0B\YMqqZP9E,Xvp>,_N,H5|+۞xFv51/$LԎa52 S L/G&7 =)D( JA-Ct _E]B=[6<"yt9L˯f ;ŖSmhr-:M%a\Z"ʹ͜ p܌CջI^e K[$=Cx)`+JQCD_,x`% d=Wva/Y[L/ cAD,u(Xqn*Bgw5P|q)k=) 3i \]7S|Jlf?m'zY~E21(PVpxKf`oXO( /Mڒt.[bYC {͍pLST{%}zjfޘ+Tq4MhIqHԯ:qK);w7S/2Bɻ_-֤֊:ԔYƱ>d\C%q@U.kq;|fौ٣9vDe98vP.3%NsB6Z|Yxs恣FP3iwˤd.r]?W8E9Ug?ǧǝJ&duG[k*ay d0n+UO\}Kk8)AveL\ L%mrqg4d٭ LqJT"8xXk')[Y(3g@1oqܙ1 jK KjB>iT2tݿ7}e=0{A4xI(=|퟇Qi$̖,bZNI=U*JY&&ogNM8X+r_oR>$Mƌi?z`2.yEA-H.8X+6JMN]gWZ濌4=2Wd[,c~ |Tq0դRQ~YY4kƒbB.[+%=/2u}qa>' pR<= )^Ǿτ|Qy@Z"+[$O9Kp +`TI졵fP8Xy: 4ɓ-&[5}_5fEq-|K`doAvbS>|_gސ:a4\PŲ\aL'o#GʝS8.XUJ|),l…Pne/?PB"<'`-_FΌ{Wʹ{e(ĔQ"6Ê<", s?$}%b** ye]LƄ+l_N3-A.$dwZ+Xs:~P1c*̤#cBaZ FI^lD+_HYܹsKvĺZ]{&Ɖ{Ȑqh(Z(y]:@V 杄xʐ Uh0q=Q(cB7#߰@srxCa\1I^;iJPbl&nOߐ>IݦM}0=`?DGzer6t< W$Zw~Z/:^N'(O xKS8ֵJ-eq`=S~ڗ6LhґFloٍ3=]-)'se~B5-Wn6cΗ3q1, ?!'rL7fth~$y 9^*ӯ]ԁi_1-ok] V*vh1-F |8 L:*&[YY4HWS-MUg}Z^El%#$#ØwmE4&"(A3%7Ab}BC[0M&(& γ##/׷ ƒŌcn~o #7bT2BqPL_D3Ւ+8\_/06ioʹ%i -$4T% pQ "( I (P(TP,h@$0\D$ 2 A `J8//s+[uFAꗹk˰)_nآNR4$/p;I :$ǎt< q~ǥsGofڸ^_.2g@Y2&I<, bK ~W4WEף/s/'ɐ#c,IFꗿV_?&H90$/؏Ic=Ns#V]lj, _$ٙd~U.Y׽Hvr>&fη"I!I4;N6$^E`4q膉LAja>>ȏp1z|h9ՠBWſ}['_=AΫD;Y_k?0]->hDEw}|&y>dy"ώ[s ib+}*5)4oy SU%b10|)Ͽם~@kH8qS{7+jW,v .xۧ"EWgv~(\R:ot5G#gC>Dz#8!0/ԟ9P65"G V]۩uԡ=\Row;o`~zr ࣧ-8?~MZH^qz{GP>Q"O(=;<}]y^#ѡ t:iwGLHBB-/ߖ~ u}LjXK^:7@ޚwyBu~tcOK`s*9+ިab{>1=j_iGBf@mN,|q\'-U阐aVLKPY9$YE_l?-' D-&į>iM|KqDcF_S_ jУG]ny, $HmYWBAeTr E!8F`ΙP>{"zuXC68hUeqth 8$T[H0B+{BAA0F.1x;*O ~+1-ytE̡xÃ+_sOV*ʺG aKn xY- 37&'kB3L0 SB\pMd +r0:>P)pJ5S(йdPJy/۴jwTQU/^̻|5~R(H(%$Pֲe6_S:,3n6"U*T-\#v1No6!/-z|a`ljrXsŗGQ늟ó"0ҲUzb)F=gMbHr#BcŒ_ l:/T86GTs6PS:te~ Hˍo~Ca<\MĜV F~Z`M#_@ġʬ<>dc(hN@P`;PsM XʠQuG}ʛ"+ e!P+'%yFD|W@ݏ֧ |{ݻT.?H} IFK/gtlMnhN3w/QQϷ{[R̪e :iQ3V97gOG5y##k6fuv﷿jx[ֆ,y !4.KeCpS*f,At#rG֖]]U=qKb_qՂ Ja·yE^M q(q[ -ӣjd&ܟ꠷.,d!9+ݨM}ZP>7tC&Z32&aU5؁e?94h]Oa hEk`$`nsXj )6x ۡѦ39/1Ƌ=7&>ξ'k446ec~.^KIo`L47H T`|hiH΢]1 #A{A=>fpʅ\0opk||T촿)km!ZbW#y;O[]n9P<uTUֳ-`}S]\RT%$q0/D3DpxYlH$' ߂EJ{IkЬ_Vۯ@[^Q ȡ%neT+l^:l6(JcfF-afԄSlYVЭjNsu6-AyҖH͞cˤ~޼֧lͣ!JR`!4Z8]喢tZZ`&.{ӓ\fc>ASM$]}%~ 0qm0-€1%RiAБndiIWk ty仞 tRǽȶ1!;f)c|{!1f(55xX m!;UљÑm6J !m& AF)ON Za {eO< oy JǃwrIխ஝ TI%eܙt 8[Lq$4hL_Ǔ?!Bƈfoðlw5ݎ{ejP'9ƞIB[*RP,D9:j*S9cφ=U(֢F^/[ 8R5BJn/A.wzNR%嗘G|;;,R'17Yq[CJZ=0jY*}C/:/6 lzՋR̂qX_(Z31)31 SA뼔N[p0PgGa3)_ >eA7*Oz.74ߗt]y;%L~p1P[mV M #:VЗLAƩ=,*q8H9UG3WNdO*HaJŮ4MSЙ&80ZB@E-mCqSqyXxB}7v YtД"9v\;'qGMSV bB1Wͨ+jK,5>S4(̨gn͡ڿXKw`>-)Bt'NgЖϽpqzۋv锘ՙ-zZq; ?\ r|oLuQŲ؂IG tm[Kl|BZZQi)lǡo#Y_)<ע>9Wm񲣉q*fCҡD+HV 4ŵd<΁/^A;-\H7MsD\Y_mKm_RB.܎P\6;R.21Q^Q`g9: U G>M*3Q/)~Sȏ(5-s^c=x=wD*(fJGH %e==Wb Yᖗ8QdrH~ !ۮֳRkazlIymI0>s/cǀOuk J*s'+yWz=XA7eB*]wbUS1a%h[>s?I! KV#šd T0bYzyeطo=ׇ4Y  ^3;+(O&8Nfy`O %`aa+P9fwmOlz~egLW o=?{} v@TA>yVDn_GdQ)H.N!λV?s?% 㷫`82_)}o VʣoFv| SM FRLw]N^$D;q/,r ͧX#ةIACJ5on*ew#?>u4I=F1ӠOU)g-wON;I+9 Ey9 ,63eR1ȿYSٸo6{&~{WRS-VSu\&h>k}3n?$r^`w(Z" ď rp€7Srᷪ̓8 (xc$C-KCGXa @4ȅ `4visAr[*T~K9$CzH1dOlJ3tc)d5{8JXRjޓ[xj`Z?C:3יSo⢠v5?Ag,YQNi!/(9=XDP<q4$CsTH uWʹ#6/]Hv4Jҵҫf7݊+;\u/QOUPrbbWOƵĂ->,ƞ4 9>MʍHB ?iH,C#;* nSDf@72]k!~cO2EĈ?w7 /%㚀riI, c OQf {d@#&'A*/TlpHYǻ!pKa-9h Dϱ%O"C"ٰ]Ȅc=@d͐38B wB ?[S$v !c۳NWap|&w3:?i,:ܹǼ=(Fȵ埜KGr~(?^_o|P3lq$yh̐eIڵ%c[@?O4;X)_Vڂ% VK{W KۼlF&R00pm۶m۶m۶o"lLd""ٶضm۶m۶nݺu֭[&MfU$Yd|fmmꪟDv[u"%giD[ro߾}۷o߾}m۷o۷o߾}6oIpHeW{[ moMrf_F*ߚ6'9n%g;[" ư $ Ȯ&NDX T'͖8d"BOdkx m &XXa  POd%93h*#ߖ~u]?o'|fff#rնm6ЫN[rn%9ȶm6ٶmm۶mm[$I$Iٶm۶mD*DۓለU?fgU'ߒa.hCcOtșѶޅ4< z $h gz$Ad6м Fꭨ]6"orf'=mvu40,XqG  jJʿ:$ݮRAиѠM.%ə]qK z:F A Upai (-93vOdWk3XՒ UDݒI$t.x?br`)+ّoUcϴH$URd3aiQΧvC+ٕQjFm`W3o^GT h|_28+|'#CS4$C;t.d:!fgO(ڪcEv ӝ5?h"AcVsK"M=:'3Q4~@: +{rqYeܼ̾ǎC,72Ҏ}|'D9 [P<}I/OIlHm A*"ڗz^ ]/z'{ZV|0Xq]-~+!7\Pv2n%,`ͩY㟥`땫@}ڊHeg=. i'DrTu+jM&ȴnjk0{7" c|j w2s!eij;bᖭ~qԮ3^T?`uQ$άv.;Yx64UJ?Ȱ݄cB5鶃bw *;/WFL42+njS_ 5QP{QGŝ_E|?v#F}G/ӕPj {>IB]7Zgj>PѦr-b_6gрBq@~ξAGNONG\{f sWF6B֒rSh&&٨ac|}@Kb<M "C>ۀ' NYɹ&PW-!`7w]b2Ɲ{O1x\\QsaIzIz%Fus=rcQ-шYiJ6TV:H=XAj[PIOT?9<8V ,݃ՓV 7:fct:8k=4򐯯@7&bBmzuWEabmq~r׾\{TtxXʵ|Nʙ\?E-ۚ*L9ҚienWɎAcЧC [7)0"6Oč?V :'^y5Ɖ#r&P/U2q4J/5<^ !FV_F.SwgV{ 8̮Z 'iu9uqQY#z֌8bp9yyÚn QMGƯY(/b:-_hn֘[ooAyc&ft7М5" O+:~1,o.da77)ҝEj$ӜĮG }^Xsi犠YB4 sԟ .2 Чq,Ima}],Lgq=ӽ3uӉ ip S^gVVL改܋r7|7]qswCMQ~ Npj(?it{N+?6Gm K'Azo : j nY$1!]LJ;F~FaVN/['*Fpily2G.@)ÎAZԟ` V ~ȍ̈́㲚mQOH0$=d('xGmu×^zdì.#RwQ$SG|(P\N:čaZdf uL|nlE6UJ&WB[o.%tpgŽTgx %Rd3~?;3eݡ͇). Dz=d\M{liUl9+FmI4PI%NU9$ӷ3qfxz8IۜQʔH&z`ZN'a ^O#2GB&% QJd}ܛl#gzw>q!e +eb{-][ڥ>mc'tZp_mAPn&wcBp\Z4>]k^1kUaMӲ IkrZUXyk[)2K$fc94~)tGVwZ0OLmS%6N(BfW8z۬U'Ӥ1? dSJInQ'NF`#9I>eE̪ 'Jg^/ʹr[SK ϔ\hbPucD?zCm5=бX,/T㣐k+rC Lj=71野\}Y@-<(pkQ9ެfcʙbPuarp^dީΊT&X lXf~ˏ,+|hXx* U]Ipr[ќ}MD2% 6y\=UMϓZ#1yA,/w wC6>be>!vyrO;v"ao?}=ۈ29ΒNLΐ"5@P+:6/+ip;i9:Ɂ[Oy;9Bkg#󝤙 Qp1xi-ĭ)-hC)3wxVߕښK1HM!1,50VDn;yw;5*O% +]䬿3f6,_wS=uڇ/)} F66F;8{@ UhCO(}V#6&G1Vf?6[(0 O̒Z<2`~>3 JvQ7.>2FpPN(uFUc?^Ze;VۧFs;HPˆ֣-˺vQɴ+8Wwcyl1F#@&xC XJr<$̓s+:p4x^ӾK39>9'W-^y>T$ r~Xx}|pz1q酤O`/PE84apS5lL4aMuDO0?K _r 6k쳬ޭVWz}"ZP &y ]ykZt2leIaL"* TkK]3VJ ]O*g"q~@֣9E |;UO 1BSƢ2ǸaJ\$sOᵏ@v\C^M>D~Ϳ†,-V4%jCwAmG"ETz%?2uv )5Q|G[ʵ޷6-~< Fd9{OL!@S.7Z"C3:6Cz|ۍL-n̩"^yeKEדr<5hisB4˕UFAoiBSpn: 9)9CgNĭK6&&xӨB'q`o+gd HP'^ZNZ8ヮN(|ٿѲq8yS#`84QU|n3z3i~R~R> xrC;$U%, }hS6T6cXlɅG|$U<8. >7PDxnDŽc\FCKr~'fSvtmjNE}Q%j۶7NK(r6՜V ԂX60՚ucf6q!KEs3&"qF-ԹOx(-&DtSiRq?rW`/R#)NV4Gm.:$O2|ΙBY1m[ႢJG(Y<,>snf徭!TKA{FS^VPn!\2#ǫ"e0G'?7&@Z9f|qnv=)ԑE"d.xsz"_7a#N;*A'@t+ ^ºRߑם/ßWS<\S^ï~>nRS] S|0FG\ù@_um囏u?#vˡ/6:ύ>|RbUH>:~降gdn^zZV˹U UQ+ xl%ͤ9eY4Vݩ_.).UҊ/3}cSf;/ ڒ(%< ~*~PPVU1 U^RAf[̃M`u*uhj% ~S4w]G%6|@y\[,kpZ]L J:I'N&j & ^x$V 9`b2MS# aRwy[pfsd&V~%/Km__[/UQ f5Ls}`nꥇ '?6TkV.T헃R#,)/x2VJ ` |^2=!!GFsZ9ݔ9OS(7CMY , S/[SJM$pMr@s:ZXTq]WrKR:rFi`fkYvKcl*sUDv[nޙSEmU3SE]9U~wfV缊ߞIswFAZݡXTHPPQ. mdnjP@A±p4 P((AJB2 Jz3-#QJ:8!Z C%+ߡO:O8u;I&`NiM' x7zu7W6$}oT)7XW(}ԁ\qJJ cpGwj.m㬺, F퇜 6H}&;i)lN ߚ打LR uSY' z^@<2^ ͥPj)(&cRt拹 HƳDS7 >cݮKݫ%A)ȒCt6`}k>\:xVڣ뀮y,cbnl2^l;we֢anABAQN^ 0!pBza.afe鹐V(Ls HgpZO0qzQ 5^ԅ-P:4sy p#@Uv @VX `U,/<?+rC0C"HP9&uAbgXFvتi.-0ż}sP<ZZqEđc3JId f刺k'ܝ}#ģp!><Ela CpxAfa-)c@{1OI{䦾$j Ԣfq*vdzM kJe\O5F: Ȍ|&^]vqRD˙`lvb9t)gFt'?xk̋E4˗[εIIӲuHn%0+׮c*s_['@X".q HBŢJ[!5>!L +|q)M^ml'+wD Uoe_S}ԩh" ڌ#==;Y>̓|JՌHPՐDXL&S Wgq ٝgYyᤵ'6?Xn _H,^O&Oab\Lb4<$HG(eGZ=a %m+kČH.\xaK ady]Y pGvduPķ޸[EVKy f'3}1퀰q׵'>vmf;pVIфLu)@%i,\ٻׂbxg {OV|Vq4aq^$՘x 3/xUelS!ԉ!pwp,hN{ r*_usӶJe)z:Z2Yb]Bí2"i(qv a 0p,o@^*f GP FX8+À,44di G8,Hecv%g]0@8@fA\odiPc6$pP4orUTJEMHa/aLh*#e9( r"0ӀII XP&4DŽ&YHKcat@a^8K &I("Q0aa@ `@ɢ0aaDAH (aFA,8΢,8d(p @@@ &4I8 zxxxwmWU3~5]tbGUJFVTDo3 j&3{jUwԾ]KěRg9P!|j&e]T<'VX:P WB!g6 e"$\{,0r@$i$ h0vAp,H،lA$vYl9( 7ErX`rpn"@8Bxih hCY4iLN%ګ ce9K@Ȃ8Y87 #PZE W5Zh,J&S}s4r!0zݾ}Enm]tvEnݦE7\tn.rnEыU*%z^D"z^DWыE*z^E:W^D/ыUыU*zX*WѫE"z^uwwWwzW[_gvf7֬lffvevmv]UU[UUUUUUUUTT"]]zkkVWWUU55445M5UU333333333333333SQ11CC0R/_f*"fjj!ov8 bxv]UDĻfj_uoۏw?~w|3y#."-""ծwwzw=3333333ٶmh۶UͤC4LnuU3N3; rm۶m۶m۶m۶m۶M6ݦtۦtnmM6ݦt.E6En΢Ytnm,M)r0@C9aH=  &0 $  2< $$H?VkG7 ]JMq~(*}5f^C9`גw;6(^޾ 8[֊i1?UWz)4҇)k;;VFEёm 5dvnGL$,VYY0|{u,լI9G*7l/+<Ol\8?XIQw)<}8dΘiHODƉ<}Y%˿}&U@|LCQXJVhME(aS }.; 4NǭLX5Y)Oȹ&K 7m/Vmv:җ),ojT TѮ*5%pfLjm Aܰ6~у]TWgY{f#|" ц;lfE?t5~ryΕWV]׹W!C%qDef7@J\*5F4W)rkd}nVytpUol,ѨVocD(L@ŅT;绛nsYkLk8Sz3Pe@j/s最VQ@ ,V)i繨P4[l\N6#-l=[Tڄ0OƘT/ׄ~]_{޵ Еݔ7+$ѕejM]ߝ^?t`$av `шvUZnWR'~Ii۔ 3*0a~2W5S9s. Ta^](û_iѨzw n%.'?H|RtYwdx2$CGZ?0ZAѪ1-yċlxf`sl}maQl QUn- o#[^ l:zHk?r@tIe]ËjCoW߻Cw+>i??=yڢ2$AXl ~)1>@> $m4cͮԇT}ҿC30'I{>h2"idn~ݕN)e;|Ge]AtWӏ]^N!U,34Ai@C,&PPc (  B`C'c0( (D\>tɑubGmOc'4"`0T\UQ$HxH7tUW;E&E{wG#āQZ0rx# Zzm1KSSNK8'b˛>2Ŧ=q=>"U}w=KcW)b?#AzX bU|ӀiFD7v'lAlJ _Ho%3v te5tұpwT 7$~|IY kɘwzS7PS1t?I.Fns&*S@z-3j?l+krک$:S)Y[M ,֒J WTH+v9V'. + pOȧ+rzC8H)̓+HA򅴢nϡG|%cdAڀlV6=،(ծKS䗘ZBFJ: |&|oQ'f9q4>Aw)h!B5~,jyxtPbOj'@Vfzpױ+ּj0 o icSZ!/Lkt`TIh~.IPo-ŕݿ%|)MlF(h*lW1{(㗡LZ̰y/$2TF?!F2 #֓3m |ʟrjξ-kԀVË٠)\CG*h[,GƤ٩pU'uئ}(L8 OR]^qr5"@9CBTdv4W 5'S UA5pB-Y hW4QY S|)/z'J1 ;A"MJF{Y%@ŃhXhs!rI.%u94r&릞 RYUxpWܛ _= ?ĊI҂.eN˕DHQ[ENaj8vco1<>K_$LD].Ԝ+yr/z>|TƏX@8 fނDM [!%@ŧwf(t<.`RP#\@Z Nˋ>)eVCs 9`BkL>faxIzeǘ0j|п*ᰡzz;nJ*ix*X9G$rDB.?r)LZ&@eSXjCwl. v';wl$~ډ6C'wO^-e';P%( hz]10&q4#|OwazXn=k;gT =5-UP1KiGY{#h  \!V MrɟgGHb:4t74SGC@ЇRЅXE8bt(rQN!d+1:ER@Q =gBo-2C{2rV%  N9,$4ظ=#Yp9bw/1Pd9M e m1CzdI֦%J%~ImQ.Vۧăى~ 3O4 @reVVRءDE7ZN“ R0>V!%&k uJ Vlui=",6nz?N-lӧJ u'Cp/xR1X{{2TqT rݠp͊|K eb Ѫ@c6Y鷊׌1\ uVm qRhfa6HFc'Ii 5c@x~oQb%0ʴ!Kc-"_Q'K?s &[u{9E?Blz,WSh`{{{[ܶ*LXmRZȀc^f(-?IZah4B%dars20Q8>HNt`veht*o&tD8GFc(c~W|lv!/\Y>Jg奀¶qX^8a5H.*=1Ѹ|#H#31f&37/ٷ͉n֢D) Ou]$ThҢS6'ICN 'd[ ~Q*28OVWU9Ɋ ߴdWFy-IXؚQɲתw$ӕ<#\r| Xщk}I5țl{QHyOo@Z]5 )㉫\80閥lc\FT%g6Wem#xH斮m V6Rq;1=Gv2I 25A'EgIT+f UrYR71E!]Tn>1 *E}iNt=mvr:LQKy|h]q#qwBx`hPZHt t4; hlSvs4j=MCqc.UH%6|2*!2LBO6O_].XsX3+T80Ỿh?imW_.(iV˷yjM 22ݵTsꚛOwY"'8Xֻx̷*HrFa],NzҿeGoLJ:Z@0]%ddGTp:i-m,얗"!--6Wn_ˊryXd k[ZcӬӾ}љO!_hP{ƒ!pkA(y v6|$())27\ٯ}hׄoƎN>153ӕrB0ĬQ$1Mu\[7u*;&Il8=yE#wWۆY#2"MuDw s GimvRl{.RڗІ0+=Dl3bpXīii,b;cS9O7߬dʎ)e ܒ!3<,d  |"8VY~ %6;FJМeL94 z BZNcSFIQy0!J~$>U1G;^>vN ԃXjt@_4bgZ/ީ鬾DT`lAӾ ,Rv#<;AI8,p'pE:vVΓt '8*>LBL!o/'{w=]*a ͕>$3pB[j|[@@`JnJa(Y`yyE/a^ ?1 Vp[0&ޣ"1˜Al~O )wDXʈgPce ϐ6b뒣cwjF1 -K?r#௎u 0gvlcx9I{ DɷgLW ZP -x: IՏ>QY Y4 O#Cil91gjW+UAGk"fD) b;/qBv>;t34std&+uh-8)Nqq]yJ(3@:rڵT7콁Myԙ_5[.slx pZgDq+DF;&R%=w#ˍ\'$6Au+ׅl5~)$ILK6 -ٻ_oTvdžB=pwhkJ/kkI$d-H6 OĈ]1Oq[ebU~*K͛ׯ($G.MV!޽ hR_.;&$л>dT ?'GFR'.L 21Ul^K|" anjYﱧ\X_~4^诼Ncnzh'ܤcLƜutj׌j7X&Lû`9̚,ϮZ{WcoJY:Z5!7`腻ǖU5Dyrll5fM%0$~wXy\(1l/";3r(&kXIgٛW42@nd4$z=G w'   U|<č}px (@(XJe>_TZx}7n*yt4>/nM%O#Cep0݈Ѐk:̋6Cz6X+KdTN=."4XpñL (" ]>:4Ck~x@=3cB9(Ùpb!7wj%/Abn%I(/#@#ɥKZSpRPJ=R{\&"@[-ITIPȣ)Y񔈙`HCstG˵o"1Ԁ482~piDn F> 8rB%GS1i|VZ!']^n&cd4ʣ(zms"dgOR5?iѢ01T< _hddv 9}~ӈӡ&VFF[9|(:> '+;.)mOD$A. őJaC$MD|l*` /{Ep j@>=> 7"9(glҨN9t@_| 3._ծs˃粆<]E,)\XI0)c6r9{ Ҡ\8= :{AqFh:!9DI)R߂6\:I\Z]r$]banSqy9MF묖HI[*T@\4gh 2Ȩn%呛0jtmU2V_rU-̮ofUf,|:aIm') 3ӵR,mǶ1Xv7՟gyH׏HQ y-BH:/ޟE0u%iq,L$u)SFc)Oɭ~MyWa~gZ [0?!zb VO 4_J'T6H=Tl\a,tPe,;4kxC&Z|9J8qtlhHIVh#F^'@g߿7 @Pta! ⑰X.yŔn i@&iq<&Y>&*Ť`uq|c@{.Mv!9,;|%Be3-.ЫɳމZN$oY 㩌o(6qzƿ\c_̒INC*u @y^!cZ)ћ (Ӊr8n"B.4Y6_xUʾW-ĻmP*!yL(Vja+J-IDy2}nc@Ɓ6:Ii,9"dSydJ$@t_jKJD R:6@|;e9r e- 5!YDspwAIKjȟԂTt8AqPLgG93P 7)􈋶q5g-bkK$+5r-TdZP9~53K? ݕY*teEt&.]t6G@G֍h˃1ΰtM ;/( Era9=3bͦZ)#"k602<#!}r ;5`'G#UJ帕(]*'`oe8/L,$C4n\/)#u>Ūy`Z҅E_5ܰNsͥ1{w\ Ψrʼn"59Bkl(l RbS܂Jj愣ӟkB>u3,:о26pg=~ YVj whHemVX?>!.O[Z)1RXr̛& Օ֣FJU)1M%$0nYTz*Xb:x+֙q(e/f%. +N9J ^MjH=uLZvpE uk+)Ĉ|)Mi×nkvd ([zK&bu'*;.9Le=J HݒŐH^ XRt"{f'?&/X7YmT$$MӈeJ;zEC^)X37kmfJ䱭cƋ_~7_fyO-E]A&``c䕎+⬌RQI`jڽ(6,H#ױ@n'韒ҹaMK̐sv$v.="3 'FRɡJ&M\aGTa``ItmH~ =ۦi1b{ujWLntzbe2Sֳ+]d @SP]n1HYhZCB턍r}U)I2 5=,2.bLk Ea"G0]Qxȿ$ aMUM$<}J{)sy ,={01 )Lk(fYm%Tk@&ǡ[/%j6%khxLgE gszyM1*$"j')UA4 $K'4Z4%j  e# bh6\4v@M~blfVM{Ss Sh?^n"3?G]-*W0\g5SHCNE "#Bߐ2ۺ_Bl+*e1 񯝙r/ҟ_->[U=="I@8S!j&T4COCHm߽bQM}DC ܙzIu93/B,+DG*Do 盍ט̚a>ЀQDi?^x/;^f56^ī̿l @<>\ h@Z5^>Gx6AY;;E;{V^RcvjhyL\ƨ"fx i2 AP1A $1b!BUDFbhq%lҐ*NJ4߃~殃4Qߖ%CخO, z_ dlXGE<#KT{ &gM4:d$?,%`rT~;r,BJp.NqBQ0Mꀑa;K=䆣.ԄgnCl\r:=W(15s7.)|wՉ&aTCPH5- L$֏JU*4$H>ghdž l_l$?̏BڠXS'x;I ]P[ƐM4N|2)7b*eߝ`< H `VLJtHI| <쟓|*:ğPiKEE?TK ^*2E-)"y|'%Ý9w>df{?]in ==,fˁbpvHg@O= H|$a٫35nYUG$|0tVMʣF)uIdIL TO7c|$H`~ȥQ#5|iM {RJDX@iÌWH\70β>$]h|]y= *`<=v4Udi8rq]L788R` %'/; YzY >/bIrέE<(Aa tZ $[rB;AES9XSR '鱨gJ^ : (äYwlơXRfxWSwe/tj`"~^wFU%t?<0Ӣ ox+UK)X\%W԰a}&߂>;_JZNj#eeKtYͽ`~F9$9Ig2BMyFEF]H@7x<"5jxsO-읁dGWljJNӢ#thP}j,?[{t%(+m7^˽ :0Aɂ_/TnmyMWe6y괞IF>A2u9YHnKRdm{ƚUܤjt+LXrQQa`8wR="rJ;֢N]‹m*Tܷ3}s-EYˈ?zMD5ϾA4J7O5LXpĪ+bqቯD/KxТ+èA< 4*Qs)qMŐ]?! :L  !  ! 5O% |HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`u 2 ( PgD| Ok'>piVM(Q𫙙 WhGŌ{^ߑ <iպ!1B`-Q ` m8ˏRn1c.>|]^ &#?!O(C"(H½eveUҸĺ!)܀ }>C{**- 7 p1#gY Rm#mp% h >5!!@a@#6" ь..@M]EMSC( D4(v7g '1yD' \^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal h 5K/ BHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/l4Q\-f`S?u&f;0*jH#&[h1*[^w485Yӵ<mLszM\'5EA(lZV=a G!%#4 GA$ H Rf*uy(TLH1Y)Yg}5"Q\1\@Z $@4i0H(D0I ׯlhʤ%ңXTVV /ܾ` 3\w[eKStO7mF^Nh+G R;YZIqR0YG`NcgaDT YPϡF $#|!X@w0iZ`EeBD`)iDC&9Kӈ(J 0|]AP0P$yR$ z,J $gBDZ@fD?RG=OFIrg}1/zh:黩g"~J3u3/RԴ?5iKke(6l2ASN޾ۮ̮,שּׁ̚x /_]}x{9\8^{o[O/1wBCov$&agaN8R±e!YJd(&d)PqX$RTnBYNDʿ_Z&~y'mi/(5# #I)BqgQMP{b36}wqpl#:O<>њalɀA.X zޭh{h˜~۽k֪ɛmzM4*+{/>bR80qjmͮޙL]tU;5QuϿ_U#o.z, jǪvܓز2I,vGthϜӜuZ=U}⩩{;%o7tnLD'6DLDJܪ~GH 3o//bWqozCB#kfB8 ~rJjbC   P qpxh" 0@@$H`xk8O~xSxh"~-!! 4 5O' `HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_G4# o]?#[fqBHSSS'r0LôYB6LOV]D!ɷ$<ڋqNt:3ъ-oJ~o.(`0gJ@G 0( 5Lt eRLܖ5rh$P4t1y5M0=8h /QQڼ#ɷj~$>4oE6fZKqV:4{JF? =Pyʡa&9];EqڂY+x̿ݠctқ}iqORT~Y/UYJθi+ֈ1cnTE:ImjoIػZGbk%e/5]C3STZ»V%gsz7O˦bбE޾Z dW~ofX @e܏֪U@B(f֯Qy97 .b`q#v Ԣ:LyskItЛ ̧kH,:zYtY}tOnZFA'~'J|d:3NRMH5: eB>@` ( A 1B!Hb1DF.w І}{rq;뺠 }.JvӠ},ˀ 2ޓF hd-y. Q%[Pb%Y)*D5 ןMIo}=PӐ93݀g/$}* Ϗ*f?t/3vuۇAL=H;+͒cRX0ʧv{+2~"߲qUe(m&@ʝ& UDe]ˮU}f}d`t ^ d$MZblqErsPAȆH6+Z_S-0 WrCDȄR*:C&9_qaNu i\"J7CGtRjFdv (H,c#nǛ Oo fv};d C8OJr۟kղI&uL㱇t o=ض%CB!NkƤnGN{ : @6rܶ"WݤA{ʭjE;3hUG \\.WX^I{O>[y\Ol[z[Ǭ:ūzjzy۞<ק8 HTGJЖMijNtc Lda<;VצUrxKi!\ryyx@ Ŧޜԃ@c e(oG #'4QG!2 7`f ˆ%>nL9=J+#M tJbH`Cx=BЦ[?i\]ӊCPU'-!s4"?D:7 ΆdϐOKtFm LlٚRqc,0hJ9o_)\?0 )S%JO HImEIFBj|A'痷 0ӇU)H e&!D(oBB#(m>J=Wx˯D4u6EJmC2bڳ˻>FC>VSs dQuz@B*C\򈍗ͨJCf؆>_k0a-U.9M!wrZĦ:_tWmiHZjJ -`뮎(wLJlg@ SwGoSlǓI}z|e[loDV`G`z"P.qAU>ns ;Hi0Mzce)AB뺊DY1ԣ!iM|*wFABB])_#mJG)8] Ii^ X"4 gV[/,wG냖 ZBp)+6H?Y[ӵ{F*4$$|-s%AcA 'sq~P0{QG:PexPR^c^9$6Cac2ʠl=!|R"Ǯ%0F~dWdD ?bRxChÝ*TLNՂ3@rQBNɕ0tG~`xk xV̹er{ 1bd%h1rTgLr|Ma󶮺S3=sy;_'NJc:BZZ=Cq&R CIx?4S=+d>~02EFh N$ . ͓T뎄$1Q>hϞwQrl0Fk~GWÅtZ]Fp vO;\zciQE{ P0J9#g$Az58@ %~Vu50`0n{{YdJH:[sn`u=e6VO 20+`B,wօU -9q׮RW-2y"İy%2ub*LW0,`8VLƞ\ :2/r .#ܷDBKX +Ίd;j`יT B/76%,m$ /zQd24-^BsqЩGjhfǂ}ul*Ӽ(WQ@C$ (\qR6 ֦1-';8o1-f\Vu)CKAT6MhpU,~hWr4Fu6H|ṿ`՘lV^Pv!Ci\vW$NU6`qp.Fs<ϫEt~v %stXRMDJ+-RwU(\OxiLF}KDZgBؑ}-NqTJ`Ø4H)crEN#G!J}yX$iTɳfN,O.Ʒ+o 9 6 #C PMnT9Bv>?h89VN3lVEUPݠ(L"MqDE ` $}ˮ!*@@Ie13G%d!K+\ izYϢ^PuhW(Q]Z5}QקM W]#J weٓ[ň(GOzHKe^`^]uQnZ=0&G!- X0eL7s:Z#(Wz _INI>)< nXwĨ *E(*! l"-0z_JTt᪕F,uhܘ(職iI3.mg tGO e?r.m.A I aN밑c"j0L1ݫy0>xpq}-&Y2pSm7%s^ /R(F5 m\|,.=xy5X"M?dglK8?lfA2$E[MA@ AuMϝ8-i]@&YN]L|' =ܡtGxx 8xNF\״*qΔOT6|-$Z*\ I.#V^ֹŌ UF"D`}G#b}JMΣ`5D@;r@ %BQUX]FCEzճn]#W3((}48I Nr=/9-ܱӉ1$a*js* X`a`(AWcdFD;WbQw _=k$K׀90)?sҼ'')sas*P!Q{0V%c$Ml+y)a~0X/1=N!D4Cm!yk[r]^~4e{e^&wic8t2x)^)q0<0"iU gHE ^mM\jQ})v|SB?3D5;SDpb9V$dS(6;/`Ub!"]<;GL W^Հ݆8YCL@ cU_ڄc+ 2r4XuA_&p0LY0E<.ne[IJ LKt^< t٥IF]<% )-UT~}ZxJ!9 JdLhzͿzd) K'! o]@'KQpf}8KM]jr'*o g75Ken _Pv<[h:O 12oƃ?R? 7. M#K_X諙{3[!'e\U*^"Qz"H6&h9ѿx{>I?/öh#l1 z+ [][!٩>>91,@il+TMs'w:[lvS"Eg'AhȂzf~0J3Q X(,jcҫ8,6rމlT#O)=/ A?O%</{h+3SVfo<0%Rg ]Wo%DZBs$[(ETI`>/^IBLF;V+fiOJc n^'TG#aFT!*zv]s:#a٘ee'm QUak}|1FFv6p'Rً `J`d,`R~`m?lfH2Wb)g'15K0䳹'~9cdNMXzB)z Zþ8OoӪ|:lVeP1ݽ&tE/!KIk&)䃚˦-:"-f6@h8.wF~q94B_?67Ew"ChAe2h0X?P@VZH{*סs+@"0fHrjΑ+LSK˩w! jUUA*Ͱz`$h!1f6^w ɇynW{/lK@SL:58=@lL`TC-pϵ2 G`na $)%Bb$H{zQ^'=DtDbs $C@ hepJ<ޏÿa·x