SQLite format 3@ .j   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 m}~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s md5K' DHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`zn|(8'j oMKfLpךJlYUUUUA ~ʈH*K-0{mIE&&"yL%L̃;IOF$Wyⱦj@yP?ADpw)D$VisqEHM<{ KRgKIϺy?}H:E(,W͍oy0Қy0#, [F4 y"ce Օ"%H>HIW3%($$!3)P4XDRG``FD@ y&,8Efz Rhfȣ (("Fy$@ U!D PYyɧwlcI"7>cVDDClCUD=m?LhֈMoŋ(IicFS˴?ch_FhX|w o`CoGGpxD_5!xvp`fNd=X87 yfMG7O]xQDRjꎣ7[]q0`$֓cH굣ylQщHǃL :I =:DE h+c]F!a }X00*nB<s8r7q6n5i2_.\,W+*'% ! ?320-& % $ gRo!Xs U 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/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   ^5|t =- UHOL-Nominal-Examples:threads=6elapsed=328.385cpu=1579.219gc=95.089(/8||q"(MB? ʴ][5)'{)KϹbE\c$%<+aIBcPuYilm QRۦҰf)IA),cYJb?fd$Tr75'(Y!27CH7<4Z ޫ[B pv:zFD+wyK_BCHj%(l$HX$"!!1Aa [<ɋte{p񠈈H$(//̩ҀBင  '"or) fФ]J!D܌)#=X`y6w"P =Y%;QqR봸bNTq᪅  0$8ьChnl` j 9#ш`*"p`Q^qlJqQ"WĂ((@ oԴ (z%b.E 2^4(D$"B3&) ! 0@5xhP,y<ʔCX$P`ŘC (D 0HX(x4:b X#$SuCDD"`EĢ#" `!96DCbAX(,@HHXp`HD@  $XH`P@)P"အ!"!@u91bC;J_;W1ޘ ul]ٕUoe$`NJe!.cٞF>eRRRѹ>tteib"<52nJe&ޠX N(w'<ǮJUG8U N>XXsm[>~h"xzYK28Ԟþl:YkȾmNӬ+gșu lK챝4v_ԄFHOm+%!ܬР!g’LhmhbΘ}sbF4m g^YYߝ 맸HW-)i;ّVb3GW"*M ՆF\O~!dIJC\'Lu*,b,Pʆ#5bGjڎF]U}uzbH_"kFv£wH{:NY;"Blv9.i&vn! i4lM*ݲH+7 Zi絿ɈXwFBj χR]oӪakyn4Y䞺d=7y4H9^~k{_}/Wוf+]l+jdZD$]m;25eHV~VĽ;Yt-}^w[^fv#J_iبs**G;Z,z6hg2Evh\ru[f6juh[[V֊8$\琟Xc&1zyn*s~+W2l_iV8XWUD221k LYie%uմԋUrG֩JS7dX* ɮSdqlS!"U]!Bc̱&-Ue+&c~#2ZX.yݧ[{Kg1Vޣnv{ItȽ3әʽjFlΧWoG>-Ny;~iv!>Toʦ:EtS_D#z95{e_e;δe _Ӗ3 _:W4O|$W"?_˶I]Cl.-ssJe\md[vŲcNR4w46 inluȼaU)l 'dzhKJ]}4h.6Z7sOCcizDĞXM3)OF87\^=*S9zM֒]YIv]LUvokYm ]-JģZ:&]!nluЖnA2i[5h1=]OEuM*@;@lD{y*;T_gS3[TQsx1= sו 5S5K'اXXG;n>/O3uc:`Y!&@2"3<1K faHu6գ9P<^N&,/ n#H-l:ͫ*g&<7YzMSju9=5 GX# kcXSVsVɡ+hAjbfqR쳎+BF)^xpI)VR]7zsgNO1p&MUYqřYA9LMh0P0=[){t!a5(TY8o 3/' m/U a 9e%:hht9Ʃ kNQ^6u 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.thy 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^Z}Cl ,_讨ub=pGYMho3A[;7)r5 Ӯ)w(9Ѣ4bDy3TBP wVWhY(($IѮHyGTP9[ҹDPueU)zL[ԷwU9B*犜Ԍ):LK7`aOdr ^=ha"&.' c6)+TSm*WEWbD:Ea>NmXM˛(wֺo4tP9&V!gd ,^!<.`WkPT(` ˣ9FT.m9VXCSxIWZa\^ek8h oDKcB\;-Pߪ!L8 ϹD%r ] NBI:KNry+r ۍLQ[$efs\p:HV-[e,~6tN p6Md_(JZkz"*on~np$kU 2:a<1`w|ikP 4iGj Gbhߟ=4lz; ~$xhrߙ}2) KLYt]*OCUZ/> Q26 oxpOJBv?Eؓ0t ?kX SmvG;R&u/`:=~W+pʁ_eO%= N^1Q'-Oо>AP9{CٓLK:rh(AAA;Ե87Hq|Ax_j܋c>$g0!ZҤt؇]Yr$9Gn61YnK&4{>Z IgB7G Dm`rTBDq1B͵'< ]5:0.R%ʺ .dDA B"Ͷm5L)Fpn;A-vlԀuɇB_/J-OȻ*{*PQU( -EW.0hKoc "l7P}hq9Zg3\bpB\A5hrh )3kR~6ҎX=+L^rj@NwC[^3_H#} ؖ*쑋҂/ԯH~!A^^t擖ekA(z q:AK")'isYLKG ,*=gj3tp0QEsSA'3 cg,^vAP`pa ^?"h4dO W;yv}NA1Q]^ǨBtN r@+A$De݉V vp cj 'Ot|͝^ːg|EclB9͆V1+ WYq=E?԰IU5cU qa}]p&:pJnzqdr ũz*V6߄[_X޼ *J-XP*C~s@\&nʨʦaaH"l5#BuqTËr*qW$1P5s륨,f[;nmGΑL`ڊhEMD( %i ja9Z&Fe%fr1bq85t!T=J=!]żЩ eu˱&S[9t+~.f,4i!]),I%ۼ.el Cb Klqjxw3|Xn{wTAC _>w,U\xpZ'l֊tda| 0n%SC 3lDPA6>34[_9/J2๓{%v#E]vؓ<׃1P>*L~sb 5t@aa&ymB!@g4hhH3kŻB0ge!2V$S( k_%z=EN76G#2  9k25DQ1hIf>JIrFEOZGtU" al^/F;bas`"=9nO]x25\[8!Ed  qi62Z5(x1z9bD~:d`S FYon7]|~8U˅ͅuETQTc 7)_'_/*iKcU5nc֭`91`AF>ʞ,9>W5t)v8 !~)u7B^PlZl1]ӸjkWh].?d:p壣7#a|ew⛢;)!1+B6y)h"/A c#8/\WU4@ό\8A]Va!ܸ3aS*bRp"f|Rv+,_9|؁s YװZěFpMa0s~F?ݐ'_}F-7=՛] h)Υت7IAylNeǛ4*I͙kd I.! F/4qTmar̓sa }~"[ y~_nA&.ĄL'rmydPRNWkK_g)jCG8я ]|~$ úag.؁4D'M! shLl{ONעےט#2||y-:@1uxądZ $"Jћ~2~̄43h-\f('ޭ8NE=Џ̒s,(AΣolqlc8ix茛 ]1C68-]LӢ9qɶt2Ept';]eamy2|H9(Xòr.CGDL#rP_H hlT {T>^!y,s]38P" DZ3\֖ABoٱgy5r3ZC|Z0ȩ0%~]=(*8I0n皱H.X g5k 稹#vc}]qfO8J_Zh{f2' }%(#"Zs]Be:7a\.N^$- te:na }B㤞ҎxݪeWw]BƘa@ w`"3` Aޜ}{G\-G>Iʘz5h>]k [9= 1+RΚC Y/x(Rΐ )B*a |X%ub}f+7˥{1 c)Fjc1j&E>kc{- 9HjK7^Ox5zT JA>tqJ2u@0~KJ=˹'1yEa+niGx;LeT^^kt׭aƃ<L*;4ɑfԀ@Ffg~mֱ/ \@x1bF 4gN/:h*, pquo5hòq_9[GZx:XY3%Ll\ [ck fR$q2Yә;ayBɆkJ|@ڡqYk(N(ƶy1/D?}Nޏ`g}ɰVWoI)63}?D_Q#ݲh,F!{>Tw#Ni?CLxOG=`hvZKl7Z2G S4(cH2D^"!c<*'|n5'K8۶iw&PHRZפ=>2T<2D~feK7|WwuI%dbgr~izס\C2h=dp1Nk4Eg}Y |\IKĜM4uwpsY  .xL6(dРX:qm޴'Z-$ήՖ!\Ƿ\:EB5I@Q&4S~j{3QlHZ]J rٕ)ELDC$/ɷx}u/(l1б t|עc[n. Bx[nHVB yBc5J)LrkQ%4D.*Γm A0dͥ(~8GXG[yxac^x|N ,4W> ^wYi#YqǤvHl=Bt6,ƶWj/K;cT/ȴ-v R Ⱦu}ʾapN"l;Ӵ~sL4>{polwE8)KSDgAZ`#T 67P Lr>G] ֑qd,3)G^ eFpq_`}"Uxl2]cIh\he]HXYfC$d6",|<.r?1c{u5Ȋ^J3.ULJXla5JǗqKx~d!A.ZRl٦G^ Dn4{5vp F<?FwQ-}&9 fL?0#TkZ…L?ol 8&+\&c0SƬX T`W̷8iweܛ~=+Z`ˑ9)$ՃhI7k m7uh"҉+͚M^Y/ @;CWhlݥ eϾn.:f8 !vznUޕb~{I: E?q4f_Ge?3d!xo%tћO:1B#K/-?ԈN֡jAçX.;i]t:s`1?pξȗLl'xteZ o0 '.,'F G+gfA'..4GS80ܰTmJ oa2^[L-##lAT#Gկ4YY#qoN;F~KJod  j J Yjd5K' DHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`zn|(8'j oMKfLpךJlYUUUUA ~ʈH*K-0{mIE&&"yL%L̃;IOF$Wyⱦj@yP?ADpw)D$VisqEHM<{ KRgKIϺy?}H:E(,W͍oy0Қy0#, [F4 y"ce Օ"%H>HIW3%($$!3)P4XDRG``FD@ y&,8Efz Rhfȣ (("Fy$@ U!D PYyɧwlcI"7>cVDDClCUD=m?LhֈMoŋ(IicFS˴?ch_FhX|w o`CoGGpxD_5!xvp`fNd=X87 yfMG7O]xQDRjꎣ7[]q0`$֓cH굣ylQщHǃL :I =:DE h+c]F!a }X00*nB<ZNQÅւ>$m#p'ǞxCUdRn?  gXMnցPai1FLپy:YW'yŁ&1:JCuO(:?}9+h}gݢO2U/`.S:pfJ8{J/_ɘH"ν$Iwo[5^D=: fA٤܀ؖL,\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal %5K' FHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1Zax) x@['!50H&9}MiA"rpbغ)#i*ne я]Zg;y$e۞Syu^>Ԋ$,^iejq?gCk299 ?OKCֶ |O7Ryy g˞-ɱBsr[ >* _sn\ KcvJgrǦNʖ' \wۓ/ϸ*eI|VKSOðJvVZ؜tPg΄0jS(܊V=ň =2dܶ$ʏ(m"{aQm{xh>sy9K9G~QXǨQ8+mU VW)0sTr] @ꈬZ<++8S5!Dɡk>2Ewּ8(9@r8ڋpU/0»? 'eAnǝmU<Z cv=K8("vgʼn~kVchc{zЏ4㘢84KR7tm Okg!"%6_"Y}8-keC;m"仫rZ't82YNz`[y-ή`"rTPJ US/a/1렃Ë@ЌemĸJhS;wzmo \7wR\HyJ!J:PM60Y6փS= ϸN%l$N 'M\'zmF&ͼ= K^0Kk-jEf2uPvF)`5@Fb3?S>|7Kȅe{#FP hܢq#PDlmEZc49~ւsŶjTR?t$[z~x Ψr|.,c!4Xp(EKjw&AZ6ਰ8Zq`:ݚcSD#aѸ(=ׅ({Fזml\u0Ox p$ hK_ȶTB"؉;̷@)oO79W ?eCť1.;!v#4$*ȉÉ:z@e9 ڒ@߂k{bEnq1buSEDx{K^h5Q7hsEm)ZᮿxpH&S9M=-l$qZ}9Uђ^ հφǍޗVEq1tI+sGMg(lSuǟ8*{anTl8){'}Y14 \Yryg`Arׁbn1U T7ky|iPUE~.F8phsMbuV<._1EƛQ +Ro<34>D*[mD#BJnGycN) fn_{hl3dՏb+9 G3s_ng-m@FMR?eX)q][i >?&O~<8& Wkl.(E|w5V nqEM+0tsXǐ҂ -.4j Ґ/p\,bJaMQ/f'ӭ#\gFmǨk ' <`|k|n]D·XNolOY"@9l0b(Oc^AppqTC(ne<`0\'H+pyʛ)A89!" ų?2[Gb.V(&nfkt} |,Gb^,ݝbiĩ|bej ]rP'g /ö NlNgS]t@L!r d$,&IEڪ#ַo`q6dǤ>@]8Q{Suzf-oՋXlvVG{p,uC(- .էRTj] HDOgJl;f#.6x˦=/s]򩼳,+#WXO?6P/U7oDN8ޝh1&7AVZiwx̭xi'?FqR.fo/]ֶ5uD(N Si^uƐzg.5,FPeNxqrD E/lom1A]- 5ni 0SQ9#Ԓ9aOCGɁ9>AB, \B0)[Jq`,M"3 EjpM&&+PkJhCcL+1%58aXS[ԬAs|81OqG +-l쇱1n?q 38jɆS_&v#m=m"<+H ,[z}emGyHY:^RUV-g"X{7pqfݰJp܊9y #|%8$}9+ʍ|qx.U4ἃ,HwEuOR CZqOA 1%ї9raiJ3E3 5TdҵLClt(DsN8R'MU$yY%IZ2t OdzrC:q$j~VetG7ב[kJv"UM( Cn"X+XԆL%ؼTI7?|,amF.uF Z;2u~0nrr_\AFУҌtoo\ЯK 0ھ1X|_KLO tOdVt @s2m@d@&L(mڴiӦ6333&""""""2"""b"r'iOnDg(T'-3"oIW~3"F'V'=s$ka}eU=#r9zUG=zUjUZտѣDD%*QJT $RPĀp E}hTX'11Qh81NDljq@cb $^'u۶y[lܸqN7 7nܸqƍ[۶m׶m۶%K$|ڼ۸*BBUbX*VUynD$"q+]%?XDڍUl Eړ h0 @@1  $P(0 (xp`4*"  CN3i;r$Аphy11 FCr1ǘU?=cru28I%U?=# )Ԓu,$28CJA[r`0Ғ<{z qEPIDEBU7؜yk*\%?XDZ3RşP=9 rR3"m#b!E%qm7n6꿉 EޚmSSSUUSom!""ڦ=)۶m۶kfjfjf>6UM$6gDޚʿў[!ʿў vRA 1#Yd "$@,8L 48( 0P\,$ ,< C'Z?r킱0TV"fC3 VSw?icS% l-,_ Ť6l0S~IzYy6kZMU6gJƒjm&Nj/εju|<Ů sHm>$~n߶/u"ތEd4p4(䘼'/^vq I/W{Y[䫆y(DE 2,Wx+]{4vGG$}PI^2x7;ȰھޠKB9[ZH`5pD@".1^bl;"RXіj Ivj kΫ9D%jȺ8YjО'V{&lEP?ž7ӎr触X!c~O=wWR-HoC_FH)£Zp:˽-0䯻t-X[a gwL?w-;0 O }~)'mnYyn٧APńdxB#Įj3Ho3|<.. \IQNoqQeq>Sƹ(4{䮞7d69[6u|şa%W42o&th2^o3oI &9%}OM$U98[#p9ث\9reOn2,lIwUOM#hi(%@9hAp/MGлNB|jιW9hEpEk^om$8sa消qO ǥm$\9Gqk$xA.ۯLpƔB7,B%,n,LW^A)V*]` _QL+1~–{*yTD!DImC/CD-|l \'FrޗOĒ h#ەyTP*:7sL{aX݈K>f :H#1#'p)l.I̻ήҚ[;Qj7PHhq&~4"tb9;a 1 q}-Tm8dqC lsf)MW5AI˂ r^#d7/‡kmاs蓙!V׋M{iPt&T,vGqa9~l3 ~"Q= # gˋBp+E-ijPo0wءT=aOeFQC4Ki^jw,tI vQ4WP !k~zHt="'>IȚ[&KTxr5s^!bXbG~?nqowerFڹf,+<5UL\,f^Wyy@SJl b}0x0R  rmJx1bkjgS*E#wO fݨ~upi7);AŎ&))~sfkA1tlYgC8qX 46 ژ  tU獾.f,;& dr"ϬWmecꇅ8q3L$n"QK?Ugߦ4ۛ FNc9w[XWSl > `㓇祿oWW.RDxGaRfO""S0_*IZl<1`a Y/ɕӡ6+KB .0XṾ>M"_6o-b`gC@?J,7A"p4r$g}-o"`"×5c& P3P2d?Q~0 []M7OG?-O&?-S3p+Ap5xچ)6P Fkˁ0˒A-LJX An…Ȳ4de ᛻kSp]ٚUrg5_;[)#g!N E1,'K9C\2#lH9dC;^9j(xY gPɣH9")\ij)'`!7{?[38¤ER{71s_J%C^T gq1 E Ke@ҹ++2guyC;)Nߛdxv-s#Q8wKxqGf6׋F&1A - #Ƚ[|&pdc8] 'BĜ=h%}<ͦFslÔaY\mXM @9} #F&7 qJV =2:d`hd=P2ق0mzC _7.Ruvvk_ےe1+h RzY#$ rV́wVxoWZjx1~_T#|roHcQbM reN{%S[o)W+$ڃ]5n$% > ԿHV"Izߘ\r9,s|޾Iw`UU$Na?YTוFzL1(%lbn |Ӡ;@?gWm:8fq oAh Hds{=!IxW(rD7%~Z^4u/L2vK^q ahvqD8xNPݎ(c, ḫN69R6>hR SA73->}omW%s٠5dѩ;dRkȐ}>vD4̴9~]A`3QS#TkWS1Oi56M5BOD5k'kF<^0kf#ϸQ3Tk@OLsv|;4ۼ0g)THC_Wjt\ECMP־`QemyqtN5k.M!"@U+ֿ%!yGƯIdiE(Sr,݁0~$(_L WLx؄ܠm: s wK yr 7Yl{k +–ϟV7pn/ 8ڭq9;WFq 1-\z.o-{a+7'ba^wSbv\yJJw,q#{Ff gěHºcrSh (؆] kLVwpMf0;l_x<~ܱXdkYqJV[N]r5$C XhEDNSVoaLl`q8Rmh:]2m:b!wTf"UioV8h? 1lŮDP yS+ŁgzuR4 G Q PGh=YH7T(ez>/=hQ(RwVKa6yt;K m!t3 :7 zpP-!Uե~LM*xJkY'<کQ(-/P>5D z:w|Nl-=f`^NѠg-4wtrٮzfxwZz̚US YG]m"8gȎ.?^ C2_"/CY \wG[In:cOA&Is=M!Q vYH+^()f'6u Ջ_#PU[=l U:ɒiV+z*'4Up9 䖓PM|~@™,':rQ)'zmaA1> 4oB'L;D*O pM*h($vF >dn)CkEn9t~۝YKnT *rP ڑa+gx x Jp` aFӰ@a0ġ95H=ӒD, ,`   &Hl;bf!H &DX` ] p=`1=3-U4(@&pA4iܶqm߿άY_]+J+H"Imwf-"zr"VڜaK"ٞVHHEȞ*2)$mkMn"9άY"ZE*-BIL[E&"Lkr.lʹ&IDoƶ߶m۶m۶gfffƶmۦm۶m$Mn۶m۶mEDDFF"Y"bZE*=6Hoϸ-& 8 `H@  ,@0홵%7Lמq[RnYM,Taۜ_"E.rI$I$IRD%'홶7m۶m̴m۶m۶-I$""An""۞iMn$LA Aȑ( % A  Nf{ZvkYh4jsYuUd̔"|+~) ]e%uJ }T/ك:SU)l]m+A=M9~Y>\2#}?{GV a Zȶ;ZqT $*&[Zjz8Cr$'B mO^y5t\SMzq]:o3d;0s G[cC#Ű]fi+hhט[; dCD)jƍ:[yh&ytL]ظRJ&_dFEqAe?If12"m̶dfX/`uEQ_tִl4b-3?yJ'TH }%MP21L ~),)(靋>IWk}&,G1yF'ߥ!5-u||ǖN&@"6[9OzY],ѹ&p3*C3*YEiǡ!1;V N+* i>POz15cj#m5Ubb3##>KNOu]yd0ZGMdfUxf@,CH =sj-AVJPh4JPZ#^F g%ok%lVˑ'?X XUk†:}z} 5x6T qvlj;j]Vx9O5bu{H\\ B:ULP-C,צVy" ]=$z F͂ʩP~IUdV Ț ^[\~V(Py& Qe5U$+JT"B.RZ!T6VpYJPpɭ@ut5+DXqq^[E@T]I;mVv_(/(ōJʍ1ȢpG^a +m**?Me2sv*Ʉ[УY%[M\%ը3 4^; R`%Dj[@%| .Wc['Š%KBg=4eQR<\m{Qhg'6/%(泛 nk,z,ef=?eLP#/یZ.﹕jR:2Q &/I3Y3XϦ[#o51Y<Un\/ÄCuΠ]]M(Y$)!XmIX)W/c(nҙ=cThмvQۮbCXW=]YWzeo:eCݠ3dO'ܚeX a6ڜ0zAH5m1P\W}Eٮ,ߍQUɘy>NM0 u-ͱpH`MF+юbVmmapٗ X0B\lfe'3f3g7B1u?o;ܰT,_?gXÔE=-F Cc"WLX%!U q=6ƭyǛ jlSbkMan-BqV2 wиOVf b }lYU)ZխF5ǗlJUJuKN XYVD -+[l1 wΫ7Uf'Xk ̡Vyu]jN]K ͕|ܣ8[q<*qK{KqqKq> Ϊ^}vЈl \6mn @̡ /EW(bֲd`'.iIJ,O. R 8\#Īur", Z}AXTh0Q-obNL%돵}PI Ռ_Mrg5Z\LsG6=@^&lOM=nĊqʧ?qUΎrȞq9`mb5mP1kJKae`+༘أ]Y1Bxǁ?c&1jgbzUatӵ@tp՝s<֤ȺOe]S\?0uZ+*j~BX~NKtr]묹] 뺪in]78w׭*Dvnvp!kحY6.sn=vg~SB}Keمn]gvk@L6xre; &h{cjiKk!.ܻ./]o"b]l9M k]ڮ$X`vYb=n1~g]9n:Ko^kX=Myqwvua,[q~r7<\h8\YjU_fªB&RvSC YYSVlo#œ++dH, [ZOys)o,zhqу 4!ix'Sp'G/Y፴Rz^a'mI" DnmהKuS!xMx/u) ,p^n"Sd4lS;^@f E/ 1Rb[_TІ 1*KeUެ*6ok9*T EH6QajoY6ǽz2kڭU?Eڎ(gQ2X[K-a8ԥhg0b Qʪ6 )+4HajجQeOY-jBa0Cxd@UUOY%,&% jU bi!+T™H9"XQza<2k71,>>R^jBꇒ0u);D-E^"Nn@IYYྩK,Ze {JRп 4fm:,T+l5JhJM "6Iht>ẹ3d$?Rh-i}z nVxs ZHgO@ԑ-hoHðZJ[p0hUǗ0{˿cjX0n+"|g0te QhpbYMk׋oMX f.4 /v.1B;X"[n+)lqtm/WK#ťI^w^ kVoKx0 {0Lt!vc:ޕiDx^-˸+ᇕDءm^"4-sAqWkzk3fΦG0Xf/@/ I.w/d@Kt"_Y^MjQ<44NF 0usKIӷ`'YJ2etz'4l,OorO~5е46W{ijN xp#†'\#H|5.q0vSa ^g5#W =EUuY.Nk Sw$ݽZBd,S.p9bYeJ%N!V=O`Ҫm̅F[% 2J!?7 lK.[`5BٝvcH`"{+NOt5%9ѹ,*gǿL)jIs].t(CYOa:8JsR+J1%j`0d&(@8RS>'4p}hLazB5m9Q텇˖KhJG#6%LFX0I@ٴbq#{0%7y0R4ABI.e,a7^n:B2,Գ|z.-$:]-qBdkhlVXQ90p2T0}C~.pFQ"rZe? Edow(O5WL\񸅇gDIq|Sqt-zNEfs;tXjhfŸ7KnVf|>Lu v3;Pb qtv@Šs'Ҷ9LeXnUe7U&SҦTwtǡ!tM#pEqRLe≕n(['Q2\X;64r~mh(Y"4ˆ){*CYLh|o!7<ŪW3c0Ǒm|`y`$$vN'q9.콒2I)SJ@< f"B."*2`aC@ -.?Ҁp;n73 Uta|ՑѩXe-j#oCȰРࠠ]c;`PD̲[\x=Tk6 zD"2,sw!VJU\Uml'[Vvw어ͪu~@0lH,Ӭnɫxl8(4.28ɆoVEt%6 ƃ~*[eVEdeVEdWK܁/#0@wu@j @u @lԏ :Dc~Y}fْlL!RQx<0l+M@V~"[cDZ D)zܮ$LdK:@4 :5hQ$kry颺k"$&B $"\B <0`s\uΔK@rtw@Źp(sU6[wl%ߑ#q $,X0 qH "≧:Hh´ݚ4;~K _xcW d[^~W]m7*nO]Ly)'iVunیUDe%9o"ݞXET[A(L*rA0-TA^:V#<d][dfNrUڲ|jln aĭc[j-uQuH7ۤo FUo7k|9y驙]$-:U8˭Pj8GbFqO]f9:EN#3;_H*t栕LOR6'I(mp aٶ3JVf %*NqCрbfQlQjva;{Ewd8$ZQ){x~2=FZb܃ަtA po1Ѐ@$#g!a3S/\?e@ߞm*+Oz1z)%A +Ի{`RI:b* A(L @KV7TW~'^S{Xc]/).69$qA,}"Q 7bӎlFv9*ӭ kT,ˆE{!sSQqǻw&PI!gԭ'ZJn-,9IcnV+ܖ\w +Y49 /I o0RyE}>J/&i]5`r&F]ڕ .H4W![1 GG͌ U.sQ0ڂ_ϏT9CKdv3 hK.}7X&9 9|Ea-`aDRID5ت|bN/VZ7N6'HɎ 5,rvlұWA=](W"?!삔E1Z=ih+|2 ufm6_9dr)%/t+^2e n988pNΧ yDEx ޲?YteqgW5J1SGw5B37Ums>Btl ?TDegvQ@_ A41R[lIS;G/v]ΞD6 ſGDBh8\ܸ@%3DrF샷v5+4[Ls +fM(F'pĦH98vquuϼ9}LޒɜCC6jVr8xN6|=P kh~9{}_ӕ:Q""!yp(nԄ2b3\؀uI_|@Eû+AC@Z)X}{']<6D1 nϟĥ\“D}LQ]R\1T"FbD{!>CukFjr3~eF2F凌*-hߗօRFm]\)=_5YXBVmRK&daaǙ աUGX\z)N*GՂMJml=³ײ8~Jylɧ[=8$ :;eiꝴ .kfvHns|Zv-?ku$bhξ0n[K7ccc t >WsB;S.ZtMI!E2:FBNDil‹_g΍i'B]]\s{% NAl5E$P[G kpy>(y Z`T JE&rG/=J H]N빗SxT A|n>?pSPތ|F5r8rՈPc ad,ᢱ,+AAk_3YXL T!ޔ|2@xOGEVfi.,O H.b3}4#G21 p]ŕW^low}8Q2 qL}VIy.`j0B% p>ͥtV0> fBޙ/{ڸ_"j@CؔRq d34mg}%7oU OFllzP-P! E_͙=r8 Q{fhIΟ.l"ɳ%b.]`" g@& gO\O84)^7]5!JJ3U7-'>fXi.ME`QTf\ynz+kc` ),Qv,I`XS0R8e>0~& j4 j֔p 0u075ۡȪE+;AX!gT8ȬQ!``f'X}4e?sN[c?]秂}]zߎ԰qGb}5"9c@aO/pZRf*,[: ŕAp]dڝN]ɺj~n4'""G,GEV=*#dDn*K۾ϸhZz#r5CѺaX-Ң`PPWf ki/x+mw8RdnbABiyjYxu?Y+fU iyc6IH .&7?Ok"1`MGcdy`:s6#'΃Ԙ>/(9&xM`; ykp1_pư3?BXS~zK>l?`3lj@żoW^rr٩qISלfqBn-/(七JXWz_nQ(c?-CɜZU:~/ϧWOF 6LRt J9" ӗBNpRH*KH~sɐ \+grLz!'wSO[ԼIa?5;* HY2e2{U앹5XU|5@WlC}9~LX&(Zh4x4O? ދK"CSX퀋fgnj|_ֈ,}|1izh7^ 9/6$Hi~zlЩu^i +JoEmBRõY4۱D_BG`SoO qAAe&?uPư#PA].X,D/5@ &rN1~i%)ܱV3YFR1*8 &9PfIxZrُSrR kT bxP2+ȊF:Dht]c'h=Q+"D&MBb>x_/=E@`ӡU cbi'qVS8ϛ ԣǠy2ǯ0'pYhB2@s@ݍbaƚ"Z2,NfqH^bt".3ػY*x`= ,HmicJ셭3b!hEvT!@0!TD@׼+q2ѕ5z%U n ]@b[lBvR : @0}hֆSV\htс$iToU^t('NgR+{3SAEZ{8Fw)*wy Q+d}Rŷ;-YYsvG]0@C'nʱdZc}ڻ*J!ygΓHV 1!!zF)) d@JKp(A\F e%Zot /OCOE[o)Aڽ8@tpԪk_أ+n a3M%8+ >ף$/^J?BQ`;4hDO#w^+˅`țv}A4:p}a)5mUUo$k߇#xl r w 4ddbyxc/N9E]`]t2NǾSOe|S8:PFҟQy} h!;h;8XJ~pΣBdYhd% f];E},Y+B&&y6 *7++FD RK6;^.rAhsd+}TY'Lײc [01ܥAlo(>k'&lbƖڏ\ FI\[8897@pztR L9|DŽ&VjeK'z[aDe}L΍ 2),W)V C)/[@L!p7aE"gȜJhؖГ ʨ ;:qx}*Jj"U†RiȤ&G=Gdѣy" y"{C~B^u|]DBpHε a !ﰝ'KNtYf&:#'ԡbS>Mc |ai=%mEZ(Bdgog(`k<xB4Gy2l9x(7c%m{D=?鋆DUr$p<XP稪71p@%3 cJY9!HKoS6pm4uGڵΠ[EkѬ9"]nX8ngm /C66lbGU5HSF Ѭ;TPHS$LgA==XXc"Z|3G)NdCp$/Y 0a 2,i;PtKPitkzav93J oD\U]`W*T%8EQ Wd ^.Exi,ܧd&6^ &;)%/e2[#e[Eƅ.oI 1 fY24șh_O M[(3 ZE~VUq 7@v[f"eL.KC顳&nk+PY+ªU(5{V+]ZЋL ~'ͦ{S{&f+\fapsb/1M4QTLbHDS;{&om׻0D Hqez M;n|EF\ǟz7n@esk׵payjD4!_ۡc_ ;N;.\h˸eoɫt'kFpXP[RSXT^B)Cb9CZKY*Bߢ&]MeTnS-J:\5-8J1i۲a(0~n@ML\@\; ەqnՙ '2GQ&$eQd a_ pZ7÷ ;4ֈV}&owVptgccFX'Bh?X ڷsa6l ÐtNA:;.? )cp ✓\i^!p퐿H.A]Q w ޡ6g=*UG;W8C 8)bwǢ]=/ؾEjEeٛp`ƪ{*぀JkQsxO" h6W PS&,[} fn.޹Ԯ#״-K~ޮMF'}: +87"#9܃b<`[GF* uK % @5l@IH -%ʋyز-b;3Pi3VSRR'dYD3ݖA4sc8CU'*?rɃBg޳ N L)B%n@=ҵ| E=0*YTPX K#2!>Yll1VRtvY3YdR B"Fa@7ǴzheQ|1rV(4A!8oq1VFX Z5=cd ])J+IS7x[:M0tEUGb^} c(~$,p·?9lbV` Bm_ o^VX=k'DPEƳF>ZEFa!%Z2o0}y C|+rTOGnY8)-Fv*MAEHU$G޴q70kX,@af `c\q ,ʕjJe nno5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodz5K) nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`=b`z_茻!; _ ˻bKu˻4#izrt{,9UчO􈠠gB ATMS?|!^41N&Թ/ 蒥|fR92-< õl9dDJ`,N 5K# HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/ڂ*$jN컷hԈ"Ȟڸ*R\Z;8lxUQD \lB,ZfAX9fO8c5Xͱ3lVQT pN*e `byCY: 4 "o,au(@ YXƒ|]U  &*  " ,F , B Xg)J 8B&$mnmu!ߝhmݏ0$2Bp39rB%8{9,T-kY@7߷0{Lp=ˢqEc %iCn?-O/j:osbEy+C*YgweƔlUtse'@Kl֏2Ɛ tgKvuE]]'6ZƌkqaojbIb35=wnfz<'er> "\/0`@^qz O'b39nݏH;y٦ "{LD9z3 OLOw5oW~@>uw3 'hL5ѪÛ\L$Ks,XL `\+Rlq9' O[pwfU΅!q +I'g\@[͘;\ rH/ Ei8$z[dOENb$7x@^O8ϼgF?q ~6.]¼f^M.}{4 C~GF~R oz=Ri /#'~rs9H/ʝ$"yHssHp gsITR zI*!z_gy2,īk^A&]@/Γٜ5re＀V t6H`x 葸T䎦PyHN$Gd߽E+@3]@G[JlWDg Bx h~F. w^@3@~ KМ?#W@;)7_{|+g 'TϐgPjիiT9# N?x@)^q" ;gC霑TsF6tq sN귧NO}:^;gSuHSsFO 猄?؟B3|Qj;gx!?<7ysJ? ğOq<.~J3sGt}g?{V~xX?iZAԴH釳Si`"$ GK ~\I> is魡d%ܘPp[`mȃY!gXlA(lYn*cڴM*́ 4;\ p4ve&7dR p+lRGYo:62ɔa [Ƞg x(lC t~IJ'#͡V1ĠmPUJJT0[O4ap~t0:\-a~: (nЦa 8όtq8{7m,V D7 8vBtosi[-4jn?lx?O \;M+~ƁiԔsjAu P}ErQ\Q8 DZBZ]Vp\)cu,Nv<zf2ܹ@u >5 :0t=\{_B~$h6yjl+k6iw$;qQ/(o CPFaPVS(;ؓ3Z?-*¬")ۗo{T%&R4G/88ɑ "㐘@ }6Yy:>F|ty%Rp&+?lBdg?]&0vF{=FQHF^mǔw4wDO'dQ4U@YUCsZWs@$5 #L#x`tOvyxBq0v~2ͽ?-Kc Q3%+OZ&}/%LKf>a^'E8̅,R!w436?3ONj)l|7ttO#q -7X,ps2UGaOap!M>c0 Xdx|t _,0@A`O{(a1섴owL{:HssG@!E6"ZFjkjPJu>R&>-gdZVG8$T\}Z\x: R{3w5ϔLp?w;^{Κ3OG u6O62ѧt\2(f>&3L ;泌M9gK8X7WSŠx$g")IlDNl7# "!I F_xZšf5ajFS-f.|(ISX(\Y,Kk[8͒BC&>+adړ'hNFjvxE.4Fqքk7vwCuKW—-hC q5V*O)淂1Qˇٓw C^4$f.[*os. .I/@ N w.&rOC]VUIUmz%Kds!ۇJ=ܕ.]V=EUw$dQTS>JH:l8wܧYT>6r2^K{O 5{t)cN daz8щb:O#x-&=~ca=ٞrŏZ9a1%8)w( >HfFd~&ˊ~l4T7-w cG C_BqT-D턬(}JUC;9rtU8e71 $y,>&yFɪm!'LJ̌&%26DʒW ncJJlB:@UzXF5 jãstgzfNO2X!5\|YFalטrMHwgLjcK $H6e0ON%+3Љ-4Dƹn1GV-@!qX/L%J':*[EܫYLL >G)>7M0B-w\XE\-U=`mTO%rxG.##Ak|H>lZQ{-4_\(")̀ =7X쇡L[M, ͋KSD*W.MAZ.7 H؛X&h6N ycAeoԈ XD"`~ۨ<) Ki:c ^x F2P<%K rvφ%70,^o_4TbkSĺUL˾`{F%G$0<l.$/d惸]9'bM i[_9\ڙC->a@*IkI2)Ǻaj1`FQ=_x``d>l63ɗƹfke*e(1t _&h$\ecFF[Jj!n'6B{/?6 ;65i- >/e %^FͲy%[={5k\iY.VFS8Jro[48=/;Bk:M:AfV%12[(TYѻӉ6pI% y)ZXWұZ.r+mYZ bP?L H!ӓ]#Mhl8M`=ܗh0ђa!."q`nSOnc Z4̰Թƚ{"ucub͊q͇)w}_[GT~j΀ mk x!3*-HlV/@k4GYl\`ۨep 2?MZ _U/ m?Aa[t,y{;2ƒָ ĎF2Ǔ{:pV:Yb$MZr(g5qM zҀX!Ź`$[6އZikRRq+}Ըora"&頉>ɑt/De6F;[;meigLǏ/'ȸ("F6_"! UzS,/8ןON J&c4Giɱud/q_YD]Ly/Z;"d^",21O.b_YG+7g!:4=yjK3}ߟmW ߶!r '݋åиS =<@'Q|n7SH k .(;VW77lJ??CRQ 30o}C)(OXhB?H9=6m5f B` 7}r&EcVVtK! 95!JC\XDha6K_Ujrqa剡xwpR`G7/Xokap鼓W/!%4~*8vL2ў= j*\1R 8՞< jbH24'yI =sHKBxhhJp"c 4t6X݆ZC،b×x+i:[%օ&p=Ois_0{2g, z"0d*H ] VC3+"[-z3jm5>nWe_%GQ'61cƁyZ7#7ϥ3f=wq]nɱ6 5jm_Dd/1ZA;x[^_ p\Nr|&H4"m wMq_K F-v6 W0d'*\4]2,jQ7&z+Uly,Eu[p;1=U }I u[ /:~BB]IX9j滄$Q0̕"+# 1]1^?/E˷nι5 jyUBT$k͑dqE58XñAqftxQ?r KD}刕YQ 3'??:)=!DL}Q̰VjjxyPh@0xORzEDJc튰@n2ULnlU5GUUpM)`qkW5TQu^Q+S6@v[QۤN<[:MW ˅cC"z+nb%'RJ5EzO&leOQ|vOT%TĖ˙,.{Ǯrv5Ԑ 17wY_J-S켽csOVGA7N.@?"B8RccI"w;IZ[To|-|B;!V-ĺH0B[T X-R2<_m(I\fn>K!-cՁ7,{1.Y+,;Qfrt.8ۥ6Şu5KYhmDSZ+,(L"cLGd fccKY /֍IHD~Uo31_;uX_M_fv^dk({z%_9a r9GS $r ޘ .R @#_ޅMi^[2's % gh6J1Zʽ¡۪+#oHvlW' K aΫ]. 蕦kۍ8*k/gTN 2u{ Y\ ȐDՌ)kܧL(.0K q_Qyw-Ș=gag/.7M)،s,p N$lD90ġ)̗d |\f5M5V;r v2 7n'tGO̞BEn. 1aOM /t\zfl&KH |5 {J0AxKgr"*`2T^MB;rٿ*K"s:U!FfL@ApsY^eؽTg}q*x,i@AW'x=VMC.\ua<yH}%I3`ј1 TT2LX 0wS43D`,lNA:(}SM4>I.>06&R|T9&o .foGTb,PT ͮW\ T7b+zC:RvrZ3^2*ZH7&)}nwoBdBe98gctPED7?jA84|ŢcK=n㽮I4%-V%x(>Dl\0nb#&S^$Ż4"ÕoG@\Uu*Ĥܺ ZQRڣ;ܘ\{FwqVP?[ũHdpfBppkIcF  m5)gTWX%zl-] ,d(~~W N][GP{'yGRE>\khO,B`R}/j,nڭ c3ҩ=F Ơ0Ar;6(Ar:q8cj9a'"݂v-JF{[̮YvU h]xř-aܮq8RZ/s7T[d { yC$wHްkZ,;-* 쮬aWFsC!oFܙZ*؍x8ݲa?.w@}Mcl⡯ JGu8/sTGÀvbR_?JKh8wG'!,'_qpӄ tRE2Ep#6Qn3d7=>;}mjx\aJc_n%`&X A KTB\ 2^g~x[ FKV bbmlR$8"9`Aww(d \uyğ mBo܎u 7?1uVMddz+i {4Ȕ읶o 5R2 rXo}mw3k\ *Ħɪ-%+'JmJJdJVF#36}:d/)D)L!qx7N~ˮ!u亸v\a#67J5tQu&`Dd\= j0SD6qۼfrLlJt% ]w4甜/RCkrFuJYjpSǎI M'(e!"C{MM #=h ՖC͟\mQcF{'n`bgÃtp |y : ̦",i&E_%z E!20tsk{IiU$63FE⚛=OLKH  g쿎Q\/3/zcT(͌ݪ蘹}{~QKbb xw|fmJ#y-nK?C"" < Smvvmnu۱9b㥝$jΝۯڿډoQ`T(7aөM722 ɄX8 aj2VdDYw>3,(em^yWaDKZķmiI.gnZn95v^urn2/.m&aR<@Lpyyi7YZބAv@0 &H# (QB@0F1 Bc!>oB̄l$2ç"Y;=PӁD VK UN%@5Ҕ9͓NDV"WacflTukx&@HdE=֝fUxnFjB&ǡ#i_l=")TAjKPV2MW[ij+^_A#wTN-׀,?д`_6+9va ܶFbL)>^)Rg# ut8`4NtdbbWtx!نIGwx4^t]P#q(Nİim͕Q|2,]:3wDc&[S h$yaB $ZD-u||gzt𑌃mRl7<N8:s8og N98-jhv>Hs l5έ5BUP\ U`w @qr$AE7 |^rAc 5;Hn' PG0^r\8 [RHcvɡ&ٵrgui47m!G hQZ$i gj3HI&ΝD}|iOR)Ti"1pLxK"Bb:8E J]8,ң1#}:Z_D<jXtImR?wyHM]d29pThV$7݃s0kpb_6'e`Ps*#4N]<Ǽdvttry9aAqxgy P.q |b0CGS!{7* 6ϯl2+w/^p  4c9g wzâ,XgdCkG:2L( -dgnUgchV-VڡL|Z~U˴2^ cx6uj#Uwr#<6PvhMjpOeJT:kpzwM qGQ 4=dm89h.Q堏h]W-Ydq~XᛔN\W{=kd8uG =I[Tn+uso:f7<15ؾS21RKX^Df[J5}أ\tG4践b4[nkOr*J7r6q&:v]2L0'6#Xx.3wr~i:.ħ'Uv̕:T{E֗Ǻ%:sF=J:\L84gs2c{T'jKc}4c<T/LM=13UڂH2&J<3αi^x$j<ɟoII<+Z/ˉOYHnTc o&18R%2ȹC37T(Je 2\zUu~o#Yf8rę@ԫLn"two\x\г/U T .8]BV ](?{LRS,j7qX=U!ċ&$M}q_ 2> T.XDfƮocb4m*v_=NqGM +nUE_ƺxY5磙ĽgO5Gwb9fE[fU ]p STBpףC+o3Z/6$ .zČN|6[|uق'>}n`{37GXd`I]?A{nS}XЇwܜ Z9TvUl*AvA䎔98l?蘮myUrF CdѸ&H`|`=kU&@j@l!|#X)$VhO{#@h`p({k nM0۠y*|!ir5"ad~743G)jBLGeP2#62A>5h='pO 9%?׏[ӪUVTj0S}fVšM-7- 6:~ֶ/.*,oz%&nYVӘdݶlgm^*m:<$M:/ݒfs0ڄA@q!:H҆BZcɦ1Ұ\7tr34k\Z'9!@7rE?w\Ny}a^;ûGqInY3)@ZlXl$`'zRq Hdbd@phnp?Ȱ+Wq+ڧJ&#qq@eO$fd̑X?eGPgѼΕp7^=qZ_"K2|m=l*.& ٮmF|roVӦ5~NVl2EUQg̯泾#xK1_ #;ycEf3ngJ-ėpT޻UMbS&~``z—d3PH0"7$O5$!_,de3e WɣQ6^S/*ȇ?g#3JU)VpIMKVJ:>V2k&>7,r#~tLd_gSc7v+k+O.#9 D>y%r^ϊ *Qi׊6.d3 |Iqsp_hW_j!ё_tS: `QF9 mnà4vLBa 8܎H^9 1@'In"F !<@[Gǐ=LOh- Y<QKUh,.&bFeH`4  D 8e5pT< *М4Ӓ"IIV!Y. IPb5y0-j&x%H[+y?G^^uo_Ul{I)\=gE=?<=sEwed۴̿UD .DkLg5Fk'bt&g<Դ;K#:t$]X,c1$R+R~]Lw02(wi5jW^VH7@u1j5Յrj,T:SS|o^KKv8x"hsaǹiIp%BݵvKL~D53l%C!CzYL%I1 coA f~CJ(+ve_pua, <X[8' ~xnka0۱regVʍ,fq*!fL̚vv۪g}X1R=|57D2&E73&%cRw;"r$׆lA7Gy6+j_#1Z8O4I x(]Q< a@14GP1 H0A00-PD< GhӒAJ'YVc9D=F>D7[D~e_TG QkDUJ)D~|ěiv6#x͹jmeF_rfN '=^;q[#j: }mΚ~m׈ˮ|(&rցԴVFV~KFFFa66}ƕy׻WO7QPU h=p`bBUB3 @M,P XTÿ3\Mu7t[V=e}wF-љ{w:U79VoiQKPpa,ﺜ9]> ( WSSIۺ9 DXa@CG, LPc (  BPBB@( A( t7! ] 5O' 2HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jMH4"0mRr]e~;&.OH/ijj)3""XO}4z*(O͆UG&V QKHtBJy]hbP'ՈThnn0Mq #?A? 0 K $ dt+|)c q@ї ?Ti;;@ʟI6wd|B“']Bjk?.VʎKXeu#kw/Yl$Z2slM<̯]hjͭOUR 3C>Fu[`]cSk]kѺl^;yݜW:SPbr1Zb+ڋS/Y>VTJgqnƍSb͹ŘQ U[`e .՘'yvTu7_<%[ȝ7+w1x} QԂ4r>j4xYdB+DמTkn g3g<fj]/ @iĝ/ `Z>ۼME~lJQRѹˏM~dKɏJ3 R)n^>Dj/)g-j1jʙNs3_bMhH2j1 e@` (A a!Bc.(5̯rU>l4\k"IJ5H;賤X;§gkيm%z8,G= HE+~RU*P 01_}|֓FP\pHl/lELYLhS Qp~\ᵩŮ tM 5w᱄,=( [vpgE-Uū}gV}T!MZv֒&4Ni6Y+)~ǿ{=T&,m`X~9(yiO|BtL_$Nl;BEńz_L6%(M}0^ʕs*c9O~ *hKW+a UvŎ.[ř:QJ: [J%MBcL! gV9Cᦳ搠@-NNS{*">#/wlW0gփ BGEضY҉kpf1KHK6EܸMaտMy+(lRl:aVYJ=k(m2h%UoƳa[˫Ei󆈓T+gi.dXEQ߉IDmn1pѩAdITz&ZZxr!YW*R4߳\yj8PaQԦ "kClTQD9PVkZBͱ&].P ɆO{<#m:裀G9v]d PAGD"gpYOzQ^ nKI~^5ԍТ>2Y~|(EQFβl @ )*\!TSƾّ1NmTBKwA 7c~]8?lt]AUm+{ՊbCkUsF5a,L؈-&ы`շYTNJT0;?,#= f.w/H,Lǿ˭ Nj^W)wb9̩^²g9txzb%JPSn26+l=Ȅ3nsN!3meo.1}2$Q^0uj [ܙFM!x(50!;oC}@akwn%ٛp zfGXrv@^6+Ct!#^t>G s GF* clI..^FTdS]0NF b-k4(T4 oiq2y1M'Ah O:2)B:.*#PNSŖ9 (o_q@Rꁁ͜AʗUvnԢ{#ѡjmʼn?BտRL0g=17U$I5 ``0 0 1B bH%ľ֧Dhp *eZgR|, }dӺA;ȁ/=[Wp>'|^! ɿXwDwK1W*2ٕF3[K?_V3Q~ :ZOl{68,jj%lװGw=BLC7 d$9sae/geJZP[1ӛ/7lv1zӳ~j饵6סfCsgT<`;qH,f;:QF&pJfy}XuFU,:Dp$fqK3= ๕Ĝ])d :4 U$TƇ !xc&0+n*`L)E:5Cztde23ɐE6$gia+ w3 loUi"[+N F*mWOMfLⰲZ-L~H 2GuRRZ- B%e:DϿf-mJ he5a MUb8MVb !Хb~SЦ[[CrA&-KN#54aőv)ng,XJC\qa:2K=̅¹qor(}8flW/',5wfGÇ"LF.wWh@2٩LQ=ilѺNS4|xO1%k=8O+3/!|~T|'OA,a=QRŎsϸ($_m# s71_$ 32>utnoܧSӀZk4}=JXZ#Y@ W JMAށy:Z%!}RUkQ(qށ{rQ K\# otiӡ4j_kO:.tRXzɞDEj.u=J+?~T~+" ˖삗h7vZm8Kx\\i$]1N^DŨ8mg;K㰅QR: M-ڼo*ӡ΁vv1S:j[! ]+[kpo8c}v<6>@bi׹@h( e!4 +H1':n%&.0j4~iCeJ+@$bPX~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