SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsv r}~ytoje`[VQLGB=83.)$ ztnhb\VPJD>82,&  ~ x r 5K) 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B7se.d7Ys<D %"]>J0{mI偑& &"yEP̃5YKEc*3V0&ɟ<3Ud50T2NmR(qUZA*J+ 1#TCaތq,H @ =)"vKDKӡ2-.0,#?00X˻K|u;zю`vv  nhX XdԼ4`}xSB~L㜽g"N -%ehCQ?8y0fL=H> w _щLALX$N:z8_/;; ̍2 (By;qt9|1)NldeEJhR&j(UP*uD>u(*D2﮾~f7 ~ _$  0 \ffC #2zg(ru>='R U5K% (HOL-Nominal-ExamplesHOL-Nominm#[ MFB2  ݂|{xhw[pXnWhTgJdI`G_3\2X1W,T+QPMKHEDC<;:976321/*~)x'w$v!qZYXSED C > 9!}|{w t s rqkidc\[ZYVSRQMJIHFD|Az?w>r8q7p6m5h2^.[,V+*'%! >21-, % ! gSo!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/classesH5tA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagessF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!     }5|r. [- UHOL-Nominal-Examples:threads=6elapsed=349.637cpu=1710.887gc=89.779(/}\|:M") KB;7'igY;HaD2e`2.ū:$ qzzo}\{H?2(t[Ra3bS3-iDHHߺ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.thyJMm&(_\ `\]52&/vOˇ~<]*u7GzV97We<6s7˹fϾAd)F;4m43 *m (q/Ftc2L`[l|>CV< D rݡ\QI w-Zyo:4dmo E1Ed=Mҋ8JJG#Rs5TQA"EMpU d& <ؚbR`Ȇ #`ZC^ܯSxHhf ZuP:&V0gEKpJ%/ϣj4@UmɐOH<+Cm5qOp7}z"9/yX)'".?nQ5l(z( VhJ4BCxB(ˤLrW$o+Fk"?[p_7ڝN1;w*sB !eoaTpb Ki }ΦiƱ.&RzWKShj! 01[EPېo7s:ʒc뒠Xܖ*$RKdFK[da v)HΘ|QMEdKs+^hj&RvV_4K Ym.+4 j(35Nn0iY(;k&>|[^d ,ojz{˼,(3| :sruez*~jzv[mjCwKk Y2|BWGqLЁiCp[Aȫ/)ӬX߲iؔ*q2jͦO5c ;O??Hy_{i:2pP,d"((¯?Sg{KU_W.0ZU,=RS!<),?]P:څ ;A$@9AhѺ^ȼgI@4VUߔr;d%L*3%yVR`I@LeƎ2x -GRE~fc/6Ԫpr8g$BÂO~ dx~EP> |Sp%sIBBDW>ptB t@Oh﬙5!GY_g~g@jZK)P\IGˆk> áLwZ0PJSFLY[t.Iʴ`TaRr ,N'W3Ǜ{o $}ܖ2RxtF*uA5#)Fr@̬[W.ؼ:]N0yFyx=+^qE"Bz(PHh3yBHEW:-dm8+)J6t;Y;O +tnAU% s 4s' s+<8@BCDg{?,Mj ckHRL.DB2+ bNMM{Zn-( ?췗da3nU(G Lt`n䒜`"l\8dw}E<Nd{nq-Oi*O$8,?ۇ3{(j0g^V$Cd{4TThSA[*KS =c_ ,0>շ.Iq", iMٖ|pUpJ3J ~ Q4Ds0bOʹo| `aɯ>b5P~6cΧ&v^s-{P62?HhБ̄ЭX!S\lu 2wPnR=.s'boe:b#fh}IUcנoTȗuXL D r2pt s>VSb:6 - נw'2Mq E]b=T/ $g xH*=*t"65[=k'|+'i'%BP րD9R@gnPݱv19Vfs$J?FTJi9ʗȣ*yB8p4mxV0 vs<1Yݦ܂s}9`4d2pf m}2z?0D ‡ĵe_G HrKq;%T]T@ݔē^ьGvh[[)XeЈS,ӭ -K!" ^ȣG0 {IxVx(AS  W6ENVX0!}%BޣO$nA  {)6+o6:11ا˝Coʋ|{`3rn"o0%yOAGZyH| =k [A{TZĮ6'ntwqžT{'NZA$MIMO6LN[;sCiI-VEEȯŖKR>0'I˳Ps$8Z6rLŏ?QAb8JpJ>t+J3 soMO^b1E|t cMG̱XӠQ.ЂgE2yS9Y.F+3 GBd{: FvO&xʬ@u O V tۚUEU.ZG=8Z"kjB,OBQ9U y+&A(?; w!dr"mm6GM6嫫P[n"XxG H+RbM We/]V-6Q{5-nc6r$xEpUkl'͛ܘZ&;'پJ2#FXhHh88JaC-9kJɘzw>V ¾ICIB>$ ~Ano9 Cƿl*;NR?9ƽvXjvrRwfڂZ;yò}ǂú]A@k暘na@#Q B!OpɖW W#-üIcR-u_Si_w~:Qh5TL8/vbEPF00ٌ`r2#yg[9$<a=[=([{ߗq{:9>tm(Ĺ4*y =r*#};JAiq'UV` :@ wHH(ڎJBF.[rwI@t;6^'ļ˾*j\sIScnz֞Їv[z )aN$D 4y9*ݾ'nsF%P̈hfA ~_GK_;᱃dGӔ|q41ӌ_SG% *  Bb`=XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚*60 Icx`@448P ( &hb9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$ @X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c| OjT%0oS jRz%HSȱQ.SJ)I)k{}ߋV+ͦY8c7555y f<e<˼UF&]euR2lIelc86fl۶mƱmlcUv"&tt~δN[hM%p&yoyiӴ]r X`mmI$[dYò,˲9rqX ,X,ƻ˦ƍFH$Gb[ִkX)L\~-B22#ΌC$·N,xN ;( @  ,4XHPx$—D-)v hA|C5+ވxqGr\$.3%Q$, H^:z[  >gtT(mMǘ@j靾זGp`B+ii.5a1<1x`ϭPR4z 5Nn4 4NP^avw\keքjz"^o"9̒sOpC\z[B<+UtP_)nr<=()(,d$dw s-6P%yx}ʰ>o?Z[s Egdg˕Xx + wBeAJ3ՠk^mY!ƽ;\24}]n:ˈgx-I~ ˫ak-0m :9xܦN*HY?q٨כӀ+P|3fr.[\`X;X(vM鏥C c(aruk]> ?%p';ȶ6-; ^㬖L,\{cA{U1 2'˖-WHY-vO -_:(H <z',,_`iiQ$4>bvFV9IմYG {19s "+E|D2@mݿȹG  Y͉JNd3HSj= 'QY;$+7J>g&)l d@uVA=-!ŹRVqFTpl7rBR:?fO7tK<""#Y ޡ_ 2vM~1땹2Pv_wuu lU+,j!?)Z=]O;)8ů[o! 'O $5 T| &rM@x!SϨ+3˲/О0~cF ik e6@,n~2KSU`j{6rJcV ̋B(? w.E$DIO؍ {WyNG(^3&ErQώ<*jt:ݩ+Ab/}j-_ln"$ۙeYc`jϏ)0ODz>㖖RH=Pv0HkڌAa<[ Su.7pR‡#=6>&~5P9z(j[8Ӝ}$l_/t7/(QNV>]P\׻94Z}"votEYOpYWS쮂Cthfc1S]A2$Lǿ#xX[c%t6_)H<ךa͏cIA LX Y)KJ[GP"'R 0ɧʣGÄ&&+p ix:̮7G(ᵴIRJ D'̓✻zcN3}ǤށUq0r~hC1# SK ‰<a0z&o#idZغ 2L! g!c&cuAWʡl6ޠ+憔ǜwcGJ*`ܜtw]*PzY DXB4X@H&L, 'OۯZMbC^61aec%z [AʯY\jDӒ{Cq eDҝ <~b'KKip(F _PwËBڈ^*֖x>^Q7jɻ/:&zq, K՚&t/^nRG̛&v wxy v QcC{&.֌%n2 C(X7xq:KiMM RXYBBNk ToZ2:8M>eQЋKŕ}@=S0 ">y~&SB+Y7kF㱵J>:tE6$essj),Lisu[I]v*xah6! }%#(Y=ȢusniQABK,Xx"`4vǕIgxh $ D&&.j_p/u!ѓ>w }%~%A5,ZȾ߃m??$0Xpr'.v(CF ݋UMx(z? -/F`聯ak*{z h] 3]¬Nsՠq'<-.8ӹqCpGa e9 !{*|AB҈یABr%qTnfl ] JU*q՟|X~өTm>E9ȘBHD)*UΰZW/],„qMe#~Z W[ _ Ipjͤ5kRc @ ظ~TYjg75jJB${BPv3lq<0!w?fr2 j}`?@Կ&8bB%o I+`uRzW/`0u5"fHHam'.R܈4yR3cL ȯ'SW<#N (|N Zl/u H$`{Yer56d;f@2z`8|+g#bώj6ՅsVn{qH(aOmi(\ݥ{auQ `qf\99 zPA%[hi>u dߋ9`*mddQ.CIaC( D@IG.Y܇M+wqHUœOK@uKӨS 8G,bՙі=6m汧$-Q#|x(8;X @!rJTN՚Cs*l<ͷ$XR #-L;b1L6c .[I6Y+e_6Y&B4ذډ x0 7G`C+a`_5,]6܃~Zlwʅ7C{#p`|$273'|Hm>똧?O@x괤D'׃|x\i>g;>HnQ\PH@<8U)hHͿs1Lȗb@yd |p(T(}ASkb--ޡ%!d!u" !{G1dB{L/ 4H%:ל) )V*+$%AʣȤp.٥@YJV$tXvg/&S}gߙ lA6&% 6L<sCKS1+? [{&ʞYHquHe2[em "̉)e vI76IT]=ٿ<\zcրor^Bgki;y""%\h r}((Jizl{0͖{yaV($5sHnNO?褧C A'wG%%~@KDI _o~_ь +m:^qs[iL߻B>)we&wAiXdw:Fz=Lދ0V)ǫTa.Y)Z~^<4bLWd|2v+Ro#O漴K  NVB%UaY9uN98[҇"P "jmy9|{|fS0`)\*@2iZd ̪zdO [/\{|oHUU]ytd; {K7r 4fmY:mjY&&d~x}QD0zQ|H:ԓV!i4tzaV R7+զW>3bZˠ+ Եɤu2Z &1EւE >@ K`-ǡP=\7!=P]s4T*޴g[G \_ha~G.Z^½HOc1ѽa7&(bߋ|詌 酌~ hC+k"[}$[EE]-*@1S|fI6LGk#a3dr|Z Dͧ]^PP&tKB5O1_愆O1>Q2H N !VLYmaA]Zs 4p]ETA|\RYRՂ6gltڙ`}0uӌL؄ēD V|-b`1eE) QV覣,Y3lvت:Ն?D\ǽD^\ j!b \wyF_344<O qFRڣqT{^~D$" :`ЇLmSCQ~Qx:ڸϟ\߸"en'+/śh3쏌jIU@b='Y6O\{#&&+94V L苀ajJˊHL[# QLҜ ɿ>WR2]i;r8[2QCR"k6'e=g_/lJ8뷯@C!U@OTM٥2SIv h3n.t+Oփ|"௦Ybq84_&RuRQecDwF*+~6krIel, J37>B溲=4(ԠjKE@MQ^飤7X\zGT8-]4ޫ\ȷ6b8Hs5qbȱ7@@Oq)) :pZ(Өsj%4GFH$JT>f KFd8lk֍bnXjr1 ]it!@ixiaywAOXXws9BFt`Sf("ٲǰ ? Kͮ=B G\T8)< n{t#*r@?m GgwI!9cmL@f'gORX߬rbau 2Y8xhn*^v0ьO!'pMc(bQN+v~N"? 5"ʿjGs=뗖A55^.q =tN:jxM= ;`b9yu3P}Eg rYY)>c>yȲWs-qE2}|Nǧjpn@vJD>ztQ1pOm\!4ޭb4x!=|x/ am5H,E4>AvO׭~W?GIu@U-]G+V$Osܻz2:$QN Ӵ`NڶΘ1B|F?j=z5[xGT1UٌQ nJ$0YDu@."л~ʒꈕ7^Rvv*ӰM_{9-LM X<f<6Kwd:A* JT}i4b͎ç#AGw8 3NScC$ l`Mh&8<{62V/cBH݂ut/PsԸӱ:kE hLy0Eاviq]NKFUZ r_%tS"Ӌ :x7p3bC`:VʜR#y^w_HCڳ+{e);}ɏTYwi(O `Zdy+3y<|&T2/Vђɾzjs8vGSVVN9l f-4X]upri^g7@sf<ҪTUvp札 = iEw}Yj"W~yq:!` Y\dHoqP-Ia{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5c&HZaݤ Ny9Q4rB?IY4P3Ns"Hj9*kCPD|.{~?*i"@?f.(c1vY!cc۬bru(YNq*<&@u ?}0 pa`/t/LNb7o;A-)Pr|A ZwiRap1m.bR!˺,a N"]Jwk[ H/Ho d{_G8)a=XggHk9(S?:%Z|#!ZX%PG+T2EKe5d$њ1]/`H0w#rKUute.к5V0ڗoT0, q5i @`SUuBBuo#Q/+ՍegšԨ^~/HT1ROmNsDxA8lϟוYcZXTU_uz0OM `?e OeI \]iy{)s')I E],p@Xb&瘂dfL j`0Rs{q`s d̵8hr[i V *Ux:M0YN]2#q :{?n| W5M= r A=KuH$L8lM(:u-XN0 Ui*e;Ut*?N+^6kG dž/uh4`c4'~PRb4@oX̵] OeC~s`>[,*WMv@J/Ar?]PƒR FͳG"/lfYenepi?eN[Fz7 }%= bˈgƓStP%t@SiKyaIa-U/H%gZ!pmIqO"c-h|f,&3+]xhg2¨˗'?.[P|t`TR}K{mggnLiI3M@W0k R!Oα`$VŖI z^7@{%8ŔcseNH nϷ˂C!h^ z~cGZow 7A"669[qi4;jrL#+"={1{B]!Wv 0D ] sѢ.1q4MEػ¦͐NR[k0qP]?H.Qvs ֬>Iq#pEo "&Ik"e>'L4 ?O4 "+q VDѴAo<+@" %^۵΍D3)+B0}JКF74wh#I/+P*?EcQQI1I^ xQ'!YBAi7$ Rnn~4%烬oMk*j8 \mURm(_[,֌pT,s)P.ol:X#( +Qw莣]Ռ%6%/KS/8> tc$q\bʜNt}tG/4Md dz .'Zד?6;FCIF<\~ƮMf4 bp)dLkʔ+#C4a`_ #1"},yS*Zo)?(A`L D.CˡK|d/" gT/EerIllF`yk(z4O3KL ="RQ.cP5,-{}oN 766! ?m5~JW [ZyܴqXt;v>Y ODPs&0GмOdO7i3/:nsI"O >ykm4i3?O)Ȇ1`6ui`#ECB T377 #M~x-?1Oب; -Wf=:7"d,eOPP}=`6lM'B٪cM@~(+4U ]Z ~Br*XZkcPZ]/ȿK )`WJ 75vE z˼bU#xhmcjR3d$3 {ӈN=3@ұr1'BEyWT,?BmX-}k5 g*- 0S^Rrj~x$ٝ"@\_p|ݲu$G~vq|ztQzqk> e"r*-LHϩQ>z?lqI +I%zIXU1_07Um>TY$6l'e hFCVXw3ao9PC0_BPA4Bm]3p69n3ne 8@뫖7\=s -d&px)TO8>ǿP@ Q/!!+8Ke"^+t5C):LddS#LD~#m+Nc~:q=K pE XVXG%Pp/CrE.Ǝi<]%,?X A o7 d cM,mq+F㘼8&u[ϴ@>|ZY"a ] EV$V)8\evFVX2'.zрɈ"  hxnoJ)@ߌ)sC/#}i(ODcbo'|IRY~zlqff2Cg"~P}j;2p]\q072l=cg3>ue|PH.뽟wKtʭWN-?8 ?ZݡQa8=9/^s.0\}X aIsxo!)Z2] =åke2] @H/1Ads&'Vi'8JT MFpBz sT}-&Sm,|p@ 2.^!-ƚȃȠ^^|Zgm+4`wA{dFY|6`'V&g"}^uM" *P/Ƿ&a}pMB32@Ӡ(NbP#pBj 5p_'!އ58#; V,&jw|Sr7r?ÜF Q$C|b#fF]{g֙&JF5XxUx#v}ϘwOOoH^tObc8Nׁ"  P8JJb͠@v 03 lIE0*a|(F+|j@yYEnaANU}o^3 <:_ћ2.=u#K߽ޔ+&Ha4PR0D_BL+@q{W.sߥ\ [7+S]7S$Y`6hA)(P?=/HJrx,W$pogQJTIy<]# gLg/ΔRLA4܈xt/Y) _Z37N@G!%AEI,"z+KKV^ɞ[fsK% wwȢ ^F30AvMn0Zv*%cAE^XaʭS._ g7nQ xٖ̒剫R\$6[cz5ENؘ\.L^T$^) Q2<$g8bs[+2}摗q ,R4=/C`Mt&7?熦*p)Pͱm${ "[Vh4a  0̻7BNFO9:jCD(\\eE2L`u8ZcH?4'ǁʂW86@*2ѱ[68왴fiŮyWҴ-w1Q-N8y2Ef2yt}+8gۇ$:x- e;. daoZ 1@BHnC-фPL__h`'$-USI&[YwuYqZNu7>cD1W[Ho :WX:?mZnHs4 k{Nb \!LA7I2 H`σ/oavAT/}c ?{G\${-)ζqK>.ڟ xJKdji%Vr>mE]B W*^ZSV`]VZ*^P*-d0E‡[S'lC]/dIMb/V }/O_f\1qaW=U8jڳICq&#ÉĞHġljGu02q@o ǁ6 a9/ΡvUtl=Ct`:)ɯ:WRTy¡٥IbE4 ;qz :ǑmKnйCϓ6H$]PVx.*@uKIE~ AX?JPDbe8D:IǨU!gzX-!-6$$^緀!38G@OB4CKQ +G+1֝V"MaK2|AY= Y- )2J!='#S`|z% 1M]B4qQƨT}|a>3Ag٫ wF82[-'jɐKEwͯKP Q~+X-WϧfPk ӂ rrm L(/#E~`-QOvI n9OSR}Ips;^ Y%{G珯x<K:<=Ќy>3tЌG"xx֗'a mk_^Ԯax!l q\^pد1(3#GO[ Ocg9*߂?ZE h[tF_7/Cmѷyq`EWp&BtKJ!"u879+N9F܁(i}e1MÁS!l53iYӦP =$-uчY$,ļIRU1&?-.dYH pvGx9ZP>EEFc x55Fbԟva\π$pNxɩjJQw{)ms*h8@#ĜN4E<[N*|'24ZYm}hpFӀ[؋۞yQSѦ [.փK6㔀jv5O;]п@{b€ !jܩ.Sff з#Џ"=0Cȵ7{UX5̘bÐ]hi5=|pp@wH Ua쯚;>|7 Y&-?G..}/_Y;^7Κ A= @#4FwDu|S/3)8!4*y~!2Ywql4_4[\A]pa$ Fr `'e=8/Y#1x~Cj#pu 4pR=.~',{p@fSWook.MOӟ;HY| R佣}.sfFߎg2%5`xdJb8oTC^Rjb32TB;O6nV&xb|e%ܤsL J$80S¢Q~x1 D]om1! y) ׊Ï5"P ?H?G/4Fe~귛Z=R#-r~{ FV+jEƧs-I6O? t{^!摀%U h,_0"pl?(EsWMX5(!n&T*rN?PhZ6NiHGLzHy洴H%>fèQzCwa/,i\\kg@|Il=ğ~./#u i $ UjGxqJa!s,o@( M+F(*7nn1 ΊCS 2tNa̖ͪخX!qӳ54wYTJk @%R;Hֿv9H!ꂰ* 0"՛iھi&I&Ǩo(JBQ[%֩! tƛEd!Xs^v#098'[<*wVVg<Ǥ(:tqpCi|h ָ.%K:~:McTntİر 9<2X{V0c u :%:,2ktiƧ;B]\GO*JgL8:LwT [2e>V{f8^8υ 4D k$b- /iG~)PW;)VO. sSBۅkM?MS/\ `1m4axє;{$'A>& !/*lDuΕ _?cz٠klMoiJB2Yּwbo/LЀ)=f\UߓT3Q̖$c=ytP!fU. s,B|EȬxCd~c9 { 偤 pH}Ŀ 8Q |8`_q՛. q'v,8ho8qMbй,i΅)1,˒P͑]PBXK>X?-j2v|fuݯKZigmy o3X0e<"#> փPYZ~p,-Sn QmG8¥]ΐ- FC` ThLe9'_SD?Pka?2;y B&/c@S ^A1]RK\<k]._1 [jãCِGi 7_# Ei3py> 1s=#g63DϴQ*Zd2VHS rmAԮ;)2SD;E;F9=n @o T0] `bFР ̱/^am 76kVf+tԀ*;tՠJB|n/RM{2ZZtX: 0=EC?aQs>_=/`5]`X*)ѭb- h@5>@VQB yE3q*P2IpO*9dž J,A8+vB(^x0b /;f~W_MP#ő`Xޥw _<0hxOLƋErSBH3aJiI ^\o[f\ YRepFF *dsh KƊrضAp\l*^qdTqo5д\`/4%0v%on>Xo]KQ~h]ގIU|GBݼxY5ϱ3 9"3HEs2LF0|m4b]\[<.O>O΅/ PDjb ձ}!IAL*rjpɱo ,d4#A:@Lqb0Ʃ8mɂ)_eRm@o Cٸa~:0f,Qz{r—WlQU`nj\|MQax0z앉jhٞqlJV+|Vѧ"dQ !,Kg6\0FБt}NC D4Mej7QBZ ʔ"͐I^h,蘬/1 j ;u K&$y'mS ' [6%x8q%#mTe&ʹѺt1XT]m8/X_xI}4ZzkN^n胖 ) Uyz!%s=em-1L'{>vl/ Q>!}E ֌Bz(;'[;T؀ka)5OX߷{/=̞e^k,l} osqQ H0cXY=ʥB-Df"C~kRI蒝)G*@ Z[v5IyYCP-Kgd {4ğ)$f6,o}˅e}DlEM^E9-vsz:wA.6?ٴZM`]?I@X볤ʸ 6 s \ O_9yf4F#yc)޽,C|{>z_?,+8Z0ډfʳ85+@<ÃVK0@¨=F83n)i{ƭ&&D#:WضJ]Z [i[1nU L2{SQU 6w~ g}]Ek>wNeߖ^d }-d~'L7`GW&LX-ǡkv0"LX"]yS%@a/t"z.n $e1Bd?t#k܃l9X-v9gWO/.?ADZ7Ǯ'kV.֌csM:øY¨x4"g=x@9-,3 XO[]F'X ~YoGg`."x.7qgŏ4 9ub&XbŃ(nT9T *ÔZh7#ЫPBc̦~#ܚ ٽ "lf\YDqx8nHh9-EM H 5U0G+.; TQԹMPknt6O"9*@A8 'yV罛vv k6,p|Q}Dб{۲D0"@;ҴMO,uBUAaڃe>%)ZO"* |msF:EtkijE+25hfm$?;W[rw*ٓ'g +t*+Px oOo8*Y`FP0`ʇDT|kwh*8*T7#*EV'B7{o(^֦jͷaFZ%o9-LVhG7z@HfцYf\$aJq|yźm(`>IQ21|Q;8:0VӋp_([7'6IO r 8TqDb-#oeI rQP zH4[fI[BV0-@J|{PX%=Zf[C0R"B=7c8b=Yaϊ2P9ŒkrcX築HŤ&OB -mev\6ۣPQazFb?b9՝8ƌ !/lق=+N|Чk˿J\~vL /?`t.="Я@Ӻ.޴K1bTe"*۽d/m1yǪ/G`yjLY eW\Z ,< ZB, N @48s-s_kawc8c*C)e#&kaePU-zmk6AW TtTZLĘ% Pa.WkQGM{p8;"pd)_6G]𚰐,r `$@Z$΁ѻA˺z [8~tTb"Xo)`yY2T-zZLz+ͥrZv Jm^]u_tg6m.$y!EPMv-ȪY wi.a^ϘßamT/Iޞ Tk 0b|Fr?|'@U?/!>*,e:U =G 0UL+oJCvz`04B+YCG7y}̯6\ /E?@ԏSWKu+dR` ST y$pҾ4Li*{M{?}P $ly%2>Asח˧A@nH~-<5_LRi/׹~Rm2Url]5Nnp D,!΅%]6>i$awA9 F-) x^Z^R¶C<QZ^)~ n5 9p0dKf-pz~P^|֘N!()(ipt+д1%";kL ~R"bRheyvsnN>7P<Ň|dL̂<:I-5]:ȼ=;BNnG@GlQ?!h!kdޙp7h(bfKGb_L2}Q/H i'-(: LKJfށJ6F"}{t lfJZfCʝznI AG)/&h{(OE%:~49*21(ciůqUhf(iO_|ډS+**l`5DfѠ#,Sb(HS 4 cx$ ͇y*J CdoV(⼦5]FOsTؕ@ E-#3X?fU'WXV1W i7> eHiCz9_wNaPÜKHؠy\"ΞL&KU$ӧ4IC73!)As"`ѡo1{E#80]`` ߍ\eC$e'|'; R>KX\ϋP~!B pQ%$0n'K`=b/0lVQ"zzՑ[/B}~$]fsZؘqxkp&LV5tEӡ$H\_P~0}s2n{F:8_^r"c@X.3ZCqb]GNRHߧMfYGnKMig<%>(+ʚWv^\\=pXwF +Q]鵴f`)D/ 淖vb _/u -auC/æ;R_ye/B'1A WǷ?^Df4EҴxAW_yFPr&i!{iL=3`d)HkmWD5Fk#䖑`"ꃿ.A^nDO>(ln~Ɂ[%LtPH (M|.t9+lw6O̤i|cPJ! g>ԛzQ›[rޟ?X)I6܊H3b] ѧ\smdX:r'uHbý+6Xd9v+e<^l ;/QI{^140`^a7ĽS 'd!LҼtmsB4x~_&P'z ~]8$6w#|#+v1\'LGq6jATrMBUHlN2(={s%Yo+R?<ck -Vt}Cc|tlӈ) XT $IX " G)uUql#_p1O*_l5{0,gO'[cvDiސVLq JP+3 CO()Ex@ H,#zFC0)$lYSi[ҰfB4Fj]PL|Uk\m}7j&V6,88 ?%,Cʑ\ej8鶴YnS5ΟpTnmF{i2C1x/] "*ݚE!$S3؀G}p$K=I2)ZЂ[#+f.p+rjܱIn[!.v &"_lFaç` FPKv~(M7 $8J1yWjÕ(C1@M`9d`<zm51V3eƦKpʟՐzBv ;AH=JСB$)$ID6T*1Ùm e,EW` )(P`nNqιRFGg cL8JW ʶRy!1!q(ʸg3g+EU @tL1չ1n(j3#O#dGAo߲.R+N1S@4Q%)Eɤ4  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[Jg@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊9x++{Ks9G?+(uvoEt=nprI_rmAr{E'P9U H7|(>ۭ!%BIXqĪEybSOEO;@yvqP_i#<#T[hBLJC"?~;:yx0}'(^Ti'jq qqvLrY?c.-z;Aaa4pH:|XZ;Bko"pppsX[ k\--Zway "$mHzxa7Hc\EPuFPl(p NY:䠊 n Ϟr%C7Tq=yvm.*8-=Bc=/Ŧ4揣bn?@~`}%7PyY<,p -cwHQeMI 0x+"a1O ڧwi`L4$lbh]i3뿬'6a0wC P·8M[/_4XةuW.z ] 1(QgB;hY5 ;f`0eIp3EH%ŏ/މ&xw|0TH:rBZhLim7˿l@ N{]%J.` &bZ(o6t-J frRs18Q*\_1KB KgXf[@_3@T&cf:y+ϙF$ö~wX% Dɬ&3dc 7cG"3yյA‘.R9UBߴc+gUe*W "u OQ{"`x Ag:2\Z`1dW4ci!__#8XʣD(0<*90ciˋMQp)C`瀏6f;.hbBCgh#tk^-'{a_s:5V|#_dG8@5vdHZKfu ܞӕ%\ >Rﭚzi2`\Zh T FM"RA bArfI?ǛÈ\S_K -+rIi@?Q@!"%x e :ET=ኃS ́|2U[yXfSqNW=8--+!AW5=C]6:$h ÐV{/-—D`0iˡM3X= KdHY_{cvL`8C6}Y)XZK!ONs;EءP=Ͽh}(*+alg]YvČ6Թ[;iP7Ab` ђiuXYۻ "%>PǡeRrhVAfx\FB 9gE3E h:zudXZ L b]>Jni춢 C=_sT^WMF_ UL]#OtތNNzWBSQOC +yip`:T@և9 xemk 9R ʆ|NABmܿW.ԇ&D Ry4%C;UQS;ܗ;)t+Ez@'Ʉ_GHQ՗ч~McW4ȴl`IeCRaKHp@uah,l?*:ZU0w_ײ0DNϗ-]"v__"򓅉\_N@gݞ J A`~|"1+ Ef|#'M׌ڱr0Lfq.&fM **'mFL]NJMrN: ̷Q)p ]߳o"Ng(IM2(coH76W>I|q{O!.6l4&P=/zIkw1z/"4F|fqԃ&xyghv';fx )E+{lG4gbݲ7q/G0> 9H i@uQX2˕`x:.H6pW:v*!38R.d uG̅# "z2-,yb,qyG8`ETCl0ǥ"vo,,:˱vb ٴOYhGR)gBnN@AU}i=ج BV2r7quδJ,1X!I b{reWvfg8يNLv%~cHlf-vCCV#cRb5+t'yaҧ|PЬ~ $8cGc 2 xpbJGћ&.i9PXϠxgVvzMHZղ*E(j` Zh_z5 2-WdpZ-x+C}&x+#ŐWXxn|9alΪa+BDkQ얻Co;U˕~!Pl(cUȐ]Z>P&cɚPnYc2(?ž>;VĮSQq-#Q$ $OM[uG! H2flB8<؅2,mp8V#|dqu OYp /NjOAؘ q ?HuYCVOe5QNuبm_9MbЄNP?&qH)Q9={`oO14\xưN!{;Uu~"hfV0qa0ElهDi*=4x' `r@uߞ,WYXTs \3 kxJR0ʰXs|@&͌6%^ô1TC7hX4y^w4[,nO'*\Ti.dS#IIjYl;1,A#|]тf̃?'̋5J E}D(LfG~X|$e@tBޜ.\&Z3rL}[rKD^D> \ GPwȹ}#. ۚ\dS0}@HtXt@sT y􀺹s)Hez <GKlE^rŵt|AWW>i'渚dI{-'_4Ofb&wD윍#5te-kf %5lwF}U 1SO94 i R+Fc/ +?'`bQiOeV#^:v" yYH\VUI*#W&'V< ?WRcFi"9q?*('6D8Hj1-zk U:'Jޑr4W2e>5TU'iI<+ .jI,yNÕC rztTl;j;:LVK.^R3׃i~[#\mϊ_7@F& zrD`nam]I\R< Y7ŝev*Cn%d+)/ &K( `kͱTQF]SmP60Z j8P/iԓ$o:DL1/Gt>ekO5Hn^ !A5-g9x~k9)ruJ\@F +@\:A Ah}Z4R:"֋-F9>udɁ㋍ffQ'SKY t!߆bl*Hb#.T%zw/_$xr#~UoPUI.G@/ Aׇ@UD<;EPM!Fx8B>#Ib<-&n*v\EáM ^G89Q "<Ș-+T밢  6 ҅Z7l~6kSo9[G+B:bP-yc7ٮ4ܭ*ovO_;IesI;RPI;ْuMLdïkГBd!ȓ a01&&(034ݙ l y } jxAi /d)ya>l7@JSdYyV ~$EdK`^! pG o RRPj>gradn))N!P)Q MŒP:7 d ![.  m;jFd,Voi6|(udA@ E~IUItVi;{!$Q #eOr$p%J8ϳ%6[rw!Pdx K5[,B2[XeN8'Ȱ#ǘ% r@lP^')< "Ev.G#2yKnO0q$/Z:HP[.pɕx&Kz1/xi: Q\D+O^b2oxV=QR%^c S\PDx( EAܮLSG<e6_y;"^+b2S)X"~˝x6XZ_Z,T8$8` Bԣ 7;431x0SzM(i7x0ޭq2zM; /12 )/Q]a^UYk!6(Г4S8~<=~@TU-/&Pou=[F\* 7J?5]ݾn >~*ŀU=U+Xmac+0  ngt]#&:x^X:wz[VU xdImܺkn]4ހ"?o+k勅:G~9ݻT^Epx0=V7Š]h̠56+MJ+=\K=@b1x"QC0 ng#H {~prRG#%S|]dA+W+b5AF4T'.nUguc'|0B^`SUt/}OU˳NA3n\[AAY o r&_@ܟILJ?>cXL'$Lm4as_^IfۯX?  Jp 5K) 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B7se.d7Ys<D %"]>J0{mI偑& &"yEP̃5YKEc*3V0&ɟ<3Ud50T2NmR(qUZA*J+ 1#TCaތq,H @ =)"vKDKӡ2-.0,#?00X˻K|u;zю`vv  nhX XdԼ4`}xSB~L㜽g"N -%ehCQ?8y0fL=H> w _щLALX$N:z8_/;; ̍2 (By;qt9|1)NldeEJhR&j(UP*uD>u(*D2﮾~f7 ~ _$  0 \ffC #2zg(ru>='R U5K% (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 %S; `g;-̠m+Bi(ut$IkI7!а660 DD`Un$ 6֪G'"R;Qc$k4 H6QXެ"M.H_5t9=Gc ICqfҥ&&U1\0G&Mқg55o\" J:z.oDM95? ؜-唃3sU\'_7J1n[\JT7g~nnrA"RPFk`9  11F"P(cdD\q-Q}9" k)ZCyDɫ3V?Wj򵠨yR)8f$AE*J򮫸s.UUs7r _P#Eު|Waj=vx`dy#o-U3_!;/UzVr |40+t;us!&Q+s}kܾyج~w=DRK/و 7/ovMKwYEѼ@s&X=-i*ŝ\%vo"[Ts9ͭNc=JW*u 17L@4Vj+_ q5  j XF;$P Az0EApHq|J"2&." "Ca@$8 (BH!?-,,^ukcHYk7/&ivR*po_5zw &2xot_Y$#5?胄V?HZ<~ԹBìfe$Hxcqp$Gj炱w~ iԣ,Wqvm:nSmLlgۀ 9nDmju'fRi( A"i51=+BYL 8`~ijH ũ<<|(x!wY-+3νݭ֚ɦR=n%/v $ n+ (0Dt*sē[LBnw02r; \rj}D0}êo*xPݽh1N;mf0LK/<]”#6R 5LoW.UnD'tUȰ|ێ@$7 aVFQt'%jP5 +e;c):Kb& 1>7gp(Su5DƈP7i\n"29[y/˶[ qaPkӻ 2:j|5Ǣd@Nxo~`zʙ2$Z6 %%.N]q+D;9A~\I##5t'w#-rEa\3zs]`>"e網#[>*gL)z)qaMe"%\ݼ&1UVw תfhsvZ ֢p]7 rt kKŶMc^.MoNʼ2+ =FQ D#BfYZ'}PCr𙚯zѲQ(`bn4;y]>G$E=bX1QǓ0.I"D%8DC9^sA;<7yn@:lO z8b~ $Ʉ7I* Y*^Ԋ)$ 9ScdFjp.ץ>E= ݓ1ˀDo#Xq: ;5بqGQ4<0yjkY'Ee; k&Pcf2&ĐjL>$[/w tj̢V1*n վp /=:z6AEgT[1taKsIzJֵq6Jj{73J29-$VA,D1:sv$xY8jA5.fL.DV[彉0 if]EQ&8b~pRz&[lRo>]9:YMVzGVׇs L2+)gbzMer[vM/*}Ijzs<47YT޶̡9P yiw*[Pz7kB{=nKy& ;2B $e; ;c hΣ i q8%K&j)9ƩNR ZD}G7Ɍ{ =2E|",=O `Ҥ&Bdژ? +.+LE+oҕ6%\ʦt8fpTz4k&ьdB#NWT8M%~j"cM@0pw A$. t!/`MJv׃n<+\#?UaRlEqpMSor3O-(&v VԻeL_/$%j 0 mא)ԜEbpśͷ8&:4cQʈ1n/I1H5} Uߌ V(#yzۥu1"z'ڊMt^$A<`1{؅1uRufYōƗWdቕF,(SO2Q8]ѩ/G71#c!m \Y9M@ā9:UY):,cBHQkPB0^6ۦ_Bv{b.tй K1¿8_a{Bipt:HjfK/B&W>۠rHmaS<B3P.9ZMC^XĞSS_oN(d}S އ%~&kk G^L͏w1Lʼ͝JlXtмe7嚙'?@+ݹ#R?8R'`+3,´ * ?9&aZ`x)=ùnNƭХ@'[hHOU©x`IR]_F0qly4 GR/lKjNk'V%[L~@H_J(vKH\`8dѠ+]DED5sqn.K|FڙxגsB[< R }-qDmvm r7jPyQ;N,u+@NA!RZljAQ7R+V\C7V4 y$``\qVRk𒈶pOɋ? 4EGAfS!'!ףW*4' fbP-zն+dR PU2з.;%#RJRdu333k$I%K$VUUUbHDD&DDD33m۶m۶=IVfvKF4,nIVy6G8 '%Ye233# aР4habPĠA6hȠA۶}muk 4<1CbfH…f-YE䙍: vKhf;oǢ]8 vp,څñ$9ۓ:gE.r\"E6۱ոܦ4E~TV341nܶy6m6ݺ隮ٶ%DdoZU$FoZUD4ML  $@  0H,hPAb@.[$@T ԊAu:'{-Yeoqhxp(h#aP$!@ &mvKVnd mB&¢vkdf{%c3ܪhņ gy6BL:3Jġ l\gOZU$m6#Lڸ  Mdffhx`BkIx2s"#2"""vK>n.U۶m۶mv۶m۶mے$I$IdժVU5WEDDDDso%D(ߦdU0A $ 5(H,HL$8@ $ 0TT(( ,D&Q6vӢ 5k˯}7@ل΋`]g~lmhAa塑 |kI79ys۬-lN];=vą^̀gKudJUiJ<86si#6>L2y@fR)MoJ[LJ"l6;`omN<؇gyyFg ocr/&;M[Zதs1[.P/gGǖCk]odhwz7lx'v¯ +VǠ ڰظoG%mᐉ:;{>Wv|g{=b`?kNYg*A;j2jLy#m;'{^D[Ef0G3X@o8T:/P y 恱 I=}Mr<8<8aWnΌ\$ bxh5=ڻ;wZsfyCF*{X;ۡBok<'016NCD-\.i(QcT M!x|bS<>O vĻ pc̶Y#o6Ffv=q=a>+PLkY,".M뱑\n>Y@\oS37'"O)-bnMI2q7"Oy',NLioˌ>FCDC,!*[&ѡp6J\%.u'#<7% ø"%qZm3v!/6c!mP8Ț1^s_#91nLV'Nڠ I0#1inEv[[;UEݵ|j5T`)˹P+jOyEhfbßf^*yR0Yƙfa8@4Q=SKmdnM=/ 7Z[ p[٢O,z`?z/v&/ɘ>gZy+zTk]t2$,1 7wm}\GRQ %;kTZG{nLDڍO!]^v6; ?/vK|"e)ޘډ)7;6b v6h7W &>C/RiX={*Sz:ZmWf#?HrQ0L]C+oRy%i\6-Q|9Zȼ^ؚF|=l5Fxb3I6Obj %j?`EĭdoETfsW ֍N-*VFx۝.W䔦&_abPL|՚B0Ji ώ"j9`P" nuRވr#],W wKTWன;>2xIjw,4,(-M$ rsE;İI,37ؼPcD#Cqv12qRQKjD8|c֋K*cㆇdq2U,$f&L# ׇhX.12 6Tm o?} PEPnKcJC?7r]ZhYaX:6NyOjM;zﯶFog:`ͅW"._)2$r,X˰LYB>zbEFۓ1Ϡ2 ,nԄz*^b$L{ÇM'36\}h mylxB B}Ad =' _D%V Yѱ*r4nȱu&-$*{431kc{d|7}/%AMR&Qns߷HayK.֞OsF ՘sG)ݛTG OIJ*U"y7}SnoZke/8Tn6.ǡ7{dRk&e|d&.n,Y7/8m=#&Տ6Xw! @yp(ʞ"puFX]@ $eE;lsPR7܀,+H528 CiM{(_nj6r~BKם`ףh:'݃?8w} %D/H}T8QQ+y[Z0~`efaQdUx/X֒4ۆr 0dݳC`ϐYqh:nOFqȤ~H]Ne@Kd& nfG=\3#GL'ݮˆLSp5<xQwY!ܞc ok!^MdH'G&8HR TfWZ U!ոV6Hc_5Bjj<ƨ5nxP#T6{JJ1ONa@e4i <'0qR߀'+cfɶwAgRs#`ur :N@.;IxcR`oAeqMf"x~t|U;U!˓}fX\k?y-:8ioZhw#3h(| 6s{d跷I'79Uy[O6GvԿk_MI~+߆7ou?bZXf=Q_X {4 bqegS1Q۴ _!;?Eqg% S0Wj}v&(sRxLѸXrlGTn p^Cش_t[}F׮ uNk>rLfY f1;ˋu8@iJK_lW$闊 ;NA^0`m Y4_}+tj(B0yQ(ƎiCa^JاZ{Yې-k{vz-meluUAy:Ì6<w)sv3CSZyଲo%l;GWV{_Ϟ[l1|l#{l??Gy(;[, Fajzme hL8l]oi;gF'̊f==]{B)ߎ]Qd U|X~S{P Tj!뒬;AɃmzՌu7|s-2zOĊ_;1`j[enCyEȣhL,wROGL5>U'Ee$&eȝ O 'y=A}zG,<tt9e;L5dl}\x@w,? EÒ]X e"{:BMP zNjv&_Un_7F+Ӊf혐ی\=Φ)`SVz_҈ŮɖXhvDڠgGc̿`I}F#N6E čPr;^*Zz r*8`h-E8Yr(:_FqRhܩwYΨKJޞ?d^҃&n^_5ʶ%65HjG6OL0z" ˵ӑ!K;|-{q;{QXF~K/Z.ض +o/f^?{y9jƻj9jAlW h^ J`_>ʖ/m%~:%\ZN P@o=$7N.))s&"TkomX (+DҨ-ZHp\b~( @A Y@`^BtpeP A\ovIhXH(2  D.ږ.o%UdҘD 6 KvKn"Ok!)bkz"]CX[[@d!+(`FEPK K~2`#Ta_x0?`f@0H>Lg v1L Hy,Hf$YG>z#9/sd^GY4x ԋY,ER0+l$U@jSe9䜪:ߦFirk&$N!J֌,%t頌IS&:*9V͕ݘRupU&dR'.]#MՃg΂jܙͱAtI5kͩ%<ξқY2 4yK g_oƠW>d_o[C;*ArxI@ gƀ Q3( 2h+ zWfV Qk-SavN85Y֦m!D2 M~ =p9vt}+#~,[%Dq {MO1Bh (e+hHy rd%08sX漥f âKGX8QQ}3Xn '~Xܶڜb!|^Ӫjm9f^,VvD}ȷMcܜ,k_eU7  Q6&_0ZVB![L<ɖF"8,<7d PK "^nMO::rt2dc [/a)w8=3^1$6;S,78j^E2H@q( %kvDG^4SҤTgfv3hcנcSw}H05Gҥ n>9g<5%ᴆt=+>x jeP 5J<"ZU1cV)J吃M7Yjn z4X_+8E 㥭"BruRH!dJTTB+ʒl<mCjjޮF%fPUq[( 0kHNVk32_s*rL*"?][>\7TW/R}쌫H=o?fUO*;mu7L1(U}&Y]bӘ`@R@YE_zlenPo8T[*IveZJl$(ɪZ9}ՓsI?[M,nKȂUÙkмV~@?o !'*e)(ZQ뇻nTq !2U6ͩ'/HI,u2u2: H,DdTGMEO:bhCɎK6UNI`B_2Ŷ3͸y4|(y̎?Q$a59)*ijZUws@f m#gzB 7ۍmC0?il_|И%_ScdIE@5_({$)*B0JPͨSD&T6rgIh$BTzYu}x ^1 z k$:y Iuc H60xX N sqWPCRL[7c%®Kı VI2Yz]%|ݳw_׾ [vb@?Eq'_rv!v H/vW좾įws즹fe_v";Kv'ZRe_]e̖cv3^g;ny;.OeѪS)]TӮ٭m埭vrukW# v5c]M]fM=.vGj p7a3ufMt=cDю,AU&S듊IUVwYNVTK;tf)U]8\ւl6!wP#@w]P \M܄;5OJv,8SS<$YmBx U[))GQӹj -C`ڎ ON6L6M ⍟rMbۋ7Ȕn[=hBdxwӠh3L!\vǯeᓖ,քSJ!e)R`Yk)xJfoHN/1B 0) b6;E ߉*IX5[~-L¦1jx*D}ULUv392~-¯8)yVd -UIn@*8Yl#tc&uw:a) ahB/pn[!|1Bw^A`c"+ Khp+p+ ˝WHjZEL.:n'Q(9:i멧SCbL*"ԄMJ& vܙhT,x,`Q552Y1ϸW@x=\qFw\& K cPŸڱ%AUV!'߻V(.Fǒ{J|h-lW!@(vziVL`iAyPqc TZ(;^ՔvvHn\Zi$m&ti=甴]uo  \ á/ . CXPj`<(M)]@D|*]@<+]<+M@DXYZ _x-6Wĥ6 KSv};X`0mZP*єq?Bd!c),YL5߰V3VFWC\L9{ _n9֑-r75kDFqZUf9\!{0'N:![w./`>x*2.IOBF {zuM -eOE 40צ5ئՋVZ}9ޠ{1`=՗dڂчZ{{%\9B)Q+6X!\jQV^Gݍzra9"IoٶZUnF2X:n!sOU꿷2cKLQZΒ)L= i[Lm\۶cY@YϩI@Bk(mtQÓT`%Y_ttm(,Tvwfr~%3I bGy )~:*k`,5!/u@[(N:jhjbB=g$7څو".M( b d[[gK, (а:w_u0j%DGm4t;,u_0)WfN]QȬVm+?*!{x­9 PH}!xZpY!蚔c^B5nLE@B))J<"DWC,~%g]|h}94nOZ}|\~&*h9V{-]SXtr2ZRM@ ̅Qȷ}Nψ}+xl. Fߴ?٦2Oq1lcs}H'J$o<=%֖ e>z[ê#DU̡'0ۋL6JfhS t~gjf-j ~.-h{:sf3dw@ط1G}k5Б?!f.ܱA}[ꃽpp"6HR]a4ê)Լ~SE[QyNowJ|5%D$R{;7xd#R.\62\VI/#!0T >jP 3nL *T0vw|" 8?#c«1ۺ,K9=4 9 /Mц.UHXƌ~^SpPmdMۑhDlWv_Cx_V wʝ2e * Z70+BAi VKXphWXD[!HteW+FމD dG pq&ДZ1;JqAT&lUR!I<;N͍^w#bx7D)Pd݃_9ҭL~m!P0Su/83` -堭Ӟʒ J ŗ?P YV$p~+=Q@Q" |x&80d rNә#F1 "+C ;PA$P^:f"W=4'"7V]G~Qކ뚳<q 镄"2qz|6zCa{D4cy$J[y '3'_q]x=Z@-ZD.$?-6y;^8 vAAwwGz')J"*HoCrxOzf78 'u)^{!,f\)bCiF&E՛MBMOq@$b1wMкJ *0F\)}pI3g_H )Dly8@i,HKZ=9t 4ZM!۬ 0tWi&DS>lGw^l%;mZjIֆ@9\-p&>v5`}r0-_M1voÍ|D QۢrXPjc1oZT#KlJa+(;W!f1g3#F;/Ңy/@Dt(s_2"츶Ώu\X6 0{GGD:M0z|a+ć=K; ͞8am8Ի3<&q:|,v |#qTl۞N]A]D9KܴY(.;ۮmW3;3``3U q gmf*y<1]r,-Oݥk.Y]Uq=L2YBBb2L'*HnMQ9#8`WVr+ ,+7Fe\R|U)2gw6z i7ƀ9|0(Qu@ {pT"9 5e(/L'z;(ıP,wfa5_bX8, E`eQئTQV,Ԇ]PU,DUx OkUw6_('';3fgW]gޏxwfgWy#ޝW%eGWՖjf_U{D& 虘v;c4 1h!ǡ<("wXCš? n(Ҩ<҆Cm{; ѭ343!iT'xXTژD%eA~ѕ*wgf3Ļ3;Zy,R) A  ʣTQLe;MO pTDݪ6+JD-V,"b}U_uv[ܾ*3#] 04I8R 8>8(*&.   (Ġ0C* ELOt݅ZYz PJHo![dNj@ځ$}}$9m 0dnBWaKo@#(Vc8[k!Zr?lzX` xGyb4,ZO"%?9 s12UWwPa@Lgo~d2D z&Vk/|%_ {j~ӻ}W#7?1AYϼ~æ 5h9kQ`.-RAcBedJPf$X ( +t P2GLo#F);3Sp;\EU`nuDY!Zwzڴ<`eFfSr gGo=,E{ԓ3 ik7{M&_ o`,x0fX*^sT+TL))L 0NCK%+X]1 UXfb>O!؊Ɓo8?EOYAUGV3-g@muw~nNʷc>da50DWQ3?-F@*{f$Ĝq9a-&g(\IԟϤ@gMs:ƞ41G SJNLx?u+T#Liyu#dJ1w~?|\~UB>NJQ' $8v^A:h.9QtZƓpP\7D"$c:mFN* `/FŅ-5^XN39:E^T@2p\/# WQ3M͠f. X`$YvC :/Y(-`i.E*P#= .ؕl"p|j$Y8%N60uGi^`}b<ޡ5-A2-Lk@_RHSc7)vȳgL".[Y9P!{KJ E+m@ej?f{eOztq&@D>dT^3h=<HW':<hAEh? P4^:~J7n̙o 9y##Xľ#㈲;a`yIZsO ʕkmd bGy=qYKO.ħeeIfghɃBVm f5 40c\B7F=]xا&՞xP7c'PT&3򦼇Duf?GxN[2`ɦ(xa:W'O|='z(@MY_`ƽ*DkzIdR[u>XG7 1t(V5e&!P=  ''ap_b}a!ŷ:W#P&o!2Te <Гshtp&U0?Mx;3o_[[2%AriNH5ER<{\?:9IOZ1 "vnޚ r4 ::a! '0[Mndž72a(OGni0ؖqh\_h\xDc /l}VHgVi*7ZtTOHoED2X5]GjD',knT=ԃ1|:^ɐ.A^' @ NK3yW>ef&DN!Ѳ q~M=KWOUhO:QѶLՈp7&I}8ډi!n$Ys^#bN2@:H|ӛw k'9~5spm^%AHG7qXw/|&R4н]j'ʡݢ}24PYw廑(+an>~@pY ˵+`)!mv|@ K @wqe9_b..`9A.俫 k9ۦrٖ[~BJKg./4,ث\p9c^}?VnfQ~هR5x3_X@1.gs J'UM=2@Nv8)֭yܨ}9dz4VVQGNF[ p\j˭*p4D8RP|Yf5q_鬇z 9 qPRRYBnVUj8vneZkJ5CS[i_y@a$5~_΀$07~vQ_x}S8>P?I<ȗvS.+^J?Oǣ^q44*Sdz>Şj迡 ̊ݬ$*{v8 |-+>@SXcG)7̨Rx*[IWMOx@_ly/χyLSO5\ w6 Tq}O?e@=nHO7wҙhP^g6'7w_/M;)$nO&HP%1j$4eI k|p $j;w, bmZi"{ '! O4ӽp?Ҁ.܁0ݺy]\5E3/qJe?_qm 3 -~w?2'C(rN oj\aE̝BK3/*95Wo2&%2~k,q%~XrA|r:lPk"N 2o$B|U~Ə7*^1qV\ 5+zn% :zz2\-$ndKEa6=2C$6^,x4콤f;iFTZ!FHjݪV\DQTH'R=U6zk¬,J(9ʞGG.hŝ8g=|pS66jZ0ODK2ۋ6]W"ZY"hs潨t\l#\\eSW0]5SJBU L p/*k*8y?uA5h~% /HEYrvNS?j%yps=pˀR9 (i.92]?_+QSr<']mw$$b؊*C" h+p |,J$ֵI*d*sER/729 [AT'*' LlRH_B}fF ? M_UPHײ!E 8țSSD+QuXTvhahлDLr(7);5?a P ^.*BvApj[,& kTT};2/02C|iN9ޡ˺vT>cA_wTt[A3ˡ ^Q Ŝf6aZF3I (Sdm6k@@V,W4eSJS_HywcWtx4z~Є[ۣ߄Ӎ:%۽Y블Kgy,!9V={h:PWTɾBgs7$$HVÍEJ.]/;?+ `g h)؋\aœ&bO*w oE['x=iS g=g5!gՠ]+?Dz3b2ctwXBϕݖ\UE/;sCc#ږڦnLnǪ8?e*G4BO m-@bO!Bŏn mX꤮پP"d?WύikxQfw KθEM Hɩ6ݢ$sv@'$ ͘vK}>t]\ӊcیYqvJ|7:$,'*z܀k ]lJhsBI%Yk풪U]DLpVu]5RpqSZF,ӊe ,MO5閾VY6{X+@̼4!լer9W&0'1oʙTj SfJs89<,A`u^Ev0KnM-,F>]@ر2ͳ؆kypz\ңL! s2\3J0M/lvKJ΍ؘ- ﲌ-trW2Cv6qO|2ƄC}PYDk`NB|>OnFw/~$s*ʊG͢)9o dވsw3V N޲j֦Zf\A$nlK=vUla9=c oLc'3CNҦ_93t@8ǐV/>iPֹ9|p?mK`xtK`G1""$9?ȥѰbD#~1Coȅ=AS/ pjʻlATeW?<<Ä>/D8G#,dR8q֜_rp9"ccҰ$rŵ2ja%*LIip9Kyʭf2,لiC-̮@TMH-N`K;]c Bp\, _K PD{q'о1mgm<% j.=*8K F}z8RY؂^]f`wEV. C;í_^o6@K(ko$NFGDE' z퇖F [S^rTo!Ćc֙nԮP3;׎mZ{QgfÖ1;H psUZ%LQUT}i5ݬE/qZ/rb侢fWdm㿸 G*80)]N`zp=~L%N(bw0_Rod D=&W』vzņqdw{otMv^c `g-RMY|!,.C@  `kP:ʫK<:B%a9LY5D]-CK Q((GC%/=NNA~"X5"x~8q^#|%/wCU^Q܊zX(β*Y%c'3veȚi*ABJf\a59f1تjhKZ0T~5K4Cn!%Q}G 4wbi<2l-V+#ٓ K?F&CmD";%ZldNrF&x~2kKk,W="wc#w=5 ~|H}\&uEl@/y#36g0i;~V$ڬ, Fvr?TVsFlhTߗryPD` r.3&8 RHMtZH5ARt@` SFR$;ƑGjyH=2[#f!2]4QymU$g8(5H@$ 3  tHb otGjayM<^z5K3ЭX͒8d C7AM8(jbZ<3I&lyq(Ɂ"a$ `40 ȡx )x6Bi))3 N(Mb GKJDQQ11G<.y?(}kv˒׎ǝyhȬ 2*\fi|q2|M1O1= NOmR:#%r.]7̅,g<İU07`9w*yzeS2rfSjj<{38GI lӱ,zֻ yή1N9{Aß_O3g$e""N;/\5_sڗԸ:6= ?aΩyCGzwn!ib6y#;l0ӔLxiBfX{=I%}Xveo)b7f0On={`\g5kvIH"CY;Ӝu^8r ,lCފA5+XAPMy|%i/sh}N؄\@ E@djdKM{ `x5FlpX<g'j@v´Ƴ=5,6s4굡I(BʞZCmHbQ&jюwntZ#hlx nm ЉMᎏG@kY<;B'o!M@I kɻiAaƬ3C;hH~D9]OJ 4xHmZ U`  1 )GnJTN.@%.2\Hߗ1 ; MWi??+eOy$L4)Oy)ve?XvYXXcfa2lu7 :[+۟"ʾCR\`?rC2#Wk.?囕#3=<; HUg&Fֻ~f*Z 3VՙϔBM~ĬE^~6#ǨB윂G?f4飓7?2?oz8C#O~A~>sxP /~?$)1[zŃ<M|#/AgSO4W>HX3ۇ1M_>itl+JEuag؛yF-63 lQ>(cS%nfG`B-@@Co#`hwx] RAxnq(E w0и ? $o|H1>FHncDJ6 ~߱=TD Ҽ l 7e [?I]_̽^2Ph.'{iDof^b!uߺ(lZ_w㫹j8iKA 4Aʖ_h8Yu:T⨎|Zfh<z]לFf.C9cg+4|OӱqocnQ }NPAt_ck[ I@:Kspi--133TjrXt Ka^uuh>L1WMc^3v(͵j =]&U JycҺƝjH/C:)IF"^f%S|'r߃W_j! Et$w6Nw_: `QF: mn(àvLBa 8܎H^9 1@'In"FㄍM !V(]bw!{诙txyX@D@ zٔkjÖpMDKA8.^CCjetơ$!j*H1^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal J 5K/ HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/(~l'DD;%&{lWn[|sMdaBd90eQ[iIJ1UIYX0 C &?fb9a 0%&&RG/4 iI͊<ݸb%=">>g왈{8 =uD I۾; !ʊ&1Uֲ>^. &iGy/<G'ͬ4 BTSBȧBe:7+ESlFK HEiu{gۇ˂gimnl޻7#ؓ1)ʭ+:OvDTē ;&2o/oTV y$""k#2`KGP)HHPb"#(AFOLP@L` B !B7}sͪ:AiIς 5AκXzwֈ؈i~p>쫙ȨJGݴ<ědmȧjI¿F؉fxHi IеQz=M=^rxg;q[J$,997g7]#2/MPW_u ZY]-<4͍%1G]Ir[{{%AUU h=p@wbU%$3 0GM,Pq xň_soVEC[ܷwUG-љ{w{Z;y3oVq{QLP㋯|> ( DRͺ%SS)L{3yG#ײtH~yaF s]aXn(bILGԣeHs]qpkr GU3.^]b.Af/U,YRz,x?CŎ-p*pT bj3ggM5y hc@aR}9L j1+G_vd ,uӌ!;[fHñ}T={j+׃ar{M@}^*.ћ@E}l9I@<-?Y"-&+ȇ*dP#pz,0o62B&ξO1m ɱHQ"7`T4A( Vn[m^/7]=čȕlˈΠd&֠F$hZ/,mQa7_4?!JU# Tq/ ժY 1 D= Eμ+{<"Y n`v'L.H7ው$Z4e0ce< 3f[Ә(5}RdsFpH:|ZZvOkqNn0.wl׸[<+oqƻIhgimdr,)G~,F3ф);ja A۠!i<ɗs0)B8`W*Vj |7+-at [:rloEϤ %Ll|c6q6ʓ qSKEb`ǣ8Yu:k>c%&+"$ Tɺ]j(ҵx!e7lmk!#H9%v\l!_gX~s%k]m1~bK("vf ָ _HFԂuJK)GT:y}\8 G '{ m84HPI _di+y̱& E)j5؞ȸ,'T1_2TL׀FQ+coS& jOCw#z&fSsF}@l#G |\IipEG' m]vQ|7clLضAGo-ZSRH:57$qN:Bih?bR}8RV6ߋ-L ӊ;htN(-Z'Igu5]Ȏaany+woAtm<6WqxGisӃjB$!0z,@B]N3`Uw,Jx9K=BCRzj#(}lqBP "WïŦEW68'x<яnA;+Tc9,tQkJD>myw;,bM>Uo6-+h@9?Pxv{q=Uð*yE[ B=#9-,aZ$@LW/JyTjΏٌ=1uɞQrfJPi/S,~;Yc1dmX>эjN.;Cs3/p!NYY پZ;xiaŞ2'iQ O X.хIr#owe"CT^ K}5Z'd.Fƍb)oqOR[)ha!ic풟A++]k.lup\Ò{)WOƬP\«hզVOQb'$=K׼́ ֆJfx,r61No7)NL9%qXTrsBfU)fvG͊~*T\^{s(X.PVh1K. !5ciQKzo)Sޠ5ͳsUT k77 V<blBqШεuYN= 9kZUs5"Bm[X9mjHhFnA yw窾BE9N|y"q c7p3.ˌB7$)L5W\w^·ܕ G"պw˼$soóf:hdgBv_8:]>b\J0"e`}` 8(i6lfWE:n[i%p>aGHa+zбcB̶;^ H~:rs#.iu)$ 7s!*TE^(lm!,|gy}rYOc+R`+],|oAYQGۀw" 핍qs4􈁥Uf'6}s*1$F| p])f'LLAvЛt3!vR|!s9ss /NNq CU?q&=o>NGhvU"a]HqY%٘n&܅`6R:OZ+=>ZG_YXnCD'ׅҾ'R9"&, bh A/]7O-)9Al) 4:7ڌJ܄~C}[4ҧR2tg5f~{<=qP}ۧ\y!UZM -JfQ8$X >nY/kPo*|HM)}*XS8\rݕċb =e96UBKTKŒz6=ލИ D\Ɍ.+7\nU`&=or9s9㣨뗛"߾ Uads"X{WWLS3Xϼ76,>)=<޺L)5w ]"}~w5w #YJBۦtZa$^}3BgZ:Dmm_2U@v^wMG@$Z7)xU f}.]}4UP bc‡`<z|->{ zOeȼDrj'y"e?1YsOP=`Es'(P߻ىq*46S7V@)SiS8вL.A5b@TD3aUᓰzb-V1jRJH5RI*R,gADܙ$Ԩ gvjiȎ0态w!߯Cx5>.Y=rI51L2CJ>2E'ǒkR 'V|\mytk{p dP؁T|Q,$}$0Q\BaxL^"wB‘A|u5ӞY I0l1y`Ra4bÔ)MY|g:Jr<&Dř1DžXhVg id^3J1hEQ-qTs|#S"uݖ {U%TBtFĝq Ȑ5m3Q3u'?EGwm ôG<;AAdk ⺉3<>'3)s5 dlCXlg9 d+ksY>/j#||%196Nr#P|f5L}SLrtHp:$Vd _!^s b0PI]fnY2w2#5Ԫ + eЉs7`` ٸxWob'xS4ꗭT3sHX+h/c@T:o#9C#fzo*:^ԧ[bw2Knn2H"m = zmUjcH%Vg"gkyV,+[!B,-ī/qQM-U V$L!0ĕL 3cxV$kt!@4dun/c 벁ZR<0ۑ ȜB^ +60KS9r- 89S%^} 0]d@)Ѭڅw owi;uB׌>!9Pʀ4vA>9ʕR_!J XJ(6vI O7`(?j6U"WNzs}w*ӫr{gmz@4"BИʵɟgbI jq~ɩjW&Nꭤ-viH=Qʐ)SKw)Am]Fp3MaF(:g{KT/֙M[0, =}r"0S;Bb]U#Bt^7l.z0@G30ں>t' $Df܉HWyϰ׆p1C'Wk4qS):n7QfWQ1W!TE- ,^ ,3V2.YE>)ணӿn?%o~CA+B^?U/ ּ0k4яyݴ@^h;~Ɉw=gs&!3?шc O mFc| ђ,wʍSih˔K?{f k[v?\,ӄ2T\o wω#GR.^%&6K0aYA#=ܸ68ӧi2fhfps}Wo4 ZhylC N#? NΉq:0YCj~,#LD%ӎ`kFeH=u*k оBAzpi֥b &$;!ZX22oRt<F&2v=E'K{ X/tuo+_YoweS`ww=Ƨ Pz->_x nN(0H6s2ս$eeq'- !G*?ivHqUaP0T,z)C:FS`nIg7!.URمr"danc Z9&w{`,A.hzړFƜW8%slppT #Ь21sR#TvD}࠲Qf [fMqH]sYCoR'DͨSa[nr]`Lǧ¨"qXg@M[ t_^+hsCl~-DX Pt~._O;pt4g(6OOfu-c'}~)y+e{.2`Li6S73P;theԏ֩%ؙ#=>P):o.T$(,0g3Mba5F(Uˢ\CIATr#kd3@xvW)x[xלcIxVH`mg턃D*BxW\/ Ǡi~CF#- Sq !CV,u"r0C;>SGljxOmRޏ34&t7I; Ym$)L mM!hc"ik|E2H0{&֜物jɩhۑ.y4&vQaJJ"1 `T/(eoD)I2M@6Tސ[;FǃJN#2$ =) lz{l'4G3MD{Xy6ʢ!k6/T{(QH3b dbВ{ CQ}t;5.iMZcpO ~d+ߥL  pae`C 1HiR<&F*= ז;$drxyo~xDkV.߫3Qxin08?1Q`;~a p~/c:FrJ7sbv:c&n_#Fbh/I9n)ګs?イcsqo6,ȫ}xk}n*"e4 Svvlvm؎֯#;ٝ$jډ Fyӣ?x7Mox>~cM"($ra Kě28F|C7Vb3~w~h~,L0N7LȆyq!DL  p{'0mpÔ=_o6LP>VtAo}֙ (Bnyfim[GQ _4CQb 5?OdY]/hѴY"a'ơzŊ6;QF:^Rp)d`Ȼ -R9m1s֏:ҪR%g»:哀@tVWJv0 [n>ի)])K]#aXbAMJB;B'>#+W;.^z<ͯf'dV08w+8}b[%`r^pX#{}b~xVR +~97^&)V_FR:_R7 (.F{T(( 2x (9px'àoZJ ̓V:oO~ #Vc47xĆ.mHs&L]Fn0"MmH›\y0]Z^vU@ qp8͵d c8\ᖗ"ʠbڗT9}QRp}ңE\xCYFO[GHzL`P" oSY$%ktY~CsIp{֊xlv'`s!)1]IcXH& ,a>Z$3v@\L+ʡ4+hDC#i*˷<)5f k3tM'Ah^ۖ+ӕGe!}8}8aB҄RpO܋:8X^m?!dzc>;)om5\ ʥ(Z#3Z1l⪑Ťp*9-HpN WHSapkY SK_W޳I6!.wF@^l{__)F&D -Ǟޠ9xwqq7&f}ONw*FYs5TX8KnkLGD9'zY>ʹ@;hQC<D"8cR|7Ǟ o2-{ 9]< VPtApŮ9(8xd\hW v: nP&oN ihCG mx=0$f \ <["K:& {Y=Չή=DAhZ~S58|С fltn=c>t;KOJꭣH?aH (G"'KlO1kֵ{QQ@ҽoXD;ェD 8" 5 @DSQQk"f գ%3V],*.^Gy6yc ϊ?uvWSO܆-$wnT#RO_uw1/Z3/dW-sDvU<_r2@ w {D%xy pƐH9  {'i :E{@D/ddb!u޿rD݊;w{p4 иR$T|mv&ù) ғ}+w?[KX_2YѠ/_2HN.tN X~Ol6o7|M` hk Tx[nfoS#`eȺJ&jgܜ$ AnC"*9ݕ65&  "%C.$P҆B& ^]ӬM4?gfSETlf_& "kIfOt{9#k",ki+qz3%8j>I82/l\-SOmǀYK)];J%&{ Dlڱ;S3GuQ̃}uSi cT ~I9r>:^$Ѐ`KЬ(ORH=ז=b>5|5lr8G (T_)D.@^-$Ĭq>MQ矆lfb&'`-zME] tkqh-ߟbflVFљ>ĺ1`,. &|&CP w2fjb)+2P@X%Bx1B:Oˁqg^CCc=$(=5#/ ȕC`T 5e3^,f$k,8Xli/9@l39bPbp8s0 KfbU&Ռ'ȴ7p)rFZn(AABP۴!|جK>X?qAo &Jieαijyd#>RW}%BW\nd8( t.{cb.5q3 AS jwPhHhҠZU2j#wgxcyi<$Ԥl{C}q1TΈ#v6"zl!Ræ 'LV0ɏ| -g#<*# Ds D'0֟ͩ^ I<̯Q4{9O-)d/ˡ1Lt".݅kW7kѵy҉+5ܭnt ;aUlXSy*[JSke9gkFSz-.aBYJ'Hiފ[u$R!>jCĖ[z0ny:y3GsB„f ySkdhb  @@nNv[VOz5v!jv:bgn(crA7\E~Dc܅v9V!Ucf/sɬHBh1Zr֬Zj:ͥ|RMiH2j1 ez@P QA@B!1!.(5ԡe/_;]0.( 4)mֳJ9{ϺvfQ1KHwZnvGc-]-WRV]aq«Hd(^ƦPı[xH+_Nlu6U}Sq7ȫ G[(q+GU& #]&˱fYJ#0a7$y>e7h8\y^iۺ(9mŰx>$3iM8jX-Q4 6$lw9 i6/E+<[ph)+AOd\i hygUASn}8se:[3~i8UZZ.WgPi4M~p7_H!$"JHBvb4w[-:GA񓒸@|d:.NhZ@E\]@G\JHYa40`WJYP.',>ijJUp\܆4v Bba)0dK2cjN.lܵ08N.Փ= |#ڴ־p0CSg[EЈ//8q INμæˏ  F|䄙 O4pѬ!\~ށ|9xgeil ATyh5 o[ωH"Ȝaϣ]vG/iU_68B{{P9a+}z'KD&TBgƔtQpZ0zJjH\YlK, h,c$N ,9G ِ(0uȰU/R*X?ς Gjml+poz4/R<|!VHzCtZ 4%[xe9}9Ͳ&nP*b|yy<})YdC-wH:.Ar@on rC[M zXz: cj"u*<)٨cEeUlјjV- Go#|8㵿@U/}"k@N~0#x3Vv;ʈU4eIc<+$?0U%m1笣a( oeuXa aRBT?)KdTƾg>n{ṞG  Y=ɼ\GŸ beGN*$nD"ͧOr[B,x;8-=Fl15fNl+=&U_\d}AIrtᡂVrBȽe2qŽJ=ePBn/!9MZd=Rn^)7l_Sh[I ɭy^ÍSdr[4lPve[kswf.x)6J e>u}JvF9 /۩}rъ>HbT*LL4]C~o![k ]YMY@(dxsGח5)Uw?,g[}[qɬQ7^,6;J^#uI#&sjd+$ٿ#[3R"G$l8ӆ6'q~P0{QG:PexPR^c^9$6Cac2ʠl=!|R"Ǯ%0F~dWdD ?bRxChÝ*TLNՂ3@rQBNɕ0tG~`xk xV̹er{ 1bd%h1rTgLr|Ma󶮺S3=sy;_'NJc:BZZ=Cq&R CIx?4S=+d>~02EFh N$ . ͓T뎄$1Q>hϞwQrl0Fk~GWÅtZ]Fp vO;\zciQE{ P0J9#g$Az58@ %~Vu50`0n{{YdJH:[sn`u=e6VO 20+`B,wօU -9q׮RW-2y"İy%2ub*LW0,`8VLƞ\ :2/r .#ܷDBKX +Ίd;j`יT B/76%,m$ /zQd24-^BsqЩGjhfǂ}ul*Ӽ(WQ@C$ (\qR6 ֦1-';8o1-f\Vu)CKAT6MhpU,~hWr4Fu6H|ṿ`՘lV^Pv!Ci\vW$NU6`qp.Fs<ϫEt~v %stXRMDJ+-RwU(\OxiLF}KDZgBؑ}-NqTJ`Ø4H)crEN#G!J}yX$iTɳfN,O.Ʒ+o 9 6 #C PMnT9Bv>?h89VN3lVEUPݠ(L"MqDE ` $}ˮ!*@@Ie13G%d!K+\ izYϢ^PuhW(Q]Z5}QקM W]#J weٓ[ň(GOzHKe^`^]uQnZ=0&G!- X0eL7s:Z#(Wz _INI>)< nXwĨ *E(*! l"-0z_JTt᪕F,uhܘ(職iI3.mg tGO e?r.m.A I aN밑c"j0L1ݫy0>xpq}-&Y2pSm7%s^ /R(F5 m\|,.=xy5X"M?dglK8?lfA2$E[MA@ AuMϝ8-i]@&YN]L|' =ܡtGxx 8xNF\״*qΔOT6|-$Z*\ I.#V^ֹŌ UF"D`}G#b}JMΣ`5D@;r@ %BQUX]FCEzճn]#W3((}48I Nr=/9-ܱӉ1$a*js* X`a`(AWcdFD;WbQw _=k$K׀90)?sҼ'')sas*P!Q{0V%c$Ml+y)a~0X/1=N!D4Cm!yk[r]^~4e{e^&wic8t2x)^)q0<0"iU gHE ^mM\jQ})v|SB?3D5;SDpb9V$dS(6;/`Ub!"]<;GL W^Հ݆8YCL@ cU_ڄc+ 2r4XuA_&p0LY0E<.ne[IJ LKt^< t٥IF]<% )-UT~}ZxJ!9 JdLhzͿzd) K'! o]@'KQpf}8KM]jr'*o g75Ken _Pv<[h:O 12oƃ?R? 7. M#K_X諙{3[!'e\U*^"Qz"H6&h9ѿx{>I?/öh#l1 z+ [][!٩>>91,@il+TMs'w:[lvS"Eg'AhȂzf~0J3Q X(,jcҫ8,6rމlT#O)=/ A?O%</{h+3SVfo<0%Rg ]Wo%DZBs$[(ETI`>/^IBLF;V+fiOJc n^'TG#aFT!*zv]s:#a٘ee'm QUak}|1FFv6p'Rً `J`d,`R~`m?lfH2Wb)g'15K0䳹'~9cdNMXzB)z Zþ8OoӪ|:lVeP1ݽ&tE/!KIk&)䃚˦-:"-f6@h8.wF~q94B_?67Ew"ChAe2h0X?P@VZH{*סs+@"0fHrjΑ+LSK˩w! jUUA*Ͱz`$h!1f6^w ɇynW{/lK@SL:58=@lL`TC-pϵ2 G`na $)%Bb$H{zQ^'=DtDbs $C@ hepJ<ޏÿa·x