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_exportsu v|~ytoje`[VQLGB=83.)$ ~xrlf`ZTNHB<60*$  | vg5K' JHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`:nT(:P%P? }T_2}IE:Mvu`gd@jUa"R%&Ej-h&`MjRsNMXRԂFIR\ y&^RQ04PosdV)D'&T>wشZ..-H5- uBDSRKyGH2UfͿ_A"f(@*S;#=!`hElyDȽ24p[$BH@@;hAJPPYP)P$E $<(8Lƒ Ha"I'H,@cA ͌y|}z %V<ъ0$-OYhE*< JDmfwLd_6Yry]=CK[DķEDķ==??\S{ -սӗhBn_eIyTE~oD=C3]F`PwyѐoGpX4(1H8"0/ $ ˜,񐚗 35gӝ̫g8Iw?;[S_p΃p +'X)#=S{#u""b?#$H8 :I݈$ ~HH*!Ъ4DŽʴTKZGc±R؀KFjThvlƫflfip,kj ^իNg{DǾʖcyymnm^x4<;bW[5wF=F]4OמrʩSSʳm5$iuS˕8n =Lh PLe.DPD FR5n꼷30ߣc=QR+IRRP4Sh`yFq!q,P A A<@1sjJ\둰xߙZ ܿ_&32;/,=Uc_`th}~涕; 9nO, ;ߌAS CW}_?QJԌ_-3^ !rS-ʡ).&Q0N\*p%0OOgx 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+<&Ba8`7_6X5P/K-+'%!  ?821-, % ! HH+Xs T z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinc?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filespD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marbF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   5|dfb - UHOL-Nominal-Examples:threads=6elapsed=346.881cpu=1714.750gc=92.700(/U!) MBpvx':f-~-nV2I^@2#vZ`HR.zjgHC,$uQEEY4h@BEb ŃcN: BfDyw{K,fgJRvrȓu'GvFj8|ǤљxΪw1|~hŻz9y蔩sT33Cjd(c:.VFЀ/L6ɢEQ;|v1sz e^⹈-8;mƵBB5мLwo+uV{~ZQpY~U'뭳X%3ˬNY=QYUv/*U&Q<%u8Vs+ߙ[YyNRyQ~j|{Snl*MU_ė/MJH[v MyR"X;ym?D!Y_%~H*MNs o:5(I.zUl _s{. q4j%B-}=UrdGkNku[wZ,bttM ];m[liPCkK"-lzr՞^3YcdΗk N70=eSJ7ڐٝA yVa\IʮcF3QE{ELljWyUD5o"]>4&Y56<*V,"MɈ:E*M`i,?{CM ,z9W9u7&YnZ66V]Jdc5Lg[6U[Da+.%R%%]Tډ[9Fhq[6j4(vE5'h\&Hdi~ΐŤϿsU3+=UqZ&jorٴZW!f^4Xw5ۖT"[ {g;i&[lSFk',WwOg|Uj Z?켝O? oX 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:v_1+q;#W0KPM鎗\IEP&'pai# j6ؾ_g;$d| qPƏ)[T[{~~^jځhF&**^ yg4rtdREr7dJpL>eE/~bXj ?KXՈ\dDpVFo5T$ ]2EMlh7BjI\3$o"SP1&_,uK[fP?oA `CeN[w/uZdWF0L.#Mg&*փhO%`Sie" =[\p% @h QLJj73/Jfl'ZP{ba;*ɬ=M{%k̨X- / ,K&)Ӯ4L-(au7$U_u,B'z+Jaw)#3/?=Kr{i1Zn]1'$8s9iC%S)5)pav;AŲgTnaqGRX\r o|ӃttK(J [HM90u@. Q@dGNWZ[ Y$ VM )pua%qIf1ݝK Wdl =A^2,X@+w7ifͼh=,Ev$R %/iɓ <2JZ"tQ8S Dڄq83)K\V*{ty©`$ygIdr`v3iG9Ը2=}1Eb]pA:$]!ňt:592lcFټ@_Npx><`e J>ZBOK]xB T*N?Pݧ ÍnjW" L YH5ϪgHR>7u;hS@c0ɮ(w%H~BEs]_^UVp\'I nGlsCPIsp,@[!ag2,{t,;_Nt(%Or ~yjN"aBF]D(uc#m 6RAѹWD\X+z3ɒ&dkG,8fwW ,|@"!V-Pӱ ]H6{Bb(+Zpۜh6W&ai|N"FVGBЫҊ\omJ1Z|/& 1X˯~ktC.T `NukFA%1s5Kܹ l7\9!Ԅ ɺ 5S4w6$桜'CJ^Bo܄` e`߿6e)rʹK1t7f”{}A'?D̬ ]u0>p'G),xJo`s~# l?̸=<9* v("F%Cqtqf ^-S60ڞ? PҮ@MH( SXma5#=$l*Q|ɀZ_)g%nc苪TKHE?wtFԈt@jIPI}AOfi@eA-.8)1PП}wxcW "fP/Eclޭ\M`;BIX bWy\QT!;.mñ2#ğVr961߳2脏 P Q7o|M-ȸm.,,š^$âu@-PO|毠f/iXOp?c银{&+^*1qL~nK/ĉzr4zw] h&助)٫ c`W)ưZֽ%#_WGwX;CٗXlY0Iӫr=I{\}TnCBQVt(ii? pjua>/T_ _H?ȟ0)@%PWقssjǒ$#i;/R#5g>q:m l!  k);?Ś!JM5A$T-{ga:l>A ׵R9rl}ˎ%eT @["eOy:j@^G@Fsy"a{fPϝ耿<-d;gtN4’ʃ}^Ra|0>8+ FBthi{Yeas]8qثE}@ H#'Kl 6riK31(_._A:6,bu4oΙe πf#59)뀢gl8$M vzV3>5k)3Pm`pc"..@* uL\geqzs *= qʰO1e^[ta$ۿ"ӿbv lNkzU2itkkZck7WOMDy+ne9<)Hf+~D k;$oۚucg=wt`ԨMxmqM94*9ʾmebRl\~Pi)a>O{mR ,=DR 6yN|W +{=ۙkcy$!HK­2.|q/Ԏ&*m^-l رq)?li$:|YCތUo1}3 t_ K_:5\\Ɉr`b  mYȟpà l.Y=ZJ_汛l`OZ :aV)$]sߝ=$Wa9+dw2[؋9O(6ro!}Xz>FGO\af[,DN%]6N̺ч#S16RS*h@BE^lҸW5"BGbkg fva*ՐS`q3]o:,ْ9L ݓC6~J (kz_m|)c鿧&,&8v5V8C *|=gGn(Ŋ5ObGAzLoqpҰG[0Zt6|ٮtK̭a%|(u ?49HO{m%دݔgxX-n-WkpmG&qGE7&Bx`&G3CJo[}hqPӲxpb|Z|9,(iw & сT"0,5C[(0Jf$!nm4٣5zHOzŁi I Bz3B;]|+40:`OU8noa60"aP 8&}I) rĮJڲ!k&s7 UsG^[m{,5X,!j I\0_ D}]Kt%o֤unNBNhT-,|I(&#O4&e"5 )= 2 &s;SYVPBIWd<ҔZ۶pֹ(b(ޔ-sB8J#w6tD+!w@^㰒KTSS_,5)Eɱt: sm!h*M ƼD$ARF$A9xQ:`ʬH |'^ TooG׾}( ;sr  ^R bQAp7lq1FqT[jA MAžQ5 R4ϟh+&*tT /a88 Yz VZV,Kq-%8C(%'Un%jt j(Y##mR0-$s{yoKt1tz-@ʚ^}rS7,噑eoDmgY37-'tZ],Y6kȾt5Iɵ(Ag;&l*$2(q؂7ܕF(УofΜwNu,X?nͩ!τrFv=Sƅu;"By _q nO2 *XnㅵqX@2@MU- Os O kg< b5R֝`.;qVpH&UQ5%W3ѸyXg$-E{(KV4%?1U'G?>]mmlUk!c˵ ,t䫏j; Jo?L@n5xkM(1(]zjWf!Օ7g]_<~?WA睲p7)~Pžuы( )ϡK%=7ڱts}`iU֚l" S@UiPB-zz]YlaQ<#R 4Zc"$'kJxOw" U.o\~]0'KnS'IF '©L̀ey7&cvC\0"u6 v /PA&zqo w (rHai2I Cy@+$O{Fv5u }b3MyZj؁Đ83cқi$_ܶ{wO]bKR:8!2?PSVL) p?Js!<2EslC8p_EY lM nИMHa@)%mڿ0S @=)0-vqvx.0y<6ǸPu']Bqp*h%epSr|zpstkLRy<-eBP>~p"G9^^zu/X*Z^vH}Du[S2xR{DK81=w,L|}WI'׶`AZ2tǗk 8:O rv'ȡ(V49aP@:!Wk1gQH8A] DN.Q!mE #YBc0,j7~Bpx8Aӛb`  a3x܃>r3ɏu~ J~W>c JJӃ*D քC~4YBQjZ&--tb&*j"ƞin!n2m>9B\4}3>55>X*wsG(t~Mcgpm(p` z%ḅSl>ԥ,lM$7QDgZ&NKֲ޲ >Z$bIB9G##Zs*Hw"/hHc[ i L [ig5K' JHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`:nT(:P%P? }T_2}IE:Mvu`gd@jUa"R%&Ej-h&`MjRsNMXRԂFIR\ y&^RQ04PosdV)D'&T>wشZ..-H5- uBDSRKyGH2UfͿ_A"f(@*S;#=!`hElyDȽ24p[$BH@@;hAJPPYP)P$E $<(8Lƒ Ha"I'H,@cA ͌y|}z %V<ъ0$-OYhE*< JDmfwLd_6Yry]=CK[DķEDķ==??\S{ -սӗhBn_eIyTE~oD=C3]F`PwyѐoGpX4(1H8"0/ $ ˜,񐚗 35gӝ̫g8Iw?;[S_p΃p +'X)#=S{#u""b?#$H8 :I݈$ ~HH*!Ъ4DŽʴTKZGc±R؀KFjThvlƫflfip,kj ^իNg{DǾʖcyymnm^x4<;bW[5wF=F]4OמrʩSSʳm5$iuS˕8n =Lh PLe.DPD FR5n꼷30ߣc=QR+IRRP4Sh`yFq!q,P A A<@1sjJ\둰xߙZ ܿ_&32;/,=Uc_`th}~涕; 9nO, ;ߌAS CW}_?QJԌ_-3^ !rS-ʡ).&Q0N\*p%0OOgx 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+<&Bc*;' tA{Q <袀:Dp: &%K+GWMtOtB\޾t1MjbDmFZI؛}ٗkKYb˞F\kiDw?r1BdN`9  11F"EJ(D:'>J1?ؘV"#=(eT:`h?=OmUig#J0OYYr<+cR3iN!)ʛsGasM PDPTܓߺkpIE7;9p7[J~ "v}@B1e8wb" ܾmk< DH;,16w 16 SWbڐo1C\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal G5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1*c) v{mc)]§n&"r2]SSLcXFLױxvi+kcEѸ#RמZڻ4R 3NpE}bz5P7a Gc4z(RsMEkјY) yJ5)W]E y{SLs2;6%,Jm5M fU`E05Gzà8 `q8K=O(8M9wBRxmr8"EؓAJsRҠ ((Ak Ꜫ+U*/\ڤT#1> %Lz%YnWj}c/CC  MаAA#(pHmh` xm`b`inI\QVkZΫQ'J=#HD0;@FB^793%]*zdUUIM[L U&rc&ĞDdUTy1FpKy$HyLÜyLJsib"z,)oeS4ǺyӃ94q h8@@,XND@UC^zt]OoW !og^ - y -zѕ*wjjrrf7_}}qnvnN Y_3`42:Q {caA0g;璶3aÜ9 IwM^Wٮ]-axƑ&޹uyvK^ 1XsUu'CQR|wU;I}%Yq_qtҪ|f&f0 U^ujEWa۸$>0CI+yյ]*3BÈΉ*Fcၡ~ineaȡ ]gym;rM֯LtRm/_B^8Q3._ޯ{3s/?KQ4oy0PZ+x\.j77y_ͯ+}-m ogF<^=$& qjBx굏h(_Jf(phh` @2$+H`Jz9H 4(, $ Ca0 ( )!vIs6M.K:'e!~(tl,)2CcV6Pz{(GAcPxLŊ)T? a&ʃZ@@mMfu ,_U|H c!#!nt>zE\6hfmB*76fDj܃oBi@f&U).X%ZPޠ70OcM;_tuޟ@.  .1<8\3a5Vԥ0YwYպz?( T%>`BeusE#gTƟ/>GDWʱ*UYgCk)- 9$@t>DHnj!R)E}"Gƥ`z:ѷS+xiWrt=f)Pd:Sv[€ 9Y}i x6Ϭ9[1vgC(J)[VseUon:b8ʓG_lėO>%e8Yw"^A۠kdn}kMmƉHf( ?3k%Qal脻l)=H:ΙCw16YC BT|۴b?:\^J%hV̀,cmGPXRE)n9 'Aeuu{n%\7DrPl3׹l r?hV Q[gj6rt>x!NC۱s"<_API-GPHQL&d^3{";,i ~FG7 ۃo{(Z+K;)Nq~֐ꦊS.vno YٙkډH4JiFKMu圶:xS?Kw ڕ}8r,FqnV@#AnZ6+aZ+uz;YLrS>=? L X̖VQ<6W%XMmu)8[8Y%,7YL0?g@!Ɏ*pc>2\94J-gЃN'aF:Nnlhjq,pdK'o.kSO$q_i?CetEÔ1;}[GЗxO3 3D P ˗q#BuHhI,Y5@8;3,89E ,w *R)NuQ=Ǜ("zc("vZ9A*8~GEF3fT_?[k$ӿYa4?$>A2kTZQ iJZ>dשsm7%@x/;J)#Y8TtŨOWO$ckv{8rUZ(h+~E'˩bW M-XO`i_FUy[2W3aZK~d93h("\$Wo[ޒ5@\#wAyu fz+|z0ȹC()QA[ /]74[|25_ T44 [4m2=Ja-lU6pP1*Iw ȨEcFQiǁ<ׇo\OqNc?W܀1;(ë$";e`S! Uւf!v1f[WE8͐*4"c[ KWg r \D!K)];ϑ1{C S&å3.WA3 / crojrSyuӀTO9-6gX:&(^ 2$f5->g-'Z :pU<&TᇵK;0n*2#sx_8qM٢{X2.nqx"T\^8254:$B}3&t"0;gm iwgX`lʹN)2ja}?2{YLLupH%5WM'=$(f+L%lqY@G]QV)Li۷)ib@l)bIhJT֝3G0<F"H~kNj˻}b7=D/:<_G r\;^U27Fߘ Or*dI#bC%B[ƩJ~Z bc1ѤǪ,6zܚajoϞ&#hV Q>\5=ޢP|守kxhU5 !++Qy(`h/ T6 E&jɺ,n`հ 4/ͥXQD('`G"{d2VoY/0Hed!S<= O"ϙs$ZnR2yI` e@(= "sO9ImH̠b U1Au-ovJ#x{EeĆ?L]of --a`9vP_E봱ReX1$/!'o =3Z;{Zڡ|'j@xp"wbp311< :o"EXH` j8NS2U4?P܁(^p8Ld9crh-c" 6R 4 #ح}Ds"Zb;`p,rQJ8J`V9 5QT6C8ix=PoC9OIth\hg-z0"ȧ;ùh=ku2]aU}%X­]A{sz S(_>'hU#_A4 SH X* qYf60gkGQ8ĤxIU&wIU$mTX%"I[ $+J2(^+pM4{6H#vE/&JՈDR }^x BtzWTo`͎fA lXKE`%Q 赈&)il"ATIj/b9Pl$(~%S6? }@pNB5HA{yHD`o?*rp'C^,_NSa-2c2zTB)M3/ gXmcnLzS PU2 D>'XTHI$e-gfffҶ֭[I1)B4iҤBDD$D&I43S3333ghx67í&FRɮjI]Ֆ$[mW%G DI8$$m{U-ID3̶m۾޺/_fkm[UYUUUU+>; ,HXT՚$ÈfU11Z"f55acB0(&f RO{q/?I$I$kTD"̶mLn"$"""߮*i;m͙3g6ʜ2WkkkSZDW՚,l3 (DP@(@`@4P0p` p@q J bA $@ x0f[mnUK3LѱÁpġ 1`B6w{mW$6WIIm]x UԒD5utf+0:<,6h1Y8LvX<4M48]$mf oUԎ$LG[*%h3J6vےDCABC 8ܶm۶m+16U%M ׶]UUm 4QghTqڶm[m۶$Ip<ӍrےD4"vU["G4ӍDצ:CD$30A8Ey}8H,L@@8 $,DX0 ( 0@  BG ٳBfTЖ37&(`Wٌ5$Eˤ%p. vD~9{Ͽy;'|s'Rx&6}JmU"+HTݍNې֙=}s-h$|hO^ @w㳽\y\/eBmH/ڇGd*8BjzWjiLƖoy7[xn j̼dƕJ+Qt-WmMi͉0q`nj1R].)l<*#\6oppU"o| [?A?a1ݸ-~:ernh6F\+RRIݕj}$c eA׽r.<6uAWBo9;Xv^Wx g1GEf.'#cZ_k%+êyySl5GVtŶw"R>1 =oʔ*y0+'y!e2~3T5kE}ثO%0*q"|I-*f_e z-vB)"5-&͠[h9RI[[XD'TϺō}[( cȠsvv (oPTrrww 4Ճ8sx UACJ~oC`pV;Ttg|U8(X{K!|ˌO%K4*M# ߷|[/Hmr~KX~c FoykjOo'fZ~V|.yϧWH$Q  U =c%Walv{{DB@ˮ9qoB2XhTpg姄kǩU{~t0n g<9Lm8 Vkm67O<"xc 8 ]_l# BAyLs0I2̓>93pCFH .'..q>m]'GJs+4 :/|xQ@(ț]zZxkN=c76լ&6|iݫÅkϰAKd1?nix-?q[zޣ=V6?2 !' p#99s6a PwXʜ%p:D0&\ZuIn6fy;<;w84dM]&tE6Եf75 fA=BGpDqQ>qpxb\b?|Ј1;Yycά0ײ 5ـ-M~ q?_]kD,~Gv'?}bbz8!xxH\rI+ErqٴVn`r|[=xL![=0:xhy6⁒CT g֒|$!4fds!ݥ(G.FFXCKCm%)rqW kEL#w.鶒o!#Bt$j"27!qI80lMx*&)r)W.6{X[l 9AFiYƻP](7g6ǺiʀU5i3/6`@yrYFc_5Td+"ܕ6|96G ?wíUyF[L8Φ ]{l/$ .8p;RyŔ<ܷ9A6kIZif=~ %!T&Y*۵MjZcvSSU';\]Igrsy\%(P>6!W0|F Ԥn!Tw!GlkBBcjiUb\a*Qu rd!E6: KaB^eP+"@% OuKj"uߊRs$:N⯉( h; D;mf19ʖy}H?fR,gKT9(:DKb "xcp.7!﵎9(mi6v[QbnEnyYI/D,V(`)vکZi^#A1 Rʙ_ѡsKcs_m(C #y+h SvsxYxh}:`m!rJL>@k*2lYq\l̈́4K3dq,y7C,pK 1"r, m,Ji"G~$x,ݕr\wcEI Q+ 8~>UgG 8L;"4 B?dj,o$-lU(2iH˨xZ<5೦Ln>'ȝ y|QMZh8@*#-5sL v$ ӪXZ3-B[tcuۈ cVb[CZc2ʧڴ~DGnwK׍2$=/69K\쩙S6nC%9f(acʎcaQ'& YO˒&U+DR At$\E !Pu#k|b_z'0 ?3+_Z'QsB7z[yp~'7k/$k,2J( @eJc,(?D>.2̃K:k#u c7hbv8$£}ºCEU6FHݴ{ ӧz8vކ%u1[jkb[keEN{PAw7Q ڳ{'G7z\Qd?eVT&H3W[d'k5OJgzg+Rzˑ͂.,p}_Վ{&:Jzҏ >i¢dQ/ ,[%9:C }}P㵫,,^kJ .rtHIY;`{ 3m/ yv-)fYHڸ@V>&ef/ BTϹr7].(#+ϽME\ }@'~*ao`g!BѐI'@Í{iO+.H˽Η람ip1g" A?ic3('g@6nܐifWn$ޣ !Pnn+[vFHb8'2MȜ/6KF).n7pM  @\! 8>!]\ 7%$LR iJLO E.W hXO 33.8cB1iV zQ]3/i_:hx*MȌvYJt=гƫ._T=p^d4~i;~TLx9ܾnD 89ўhևDg//9|@9|#Pk,ۊ˪2d4]LKX6/!)6W(fnEM[r4og43333lffٳg+^̞={vvm۶I$U$Ir۶m۶m*n96cpR*>ۭɭV܊  XX@XHpCqF""J݊*n/$In۶m۶6H"I$ۋ& xf3g x3 cLm۶m;m+"""""""""B$I$;:m۶m6I$IRGssA AHr, 40B( $ 0&`8!@ =Zة4CvT ^2 E. G!Y̭RgcTѴm.ە14pY>4(W[`LU/UN~0B;U DÍ aQCG0l;O?iz@!A%F6Z,izSfJ|J/M0]XӢCj%>X\9*eu^{5 'L} }mBٟFlϧOQYj{vyDITqwn5!Tjf#L|kϗ5wQO5{M=Xiì/iJY合L%=qgF,?Y!4Q6{nk 0ڦsSX f'),c`QGjyR46zvt+.h}VfRvWy{YW2TL@/d jᐻ}q94di}-ҩ5L%h%˥*?cxӪ"摃Zv_~vp5ӵ6e3xF3! n}]_K@ݩJZβ!IzE.'o5tkaP@cMl3Q Iބ5a`%^I:4%?EjQߔY\IxHiha;m+2*PfM6â2Fю6ڕPIB 4|9t"crPv-]lӾb_N5㸛(mSws3)spU7&q0XTn@}ȖIgGj%9]XRuqnSdiejSxU(2Ղ[Hmf%3&yb?'roN}{7 *t[ }jYI{ud'P 3f9rQ8خ/bYMC]$STsT.ݰtK[M'k{U թ,CqNJCȍN3R %V{cWQu߿U$z=VrF>͑jYу*J Ua?آUA U1Av2잞FQu`AЂ;U5**ȳ!S@YZ)S۱ig+( {Xr NikS"u%]7\ f͂|v{_\vv`0a<6 4Į]n98KI :.ͣ~S#Y8Lj:cGS NPbp%شLkֶTIV[&"16.T"qׁF?7'wQੜXQe&j' 뿥B6%KmwHHʾַ\]KLFǎb̄R9,6TtyFWNQVm4Na*+U5XVu$ԲI@& rű?;ix.ULUkg20,}(ޠ)XiZ_o.J/^ɔ{2-"n^LLAHgP^_}ԜW̻n-p(,ժwq%$4UEۣP.q՚~v~Ti+]JaEExBqyZfA1Ŋy9(X(r`ﭢpS9(Q- o_LHH yH*&c@u%1Zy_٬CetF1bim^ 1&XME8U-i[+CMvk6] cɲЬ)FxՆJ[MP]r TAw Q')IlJT06k,f2cN%NT2 [!h:+6s}q%+l7)IeMy~RmCSuį ɻǰ#j{BҞ&Gs`Ұ)۰=V@ɖ|%WHSAM+ ,l≭F& p \*8qGtIee)4kT|jY'zNפ;׵)_Cjl0jJlSi:tѕ.ڬu0W:SA\kSvM]S]8dܺPq] }B~}8~)v=xq1+]'YL~$c톪 xkhI5OO*k^\VGȜ8f*$D_IUNtؕVUWQU1-8b[>͊<-x.ʚxubg+G;GnZD]u'Y$iAD%jL>kغXKl :zBNiW9ܢ1Urs6LrH{cXTވ'$˲1$fAe*Y,?v&.bfvYRYs8jm٭/1YghIΎޖfm2>CKp-BgWS 'Z]ҌJ#_n\ޏ"_ ܐzwD=EBs&˴W;aץ,ȯn9loN(3XO8T,!{HHKw&;e_]?;U=ZYv?Z 7 q!}v Mq}EJ"ZU0;Ej:=ײe|*YD;!Dh'{`Ҧ&z`b#tQ~zu|I_N,|>`aqR` >G7o3觴Њ"]9!%qMZCv8R;\$ƶ;?J)~TJR XSᣱ;cCς튠'ӡVƅ5 em3 DHBSUi#fOLP)л Xj#jHK b1NH7|Q~rO~g/D(oqy('r2p d^4u0,UHi브c$u;bp>衕-k|=u,J &picLug 'de.0̙IiJMLXհRE[I,ۉ g+tQ9՜6*+uˎLI2uB7J)wD.I—1f;UʗM(p+ g"4@ TvY,RSnCZEȪ㜵0BةՉv0UE@[%ME\G A|cRabj!,Fcڞ 7vVV,Kv21Wwq/('%?@r D=*}rkR!ޞeK("+%"5,.}Ol'`vO[_gY)]<V)ǗۻAAI+@z9"Y"s7?3k"ev&In:{Mcܰv 0)]g6^z v tvoNt?ҌD!Xͺ&<_Q8,7ٱͱˠe$шE0K oqHû,C]ZDf*DZЁqIKx=0>` .NAk%bD<G; }.anU8Qa\!.\U9+pn/b?\K]DTCr߿؝7*sχ;wm,c}<0G4nf)-@둲7-FPt fM-'h(IZc{~#%Z@WP`T=ڪYlqDG&1)p;{͇{]&-" emF,hIwrwx>yٺLx(OFCQ [2M'{#א:YbXRg <=[K,?bphn+%I d3H6jغnpi+nOcn >{vD€+2vvڗ,yL\VPAs166ⱓ D\;p씌4-d҅)44{n8@~4=,㈨^OJ׏ !N.#HG'eqニ*}$ SlqО>`>p="r8 UvK  m=-W`54\GejBL`cGu? ZSԫDDE9B5ih >4!VBh2Gm/EGݏf͌%k0`H4(Pа4'yb]ejT# lW[xll> VtmUD;f[Wٮ\m+3o]BfB;YfL#ݏfV͜f>S"ws(h)<~  d"BbRaQ!q;8qiQP$J8bXX& Iù;$D8)֕nR&ofyubUDn{jU>@< *=$@Z*=@C2ҒYsʢ,Z",Z+ZnϯhdiP\൨E Ra!qWQ]S4!TL $zDwDG*܇HԘ0s9c۫3v^ԚVQX(ө%o-ŪPc02J8M( ::4,,(, D  "G!q0Đ0C* h3.~#{6{h*)XN!S:t 7%۵%>҃^[)`%7a>,h/4".ܪ~H[4z2Xِ~Y&+#ٗ7 c /T<;[lI>_;ͮy,aSj'`БkE qwhoy^NEI` >Uas DnDU_сsO/;Pf֛oN.^" * v bƢ{Tj+_;a{KceY`̙psu1YQ5\eGf(Zau>ZA,+ߜW$"3_E?5U1Rx#iiߨ,^-<}ODS@Y`ڞ ?q\tp\y}vxI:@1j'$5LCbʨuAJpĔISɋɩA "V`5q4ij]rS3p#I1MfdbBCN_ެF-W-%&2 QgQa뼳BnRH/Vtv줥-Njddis,@l9sRWHSZ?]>)mOa|ab wP)I盧fVsjQ*#yV^[U% k"_J®}f%ixEՉuA5Ă$A3wr̻;_m=I i zJIJXϱxdyQPbmD~~| kCA YӀDޛK| jVQE?&bq(WdC`طIyzUْ8:jROUa!n'S7ʉw60&ޯt,<} Ȫhc@4f (~k ޵Q5J/KiolNz+y 4; 9Hartn ݖV PЈ gJv'[ *<4G=k| I zXY w'L\hr8qfۄcvRЪ }_9UQG[(qUv%:MXGeLRk.ITA;1v1AI)8|1š!!OE@?vطpܸY9TM˪NcTOvekʁ;H˹=5I!+cnW,aP ` /tac&ʺ0g |/5h!`F{L@v`{i 9PDV?^,YMA($ɛ}]cqvm=T>df\j9HTRml|!soD"X/x@_oCm %rO %E-bhWS O`o_1& m fjQZQ =ouU}Wj7) Vfiqx#o jz \Tx|B< åL nQ³LI]~?SW.itC&/vOoxTnTssAN~nR:TO_r67͌X8%6)}4]=~9˝OH|}ž;+_\]7{58+yx'aI\"wV Ƌ%Ɣ!N.$4|= Vj=,cy QoKhI~KH9 ,ۤ- K4x2i^4">} ʴ3%A*fOo4uۺF]P#٠"U$I@vYd+ڐ l!z9PH"^C\fʅ!-,; (ZkɥłIE{@&\Ci%]U\.l?Q&ӲxpJQ&5ӕhk%ϒCՋe> 1,IE(de?I^\UH9DپYJGIVR u+%ʬȪZzR+lb~7+Tf&n/S fx8(ٜz#0s<[ea{{: d|"9}L'1HZauDF &c2 xSBQݶ+Ѧ:|l^ k50ivXDD%h:"jYvEŮ+9iQXT@"0z< \&v{l|>6 BrJT(rxX,Nj7"VۊŽ]JUdxjvf9zDnt}R͜LoRs97ڕwR2I4YScDͱ:J/c p;Q΋>ݐ I8/*y0zE\cCdb* b*K (4HFT6s^ Gk5̸ ԫ) Ę_y \-_0hUcU "&PUpF$d:`xsȆ /7wqOCm/"4~@ qEȜ|e9* ;No\3Jk_/ h]V2e1XSsH51_8rM}J"DIt.dV=xt3#*tTi#QΌJ(q:mmJVSE 7F/v޷6 $]&I%ʭSkirFб~ 1maQAqp^.VX̥Mh5{*f”N0i)[Z~maP->V<%~ zm! lǡZ"BQb: sx:'Fsw~< 6V0v𹞑6Va7ĎIB6sVD zdV~[T=yv&-s'۰oeXؑd +#"q*"*Ԕsh#B.[.7ro 9iķ1jPNv`'|]SAj`O+Y wM'BxV:xɲ>i7E}Q E6'/9ni&Y(tɺAA93<& u95M E  ~A%F(R$$w@s6/v^U0/9Xe[Q$R@w8Fc}}Qc/lxDK÷g8* ϿuHJ-ﲄD35mrK#8N `j+~=/ e*r|~}…O\!0<>@ QYQ9Y$I ev,26`i1Y^C>=t& tep6QsA-;N;69{:*,A9uOۨ踓eZ?2u@Ԩ1둘4]ّ )!(GD\v N\?T g vJ?IyLAv]EFթڏovolC>B,]H+%/[%yY]^$!_<./"jǽx2Z|rw0O*^[Q|A"{S ӻqj;26"97gX[8nOS( ./AhjSwȊ!'M)+[gT_oh)+\l E(5"˓@} MD{doy; U6 i(rTd5,1vFkz}DY).x&Bd :GyL3( XQ2g4 ]MA r(P51p6iˡ)QHȅkC3%Lw<1UK@9[le4\2 rQg*ƲQ}{oN*1.;cr& Nc9Gֈ<6t 01;~Eߞ낧AGhq]|o3ϵGl v8xDq/*PZAcn_:! LYd_녢_eP拕,q~.8qAy |[f d|"?b74?V31G BdH;:ID*XkOGJ2@8޲T2dTUX:oot:M3ՍngNY>}pAh$5f0`ʋ/ -sHmx 0{RelzJR(b=ʄ[ރLVŌU/0 XdS(BҌXj1a< 嘼~nT‡BcY |3A倹'NUl\I%c%wxY=9(NA 31~hl_J6*^yҤkZBh*DXSٖ6'h,yLj܄7YCNcGz`M?X* ,YXdr8[jB!z'6_Vw ƮWDͅt{*Vs8-WWRM:\AEl_J݇}r6H>Ȅ1v;q KOhB޹٩j:~Y#OZ kpSz5p Bg+JnQrC5_뚐:N>ˆ:^vɓ2-_:I;RU)tW11\G/W *|FK VSVz5K) nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`=R`E~M"[VA7Aa}EQ'˻*Aݔu 1O9%BǎR}Do|q@11dVՍ&=C6V Q]:7US,š?d*7fR92-"F" õl9dDJ`,N  5K# HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/*`*k&jqYdvDvNIpQqjI`-g 걚c5jڬV<2q˳,Mujaq>chXMBLv2Q+!K44&"t4hsXͱO"YϱiEyEEH7>&8b5. rrqlϱ8u9r F3kzyI,D 4pLc43C01ī?\ lQE v#L{z}OeoȜm7unc_H%wmXL;Ec|?#V[ Fw,ȮCumqT`EAW -ོ&fE-SlㇼmqwC`Oq78o! 3HmN>'=&4`!yHo\@szzbӝW@L)T-,|_9 6>_)U aHMO="iyZWP^9 Ca|bgK<bg9=lO\ه~!OfgHlWGM4V6v&:lT(g1yCg bP+j󵍔/?%'PSxshG!Pg?7 Z~Y?,z)^pQ?*#NʣݡD80:?'WPX ZT7'*㇆2M /~sE>H ɷxsϻ](}|aDA GT5}~ltZ!}|FYOذµ:xWZ>4lՇN*O}t>4 ?}HMи3 ^#}ѧ[yȝcgNqoD|x)ZމwKpKڞ 4 $>^"l=Е7>[?⳹,≏VK~0|RżD81M:-၏n=t8Itb @*vy޳CS5)-Vȧy@`/H^eP1N+@nY[{,ޡ9 ^f+^C q)'GGNf|/ ,mSsJu? ⱃo<(q]76/m̫x-\ vJ_n6ygakh bWg3@}5V-XK!;:0Шjl,ZEv1&YwحSri@4l:~ ţ&һQѯдan=L.Ul|45zgg`CZwFQk]CG'gwzPi#޴U)=ƒetYPwkf5cI[Gizv"ƛ l614M=SEWn{΢Ғ.KR0%ChA>weZű' $PP@dôDʓ;qL؂Q$SfE\F-ђT{¸͸Λq,GiIךm[Y7wyYn?qM5MWi4ӛ_=[U53- ]%4*HLksof8'ǙdnL;n%C1hr$I1 䓲|o"(yF? QV, w cIᰴ~p O)G̻0 BZ9B.*VtF HE 8Oܻ/cKO7ds4glVwɾٙ~hى;/1)ȝؓ1)rDmGDHPT5Y"(&nGy`[c+޻#ؿ[8O4Ion9$%HX Rl H8 =kACoޫGjٜ8-ɝAjVc9vĿg^nf?ľV*xz4_DdT&g"޴GA67tr-xHkafVSryBd<@b%HXhs{fkFeW }˶DX+#+]e##0KR+I{3#vzJR&ګ&2#@ͻNLD0i ?. z~ݮh{h˜{Z3vouZ^'or&56MHX|}9S1'0|t  Qx(ݣ{mϜ~תgn}ʯKz8Ote@CG,ILPc (  BPCb0( Px׼Ëښ!WY?V$w)a3rJ "o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method#ӓ E6-Қ`qV4\c7VM\6"+PSyղZ]ԳJ xuJ^D'c(!94Ey{=.BPRNtkf8o<" `.!- Qo;p6.f"Xk&"fa|Ew<Q1*W9ӎBfӘ/Dh1:=_1Θ=h\\P1:)Csh-t ]rsENh~\( .[E]dO |"%Cڻw:<~N՝͊8Mr,i,؈7[}90?m)M*ǖzEeݨE2#T&rC/sK1; %PDiB%G='8{E (% %2Ag y\ w0D6KD'UcR(Xqt绀J\SN$øp[TȾ~|$!j$8dxƪ-"эGW|/[\"T>F#%wP[Yښ$ʋURD!]ni!RLf0oW_| &KZ򘟘n̞ /!1oz_Bɻ )TUТĠ_DIΜM0$i^.Y(1/(I> 4L4U iþЄ&|1^6N<WF v݂gv]: P' 0az9蠌6!p?ľʾ1.$&jfn硄DZ: UUTy%V~,;*P~-hʬFQrt&3‚e^XL7G=.;Y}s+ds9AU֑!;Vhx2fG{#? $(iލ&ǔ$UAm:B9+Aԓ!loc)ftHx*%=z?l2 L2p[2Sy1"Q( b9 79v/V[#_ȂZ륰4ܡ#dQJZF+vrꖝZFbzBw~tkSkBLEDZx2pxmXh?2gKɎX%G6>X'w@vp"e\֊m<1mA͝D{ ȿCcΩڂ:N8FͿt-47j`#lxRU6lF{<ƼahtSC$/7dhPƅK}'|cj6.:TjX袚F:OFvݴN \ Z[b '.hb0vn0xcݶ.tvv"H:=4d 4}1 o\y<~˳Ӧ^1rVhmmBB~.[expVGBA\dGg,>>piqF\:Am;#}N2] 6qu&lebSC"4UH^(Q')Rqѭ>޳O?ػ8ڬp?6Db^HxfmD?PU]DBݎIvHhNa)AA^@eij"wi]FR袐-s_pD(v5p*:yqKAer +acOkPv%Z>6WLc*l@{RLpDNbz# Ą!^V@JmyNq:Z#z4G8#.տ{) ^ $!Y/@:aD5Kռ9T͇ 螢V\y> 9Ĥ`a,SɦuBk!Lٱ4űT"`C$1.FS Mi 9Ǹ839pEEm[ʊC|\VB51FƆpcYP-oH9i BP[_˲?ͤd/hWڬd4LI%lH^R+OC!(''beD4;U-|W]s>\ /H'l].,$j9#*K6JdYlRwy,^X$|d4TM,tTH~Lm*ntaB#UMvB|8]hI,z\e8Nga=d! 9>9q*[!~#z(_ͭq39p^df[^Wާ:}sBUWlpK+4c(Ѵ|ÌgޱBlDŽEruSV﮽}K-Rk5%n|H3V. [G a+I)m ds%w[I7crJg0k֘ylE+hiB צ^5׃!'TmԢsR?6!m[p v5F;hn=13o4p|\˻T`p,58\©.KYJB>Ƨw(2Dw%AuMά`d8dYe- lP^XcĨX;vV(qxJs ?Jx˶50Wo6 /;'ގ9PYz.Ha-Tb$~=,]2LX/V%B4STt&W3Pڼ fi6 Ico`[`Iͼ!;Q7{'ӷ a yp'HAtHPA¸XϫhKxi⌙`:ڋ[Zs/.KxFr9B_=:|xU Khfh@׿0&`*ŕW@*a?$ :4C )kbRb3OQ¦8sȈKB uQ.> yQ,ʛHғKJpo)}VWi eouQ;ȏ(L'SLmW[Se٩cjxE{w~& CiO hӦ vv^thڃ\/hs_uSҺcEcΟ) ed9Jw &df-K"9}ȻSBhLxֶRHn81 z̛^*%]sP 촻e:>6W=xS6ɷZ&XJCxfb\>8 0ЙSasΆ?D t]  MÕ[*1? hGe9oR8%G|X)B76)/-ZE/z&R' >&3k7y]}88h>e\ t?'3;Q~ʼn2l?)?VGWc"F-.¥his]o7Jm4 .~_GM.CVz K^[W/|4?hn!;U&f(ta>DcUT,nDmQ4+*om `u{ 긍\t\(zm?Kv~iĴ"2LzQ>e}Vo:1ȑILg5WHل(m> ^vs:`nƎK3A|/E4Mg @,V#k3 WD.!˺-Z6ޱ%Jۇqrv>.1 #t3Ta:8?J,8_dϖ@r2k6 g%ĕ+T+A9&|OQ\Fh·ZooWauVJVY 跍<|PUŁ_1oT#UKuA{aիq+F2\jrCĮ W9[udf|;uZQ TrO[}ydMi=%%)R*Gf$k%yR<˴g*BN{In 4iE"A\~hR~V/:aк{WͅrC2koݭIqdcf35JPE!,nν:3PU#6V~n\@#RAce^NY+ߎE^0oVSf>v1>+3 ۼfޮ5@176c2k PB_ \u 5p CR_ls߯2; luWFؘ*nFqG]NzR=x 襕QDi^8ƀ*?Bv13C;m`ʮl9(1p hLObTt?ew"`KKIlԡ#X0*lrY*;PFoȃOYm.ؒ6,H^-@Tn:o []⹱'t9:8 96m27&:x߹ 1RR{NM #1CW%(#չDZf.qZFʼnGpnLTs#zd.ogxWB[3@4jP1AsORl EɃ>b(!.b E/۹}Gj1%雖H >̊V LﲽLnQ8 gcғk{lŦυȶP$ 7w='H_3޷DThjŵM21<,"0@un6Xu`YR;, :L[3;aR^)m9Z0Xr󝱜b2w_0_!gd o>@-D^1WL¶.'`~֬v2D1\2ě-K!jBSR/J6d+ie6UW=ׯ)Zʒt0zOL6ފfNflFl&gɨ^" NƄ&pԑ/B3nil!a\OXC0+sFjى*ϰwg elC0q1j&&aTzZc&/`qI_ij@ %Qb #Wl;޽6!h<6a)FЀ? $+/^"BTqneVu+jA#DO۹q:₮}C3lԐKUet'G&4QAomtsr~y bŠGa |Qn{|6p+nxZ-;>`WBl6f]S֛VbPYv°gAP?m`nOA|M6m$!BN7AD2X$KGd]\Jjr7`hpH|[C NA g kif7P SS dcX4ۧc!I,+W>M<"ML/K}4Z$j$5;L ~ 2e4|A[<լǺ@QZoHI˨^/Xu7qm"9lM҄$q slwVy^c)as{ 7#ܚ pIPV&Sp(4aEbҡtDxFx\桮 .;#zZSڥ;X;&wT1 ofǒBq: ' ETI3b{A؈~|N{" NO&˳6Yi#-p7<,KЬ(PS-7VZѺi<=yfyÔ"u2D 9"i$K$ +xL5,.kZIablĐsoS\ʱVDp2 õg;Cgq?IASGnS*Ӯ~P2G2lV0 8kRڿK9`>%2Ƙr Mc,DZF&qu)G;`nWj81N8y7E"Mn2s_wviܡv@hΨZQ%sQ QX@e/_`dE8#82E +.w.ِt7jW񸚒4 P'DzX%4GHm9WE{,Yz# HyfLy~S-hXBjsJF HP[UK&;l&Sdɟ|ȑkwn7[^z)F3X' }n`"0)gf Mް0hz3k#j^R4-/ϛGn.}vxj FrxDkV3F3cTܪ#@hOLKH;^7yʮ~ʩ.艹cT(̦؍׈Q$-b w}ͫf̪hgfoެhʫ̋f'UD#yy׶k;funf;[vv}vmg, FEwbo6v"b9FExӪM7*/CL@&2f|%ԀΊǁ4Ekx]{vclkޜ!yh?ќsH){Lqs5|'c#ٜt0,|-OՓnb{WF.}"Nm@opF2|BtEȹF{„(|\I&I'ѷxTFym%3`4W瓉ʞ.5T%Lを7\/gG* @UÑ [+}t$Խv8<*&.*ho0x?S=70EFu֝uZj/dɌϤ7$ڑ,q'[qar kV>bFt^ _e{Q\U1ּ(dUjZsf09h,4+`_6h4gOgy IͶﱵ^[x m)=Gy 18+$έV"79.M6䤻h[۶@ B∾"qvKu˯"r˔ߓmz* 2)T2#yw * U\ve"Iؖ=](ώ)Pc%AoKi5\Un7-,#;$}7ŽTT aKXNMykjZfTŰlj7jf tz_!'AQu+n?y,V_K,T78WQp9f&K^v1aw4|y6~׋}8?Ud@`bN =Yb/[u(]n}8E{ r~]18Bxɓ(V8./@ #t|Wu 'Mca8 Nx'_73k١n90a jbՐ "c+{$R+q:7hop8ЫcV99:oɠ̐dg5lQ'[m8|Ɓ*G@*9wܨ&j_h-K *s 3&1![-ȼOwITg]DSγAo lCh$HuZ>VvP&p{o% ?(A@ nl}r{ u@6~](-xT?hE Kiac EcCO5ҽW`R,Hu1'_ ډ{߂f `5!8wE'iInw+YPXW}iuV }bS{:Az~3tVaډqg-tI&eAإDyC(B`bUeTdn^E¬ҲJ苠lj+;.o*~9+ObZbvwskn9qO_O½˜ƒYhDԘzI$D `)!lиFMahA| pc'f5 # X7vs =@{lyr18ai vw8xN;,Pr#GleqK}YR&&5!PY/L9}?%/oi(O~W< .<^Wd lRL(W#9uRϱT %ͭ1[ > WC2n:mjqjs P]'34"7enuNS`oyǕuJǭV5'R  h@gf1 ;YXY^Я֜Ϯ22v' 3sk=S4Sz FLq$3@9s;VOD_ŦA!0=:.GWtNuh02C`o3C?f'C J,ήu(JŶ#{⮭K!&{[ig28Gc~ôON2|y {Fjӄ Ghըy)ZM1l\|mwRjŭ&PPpZRs5~!v?!i,q73]#Ubrӛt{+[XݖC3X2Y;Sh@$YKv3y$Fm Cf29M7-t Nf{n2f<}ְTMh+’ CA3#7\KM}Mz/l>y-X0'za'Dmv"milro^K=>0*, &wDRw7=80N)➖Zc;'iQ J\a/vy.\d[1NSv_ {cf͆5**giƚHo )+LM,dzB'vJ,i&ZVٔA X|6=b7*UA' dCKyNW‘̼)ƿ0X4 zA)lp#|-z@aBq>(-TaBR b&$/qR i(O( MSqj\};vNRb&P=zvu=1)`H7U\6 oTΠnC*Y8[ϠgԚ~3#L/ (6. u 5O' bHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`j I6# o]?#[fqLLLLd:0s0>,o-$ kZabO'>;@ N)|QG '倎6ٱ0 @Q@0I@P0P&p =Pipx\Ҹj- 'W=oS#Nsʛ:0b t"*܋V/[UaڬW0ml1Jh{-M5JMᛉIB,uZ!,rxIR5(o*iYy!ԋ~-S/gӉ߮zW/ߔ6m3oV =ic p[`Ɯ=YQ] kժU@lB雿_r^΍BЈj]is jORB\wB@Hd5]CLvѪOo7ī(iSlR7KI33)mfVat> RMiH2j1 e@` 0 A1B!@c1##C>. 5B˔7m ;z\x1\x`&-Y-]{̙`=,D!Pd'{dET"qdT"SLfW  y=)3"ہ];O)wE\V? Jb:`_En卺5^lb[3a-ѼTjڏ:` !*(CɈf~dwӘasijGJ%8B#ycQ~.:4i!kAX|8+Y+SkaV1X _AK{pKrg:)Q| 1I Q..++de tWt`,\^U&2Tr/AjqnBN*YtG?~Cfp`~8%H0C6x5V4-f9./!Y " * x GtgjjoD ݚ4p{ɣuI긳%vX&Ȱ0:1F5}d58vTD_K&aS^*Lt_;QDko 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