SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsw l~~ytoje`[VQLGB=83.)$ ztnhb\VPJD>82,&  ~ x r l 5K) (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&Bw }@#@[ SFz}<;GvSDLt&iP5g29Dg2I3J+Rm3 }p !p+CH4 x;800w c` M7Ԥˮ4ITMy+?Y8WR5Kj~;+j{ffR e3-יaaA׹!ACa1[g9Z:7H<"T!$5YAadL` h,т>ccq`dyтМ-C!jH͹{ (%t_$w7"ܞܝhxZ| zm(zZwPjZQ-U{>Z*,g+=5šfʧEu055F]ǹ3c~nk|&w;YsUTz7ڜBi9yR{wZŸjFz(g۟iSK-jyjyJyޢF5&릖;qg" .Le.֤Q @Pdb+R4GJ{x3 4ض~}IT+IRRP(5ch`DqA!i,P Axb(b 17„nq9| WuCZzCôZ=U*$Z=#9eAŽ H&#ZU祌w &c|ƥKGmސH8rÕM*scKHNέL|\ 3`\/ݴE T5K% &HOL-Nominal-ExamplesHO|$q#k ]QM<+ς ˂ʂɂȂƁÁ|{xvso&l%hgc`_[TPNHEDC<;:8632u1q/n*m)g'f$e!`]IHGDA32 1 , '   }|{wtsrpkidc\[ZYVSRQMJIHFmCk?h>c8b7a6^5Y2O.H,*'%! @9320-& % ! HH+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_Machine?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesrD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/mardF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   MMC5|tt - UHOL-Nominal-Examples:threads=6elapsed=351.341cpu=1722.653gc=92.281(/2,!)mF6PRa9޴SLUUUUbW,:g P*[u4-k~~Zo&ctZY"[cY2JUv"D%"K_NR;դney*A׼VҐGP)w4T_ofz:};M<4Η^jٚ|gHI]1GBCS;_RIWY*͗T:9 WɴUS:idtBA OyϨ*2[ERJ7viN벽;mͶ\1MC TܶD5Q]K2CwH{IXc[m5f,R~Xi2/qi2ةc7.[Vx"}tC!9 {  :okB12t34Kt3M-ٔb7]dbU.F25} 6ӭ ]B˰٪˦˸"")薆dlR(ls㲔bnDB>Skz|.itVy$*wo?hO%YQ\-|W }~K,ڶ4*Tdg–Pwj_{),U}Կoٟ4U憥)flX4J g3-kNX#[*N3W3"ِQ?e?c ;Sj/43~w1{J{%^u6Ťн˹ Ru;rQzܕ!eأs]kWk.9-ϕuyͲZ쒅|uOLcñ<$H=[bmo:4{ҍ[V6Rѫڰ65dP @Pp, ($l@D8( L@X $L$ P"e)!!(G5J촃G-B^<wT>A ^J!uYuQ HᲗ|`2٣N#L4q [B}ύjGN_ Ty UR{;wbXoٕ( !koeT5^.Hl.6!dZ׈6<4 V;GjvygG \]q!hz MhԷG0#&I;uWw'Ι>y{28/_dx Bg#kGє!,ɧ-bT;d5g2B, { +;ܭ5yg2ŻhNFAd !yϣ` ǛcSglLp(OThŘ)' t 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.thyN ie n֗3/Z{`TdY9Ͽg ̸op3)4mTچX&z݈G$Qkӌ^ y;K%N+obWKrr!;Tl}/۽f *@  >cQk&GؑpInN8Ay/{TUFc^vI& ;/l وX\U]LN܆.APZ :12F!^km+c65HKv#˧7 /*ū6X}urF}[Sc:` >*C_wI #~Ïo$DnG؞佗$ʁ]z e`j; B.yN~ h Gv#DF"$rTOS睛u*)R65:Zą.m8/z$ȅ9<؝&lSe&Qa (:0WPUغwx͙1+Ӥ=w"*ԾG7/q8fTiIEE?k@Ǔ"8,2/W+c7\'NC‹ XX嬪Z]TFmm4֌/LTvAY2 äab&_tK?mmQYxc)˛-3LJxbl975!hZNnH2[‰!tűRVu'f {pimUHzV ;{_ Vŧ*4Y4rDjzhoRR'+}8Hh" A{=7LHwiw?il>3f`EMwCx"<:Na\pсNa@27T'04E5# A +t)B1$iYBp vTzKe C@)KAj^~,t V`|Ɉd:ɡMeTXgX@n Ʃ`omP".pgWo:5e!!1` i$[ZX_A 9p !ղЗJ1G$ ]BE2QZ0F⨓ Pp JMR"N"YІ )9CgʠC A b M*;?#P~e"Zҧ%uI2C/d;9P/e”-,6ϱc{3+, A%&͗!XhDg?O34,LF&I=f7|6,'ddMKP},n,قoT(Aލ.%!è(Ο7n`QÑ/'T=SW-RtE(*7xTI;mul.xʀeai\ud?f9b=T9M8ns%$2]BC2VX NI1+{t[F1Di4I=o|1rMu%_w.Xyx.[@Ҧ^Y7b)_ifvgsoB€ott8bֹ<^5${)x[ b }rZzo1c· A`n(]d <ȈDYn(QZ]pGO',fuZ'5:Ά D$CxҊ5 kƾ 5-r::NCݾ2:+.Zz?O/D"? He%DP.#Y6wp8F:ᯄ]qzO-v!ѯv(.{khXݦC֐06^@E?VW"M7,[XljKpJrW`zxnPriC@ᓶD˵@!'v>+D؆@. b/tB K#/ B7]\~`uY`(L])G=gڄu;w }tSP:cZ构 xؠe^Hlס ~Qmp\ܦB+1E0gS鋐ƤT&ؕ *#cNn4w ~0~}#;k}u (=Ȏ' $ WxM\KzWgHs̑6BPf kiBp']AC)FC7:ήˠ2+ϤV'=D[NNQ TC*ImwM|;ckq/c)t\S 040)vHՉ~.7q w'$N6mwT P.-~H._,r\/%b8*=y+wz%2Rz}΢0b,[,i5$Ov @nᔮ[ CT5{a{!.Bڛ3;]غaBc{LDRO/>ZudeV=~z(,y-[mxQ`OR8.uȷf$`,-@a+U9i5`%* ?ODu؃|=fV萆}ʣl:(R1}nUb1~)x! h[Gh-Oo-?d XP\߇s2сC:J ϡwcUuSկ͂1o<ͭ aΝT`hcp&H#O2g2ɺ 6G(g'3֣D0:ņwyT=IDF_ 77 57o\d&3gAjٵ<ճ$gbt`Muƒ3&5ؔ3a Р? 7oL&Lխ+ҫWI̕9r.6.u+= ήɻ1揼)"zU){*]!yma^f2qЃmLbUZP4:;`p48'6͉R]J9E_,!$&X>#x&[G _J7FY#hƃqH]mKD+q?*Dwk i&hbeSpt(a-ks7wF~wXOWF˱4,# (?tI_ 1%D1azm8`=׌.M|A#+4yCvԹ7O,aȽ_U*HX,H12y}HbN!Yw9Փ{I֦OVI mo4P O`63t|~p*4oə>p 5%% Ks`YLHҺ 3\fҟ_ݞAףW֊{鸱Hh" <)<~3>_r7u[j0M&uAmL;7*0ط:r+ ~GD/qdV|_HDx6Pp!H|PS:wk"t"bo1Yt]M2:A"0#3XJ0*Qku׆9JDR2K2ȊǻT2Ń\oSK$([x$u 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~vR a8Ul\#9Ίv]j#x3b˟ ɑ$`)sxva PYGn}H̍=fשB k1kcS(i}ģ4o_5TpVZgYaJXaj> q˔[zxzp YPhȊ!.  ^n}ASJt8,zB%x͒pӠ ZDޔYi yuW')ðxFJ9tml ۩hrss yUa>ޮ$}d[ER*z0C.$t.=T1ƃRRJ+!^ghsPj?T2Fv4ܬ(X"-N"SV̭T!| mI+fzEV^a@juzr$R_,l&A&Df;-[V6F@.M!ZJ)g5Ʊ   a"ɓz455 y1> Á+Iȣ֥L}]X?ː!.O[+>u+ҦBxyBO_$JQ7̻FcXcT xDžFƀﲨkmۯWڢoc|`3i,Tf#q+ 0<ĩ̵)j}Iem%4շ-ے #N(Ңd+$UABSGI+"߸7d@ (1݃B@+Y8'"T]0rQAp? d>0:,y(2S ס\hJZ8F̝4!*f: 6v|5;4 fS4$j OM.ugI#i#ifjE2_@]%RIe~J&F]+"/&,~BhWkyAULD-/ɧ:oTxܷ2Y?h+O4ƃU>NifV"'am`ؤuMw(z0㩇kmGU&rYG1]YGOIh0\xJ]X4P(BcɆT[=;9{tlEl\ʨ };?ɗ 2k Ƒ"3>KRxܳ6ݣ{8ZM4P|EN`FyAnݮGmxAOA;{hPD&œsoxcJZM-%՘b:1!Z|@!>ߒc!69D .-jޅ09 !Xed?H b=;r{Ƥ~A=t+ M6Ө%yMd`J^uXM{sA=T23֧TdJl䵎~r{O:Jŗ@C p~N0.ivdzMV%WMsCY~}l5@^TNR 0Łd)t'MiX oW ϸȾ$,ȞRH]+qd{`Yn=]0Y#Em{5~  So3tqinoh, 0i8ͽ1't6i$#g(P8g[xt^\?y]1޸BLI$gH!ِ0O ${TV T.ؚ@憦K5E;!~p8c*MW=jq‚1n\Vyl!3خm3sﴁqI9#zIt|׋i/_k~Ÿ y Kjy 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+<&Bw }@#@[ SFz}<;GvSDLt&iP5g29Dg2I3J+Rm3 }p !p+CH4 x;800w c` M7Ԥˮ4ITMy+?Y8WR5Kj~;+j{ffR e3-יaaA׹!ACa1[g9Z:7H<"T!$5YAadL` h,т>ccq`dyтМ-C!jH͹{ (%t_$w7"ܞܝhxZ| zm(zZwPjZQ-U{>Z*,g+=5šfʧEu055F]ǹ3c~nk|&w;YsUTz7ڜBi9yR{wZŸjFz(g۟iSK-jyjyJyޢF5&릖;qg" .Le.֤Q @Pdb+R4GJ{x3 4ض~}IT+IRRP(5ch`DqA!i,P Axb(b 17„nq9| WuCZzCôZ=U*$Z=#9eAŽ H&#ZU祌w &c|ƥKGmސH8rÕM*scKHNέL|\ 3`\/ݴE T5K% &HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 R: PgDH1-vwLf`U~13344/TF#E>:wؙkX`@ @cZ%!cxF\; <5RvJf=lR7DIOͤLNAUR8 hM RW:Wbyt1L]Qٺsή<7ޘ@;3$Ku;T00(!Wr^Bv5RƭYTktA"*ZPFk`9 (1e"T&#;D:炸>&ȞL#_F>51`>k?!=?.c-`”Uβ_oIb"z9^.uo dAIUu啪{wn9ԻZq;>:s6[V0by frfUPdB1e;a*ٶ@ꁾI]ù4K %Lz%id9]7 4H4,VpX ?  xXb ,<4FD,u,$ԥa{)*nMΥψ*](_KV3̄3̄̄ɿ 's@E$L_4RU65)c.E$r 2%Rs(s2)̵㙧9XIܻʅbJ2U4o0MqCWO5Q Dܲ ֯.FvѳzM]&f*vMOϋKsO$UdT& :z     j#"90G{qIȜ9sR}?yę]V[qAeտq)y/ewTdͅ1Tݼ롨yR)ySU937WUVp9Sdu*K%zsT1sLl  \9)FU+qX_!Dky쬪y=5.|gL卪[Rձ HԇKs ,*Muѓjg¿\[Iʾv}UL,٬TĂ21^͎wuU*@yε*ڧI-U\6Eoqw[gx >y(T@bBiJ4 Sw8a: x`C#;5$w恓0EAPJzTF2(* $a08BC!a0Qpf4%Egͳ6B>I^:>Mt5 K5({)->$>^Ʋ Dj93k򆄙2I-!WTQJ)$q`l!k,+vBbմ| n)أ5e9̥Yx, \6 =9;i@k}σu6tAϾ 尴O'vdφ\hGsgdIO_}{w|;qc[43[ vT9Apmt)]պz> XYAs sr .Pybȁexr`,}1'$ZъK Ku.~.+M)GN[osP-c8ހhM)׃#RW_>-A_閨*7s)n*TڰS_ V wHb7.+eDVyRp]W+xY&BlcDi_bNzs.:T*O!NLŊFtl7m29&+۾%E?)iCS7,P0ݒIcMA?RuhSq髗&΂κˠ(ED\{(\džxL5g/pR,U_0J"+caz0dD7:Kј5ANS41T;1IRC~YfYvPuu΁@ɍ2V2sܵXE?},\fq5$Co`hWY7`{ { 6MM?ﷻA]uSOW@Tm)vGϵ\ƽC[VxWYs+Nnцؗ*cTXi>gJp̵YU?y-^IA 8DB "56`$ˀs/B*@Xcr)`i},70,H pGQ<rM FTȲs)śɁ]K;vM!8M}p}tg5`_HTQf]ƴOU6+.i"qt :HQ~@^p,l5,W2}t-4bK+wA\H91 ˸V 벷VzfoP-7]jM~9Lzcsޣ.:8ړ!_  zC fMtbPGd PE_p!daYFYcGydki+XZ 2W0NW-7č|mi Ē7S9̻l .阦Zn/5z׍MUM#c2>*+|]][|k evI.+Kʩ lh_uw`GMTk/dA~eژmZ,`=Lpy<:bWD>s.U.پf> &˩8Ojq͈ wj9qܢW"-e[ &c?4:ә}򦃝+M:{Ls&cHp5Ef07-akFo;jI@ԡ(c!.6F'Q0NWK޹l2HabC\Yef uA;-BacpVȸk|oLA.BbO 6L~f_śc%tokvO: OcP _yv/ሕKn[0/U:|0{W65Œ/vH&6!$))xո*`u,>v,rĆ&;k\8i0]Uai'y-7 7 l c*ygq`r( >]DLϭG{o$?L;B8(HȬŴ!m r:) 1fmiRF=98@|=Vr2H@ RDj!mK ܵb`)/z;MJ^+#%%ѬQϖŝXA.iz>{CP-Z o&`ݓ .ACYxP0ɔҝp3تLY5!jhrru9ePue]wȢ)GbVhp;R2* [ :5CH,bҲOXc`dX0.ka=sDwvCj &V&sN[,ԙb3V::$j Ҏ/ڗ4ˣ.-O%HDZjIņDD6hsša[ybg#)`9!K7h{ꉠXcy e)2 NɶŶHGt~XQzj+X]eCa*f*ɲL2d,[,MF)q[&ĝ`n6)h=b/t+ʝԃj>5Uv$YGFDAPIbڰg j`CvzKaI}$maw !\ۍc IsG~s[Xpal `s n(,:ʞ9NZf9dݪAsn.o4X?~i0Mꜝj`qz+HcU1z@6,ĔQ09Z=P~&wqD0Ur*..Z"\O{˞:a@XΏliC¡o}l!82"M7>zU:,9][󉏈\`XA@rhꭆ'u$;O> eE̓i3(dڐm%$NHaD69H3g5$9OssUxfHKx%SMUR\Ju/$>@M| sm4B쇾zՁH\,CP{[Լ!]&tFcl{`]9o6ݩ ?Iѝ{k1ﮪxhSc)ϋvsָR0+Jךd'cfQѬrR=ݸ)>37#7%{.b|F|I2~[ Fښ]qޒR^Uz@CrOjdaunm^ބ7M,\vP$̍Y/2b{ǺϖX D,f4^R"7޾Y je9lɆ[61rk|Iw2݁g[;%v,"f8#=Si׶#1(%$ݖ{`'pG1߰_RߌOqK=-A{-v+rIȖl0rfKn$ԻoWC&͡+[F{Uui v5٘X1lkwm_TT%2نOrk._!eEkR6n~^{[4rsoYU= |vj78IB0ywU`$j~Y~qhмR yή/'ƴ"y.X g K72T|S%*g:(}TvU褐˕'JNn? 1:` $řC9#Ykg=AoцK~A| I`>"}w3ޢk{K`xa_wV7IZYRoE1δ9.^rc$*K 0[݋ֿrQw/[܁W@[͠`y7)374iPXyW8b襕Z!YCFnx %0 o*J._[T~b ¼`v;#|xG%<~th2Z`]e?7V8'!֊9(\ĹfC\f'DAFe))&n7+cxYa^50Y$"BS- h"yLO 3E&j!޻YO AǠx;,#2clOx_$q5}5 ko gB̵T'2yB/g&Nxڈщ"W (})`35ڥ|օreCY\' @NChqx)Б:ص ^ӮgyUNůѾ" YknjhY~9g3t2zHE9fsybi[Tw *ɯߪ4;Qkx( )f0?h6юPؗț}ǙGV͗V`jyTZuJCO2ezT1.l| 7@bh1oY[fb+u_La;b {> 8Yhof1EBS* p@D:w8_6٩eBSNjĻ LZ=˵QU;~7Kp ALA3^igp>)QNN.YR OyauRr1,ёp'Eeilw_#coF0 bOsWd FM):xޖ7Aen^ME,vh8gMa>3js<^ _4'`Z#{F6_nZplzཔȋ|wߌqhucbt] 6?8$ϝF|C[-G$0&y`LbE#_G#71KҧL cNw3}l,t%1Pk@Ta&4=eK^PM((9MiC1Z}|ɔY@=I~Fb I:olu$>-X+@-֪ -X*+)Yq$XC!u)Y{4+0 _/CP*H=AlotPey9c6;e4\*ܷkzIcE O2Jk>1QgȂ"5пĐ fW)9pC<,MPo8t{˗T v 4yrWKt| sD_ᠡѺI.em qIKE Np\(=a1)t~bB-T.Ѫ?mTX4O"Bh!.ڹ;h_d{(x ic(m-<A Rm\*[\XH[wKkʶ7~s+I׏ѹl6ɐGu.}fϞLYnĮݝFW9d0%:LVPlK 3d:c%AG8/>8N}Xͻڵ\ t;5cz$ADuX/qc>V2vܷL$2*:K̅krbdߡ &57bE#Uk= `v<?4v`V5 wFa/KJ/ڌ_b?c,y @ޭ>8 F8lp ?vg=,4v@Ȯ5pnLt=g=kC(\2ƯΰS'lkF 𼡵)MV,QJ+PnaF˔l^v~$fFJO: pZ)}o!,IxWUN{5cTܝ@,yΖs=F%+`?_V7г6m"ZƬJ U{AL*J;fű*~-pOԊb^9`~j]|Dub]gY| vځ'!e'՚j"&\jk53d5kN*lOq87?&NL<-0m' 9NvS-w#;\I-hƣJ${[\;ud*ǽGN F klBҁ>XUɦ3o7U,x$Vھ*UOs@'"6 IdGczjP|+i?qdKmI=|G?>bad鰏r6jނ@1ŁM]ಇ 5ֿ#`ra]hq4}Ł%G`FkDvAåmSPɣETԏv .̋o^;PL8[<̰ hn[q="M(=vk{\UI!͑4Dn㘷GAa1&O4+E`W8|˄it?;s_i -Gi OjTRۭ#RDJho"'lMX1F~CbR ޕd23 Xˇ%krWfQ'4j?Ѽ'mg|q–N!'WC%nUˀ&Ng/0#$n![eLĴ#KE3Sˋl].酽M^]Zx岳s\5_sEmVx١!baf/u !ЯK9SXNYϪ sqUpŷ?tmoI 3Z&NwMB7xv)vI*RQlddv X.dr7%KQaۄ}vނ5(6U!n\ `o4a{w8Y.=w݅dH0pr!؟r?s$( #>/$fy5ӕܦVǥw Ǝbz60y4q9^w}`?Ng2U?቞٧|Td(6|*Bzd% >2( M ?l3l=wsp(Y~~\/#sO=Qӿ3ݱ-c$Swi}ң-tF2U\"[rY6VUۚ}nwf`zSd-s='ݍVo9B_~޻zmȡ!5,bTv@61mUbRmrKzc8l( oc*i& h# U{d4()cрIy63pB)Af|2,eZ Ía]/äu ޲!Lu`5W4S8/)|;UiW 1CÞ z1.chZe陡؞sP猁$gg4ϿRZ/5vC!=1[ Ċ̺kQ!,dʾ?aY"i X26#焌~cqm:;%|Z%<8LKgrt(Z|SjZ,z8=AωdPq q=݂g%io )[6Ao7 h okk02,Dڞ&$j/~mh>gH}dBc^vg^P';EKUc ƈ9 onOT-~&$!VzBixw.|c7lߖaw5q—[''&P$)8ގ{kε/Y$+өQSlzQL p  k6UȔL2gDdg6ݚ8E,6.c|E@RTFax)@@W2LW Ӏe~j,W쿷aX_dT.G`4PWa[ţ"U|>b[ΫSonAhKtrjk(d пm0_eq]wjch"!(eV(hpxoYj:})X̵"֯S8)C\\(Kew@J;2IEB~։?,&W LF*Ux-oZ(4 F"3=/r,tdC__ګB;t7!z*CgJ[g8gB"\pQHU*g]"xŬI-5'IV_JfUaϩTϯbִt=mn w90vQu'!*Яj $_zedVsnVq>^=3q--3{(Z 8`Rh2#H)};.dsllloZ| hVsA[ .%)6xq-i9f֗IWa-T+mQD6V)~<+0ZPHm( ^\LݷD8/ H1 `ULZn0BڥFRQU  [WZ;ӁQ*` T 6 @f 3r㳭6! T],b_,-Aez|c\Wbvnw*Wu;ϨX{aW&+pŅڵʨ ShX /7ȰբŨTUOSը;/T֧´-\3) sn5I*j6,n5$@ jj4P*ak:BW۹ªc\m0C][CflXmWo)\6КpV~vWRv+b2h, xM=qcuj2U"vFS GKG2W^U=hԡkbJb4_̔Ql;2n~Q|4b)SsNќҋy4yV.Og^ҕcs P6՞X# r: J٬*?5NјdPLuMҥزCGɹg%MRXW5B5_l0CuٽqV*Q5n2U˾IiBiu}Zqy[ Vh@ {B_G݂N'Fx@hNH:RYkLVUӟ̰j ֹRkZw[4Ӳ6:'殐8ԩQ Rՠ³c7LD*;@+Bg ϊjV(K~7PVWإs 75cLyU):9be:XM_ץu#uq^Ȗv`WE&`w AfsM 8b]b=s5wZ;좓ՠ. ˮޭcv13&U_:qvuvN<[sFڃvΜXvB".`lڅ> 76US8蓼6BUlYlw!Ԫjn{pmwq$C*.>NUջp樝 U]fautlՋ녻 ]%u]+;AM殘8- j r*LŘN9OT!8~E#G4*eIkNT3imcjVބmvEP^ߋf2eI.b\K\LC ,0X12d\EΑT>M8^mi3O)%TKrZ=H_'CJxDy{MP@ S0"ҕPAR`ɐt- wjzT(Q*'_\QPŚQ;u: lͫ;Y z)(TEz5 ()FX7zIwQj[Y}􊟊 a) .YV u(LDzn<2g+TDy-ڨ Ya å` g *6kRֵUW̺aGB7'PvP(Ow QICϷ%K;74zJTyJ#-WdRqX(褄oU!|юoI}kLX@z5V,(il)˓Tly4p j{'Y=*ՕEhG\i'mYYo a WXHuK wrl(."d-\To%*#oщ-v פQTO֩ JgR%G.g@P(lJ+RQUS9j0 Y:iJklRYZQߵ*Ҷ,9t8{HR_٣2LOlh:K8%)NA,ysDfSeԩR[.AQF ,5UuHM[BX$7MGzEY,H*N/@@rr3i- KΒ^*^%ٝlWx~a|i=҈a/B~CemVHkVল->ejJ^Q4в JlPCr 7JԝSbXQ }+Ffk%FWEzԗpիVԷ呤Ϋ"MO U U[%N%'JT;OEz<\9qڦ=,\rtNM$Yd$ihrH?5/rHB5ºKpnق@H5t mє}Q5Vj;SCy0jlUd&Q RC1go!@m[4,ɺ5Ll?AhBXFp!XԪzlE=rc㜰M,." hc,4dR ~#dJx-K`nGG<ݽ|A:8e|We|EZKy<4B{t]ߘTo=ry6 ՀJ6R0"u|dK+s`ErQt\Rs.J쫒&~,6+xϞ@r̡L".)w^07y&ͦ*߱Bnjq?j:x  rylFP,`$>PAc$ ̗ݰl$Ehtmi5? 5C2k uҚUӪ&O!lơlq"M~QXIhJFyURS;eIei>;t<՘!G).5XKf;^(1.wRGb%dv֭ʆseSZ ~ҥ6|!8M=Ltjx' Y2}>dr QȈ҅ML52[gI.#8xK LP&ׂ˛*y 硣GpUgc^Mo~+-J7X.hSHFŸ*lj/܎xQЮ1UrilXHkޮ}Gۤg96, ;XKSsּV O42n &x==T݊ l0|JU%51eVMS2b O2u`طBQI4I~cȟsGγ&7Df3s Ѭ%WV6rLx{*YZ,˳TP= ʌFVH>-xDZ'@hav953ڔzO u ;5M*'{!t 42?@ye1WCp#\]:Hb ad)~hH76f3RE>S AY5c/؟ϳFAk7n ^LmH:';}ibpR "?U-M/ň9.^oiHjk"!VM k|€U߃DAeDHЪ .CXOQnb#}Tu2 BQIm)&] N%]~A tn&oׁ_ N!BHEC75UkkwAxXc/6̑k`I $KDSn-vD'Fn[9}XV8본lUnqZMnϫ%956kMDfǦ}uUj?Q1"%] aaG]HmۼxlyX!VG׶Ώ>p!S, k8|~m0XuOFc"FKqPNx6_&T e|$L0Ho>ml>W8ipشr'@ ͪff |989UjxVlfQy\ `qJ`HҠ lҔ&h`XIE$?gy6_ `H(G%"1ϮbPX&2IdDRal4OE8HѾl[YŤ#w6zUY-qZG[u@**zx,-giS^ZfXZX,-tf9ciH\`X,hZ4ŐP*&L"(=(䔭'jDL@*66"U̪RҠe,V̪Z̪ښmƒ W C028 :>4&.,*  D # Ā4CC* U% ޵O7RRQ:jؒE`Y"=EIhj?C}$cG7\^| @ZhMPu8A"ܒ?5ӅBm rF<0KqC8pe9hQ\+姕rR+ra#.+Ql?.11hDW Q y.p쬪'3:$0zCI<2;W=3ah@eozTXÔG&l=/ߞiYH%bt))k$d\J1e$ml3~r6ϋ Ȇ^RnXc[kkNiNNa6>uc{)՘ڌ| *CGtFݣYR4.c5jMQrZ LzpbK DeZBb^{tH8ZܐWW^O&RLػɊh~~ v]i} JeKf:b_z_,m ^ FH w҆a-U(ۣ.WPmt&&2tzR[v/<7FDaiWd!-zAR*Ag&¿7\ Z/\q:?lc]nPU;3p̦٢C-ŗdZ1јۡ~f.2\vY9] CB4 TBwiQAZAy-j3/በ7<$ PP?!c7j'@m~\J}Sz!cl|˾ExtsY+C#8ypxEuZǃ "Z"Zdv ,!7Nk$G,#[7씥8kJb;տ[XtLq*Aju^ŕpTb(ygGN+c\.1q{u,>>o7~H-ݩ t7_ɵCUm"'NЉ:9@L Uh$ |C'j(XN Շdb h_I-hw'ME=sɻ%bmAS'~;Y K;`2HderXI+­ ~Q6Ek :>Ji&]Ao}*W,2ҩ_! »l^!D~OjÁUԿ8$T͵1֌RXKeM?UzꃡT>wL!/GrYO,1tbG&57][XhH[¾ni!hT ÙRvSLUq ڬJ&_[NNJ_T"kRT@-=ŅSPoMА>Z4gnC l{W #lRX>o߫5W[!R3q#{OlX?/F =ؘ_D`hY<&>w26Y 3 {OlD-8M!KWmW/$i% Eja*0ЉH'wu@rRf*{ߍA0ˮO^5;wo:kܠn:l.41?FmaqX# l{`1ngӕ>fXsy?i`ο'0^=~A{0B|~PV8ydv L+{4^BoFxI9𠼕wA#}%%/0񯙭&g5/iqފm5hߊۑŗQRWv7byW9Lsv/{=5+?$`ɏ*c ȶS\W*ժ/aRmwJXL3l.0\%HzsisuɭbVWP2+$qx+˩pc}P?=rpLl,9g%M!Hs1V5 J@'(d8ջ S߰+eJFcp9@ly@؃Xę*} a&JD;m@O"\mKl J @;XW 1-RNYυ[/[_N(4E?#26c jq˅t`eAy@dyj*֝ј3+v!A:JTN=uR=x"w+LTp CE$%WaلE0D"c̪rYݽ)r5%൹Yl9;Ie RPsKn5ĨPR4Xu¸XuHf?C_0۴b6G=3WX[Ю'}'Q:`~-0Ӳȃ^?5H{(錐Ќg,T 1sp(WaI |Tz`bDiL0ŧX4Dq봥&f tfmqo:oŌxtO=#SU,YV_Q҅^75D1l)ֆH XX3 >f˭hLP z o{uCGcQɼ9iu/h>\w܄? wUX 0ccpGDTDLoG@t0Waze˲&v1,sNVm*sUu/.U"C H`BaX<0&.'lӀ+F:lq`33U>:7'XbR"Hjr?v ̘+W!hJ>gXVKs+Н#*LGV4{EIխHOJƓ :& R'햏 59c%xLE5i8 ڜX1R5@J!s1ɟ{׵|?t|a͓*LP>cy6'ӭ'|q%K*{NG"yEkhMi") K3;i99Zg Z:z{2 IaZ/:^м,٠/3 ֩cwob 6=|PtE; 4&)$DPscQ{bm,qy >X(el.N2Dva.t͆#G. f(šMV󸸸ӪZ#>>l^Y 8҅VKfJhr8ƉsmbW!,%zn_|GH9)*"V~<^{mYO6YqdA:ծvLoےZaL+Sv+TLp"Ord9zK<ž$RҪo~z(#=U: hn{_ 攦G! J'\ء^}*ˡM'3 |<NvA^~7?2n:gQ\@J\q:NC}X1{M*'@#EO:b PRpZ1Ҵ+[Re4b+HjS?PUmR: 0'}O+FdhEgЧ;ESV+[È'ldjk6jߧeY,`t[P^ị>% ^Gmrm^(=e-Pgm$@]3uU/:P~^= > н6C D m\$ 62(֌2 ]6J}אaz+Ta,y&=Mi(t *NɎ[~0t/48ҘUEm!ڸz){!ب4.k\ i6Qۑ"u}7s2N7/]cqܘI6U& v'lm @_ΨyO4 n6堢axw[k1_[}锆 -LaT$5GQxuEEF#f)H[fq>s(*pA#׼F%%8#MEբQ[^γtxY)Vgy.ǨUw85[RoZ(,tq:\mh= ,yLd@*^.gi&=s\lTp#بS͖[[HJ POYTT,ЌB;HUzUTEN}&?{ W iUǢh G˧0La''7M[+*+Ճ^d {cNfR׵fS5{3Hƨ3YV5$jٌs,":J;3h\`]G9Om~3s.O~0y;tq_+rTdjx1pd@(d25VtA08*FRا0 ^ԋc.yla8yn@D /T_ A7?9cv-'FЯ]"FX*=YT{;4ߩ6뼔HEvČ6Ye2;rutZ٪ Txڽ*"xm3 6_ X'o!pJuGi-K?,%s ӼX@(^)Yr+LςJx'KYlver.cY,}졎gړ' ''h5 N&<ujS؛Fa huY+~5̪6SN+pghS4D F|BXөF^G(}A dj B  ] T2nFnx!? bjp Y7:8+ g&tj^;TSH{.LRRrTmAZm ]gTRj=s [ ׈n#0#cb|dKU};!kwLPO_T]@^łb_Zv+٨m^+F=WL<>C7G4?{ 7&Zd , oD>31fKwAD~|m@rz؄Fٖ8~b&wX? (IjlV0 ] $o[ZF JQaD5/30%GX4Z{q%dX>L QH+@ Og%B1 Q XH$8'(X HH0ˣR(CA*IH4JSr!!(R(X dP `) )׫Q QtG F(m*J<5EwD"" U3)j^5S̞ү6U3,%Ѷj&"R|>ݽj&YJ:q͗|f"d9{ソo/hhG=G{G#~oѢEGZVjۨmڦնjUUjVm۶N;Nètu挰A24{  &&  &*B ,&Tטhڰ$?w%18q&XuuXq~OSΎVb{>y``Ul/l{Wō>~54+):;~iJ z3Vb85%'< mVp__ ``>i3;q@qI;MhՑrvGӵ&hpA;@'.,.F#(w U0 [TqHT%;;rz\O`R0E ;KRZol3 lsZT}n8BIP5`08Vnhl;r[2 = O̪䚫VDT}'ϝȹKt6kAjH' \ }+/RDLQFf;Z42>0&r?vAb}QoÝ;E=@b~Yv%x F086AOx 䛉 2!#ʊֹ\@x鈛 y?f !\/JfKk;6ITļf#;agϖM5Ξ ;=[4{vo*/RDvH4`> iH@Td{Cpɂ=<PB`\NnT8~q=i46$;hmX.d72P|J3DАd4[dS x?v VVISehwpQpid&t|4i/ vM7cd ( ;Jk=5tG |_@7+E> n3{s)K O3C F&MsP]6ח&xOݰւ-lgDگއ}IxfE_m4si/ౙl'K2E0V$MM½ C=;zv/ }9y+ Uq>$ *9 %ivg7R9l 4ȧd^b*'@u³t {$<J?M,? [|])өy/#uE]Z?Kq?j8sӨ<O qXPH?y}38/ ZK1dGG(Y9~t~x]yӝ~J}xF~qg&~f ~PՏQΜǁ􃸂w ~ݙF:?>(y*CcË/?ʏɕ'?ȏ:ibȋ]!>~zO5~[jv$}T}h>y ZLȮI>qd~}$(y@}eVS}x`VS3}\pVSo}>`:|Jl84c(` O)G>D"И>@BGX"p?=L~LSk~q >U4N-f,E7ko|3>\Ps\mDʋx@];P RudvʆWpBd/w ~TnhP6`hLN^C~ye ^ ӏOh3t()/CeO==7 ˕c|(Jvv CU%rӫtbϋto^=_"?O;;цDaB f#7uA5[=p[b7 x [=G :q2GLMjH䢛o-2mՑBDB\?ΕD*Yܢ4qGGEY^n^ 3 &/J'@OA$҉ DI՜Fym䋨+z ǷZ_O[:qE4c ]Zi(CrzR񶙛#!,?8#`6mo̳<3lhBm,wPWk#z )58,4HSv@5!oF(:8 vtABƳ47:ڸ58H'*M֊9ҖD%+y2>A!1,@LASVEnC}v&(`}P FȠ(ӆ|/ُ3;F4["F6:VʎJstG2B';Y=C\յ`ze#v.tX5?ǣnǘw\QXDj$K9$Yd@}m B+n}l$b]suv HD ,c!VT&pC[=qxwnj,2ӂZ <姮b]u" azs6V^'ًG`|0asj[]߅hɝ}5=T '˅4KF3˳YV\?qw\xV'2Ķ6\^}Zj7}F DkF:iB)Np؍'4?I$ o=셀pOd17 ;弚^-Lno)9uttkJejj\&U2Ir&dkvS@# _OK=\'RvL̻}CZi 5*F笟F_&訁N&f U]F6;Y~e7q͆C70rOL-A욝b z.|aR#߱w&,I!_/zcy=<8>0_Ib*G^I!Q4Nj./:3GQ>9g6dctfE c*o%,-9?,0Z0icyF2xA0jkuSOy[g~>(fU|s낔#pHtsxcmS.1Px;D՝dJ}l7vC];\fۺ2Do)]uɫk @ g*ީZKsLoRc5c$ב?J@,!~=l KG"MRoDla4eo@ߒ"ާG  (b*dD9~ٸ!|+ݦ[KAbS hOl۝~M١e' /~W; 8ѭ u-^c9j>!xL{t(6>3{Ŭfys{%6wAhҌmv{jWo)%iiŕ>!ǃ2~0q 2;Wrca͏C ;A5z-Q`gI(G<oJp, wTT0q*\OcN 88E$8>tr+#yI\I%(6]Bd5 (d*HJnRqNBx4R jl<5rp5fdPS'pOJdh)1s;xkxft:iB4{MT.<ɱ<ӉPW"h8{{'9Y萮q>Y}[źP,“ Q(ёkt-GI aZI֪h[$;6?s$Hs xaHteܸ=mZ xG4ݻy-a" Sfbij}s)ճ@=]EQqIJWWc!sF"PkS(̗Qn\02b8T Ƶ-QY~*FcE6"aY H|jh"ށ~ ]AvI<~Vfc{MI풐y(IH٘$MXnkq'-L)<| YA@U0%`$Cc:l@]LX#(ƀc?H^rL#-]bՠIni*]]ݘR O.Y^8O%cSmJGƯ15_cœ,`TeS,:qg8 ~*,p`; 7qkA#lD݁Vl cF"X%/ E* N^6֒'r*]ǭ$ Λ:l3Db"{(hLwu~ 9vlo{W.Am΍}quu Wt(ɀSg-8ƭDroVּPJ8(^3Hx Оh }_~Oe:䶣]6NEX9VLЫ +TPƮ8i;YK okڬw>Y/øV^`UϗuspI[AuӄY:5Ռ ع!MDk ր}X籉*eGh񮄄|2IK6Rm!ՃdDP@TDg_G}TQY̳˽lPϳYMK03<8"?\X3R>5lE$}-V* hJ? '|j8n v 8p$ נ'x(e6CX) v٩bBaAv<fi&lpRRbG"hٌ}r45y'[}K\y\jl~MN.,K^?*}\:X`44-`H[k T8y]%lU_8;qx4 (:_)0b)S=!i(9_#6.#~Rb4 WΈZ K,] `ʸsq,2?NݰW,Rsd]@w:H,L(WGfR"y% buc l_K0ͫ4t6RV#{g2FKI^m=Vg{mmXu0|sc`7LT[FrI/1neH0Nu:5 a$|EWXUf˦Fa%X#@_( = :|c(pnmwkj_YWOi3sVC<\܁@0-o Ł؀cwuKlt `;G*s3f҅n@2hKCţ<ʩDm@VP^.߄Z%aLfX-4i7^czmJ^WGKmܾdOfj{TRAw@Vh%QnX}0ý!i @̞rkwK6?J*?Qk,3trzNzSJqT4sŲ)F=8\fT,.f}*b.%7~}l ҲMxbGNc6|ۻ]2 .#@@ ybƎʡlgZ F ;\ VPNxr$@3lto6ˎ(E=x]Yq;W!Fy䱿& PQf;3~Y8 L_/째/-## C&S=sXlY^Lhu¨D/?Sn.#3i̧ Ky{H y)u<{x6;r0nik}{:LHV[Ql L%xP$H1*}fƋ.ʗY|'(͝;Pڣ|B)N; vnjAj!a}ݟ:,nfD[oxԼ Lb܂ߎճ}Mk }Uk 6-[C}\6e(y{&KPb5Isf:}xN%V1,6F SXe 䴰! I:QlM@Иxuq(_4"Dv$[c)f51+Gc3?pp}df7jCО6.O4i(gjz=)G1 ۛ#WSxP CPF{\ʘمLЀ@Qu/H ,4 "==2I~a35[vT!WVv]ZvH&4RDd7i5v'UOJ&&1Kj$Дm[Y/ Lad Ѽ:*-y y%#/,`r*CXe ީߔC}x憡doV8INY#ؓ 5F{B%;`>14ڂXbsYQ7b̙68>Q{ʅ>:.SQ&UhQfuC7=gFs{>tCfge ER቞E\xPW m O.GVͶĺ͋UJļ|ŕvt! 3 ?5 &aV'5c"E\o0־oÒ4U" nML]I&0nQxtGt}QEPTvM&PFo~ ;-q:'-3!bP)#I]cK/FLm9m·! Mfb% O&'H:&rsʖm W'J=ujyA˒r6]tocf΀ڌ(XC 0L e[E}$D)kqv) _RF˭VOo92P³ޅ JSݏ9&V|7Ḛ-hD]UW 3Y2#!cXfҵ} [! ๲ aN`Ew+i&1y ڌ3tH/l5G1WmoJys+[ڊS>T]xr Þ<4U{'JUH2tE*F]IJk}E>gE^-iEлFEyYngin}y̚yaJ4 'viyM7=^MCH0AJEC<8A B2c!~p"&&(׽Iꎏ / Th+*sR*ɨGR/TBQ?7*5K6سi{q,=HYs6?#DZg{~ad]e~n6!;[YrO6XּXrtvy4 ⥰Sg~bjف?{4#=0j2mބ7$*mB$^'):Z:E`tFua̫o| 38O/*@4D(HW0o0,y^S TΕZc7@Bqtzݝ`^Q{'nHYXERC7LL35bxqCWלD@R:zǙ/O"mYy7oN~Wʻ{\ PZ TT$V*)/A+̕STnj=hN Mc mur_ 4TirC܎R\E")=@{eq3Mui{i߃cZ(&n gxyOnXpZOb* H&Eb)#g$y0f|3:7~0xtmrӻP#tZ~Y_+╻g4r ؉U')| XaNdsjE}ZY d"_1qLVjz| SQYrM#} bv$ uH2Km?:Bu1ֶMgpPp+\z8EU3m_,nܡf4nAwĭOĆ*"wqJ|c/ (l({kPKWrpo@)S?Ɣɥ j,VC!79 poօ:A #,ؓƋ@R-m7]IVC>@ȕ硌WČ>/Qjύ8Le}R`xˍMUenw-ߚ(q+IbVO#=HVZ}@Yd9@{`YlT]_/@ Ƴ6B,XAe)\K WH3kiϲJ?mY%,}E_mV L|T烙fdt[ 2~+s#\dP*ay@ Evrq?%ed4.u:A cD3Vw"Y$"]{)*Q4HSBYD )cf:O%v_ wwLxȡ{y$~Rh$VR#~TqoD%#oa%J>.,?zJ`kV|]s`>b]zFxҦ:au߭}*\r@k4hl56:dm>G3dwb`gԬy;3N]0.=n 7vf 8lc|i05 ;L.M#4_p}eW{OIN饁)?A0~,:TcݗDF+<%UK;ĵcܩޭ (O'a]E7&6~ݍ$*e))+ >#D!(}sl7E 54 29_d:<55W2T=l't1yO!.,b^v祡מKm%YI`#RŜJۊHsĿ!mKP'{%>|Z=&O _̓U=>l8 9עc{1L!@ @6f;p?.B  3폥Q5oӇ|h A. 0Κ~0 "U!Ms_ی^ē{Xo4d|~gc*Tx&Ore\IS%e V@ /` =vwpS \4.)Y7 B=۵,d'w.PEdmίg' @.j^īELRd>zk9]3  kc~Y8#:nQzc!֮MC}.-ջaG1tOŕ$5)rtҹf;#6y?_9W[8١d\tqÎQT1X!РMY5=,\`yؐYHlAqrje|??!Äa7Fg$^lA16d+LM[NBamlIJu {ㆤ2\X=0 H+JEI2 FmܺbWB>kݟݣhꝓ~"W` yvų:M2_xDG:^Ф9,?Ș-MeL7gr\ 'D o!" XR+'4zZ4[aRPpc:(3O &XYQ4o_UEsLK AF݈ u,y[ h"p'^>$3~yd q}D/cq c 5O' >HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`j}Hv" o]?#[fގLF ZҚ@sOVTn `̝| Ij0N\33d-7G ù)>3m0^4**}PƧ(0I@P0P&pFGqyuK*1G}4q(N~L^ƽ)C- 8^QQڼ#meŇ!M[pa&~MK*ӈZJ*N"TYODys= (0Μroϻ,O-Tf|ΗiE+̬jYVZUAQ;j2 fL5a (9bH"Nw S1&7>4nTs՜{byWoK5%ʛʲ(J))PԐt"F]޽@)F'X >{,SHnNɊ, -Вx`5 flFa\ڶ@j yʛr$>d2@$ $>\zw|X}c}-,'nBj1PmֹNxjŪ1JˍT4nR=H2j1 e@P aA@C!BCFF|.(4-k!I=swp3^:ڛ>"T,|l.2%DM|`z,R.DҾݱc;"kqǗaѮ'Z&$'xpdC ʑ⿫j~$[=ճ8, \/"S첕 iugʉ5 g&^FpAu#4vo"=Bܫ P]Va\ދ@dS(0kԽͶS  db y1%{2\L<=7Tk QI%\N #N(dHC4DL0%3u>WE[ϩ0O7m[a]0Ku&n 5yOP|<(m'gu#>NK+T L& w.m.)1i:DӮXusQ*e j /c&b-:3љ 0X9W` ;XsPQbOcCt\,` a`b[9ba+oHXFVq5j'F$W7h_nW!_yU o)B8 Kq`>ʲ0S o5m3!NB4'#j}TMnz9i:ZYȄy3U6N&pa~9]O6BճZJk1PKn-C0K̍iв|wΆ6dtՆdY SW͋D(NZTKXǼȒD-;X Po5Kg=k OcsWj[q^V^ Oh_&0H|Z?z /EX{h_I^MY=-%(kCFTEfTLMHJ;CI~S@H۔ȗ*p2Fž!?whGix@:u9Ӛ4V|扴AAějDbŭ!M!s /JU'6bc*CJ. XHJ7‘l $Gп\OG[Liʞ:ub 1dyf74[RgQ^/Rgi"l$2fnQ_fKZ@b;..Z3R"Y,~c[jHI!?gH[!{1Ky踶t<L;yf91\zsdL[B5:N&p}P $$Y 5O' *HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`օ-T6"0o`>% iF{v`a{cǍF i0%BKSp u+_n2,H)=Xib ZF`%O*@~69FX( K@R-EҐ |n2 eٽ6 -T4 9G&p`Ip p҈x`l )ڗ = J+SD0b!*t[ %R0!簊du=N0έEj [DR ﲯ S)ړ 8S9R9%zALA;% 9s.9XwɭMO$O'FM,)Vm%(JiVrY5B]tx1*3{=?μ%uzծJ99p'!vctj5H#?nL#7d66͗: X|vX{s?VMDJx1J)X)Ҳ62!/|mu󦍭|9_Ηj5_Η/]!muxs̄ZZKf /eMg$I5 ``aaA ! BA"cAdD2kw^1T0kA8EX.WBU$ 4QyC+~ A; `Q8n( Cmנ%/71 Pg:g #& ?^yZQ_:vI8:/3HzLi4r(Z#- A|@tc/A,IAA7'FL6W9)mOh&C2~k$aVe*v=߇ֳ%Z5Gȿ,%UJqhgոVciI;%>i]7 in('5+pagQ=UCc 2T ˜If俓Rj^dӶܦ,QHY%ve~[ 5{a18b{5KJttC j!% S׈5amp/SȯK*ɢ-ZYť~|.{E=Z} /*-ud ׽ i]==*LsTB[ Jxp'`ABV.:_j#,ԡ&mq 83 MaŇ~ ;ULs낟wK*Vtd\< ߷qPg>g W082dGݔF9r>2Y t4+#KH8!*D ɹup] J>E̵ڛOt֪8qr.:6_մ9do y&v Z|(D̼Mhwgqܽ ]%jh"-{`<Hbӳ=F Mu*0Y.*7&mp"9Q@)6йEyI6҈ʈKoN`Y!bMJ-GQ ߪp@l><LN@cV>ݝH.cMj/Q,HƵXJ&`Xl _a}*'\|amYZ")%q`2X:>)3KXY<ׁ9g."E@  H[d١RЏ6@s*@p'DW.<%@RDD&QO+E%4h7>={?_{JK2d?EJ ݋,ֻ ,-U~{>X`Swv95d'Ou>pҒu8DuD(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